Public evidence
Machine-checked verification for calculation version 1.4.1 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· DC / 1φ / 3φ LL · Protocol · Schema · Production report
Legacy regression suite: 24/24 calculation tests · Production surface contract 4/4
Three distinct suites: educational examples on the calculator page, this legacy regression count (24/24 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. Calculation version 1.4.1. CVP 1.0.0-proposed. 1/1 golden · 4/4 CVP boundary · 2/2 invalid · 8/8 property · 1/1 cross-interface · 1/1 CVP contract. digest 8b431c133176.
Fingerprint sha256:465de46099024f3f0720f1da017640210ce5a53c84a1b15ba9e7cd2c4b68f2d3
Input schema sha256:c81941dfc9e2bdc8d5f422b5af389c2e47a9e6c6420d547e1f8ea49b4bff2cdb · Output schema sha256:fbed785a3393b689760e84859b8c45ae7bdbc696a9f826b9c83e0684d3fd3958 · 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 |
|---|---|---|---|
dc-1000W-120V | golden | pass | Expected 8.333 · Actual 8.333333333333334 |
dc-2400W-240V | golden | pass | Expected 10 · Actual 10 |
1phi-2000W | golden | pass | Expected 22.727 · Actual 22.727272727272727 |
3phi-10000W | golden | pass | Expected 16.04 · Actual 16.037507477489605 |
dc-60W-12V | golden | pass | Expected 5 · Actual 5 |
dc-amps-to-watts | golden | pass | Expected 1500 · Actual 1500 |
1phi-2000W-230V | golden | pass | Expected 10.87 · Actual 10.869565217391305 |
dc-linear-2x-power | golden | pass | Expected 16.667 · Actual 16.666666666666668 |
soft-zero-volts | golden | pass | Expected 0 · Actual 0 |
soft-zero-power | golden | pass | Expected 0 · Actual 0 |
soft-pf-zero-as-one | golden | pass | Expected 18.182 · Actual 18.181818181818183 |
3phi-roundtrip-a-w | golden | pass | Expected 10000 · Actual 10001.554183225724 |
boundary-pf-zero-as-one | boundary | pass | Expected 18.181818181818183 · Actual 18.181818181818183 |
boundary-zero-volts-ac | boundary | pass | Expected 0 · Actual 0 |
boundary-missing-volts | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-neg-volts | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
property-dc-w-a | property | pass | DC: I = P/V |
property-dc-a-w | property | pass | DC: P = I·V |
property-dc-roundtrip | property | pass | DC W↔A round-trip |
property-1phi-pf | property | pass | 1φ: I = P/(V·λ) |
property-linear-power | property | pass | I(2P)=2I(P) at fixed V |
property-3phi-pf | property | pass | 3φ: I = P/(√3·V·λ) |
property-3phi-roundtrip | property | pass | 3φ W↔A round-trip |
property-inverse-v | property | pass | I(2V)=I/2 at fixed P |