Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance · AIAG Gauge R&R compose GRR/TV/%GRR/ndc from EV/AV/PV, optional range EV=R̄/d2 + O3 mpmath tabulated GRR.· Stated components. Not full ANOVA. O3 tabulated vectors only. · Protocol · Schema · Production report
Legacy regression suite: 8/8 calculation tests · Production surface contract 4/4
Three distinct suites: educational examples on the calculator page, this legacy regression count (8/8 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-16.o2-o3. Calculation version 1.0.0. CVP 1.0.0-proposed. 5/5 golden · 4/4 CVP boundary · 7/7 invalid · 3/3 property · 2/2 metamorphic · 8/8 O3 · 4/4 cross-interface · 4/4 CVP contract. digest 91696d47fa7d. O2: AIAG GRR/TV/%GRR/ndc and range EV=R̄/d2 vs separate-module identities (≤2 ULP). Not full ANOVA, not %tolerance vs spec, not Cg. ≤2 ULP vs O3 applies only to the published tabulated GRR vectors (stated EV, range EV, custom d2, AV=0, PV=0, aliases, scale). It is not a whole-domain guarantee and does not cover full ANOVA or %tolerance vs spec.
Fingerprint sha256:b3b98497ba42d897e007438b58bf39c5b25e1fb4218b7c18f6de34c3825fbded
Input schema sha256:7fafa61ccb90494e4b9a004b46e43e812d4467c383095577a0fece97c8e38ed4 · Output schema sha256:700648723e9499b8fc173be03bae0e5442391fa64b1af01d44fe2935cb09691a · 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 |
|---|---|---|---|
golden-grr | golden | pass | Expected GRR=5 · TV=13 · pct_grr=38.46153846153846 · ndc=3.384 · Actual EV=3 · AV=4 · PV=12 · GRR=5 · TV=13 · pct_grr=38.46153846153846 · ndc=3.3839999999999995 |
boundary-grr-range | boundary | pass | Expected EV=1 · Actual EV=1 · AV=4 · PV=12 · GRR=4.123105625617661 · TV=12.688577540449518 · pct_grr=32.49462449572256 · ndc=4.103702775614753 · rbar=1.128 |
boundary-grr-both | boundary | pass | Expected INVALID_INPUT · Actual INVALID_INPUT |
boundary-grr-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-grr-zero | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
property-grr | property | pass | 5 |
property-tv | property | pass | 13 |
property-range-ev | property | pass | 1 |