Public evidence

electrical.kirchhoff

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· DC series/parallel demo only — not a netlist solver · Protocol · Schema · Production report

Declared partition coverage: PASS · 3/3 declared partitions (series, parallel, invalid-domain)
Versions: Calculation 1.0.0 · CVP protocol 1.0.0-proposed
CVP identity: 2/2 property · digest 3dd7bc4d45dd

Verification

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

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 · 3/3 CVP boundary · 2/2 invalid · 2/2 property · 1/1 cross-interface · 1/1 CVP contract. digest 3dd7bc4d45dd.

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

Fingerprint sha256:9848cacc2b5c01ac786c8d4bd7ed4504598bcfa1bb83818af1f9924acc575130

Input schema sha256:eb3cd6153708f7d03a4a0f9cd0aea187a59dbd54cf89be94cee121858c468a8a · Output schema sha256:458fc4674a20c7c393ac05662092291bda95b815733c897671eae8ec0e98d5d7 · 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: kirchhoff
Engine: kirchhoff
Engine build: 2026-09-10
Evidence core: 2026-09-10T03:39:44.474Z
Rendered: 2026-09-16T22:03:43.722Z
Last reviewed: 2026-08-08

Limitations

Single loop/node demo only

Sources

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

IEC 60050 — Kirchhoff's laws — KVL / KCL
Supports: Loop voltage and node current summation
Nilsson/Riedel — Electric Circuits — KVL and KCL
Supports: Series current and parallel voltage identities

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
`series-12`	golden	pass	Expected I_A=0.04 · V_sum=12 · Actual mode=series · Vs=12 · R_eq=300 · I_A=0.04 · V_sum=12
`parallel`	golden	pass	Expected V=1.5 · I_sum=0.03 · Actual mode=parallel · Is=0.03 · R_eq=50 · V=1.5 · I_sum=0.03
`bad-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`missing-Vs`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`boundary-series`	boundary	pass	Expected I_A=0.04 · Actual mode=series · Vs=12 · R_eq=300 · I_A=0.04 · V_sum=12
`property-kvl`	property	pass	KVL
`property-kcl`	property	pass	KCL