Public evidence
Machine-checked verification for calculation version 1.5.1 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· P_kW in; S/Q out in kVA/kvar · Protocol · Schema · Production report
Legacy regression suite: 26/26 calculation tests · Production surface contract 4/4
Three distinct suites: educational examples on the calculator page, this legacy regression count (26/26 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.5.1. CVP 1.0.0-proposed. 4/4 golden · 8/8 CVP boundary · 8/8 invalid · 8/8 property · 1/1 cross-interface · 1/1 CVP contract. digest 3a01980707da.
Fingerprint sha256:89a1b805a2d9a8d0f73adb83ec59a9c4dfad86e163aed81299e4e6b03b3972db
Input schema sha256:58f7124c7fa45a14a497899c2e332e231b44ed54732eafc036000d910742d5cb · Output schema sha256:033f5d62f827aa868e68783f3c570dd404f88eb2ad51504f45fb99dbbd307933 · 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-default | golden | pass | Expected S=2.3 · pf=0.7826 · Actual S=2.3 · pf=0.782608695652174 · Q=1.4317821063276353 |
1phi-unity | golden | pass | Expected S=2.3 · pf=1 · Q=0 · Actual S=2.3 · pf=1 · Q=0 |
1phi-half-pf | golden | pass | Expected S=2.3 · pf=0.5 · Actual S=2.3 · pf=0.5 · Q=1.9918584287042087 |
1phi-p-gt-s-cap | golden | pass | Expected S=2.3 · pf=1 · Q=0 · Actual S=2.3 · pf=1 · Q=0 |
error-zero-volts | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
error-neg-P | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
error-invalid-mode | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
error-missing-I | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
soft-zero-power | golden | pass | Expected S=2.3 · pf=0 · Actual S=2.3 · pf=0 · Q=2.3 |
3phi-ll-half-current | golden | pass | Expected S=17.321 · pf=0.866 · Actual S=17.32050807568877 · pf=0.8660254037844387 · Q=8.660254037844386 |
3phi-ll | golden | pass | Expected S=34.641 · pf=0.866 · Actual S=34.64101615137754 · pf=0.8660254037844387 · Q=17.32050807568877 |
scale-2x-I-P | golden | pass | Expected S=4.6 · pf=0.7826 · Actual S=4.6 · pf=0.782608695652174 · Q=2.8635642126552705 |
3phi-ln | golden | pass | Expected S=6.9 · pf=0.8696 · Actual S=6.9 · pf=0.8695652173913043 · Q=3.407345007480164 |
soft-zero-current | golden | pass | Expected S=0 · pf=0 · Actual S=0 · pf=0 · Q=0 |
boundary-zero-v-pf | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
boundary-neg-v | boundary | pass | Expected VOLTAGE_MUST_BE_POSITIVE · Actual VOLTAGE_MUST_BE_POSITIVE |
boundary-neg-I | boundary | pass | Expected VALUE_MUST_BE_NON_NEGATIVE · Actual VALUE_MUST_BE_NON_NEGATIVE |
boundary-missing-P | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
property-unity-pf | property | pass | P=S → λ=1 |
property-half-pf | property | pass | P=S/2 → λ=0.5 |
property-3phi-S | property | pass | 3φ L-L: S=√3·V·I/1000 |
property-power-triangle | property | pass | Q² + P² = S² |
property-pf-cap | property | pass | P>S → λ=1, Q=0 |
property-scale-invariant-pf | property | pass | 2×I & 2×P keeps λ |
property-3phi-ln-S | property | pass | 3φ L-N: S=3·V·I/1000 |
property-pf-grid | property | pass | PF grid 9/9 |