Home Developers Evidence electrical.voltage_drop

Public evidence

electrical.voltage_drop

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

Declared partition coverage
PASS · 5/5 declared partitions (dc, three, with-V_system, with-uncertainty, invalid-domain)
Versions
Calculation 1.5.2 · CVP protocol 1.0.0-proposed · Evidence 2026-09-11.schema-coverage-u
Verification revision
2026-09-11.schema-coverage-u · 14/14 property · digest e4ca53248b8b

Verification

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.

    This calculator CURRENT · Public schema 1.5.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. 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.

  • Golden (oracle-backed) 4 / 4
  • CVP boundary 11 / 11
  • Invalid input 10 / 10
  • Property 14 / 14
  • Metamorphic 4 / 4
  • Cross-interface 1 / 1
  • CVP contract 6 / 6
  • 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
  • schema coverage requires u PASS
  • schema rejects boundary unc k without u PASS

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.

Build & scope

Engine identity and declared limitations.

Tool
voltage-drop
Engine
voltage-drop
Engine build
2026-09-12
Evidence core
2026-09-12T08:31:40.839Z
Rendered
2026-09-16T22:03:43.700Z
Last reviewed

Assumptions

  • Constant resistance; temperature neglected.
  • AC estimate assumes PF ≈ 1 and neglects conductor reactance.
  • DC / resistive 1φ uses round-trip path; 3φ assumes balanced line-to-line drop.
  • V_system for 3φ is line-to-line; V_load = V_system − V_drop on that same basis.
  • User supplies an appropriate Ω/km for the conductor and conditions.
  • When u_* are set, first-order GUM sensitivity with independent inputs (no ρ on this page).

Limitations

  • Resistance-only estimate — AC reactance neglected; AC modes assume PF ≈ 1
  • Not a substitute for code-compliant cable sizing or ampacity
  • 3φ V_system is line-to-line; percent_drop and V_load use that same basis
  • Zero I/length/R → 0 V (valid); negatives → VALUE_MUST_BE_NON_NEGATIVE
  • mode must be dc or three (INVALID_MODE otherwise); REST/UI default dc if omitted
  • V_system if set must be > 0 (VALUE_MUST_BE_POSITIVE); omit it to return volts only
  • Optional u_* use GUM sensitivity only; empty u_* still returns { V_drop, R_one_way, P_loss, … } without uncertainty
  • Engine tested, source checked, evidence published (L1). Named expert review is a higher assurance tier (L3), not required for engine-tested status. Not a code-compliance certification.

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
dc-20AgoldenpassExpected 10 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5
1phi-15AgoldenpassExpected 2.007 · Actual V_drop=2.007 · R_one_way=0.0669 · P_loss=30.105 · R_loop=0.1338
dc-1AgoldenpassExpected 0.3366 · Actual V_drop=0.3366 · R_one_way=0.1683 · P_loss=0.3366 · R_loop=0.3366
3phi-36AgoldenpassExpected 8.976 · Actual V_drop=8.971808408906647 · R_one_way=0.1403 · P_loss=573.72306576
linear-2x-IgoldenpassExpected 20 · Actual V_drop=20 · R_one_way=0.25 · P_loss=800 · R_loop=0.5
linear-2x-LgoldenpassExpected 20 · Actual V_drop=20 · R_one_way=0.5 · P_loss=400 · R_loop=1
soft-zero-IgoldenpassExpected 0 · Actual V_drop=0 · R_one_way=0.25 · P_loss=0 · R_loop=0.5
soft-zero-LgoldenpassExpected 0 · Actual V_drop=0 · R_one_way=0 · P_loss=0 · R_loop=0
soft-zero-RkmgoldenpassExpected 0 · Actual V_drop=0 · R_one_way=0 · P_loss=0 · R_loop=0
error-neg-RkmboundarypassExpected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
error-neg-IboundarypassExpected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
error-missing-lengthboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
error-invalid-modeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
3phi-50AgoldenpassExpected 34.641 · Actual V_drop=34.64101615137755 · R_one_way=0.4 · P_loss=3000
dc-sys-230goldenpassExpected 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-10AgoldenpassExpected V_drop=8.660254037844386 · P_loss=150 · Actual V_drop=8.660254037844386 · R_one_way=0.5 · P_loss=150
boundary-neg-IboundarypassExpected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
boundary-neg-lengthboundarypassExpected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE
boundary-missing-IboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-unc-I-lengthboundarypassExpected V_drop=10 · Actual V_drop=10 · R_one_way=0.25 · P_loss=200 · R_loop=0.5
boundary-unc-k-without-uboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
boundary-zero-VsysboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-neg-VsysboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-sys-230boundarypassExpected 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-droppropertypassDC: ΔV = 2·I·R
property-linear-currentpropertypassΔV(2I)=2ΔV(I)
property-linear-lengthpropertypassΔV(2L)=2ΔV(L)
property-3phi-droppropertypass3φ: ΔV = √3·I·R
property-linear-RkmpropertypassΔV(2R)=2ΔV(R)
property-dc-vs-3phi-factorpropertypassΔV_dc/ΔV_3φ = 2/√3
property-linear-grid-ILpropertypassI×L grid 9/9
property-uncertainty-composepropertypassu_* → sensitivity U=k·u_c on V_drop
property-no-unc-omitpropertypassno u_* and no V_system → V_drop without uncertainty or %drop
property-percent-droppropertypass%drop = 100·V_drop/V_system
property-load-voltagepropertypassV_load = V_system − V_drop
property-3phi-ll-percentpropertypass3φ %drop uses line-to-line V_system; no R_loop
property-dc-losspropertypassDC: P_loss = I²·2R = I·V_drop
property-3phi-losspropertypass3φ: P_loss = 3·I²·R = √3·I·V_drop