Public evidence

electrical.amps_to_kw

Machine-checked verification for calculation version 1.4.3 · tier internally_reviewed

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP status

Balanced sinusoidal; PF ∈ (0,1] on AC. DC omits PF.

Declared partition coverage: PASS · 10/10 declared partitions (a-kw-dc, a-kw-ac_single, a-kw-ac_three, kw-a-dc, kw-a-ac_single, kw-a-ac_three, invalid-domain, round-trip, metamorphic, near-singularity)
Versions: Calculation 1.4.3 · CVP protocol 1.0.0-proposed · Evidence 2026-09-10.evidence-semantics
Verification revision: 2026-09-10.evidence-semantics · 5/5 property · digest 1fc8b58b8507

Verification

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

Three distinct suites: educational examples on the calculator page, this legacy regression count (16/16 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.3 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-10.evidence-semantics. Calculation version 1.4.3. CVP 1.0.0-proposed. 7/7 golden · 4/4 CVP boundary · 6/6 invalid · 5/5 property · 6/6 metamorphic · 6/6 round-trip · 1/1 cross-interface · 2/2 cross-calculator · 34/34 CVP contract. digest 1fc8b58b8507. ≤2 ULP vs this O2 module on the published golden, near-singularity boundary, round-trip, and metamorphic vectors. Computational fidelity: ULP vs O2. Engineering interpretation: exact deterministic algebraic model; measurement uncertainty is outside calculator scope. Not a whole-domain guarantee (overflow, denormals, or unlisted V→0 neighborhoods). O2 shares Node/V8 binary64 with the IUT; O3 is not required this wave.

Golden (oracle-backed) 7 / 7
CVP boundary 4 / 4
Invalid input 6 / 6
Property 5 / 5
Metamorphic 6 / 6
Round-trip 6 / 6
Cross-interface 1 / 1
Cross-calculator 2 / 2
CVP contract 34 / 34
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 output required declared PASS
schema valid input executes PASS
engine success output validates schema PASS
schema rejects incomplete input PASS
operation input oneof PASS
factor not in canonical schema PASS
output units include kw and a PASS
operation a kw schema valid PASS
operation kw a schema valid PASS
operation dc omits pf PASS
operation dc rejects power factor PASS
operation requires mode PASS
operation rejects factor PASS
operation ac requires power factor PASS
operation a kw unit kW PASS
operation kw a 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
rest success payload validates schema PASS

Fingerprint sha256:efe17d16f1cee0557a8485a5ad6b47260cde93de783eca46403df7b744206399

Input schema sha256:1c75b76701130204769f10dd9f62bcc89d62d36d3551bbfbb00fcfdd362a412c · Output schema sha256:910992de9e00b5727f5c85689adf1d565c3eab3a0a467055c893403dd631c190 · 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-kw
Engine: amps-kw
Engine build: 2026-09-17
Evidence core: 2026-09-17T13:30:04.659Z
Rendered: 2026-11-10T05:18:41.684Z
Last reviewed: 2026-09-05

Assumptions

Balanced three-phase when AC 3φ (L-L) is selected.
Voltage is RMS for AC.
DC does not use power factor. AC uses total power factor λ on real power.

Limitations

DC, single-phase AC, or balanced three-phase L-L only
DC payloads must omit power_factor
Not for unbalanced three-phase
Not for line-to-neutral three-phase as a selectable mode
AC power_factor must be in (0, 1] — no soft coerce
V ≤ 0 → VOLTAGE_MUST_BE_POSITIVE
factor is an implementation constant (0.001) and is not an Agent input

Sources

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

IEC 60050 — International Electrotechnical Vocabulary — Active power (IEV 131-11-42)
Supports: P is active power; unit watt (W). DC P = V·I. Under sinusoidal conditions P = Re S.
IEC 60050 — International Electrotechnical Vocabulary — Power factor (IEV 131-11-46)
Supports: λ = |P| / S; AC real-power formulas multiply V·I (and √3 for 3φ L-L) by λ
IEEE Std 1459-2025 — Real power under balanced three-phase line-to-line conditions · 2025-05-16 · errata checked
Supports: 1φ P = PF·I·V/1000; 3φ L-L P = √3·PF·I·V/1000
BIPM SI Brochure (9th edition, version 4.01) — SI units for ampere, volt, and watt · 2026-06 · DOI
Supports: DC P = V·I; kW = 1000 W unit scaling

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.