Public evidence
Machine-checked verification for calculation version 1.4.3 · tier expert_verified
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Balanced sinusoidal; PF ∈ (0,1] on AC. DC omits PF. · Protocol · Schema · Production report
Legacy regression suite: 16/16 calculation tests · Production surface contract 34/34
Three distinct suites: educational examples on the calculator page, this legacy regression count (16/16 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-10.evidence-semantics. Calculation version 1.4.3. CVP 1.0.0-proposed. 7/7 golden · 4/4 CVP boundary · 6/6 invalid · 5/5 property · 6/6 metamorphic · 6/6 round-trip · 1/1 cross-interface · 2/2 cross-calculator · 34/34 CVP contract. digest 1fc8b58b8507. ≤2 ULP vs this O2 module on the published golden, near-singularity boundary, round-trip, and metamorphic vectors. Computational fidelity: ULP vs O2. Engineering interpretation: exact deterministic algebraic model; measurement uncertainty is outside calculator scope. Not a whole-domain guarantee (overflow, denormals, or unlisted V→0 neighborhoods). O2 shares Node/V8 binary64 with the IUT; O3 is not required this wave.
Fingerprint sha256:efe17d16f1cee0557a8485a5ad6b47260cde93de783eca46403df7b744206399
Input schema sha256:1c75b76701130204769f10dd9f62bcc89d62d36d3551bbfbb00fcfdd362a412c · Output schema sha256:910992de9e00b5727f5c85689adf1d565c3eab3a0a467055c893403dd631c190 · 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 |
|---|---|---|---|
1phi-12A-120V | golden | pass | Expected 1.44 · Actual 1.44 |
dc-40A-240V | golden | pass | Expected 9.6 · Actual 9.6 |
3phi-20A-400V | golden | pass | Expected 12.471 · Actual 12.470765814495916 |
kw-to-amps-10 | golden | pass | Expected 16.04 · Actual 16.037507477489605 |
1phi-linear-2x-current | golden | pass | Expected 2.88 · Actual 2.88 |
3phi-half-pf | golden | pass | Expected 6.236 · Actual 6.235382907247958 |
soft-zero-current | golden | pass | Expected 0 · Actual 0 |
kw-zero-volts | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
pf-zero | boundary | pass | Expected FRACTION_OUT_OF_RANGE · Actual FRACTION_OUT_OF_RANGE |
roundtrip-1phi-kw-a | golden | pass | Expected 12 · Actual 12 |
bad-system | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-1phi | property | pass | 12A·120V |
property-3phi | property | pass | 3φ |
property-roundtrip | property | pass | kw→A |
property-dc | property | pass | DC 40A·240V |
property-rest-alias | property | pass | REST a/b/phase |