Public evidence
Machine-checked verification for calculation version 1.5.2 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Resistance-only / PF≈1 estimate — not IEC 60364-5-52 Annex G impedance model · Protocol · Schema · Production report
Legacy regression suite: 38/38 calculation tests · Production surface contract 6/6
Three distinct suites: educational examples on the calculator page, this legacy regression count (38/38 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.
Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-11.schema-coverage-u. Calculation version 1.5.2. CVP 1.0.0-proposed. 4/4 golden · 11/11 CVP boundary · 10/10 invalid · 14/14 property · 4/4 metamorphic · 1/1 cross-interface · 6/6 CVP contract. digest e4ca53248b8b.
Fingerprint sha256:706e4bbf603a233a4f99d57b83a663ff4374263e7271a2bf3db58c58842133d3
Input schema sha256:3bfb5b8d5c9afbe1a91d8aeecdd27df18b533a1ffd75dd2f33b9b214e8fdd429 · Output schema sha256:4f13f3ba3869b287cbb38a6c062ea47c40fbd60156baf76d993ec648fb392075 · 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.
Engine identity and declared limitations.
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
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 |
|---|---|---|---|
dc-20A | golden | pass | Expected 10 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5 |
1phi-15A | golden | pass | Expected 2.007 · Actual V_drop=2.007 · R_one_way=0.0669 · P_loss=30.105 · R_loop=0.1338 |
dc-1A | golden | pass | Expected 0.3366 · Actual V_drop=0.3366 · R_one_way=0.1683 · P_loss=0.3366 · R_loop=0.3366 |
3phi-36A | golden | pass | Expected 8.976 · Actual V_drop=8.971808408906647 · R_one_way=0.1403 · P_loss=573.72306576 |
linear-2x-I | golden | pass | Expected 20 · Actual V_drop=20 · R_one_way=0.25 · P_loss=800 · R_loop=0.5 |
linear-2x-L | golden | pass | Expected 20 · Actual V_drop=20 · R_one_way=0.5 · P_loss=400 · R_loop=1 |
soft-zero-I | golden | pass | Expected 0 · Actual V_drop=0 · R_one_way=0.25 · P_loss=0 · R_loop=0.5 |
soft-zero-L | golden | pass | Expected 0 · Actual V_drop=0 · R_one_way=0 · P_loss=0 · R_loop=0 |
soft-zero-Rkm | golden | pass | Expected 0 · Actual V_drop=0 · R_one_way=0 · P_loss=0 · R_loop=0 |
error-neg-Rkm | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
error-neg-I | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
error-missing-length | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
error-invalid-mode | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
3phi-50A | golden | pass | Expected 34.641 · Actual V_drop=34.64101615137755 · R_one_way=0.4 · P_loss=3000 |
dc-sys-230 | golden | pass | Expected V_drop=10 · percent_drop=4.3478260869565215 · V_load=220 · P_loss=200 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5 · percent_drop=4.3478260869565215 · V_load=220 |
3phi-loss-10A | golden | pass | Expected V_drop=8.660254037844386 · P_loss=150 · Actual V_drop=8.660254037844386 · R_one_way=0.5 · P_loss=150 |
boundary-neg-I | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
boundary-neg-length | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
boundary-missing-I | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-unc-I-length | boundary | pass | Expected V_drop=10 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5 |
boundary-unc-k-without-u | boundary | pass | Expected INVALID_INPUT · Actual INVALID_INPUT |
boundary-zero-Vsys | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-neg-Vsys | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-sys-230 | boundary | pass | Expected V_drop=10 · percent_drop=4.3478260869565215 · V_load=220 · R_one_way=0.25 · R_loop=0.5 · P_loss=200 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5 · percent_drop=4.3478260869565215 · V_load=220 |
property-dc-drop | property | pass | DC: ΔV = 2·I·R |
property-linear-current | property | pass | ΔV(2I)=2ΔV(I) |
property-linear-length | property | pass | ΔV(2L)=2ΔV(L) |
property-3phi-drop | property | pass | 3φ: ΔV = √3·I·R |
property-linear-Rkm | property | pass | ΔV(2R)=2ΔV(R) |
property-dc-vs-3phi-factor | property | pass | ΔV_dc/ΔV_3φ = 2/√3 |
property-linear-grid-IL | property | pass | I×L grid 9/9 |
property-uncertainty-compose | property | pass | u_* → sensitivity U=k·u_c on V_drop |
property-no-unc-omit | property | pass | no u_* and no V_system → V_drop without uncertainty or %drop |
property-percent-drop | property | pass | %drop = 100·V_drop/V_system |
property-load-voltage | property | pass | V_load = V_system − V_drop |
property-3phi-ll-percent | property | pass | 3φ %drop uses line-to-line V_system; no R_loop |
property-dc-loss | property | pass | DC: P_loss = I²·2R = I·V_drop |
property-3phi-loss | property | pass | 3φ: P_loss = 3·I²·R = √3·I·V_drop |