Public evidence

electrical.pcb.via_current

Machine-checked verification for calculation version 1.0.0 · tier expert_verified

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· SI metres for drill/plating; ampacity via mil² · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (current, drill, invalid-domain)
Versions: Calculation 1.0.0 · CVP protocol 1.0.0-proposed
CVP identity: 3/3 property · digest 345917295ac4

Verification

Legacy regression suite: 7/7 calculation tests · Production surface contract 4/4

Three distinct suites: educational examples on the calculator page, this legacy regression count (7/7 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.0.0 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.0.0. CVP 1.0.0-proposed. 2/2 golden · 2/2 CVP boundary · 2/2 invalid · 3/3 property · 1/1 cross-interface · 1/1 CVP contract. digest 345917295ac4.

Golden (oracle-backed) 2 / 2
CVP boundary 2 / 2
Invalid input 2 / 2
Property 3 / 3
Cross-interface 1 / 1
CVP contract 1 / 1
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

Fingerprint sha256:1bf56cb6df01415c30eed11a5e57d96c66c10ccb98f2bf0dcf1f8754ba7c52e9

Input schema sha256:a6b70951cddd4e72f68a1b23fe9d088b2d79a0220d309e2d5b9e7aef13e7a607 · Output schema sha256:f832e6cd5e52dbbe128c58037a48a2dea4ab27d1c59da5f09da25f2f7f030f45 · 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: pcb-via-current
Engine: pcb-via-current
Engine build: 2026-09-10
Evidence core: 2026-09-06T13:18:51.762Z
Rendered: 2026-09-16T22:03:43.720Z
Last reviewed: 2026-08-08

Limitations

IPC-2221 closed form
t≥d/2 → PLATING_TOO_THICK

Sources

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

IPC-2221 — Generic Standard on Printed Board Design — Conductor current capacity
Supports: I = k·ΔT^0.44·A^0.725 applied to via plating area
IPC-2152 — Standard for Determining Current-Carrying Capacity — Via / conductor thermal ampacity guidance
Supports: Temperature-rise ampacity context for plated vias

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
`current-0p3`	golden	pass	Expected I_A=1.6853446055708443 · Actual mode=current · I_A=1.6853446055708443 · I_one_A=1.6853446055708443 · d_drill_m=0.0003 · d_drill_mm=0.3 · t_plating_m=0.000025 · t_plating_um=25 · A_m2=2.1598449493429825e-8
`drill-1A`	golden	pass	Expected d_drill_m=0.00015886239896063185 · Actual mode=drill · I_A=1 · I_one_A=1 · d_drill_m=0.00015886239896063185 · d_drill_mm=0.15886239896063184 · t_plating_m=0.000025 · t_plating_um=25 · A_m2=1.0513528229165673e-8
`thick-plate`	boundary	pass	Expected PLATING_TOO_THICK · Actual PLATING_TOO_THICK
`missing-dT`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`property-I`	property	pass	0.3mm via
`property-nvias`	property	pass	2 vias → 2I
`property-drill`	property	pass	drill>0