Public evidence

electrical.mah_to_wh

Machine-checked verification for calculation version 1.3.1 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Nominal cell voltage; no Peukert / temperature · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (mah-wh, wh-mah, invalid-domain)
Versions: Calculation 1.3.1 · CVP protocol 1.0.0-proposed
CVP identity: 3/3 property · digest 2c76023a51c7

Verification

Legacy regression suite: 13/13 calculation tests · Production surface contract 4/4

Three distinct suites: educational examples on the calculator page, this legacy regression count (13/13 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.1 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.3.1. CVP 1.0.0-proposed. 2/2 golden · 2/2 CVP boundary · 2/2 invalid · 3/3 property · 1/1 cross-interface · 1/1 CVP contract. digest 2c76023a51c7.

Golden (oracle-backed) 2 / 2
CVP boundary 2 / 2
Invalid input 2 / 2
Property 3 / 3
Cross-interface 1 / 1
CVP contract 1 / 1
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
schema rejects incomplete input PASS

Fingerprint sha256:b96f77aebd58571f9cc7967ca63c5bec8c78cc4cd6de1944cb2cd8546350f6b5

Input schema sha256:e84d3e6f3dcd836b717ffad12fadd65f6ca418d209a761c0b816b4e10e2c3dcb · Output schema sha256:4fb56170345c6b278e5fa8d5d607babc3477f3d6beb2ac6f4d423314342b1d9e · 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: mah-to-wh
Engine: mah-to-wh
Engine build: 2026-09-10
Evidence core: 2026-09-07T02:30:56.872Z
Rendered: 2026-09-16T22:03:43.711Z
Last reviewed: 2026-08-08

Assumptions

Voltage is the nominal basis for the mAh rating
Conversion ignores charge/discharge efficiency and Peukert effects

Limitations

Ignores charge/discharge efficiency and Peukert effects
V ≤ 0 → VOLTAGE_MUST_BE_POSITIVE

Sources

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

IEC 60050 — International Electrotechnical Vocabulary — Electric charge (IEV 113-02-10)
Supports: Electric charge Q; coherent SI unit coulomb. Note: 1 A·h = 3.6 kC is used for electrolytic devices / batteries
IEC 60050 — International Electrotechnical Vocabulary — Watt hour (IEV 131-11-58)
Supports: 1 Wh ≔ 3600 J. At constant terminal voltage, E(Wh) = Q(Ah)×V from W = ∫v i dt
BIPM SI Brochure (9th edition, version 4.01) — Coulomb, watt-hour, and volt · 2026-06 · DOI
Supports: Unit scaling mAh → Ah (10⁻³); Wh = A·h × V at constant V
NIST Guide to the SI (SP 811) — Joule, watt-hour, and ampere-hour relationships
Supports: Wh = mAh × V / 1000; Q = Wh × 1000 / V
Battery industry convention — Nominal voltage basis for mAh ratings
Supports: Conversion uses stated nominal V; ignores efficiency and Peukert effects

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
`10000-3.7`	golden	pass	Expected 37 · Actual 37
`300-5`	golden	pass	Expected 1.5 · Actual 1.5
`8000-1.5`	golden	pass	Expected 12 · Actual 12
`wh-to-mah`	golden	pass	Expected 300 · Actual 300
`5000-3.7`	golden	pass	Expected 18.5 · Actual 18.5
`linear-2x-V`	golden	pass	Expected 37 · Actual 37
`zero-V`	boundary	pass	Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE
`soft-zero-mah`	golden	pass	Expected 0 · Actual 0
`zero-V-reverse`	boundary	pass	Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE
`roundtrip-wh-mah`	golden	pass	Expected 5000 · Actual 5000
`property-mah-wh`	property	pass	5000·3.7/1000
`property-roundtrip`	property	pass	Wh→mAh
`property-linear`	property	pass	2× mAh