Public evidence

electrical.amps_to_volts

Machine-checked verification for calculation version 1.4.2 · 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· Engineering applicability: DC / AC 1φ / AC 3φ L-L · Protocol · Schema · Production report

Declared partition coverage: PASS · 8/8 declared partitions (a-v-ohm, v-a-ohm, a-v-watt-dc, a-v-watt-ac_single, a-v-watt-ac_three, v-a-watt, invalid-domain, round-trip)
Versions: Calculation 1.4.2 · CVP protocol 1.0.0-proposed
CVP identity: 11/11 property · digest b787583c1faa

Verification

Legacy regression suite: 42/42 calculation tests · Production surface contract 36/36

Three distinct suites: educational examples on the calculator page, this legacy regression count (42/42 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.4.2 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.4.2. CVP 1.0.0-proposed. 7/7 golden · 20/20 CVP boundary · 18/18 invalid · 11/11 property · 2/2 round-trip · 2/2 cross-interface · 36/36 CVP contract. digest b787583c1faa.

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

contract page version PASS
contract capability version PASS
contract input schema version PASS
contract output schema version PASS
evidence version matches manifest PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS
operation input oneof PASS
output units include v and a PASS
operation a v ohm schema valid PASS
operation v a ohm schema valid PASS
operation a v watt schema valid PASS
operation v a watt schema valid PASS
operation dc omits pf PASS
operation dc rejects power factor PASS
operation requires mode PASS
operation ac requires power factor PASS
operation a v ohm unit V PASS
operation a v watt unit V PASS
operation v a ohm unit A PASS
operation v a watt unit A PASS
output mode unit binding PASS
operation result matches detail PASS
operation formula matches system PASS
versioned schema pin PASS
versioned schema id PASS
jsonld valid json PASS
jsonld type webapplication PASS
jsonld name match PASS
jsonld canonical url PASS
jsonld software version match PASS
jsonld system semantics PASS
jsonld offer free match PASS
jsonld breadcrumb match PASS
jsonld visible content match PASS

Fingerprint sha256:a3b8a170fa6175c42e55b30a618ec83f5936fd99193720bee8fc25c8252144cb

Input schema sha256:13f02e679f92360d7a2e0bd2cab9f2adb37b7e99488fdafbe821d198caf95f6b · Output schema sha256:d370c0ab19dd413a6bb72ef3b6593168cb1d174f439e77495b8b32a313dad36f · 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: amps-to-volts
Engine: amps-volts
Engine build: 2026-09-10
Evidence core: 2026-09-10T22:48:17.762Z
Rendered: 2026-09-16T22:03:43.705Z
Last reviewed: —

Assumptions

Ohms path assumes resistive Ohm’s-law behavior.
Watts DC matches P = V·I. Watts AC uses RMS and total power factor λ.
Three-phase watts path assumes balanced line-to-line voltage.
DC does not use power factor or phase. Canonical Agent schema forbids power_factor on DC; REST may send it and it is ignored with POWER_FACTOR_IGNORED.
JSON Schema is a callable-input envelope (types, required fields, enums). Zeros and out-of-range PF may be schema-valid; the engine returns stable error codes.

Limitations

Composite page: ohms path is V=IR; watts path is P/(I·PF) with optional √3
Not for converting amps to volts from current alone
JSON Schema is a callable-input envelope (types/required/enums). Zeros, negatives, and PF outside (0,1] may be schema-valid; the engine returns stable error codes
DC payloads must omit power_factor. REST may still send PF on DC: ignored with POWER_FACTOR_IGNORED
AC watts paths require power_factor in (0, 1]. UI initializes AC PF to 1.0; Agent/API clients must send it. Explicit PF=0 is POWER_FACTOR_OUT_OF_RANGE, not a silent 1
P>0 with I=0 → CURRENT_MUST_BE_NONZERO; V≠0 with R=0 → RESISTANCE_MUST_BE_NONZERO; 0/0 → UNDEFINED
IEEE-754 binary64; non-finite results → NON_FINITE_RESULT
Not for unbalanced three-phase

Sources

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

Watt’s law / power identity — Real power P = V × I × PF (1φ); P = √3 × V × I × PF (3φ L-L)
Supports: V = P/(I·PF); I = P/(V·PF); 3φ with √3
Ohm’s law — Ohmic conductors V = I × R
Supports: A→V (ohms) and V→A (ohms) modes
IEC 60050 — International Electrotechnical Vocabulary — Active power (IEV 131-11-42)
Supports: P is active power; unit watt (W). Watts-path voltage uses P, not apparent power S.
IEC 60050 — International Electrotechnical Vocabulary — Power factor (IEV 131-11-46)
Supports: λ = |P| / S; AC watts path V = P / (I·λ) (1φ) or V = P / (√3·I·λ) (3φ L-L)
IEEE Std 1459-2025 — Power factor in AC real-power calculations · 2025-05-16 · errata checked
Supports: PF scaling on watts paths; PF = 1 for DC/resistive
BIPM SI Brochure (9th edition, version 4.01) — SI units for ampere, volt, ohm, and watt · 2026-06 · DOI
Supports: SI definitions and dimensional relationships among V, A, Ω, and W
NIST Guide to the SI (SP 811) — Volt, ampere, ohm, watt
Supports: SI unit relationships for V, A, Ω, W
CalculatorX amps-volts-reference oracle (O2) — Separate-module Node arithmetic — same V8 binary64 runtime as IUT (not language-isolated); scripts/lib/cvp/oracles/amps-volts-reference.mjs
Supports: expected_values + numerical_behavior (≤2 ULP); not transcribed from IUT

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
`120W-10A`	golden	pass	Expected 12 · Actual 12
`ohm-1.2A-20R`	golden	pass	Expected 24 · Actual 24
`65W-13A`	golden	pass	Expected 5 · Actual 5
`600W-6.25A-0.8`	golden	pass	Expected 120 · Actual 120
`10kW-15.5A-3phi`	golden	pass	Expected 413.87 · Actual 413.87116070940914
`v-a-ohm-24V-12R`	golden	pass	Expected 2 · Actual 2
`v-a-watt-120W-12V`	golden	pass	Expected 10 · Actual 10
`linear-2x-P`	golden	pass	Expected 24 · Actual 24
`inverse-half-I`	golden	pass	Expected 24 · Actual 24
`zero-I-hard`	boundary	pass	Expected CURRENT_MUST_BE_NONZERO · Actual CURRENT_MUST_BE_NONZERO
`zero-P`	golden	pass	Expected 0 · Actual 0
`pf-zero-hard`	boundary	pass	Expected POWER_FACTOR_OUT_OF_RANGE · Actual POWER_FACTOR_OUT_OF_RANGE
`zero-R-quotient-hard`	boundary	pass	Expected RESISTANCE_MUST_BE_NONZERO · Actual RESISTANCE_MUST_BE_NONZERO
`rest-alias-ohm`	golden	pass	Expected 24 · Actual 24
`boundary-ohm-product-zero-r`	boundary	pass	Expected 0 · Actual 0
`boundary-ohm-quotient-0-over-0`	boundary	pass	Expected UNDEFINED · Actual UNDEFINED
`boundary-watt-0-over-0`	boundary	pass	Expected UNDEFINED · Actual UNDEFINED
`boundary-pf-gt-1`	boundary	pass	Expected POWER_FACTOR_OUT_OF_RANGE · Actual POWER_FACTOR_OUT_OF_RANGE
`boundary-dc-ignores-pf`	boundary	pass	Expected 12 · Actual 12
`boundary-ac-missing-pf`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`boundary-neg-current`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`boundary-neg-resistance`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`boundary-neg-power`	boundary	pass	Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
`boundary-invalid-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`boundary-invalid-system`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`boundary-invalid-phase`	boundary	pass	Expected INVALID_PHASE · Actual INVALID_PHASE
`boundary-missing-current`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`boundary-missing-resistance`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`boundary-invalid-number`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`boundary-watt-zero-v`	boundary	pass	Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE
`boundary-overflow`	boundary	pass	Expected NON_FINITE_RESULT · Actual NON_FINITE_RESULT
`property-ohm`	property	pass	2A×12Ω
`property-watt-dc`	property	pass	120W/10A DC
`property-watt-1phi`	property	pass	600W PF0.8
`property-watt-3phi`	property	pass	10kW 3φ
`property-ohm-roundtrip`	property	pass	24V/12Ω
`property-rest-alias`	property	pass	REST a/b ohms
`property-watt-roundtrip-dc`	property	pass	120W/12V DC
`property-watt-roundtrip-1phi`	property	pass	600W/120V PF0.8
`property-watt-roundtrip-3phi`	property	pass	10kW 3φ reverse
`property-sci-notation`	property	pass	2e0×1.2e1
`property-large-finite`	property	pass	1e6×1e6