Public evidence
Machine-checked verification for calculation version 1.4.3 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· PF optional for derived real power only — not applied to S · Protocol · Schema · Production report
Legacy regression suite: 36/36 calculation tests · Production surface contract 4/4
Three distinct suites: educational examples on the calculator page, this legacy regression count (36/36 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.cvp-bootstrap. Calculation version 1.4.3. CVP 1.0.0-proposed. 4/4 golden · 12/12 CVP boundary · 10/10 invalid · 14/14 property · 1/1 cross-interface · 1/1 CVP contract. digest c57787417bc3.
Fingerprint sha256:8f1fe71ef5ac163067373cca83fd06606a09cf26222e4f7549938786262e71d7
Input schema sha256:5bf23cb0b374dc943d075d420a742cbbfabfe8dd5b7f4a26a608ec186c0b9835 · Output schema sha256:550be97c601f18e5c860c9a6aaf3d5f117474eda14f4121568ae369861f1b19c · 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-20A-120V | golden | pass | Expected 2400 · Actual 2400 |
1phi-12A-230V | golden | pass | Expected 2760 · Actual 2760 |
3phi-10A-400V | golden | pass | Expected 6928.203 · Actual 6928.203230275509 |
3phi-60A-480V | golden | pass | Expected 49883.06 · Actual 49883.06325798366 |
va-to-amps-2760 | golden | pass | Expected 12 · Actual 12 |
boundary-volts-zero | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
boundary-volts-negative | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
boundary-primary-negative | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
boundary-pf-80 | boundary | pass | Expected POWER_FACTOR_OUT_OF_RANGE · Actual POWER_FACTOR_OUT_OF_RANGE |
boundary-pf-zero | boundary | pass | Expected 1200 · Actual 1200 |
boundary-pf-one-ok | boundary | pass | Expected 1200 · Actual 1200 |
boundary-unknown-mode | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-unknown-phase | boundary | pass | Expected INVALID_PHASE · Actual INVALID_PHASE |
boundary-tiny-positive-volts | boundary | pass | Expected 0.000001 · Actual 0.000001 |
boundary-missing-volts | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-missing-primary | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-overflow-va | boundary | pass | Expected NON_FINITE_RESULT · Actual NON_FINITE_RESULT |
boundary-infinity-volts | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
golden-zero-current | golden | pass | Expected 0 · Actual 0 |
3phi-va-to-amps-400V | golden | pass | Expected 10 · Actual 10 |
3phi-amps-kva-10A-400V | golden | pass | Expected 6.928203230275509 · Actual 6.928203230275509 |
property-double-current | property | pass | Expected 5520 · Actual 5520 |
property-double-voltage | property | pass | Expected 5520 · Actual 5520 |
property-roundtrip-va-amps | property | pass | Expected 60 · Actual 59.9999960812547 |
amps-kva-12A-230V | golden | pass | Expected 2.76 · Actual 2.76 |
property-linearity-current | property | pass | S(2I,V)=2S(I,V) |
property-linearity-voltage | property | pass | S(I,2V)=2S(I,V) |
property-roundtrip-va-amps-va | property | pass | VA→A recovers I |
property-three-phase-sqrt3 | property | pass | S3φ=√3·V·I |
property-pf-omitted-equals-pf-one | property | pass | S(λ omitted)=S(λ=1) |
property-pf-zero-equals-omitted | property | pass | S(λ=0)=S(λ omitted) |
property-roundtrip-grid | property | pass | VA↔A round-trip over 64 pairs |
property-derived-pf-08 | property | pass | 12 A × 230 V × λ0.8 → S=2760 VA, P_est=2208 W |
property-derived-pf-zero | property | pass | 10 A × 120 V × λ0 → S=1200 VA, P_est=0 W |
property-derived-pf-omitted | property | pass | power_factor absent → derived omitted |
property-derived-zero-s | property | pass | S=0 with λ supplied → P_est=0 W and note |