Home Developers Evidence electrical.amps_to_kw

Public evidence

electrical.amps_to_kw

Machine-checked verification for calculation version 1.4.3 · tier expert_verified

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Balanced sinusoidal; PF ∈ (0,1] on AC. DC omits PF. · Protocol · Schema · Production report

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 34/34

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 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

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-10
Evidence core
2026-09-07T02:30:56.872Z
Rendered
2026-09-16T22:03:43.704Z
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.

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.

IDKindStatusDetail
1phi-12A-120VgoldenpassExpected 1.44 · Actual 1.44
dc-40A-240VgoldenpassExpected 9.6 · Actual 9.6
3phi-20A-400VgoldenpassExpected 12.471 · Actual 12.470765814495916
kw-to-amps-10goldenpassExpected 16.04 · Actual 16.037507477489605
1phi-linear-2x-currentgoldenpassExpected 2.88 · Actual 2.88
3phi-half-pfgoldenpassExpected 6.236 · Actual 6.235382907247958
soft-zero-currentgoldenpassExpected 0 · Actual 0
kw-zero-voltsboundarypassExpected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE
pf-zeroboundarypassExpected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE
roundtrip-1phi-kw-agoldenpassExpected 12 · Actual 12
bad-systemboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-1phipropertypass12A·120V
property-3phipropertypass
property-roundtrippropertypasskw→A
property-dcpropertypassDC 40A·240V
property-rest-aliaspropertypassREST a/b/phase