Public evidence

electrical.diode.equation

Machine-checked verification for calculation version 1.1.0 · tier internally_reviewed

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· No series Rs / breakdown / recombination extras / high-injection. Is is specified at T, not computed from a reference-temperature value. · Protocol · Schema · Production report

Declared partition coverage: PASS · 5/5 declared partitions (fwd-id, inv-vd, reverse-bias, small-x, invalid-domain)
Versions: Calculation 1.1.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-13.shockley-inverse-trust.2
Verification revision: 2026-09-13.shockley-inverse-trust.2 · 2/2 property · digest 4899855db55a

Verification

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

Three distinct suites: educational examples on the calculator page, this legacy regression count (15/15 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.1.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. Verification revision 2026-09-13.shockley-inverse-trust.2. Calculation version 1.1.0. CVP 1.0.0-proposed. 6/6 golden · 10/10 CVP boundary · 11/11 invalid · 2/2 property · 8/8 round-trip · 4/4 cross-interface · 4/4 CVP contract. digest 4899855db55a.

Golden (oracle-backed) 6 / 6
CVP boundary 10 / 10
Invalid input 11 / 11
Property 2 / 2
Round-trip 8 / 8
Cross-interface 4 / 4
CVP contract 4 / 4
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:fc82f7c2c6e183ced77f89b0b803cd01f2d9689ef4c4a3de8c82e173fa0599f3

Input schema sha256:0d09a1811597bcb8e9ac11e11c59ade2a938a949011800cf5c13af56be3d58d0 · Output schema sha256:765f987f71f4acf69f378cc438657d8325ff6a6ac883763d79d2a92110199837 · 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: diode-equation
Engine: diode-equation
Engine build: 2026-09-12
Evidence core: 2026-09-12T22:51:46.658Z
Rendered: 2026-09-16T22:03:43.729Z
Last reviewed: 2026-09-13

Assumptions

Ideal Shockley; no series Rs, breakdown, recombination extras, or high-injection
I_S is the saturation current at the selected junction temperature; I_S(T) is not derived

Limitations

Ideal Shockley; no Rs/breakdown/high-injection
Is is specified at T; Is(T) is not derived
mode=vd requires Id > -Is
binary64 overflow → NUMERIC_OVERFLOW

Sources

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

Shockley — The theory of p–n junctions in semiconductors and p–n junction transistors — Bell System Technical Journal 28(3), 1949 · 1949
Supports: Ideal exponential Id–Vd relationship of a p–n junction
CODATA 2022 — Boltzmann constant k — Fundamental Physical Constants
Supports: Vt = kT/q thermal voltage
CODATA 2022 — elementary charge e — Fundamental Physical Constants
Supports: Vt = kT/q thermal voltage

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
`fwd`	golden	pass	Expected Id=0.5747545691036834 · Actual n=1 · mode=id · Vd=0.7 · Id=0.5747545691036834 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`roundtrip-vd`	golden	pass	Expected Vd=0.5357378640168374 · Actual n=1 · mode=vd · Vd=0.5357378640168374 · Id=0.001 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`bad-Is`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`soft-zero-vd`	golden	pass	Expected Id=0 · Actual n=1 · mode=id · Vd=0 · Id=0 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`id-zero`	golden	pass	Expected Vd=0 · Actual n=1 · mode=vd · Vd=0 · Id=0 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`reverse-half-Is`	golden	pass	Expected Vd=-0.0179192407638041 · Actual n=1 · mode=vd · Vd=-0.0179192407638041 · Id=-5e-13 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`boundary-diode-small-x`	boundary	pass	Expected Id=3.8681727072581744e-23 · Actual n=1 · mode=id · Vd=1e-12 · Id=3.8681727072581744e-23 · Is=1e-12 · T_K=300 · Vt=0.025851999786435535
`boundary-diode-n`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`boundary-diode-T`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`boundary-diode-Id-domain`	boundary	pass	Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE
`boundary-diode-overflow`	boundary	pass	Expected NUMERIC_OVERFLOW · Actual NUMERIC_OVERFLOW
`property-id`	property	pass	Shockley Id
`property-roundtrip`	property	pass	inverse recovers Vd
`property-id-zero`	property	pass	Id=0→Vd=0
`property-reverse`	property	pass	Id=-0.5 Is