Public evidence

electrical.ev_voltage

Machine-checked verification for calculation version 1.3.0 · tier engine_tested

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Charge is magnitude |Q|; electron (−e) vs proton (+e) sign is not modeled. Not a pure eV↔V unit conversion. · Protocol · Schema · Production report

Declared partition coverage: PASS · 5/5 declared partitions (ev-v-e, ev-v-c, v-ev-e, v-ev-c, invalid-domain)
Versions: Calculation 1.3.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-14.si-exact-e-zero-charge
Verification revision: 2026-09-14.si-exact-e-zero-charge · 2/2 property · digest 99c55c4d8029

Verification

Legacy regression suite: 21/21 calculation tests · Production surface contract 3/3

Three distinct suites: educational examples on the calculator page, this legacy regression count (21/21 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

This calculator CURRENT · Public schema 1.3.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-14.si-exact-e-zero-charge. Calculation version 1.3.0. CVP 1.0.0-proposed. 6/6 golden · 8/8 CVP boundary · 11/11 invalid · 2/2 property · 3/3 metamorphic · 1/1 round-trip · 3/3 cross-interface · 3/3 CVP contract. digest 99c55c4d8029.

Golden (oracle-backed) 6 / 6
CVP boundary 8 / 8
Invalid input 11 / 11
Property 2 / 2
Metamorphic 3 / 3
Round-trip 1 / 1
Cross-interface 3 / 3
CVP contract 3 / 3
Interfaces PASS · UI (SSR) / REST / MCP
Interface claim ui-ssr is query-result HTML, not a live browser session.
Assurance Engineering

release artifacts aligned PASS
schema valid input executes PASS
engine success output validates schema PASS

Fingerprint sha256:d43cf367378ddf7038b44344ebeda43dc0a65cf781801267c537265520b4d063

Input schema sha256:372f3e8d25563732b3d1c97d63a4d5f012c97419053504fc14cd7a335e7f7d80 · Output schema sha256:3fb400eaf4fae09a6c405dd8ddfa34747286b5ca3615d9f4792e25aee4d3f58b · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool: ev-to-volts
Engine: ev-voltage
Engine build: 2026-09-13
Evidence core: 2026-09-13T22:26:59.136Z
Rendered: 2026-09-16T22:03:43.702Z
Last reviewed: —

Assumptions

Elementary charge e = 1.602176634×10⁻¹⁹ C exactly (SI defining constant; no uncertainty)
Uses the electrostatic energy–potential relation E = qV
Q(e) and Q(C) denote charge magnitude; sign and direction of the potential difference are not modeled

Limitations

Charge is magnitude only — electron (−e) vs proton (+e) sign is not modeled
Q = 0 when solving for voltage → ZERO_CHARGE (not 0 V)
Uses exact SI e = 1.602176634×10⁻¹⁹ C
Not a pure eV↔V unit conversion; ΔE = qΔV

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

BIPM SI Brochure, 9th edition — SI defining constants — elementary charge e = 1.602176634×10⁻¹⁹ C exactly
Supports: Exact SI elementary charge; coulomb-mode scale; 1 eV = e J
BIPM SI base unit — ampere — The ampere is defined by taking the fixed numerical value of the elementary charge e
Supports: e is an SI defining constant with no uncertainty
NIST Guide to the SI (SP 811) — Electronvolt as a non-SI energy unit accepted for use with SI
Supports: eV is energy; volts remain SI potential; eV ↔ J via e

Legacy published checks

Golden and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.

ID	Kind	Status	Detail
`1eV-1e`	golden	pass	Expected 1 · Actual value=1 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=1 · voltage_V=1 · charge_value=1 · charge_unit=elementary_charge
`25eV-10e`	golden	pass	Expected 2.5 · Actual value=2.5 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=25 · voltage_V=2.5 · charge_value=10 · charge_unit=elementary_charge
`1MeV`	golden	pass	Expected 1000000 · Actual value=1000000 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=1000000 · voltage_V=1000000 · charge_value=1 · charge_unit=elementary_charge
`v-to-ev`	golden	pass	Expected 25 · Actual value=25 · unit=eV · mode=v-ev-e · direction=voltage_to_energy · energy_eV=25 · voltage_V=2.5 · charge_value=10 · charge_unit=elementary_charge
`coulomb-mode`	golden	pass	Expected 4.005441585e-19 · Actual value=4.005441585e-19 · unit=V · mode=ev-v-c · direction=energy_to_voltage · energy_eV=25 · voltage_V=4.005441585e-19 · charge_value=10 · charge_unit=coulomb
`linear-2x-E`	golden	pass	Expected 5 · Actual value=5 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=50 · voltage_V=5 · charge_value=10 · charge_unit=elementary_charge
`inverse-half-Q`	golden	pass	Expected 5 · Actual value=5 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=25 · voltage_V=5 · charge_value=5 · charge_unit=elementary_charge
`zero-Q-hard`	boundary	pass	Expected ZERO_CHARGE · Actual ZERO_CHARGE
`zero-over-zero`	boundary	pass	Expected ZERO_CHARGE · Actual ZERO_CHARGE
`zero-E`	golden	pass	Expected 0 · Actual value=0 · unit=V · mode=ev-v-e · direction=energy_to_voltage · energy_eV=0 · voltage_V=0 · charge_value=10 · charge_unit=elementary_charge
`v-ev-c-one-e`	golden	pass	Expected 1 · Actual value=1 · unit=eV · mode=v-ev-c · direction=voltage_to_energy · energy_eV=1 · voltage_V=1 · charge_value=1.602176634e-19 · charge_unit=coulomb
`zero-V-reverse`	golden	pass	Expected 0 · Actual value=0 · unit=eV · mode=v-ev-e · direction=voltage_to_energy · energy_eV=0 · voltage_V=0 · charge_value=10 · charge_unit=elementary_charge
`zero-Q-reverse`	golden	pass	Expected 0 · Actual value=0 · unit=eV · mode=v-ev-e · direction=voltage_to_energy · energy_eV=0 · voltage_V=2.5 · charge_value=0 · charge_unit=elementary_charge
`e-vs-C-equivalence`	golden	pass	Expected 1 · Actual value=1 · unit=V · mode=ev-v-c · direction=energy_to_voltage · energy_eV=1 · voltage_V=1 · charge_value=1.602176634e-19 · charge_unit=coulomb
`boundary-zero-Q-coulomb`	boundary	pass	Expected ZERO_CHARGE · Actual ZERO_CHARGE
`boundary-neg-Q`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`boundary-signed-convention`	boundary	pass	Expected UNSUPPORTED_CHARGE_CONVENTION · Actual UNSUPPORTED_CHARGE_CONVENTION
`property-25-10`	property	pass	25 eV / 10 e = 2.5 V
`property-e-C-equiv`	property	pass	1 eV / e C = 1 V
`property-round-trip`	property	pass	E→V→E at Q=10 e
`property-inverse-Q`	property	pass	half Q doubles V