Home Developers Evidence engineering.msa.gauge_rr

Public evidence

engineering.msa.gauge_rr

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

Declared partition coverage
PASS · 6/6 declared partitions (stated-ev, range-ev, custom-d2, alias, pv-zero, invalid-domain)
Versions
Calculation 1.0.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-16.o2-o3
Verification revision
2026-09-16.o2-o3 · 3/3 property · digest 91696d47fa7d

Verification

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.

    This calculator CURRENT · Public schema 1.0.0 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

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.

  • Golden (oracle-backed) 5 / 5
  • CVP boundary 4 / 4
  • Invalid input 7 / 7
  • Property 3 / 3
  • Metamorphic 2 / 2
  • O3 high-precision 8 / 8
  • Cross-interface 4 / 4
  • CVP contract 4 / 4
  • Interfaces PASS · UI (SSR) / REST / MCP
  • Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
  • Verified scope AIAG Gauge R&R compose GRR/TV/%GRR/ndc from EV/AV/PV, optional range EV=R̄/d2 + O3 mpmath tabulated GRR.
  • Assurance Engineering
  • Deferred Not a full ANOVA Gauge R&R, not nested study tables, not %tolerance vs spec, not Cg/Cgk, and not X̄/R constants beyond d2 for n=2.
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS

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.

Build & scope

Engine identity and declared limitations.

Tool
gauge-rr
Engine
gauge-rr
Engine build
2026-09-16
Evidence core
2026-09-16T21:07:40.795Z
Rendered
2026-09-16T22:38:08.856Z
Last reviewed

Assumptions

  • AIAG compose: GRR=√(EV²+AV²), TV=√(GRR²+PV²), %GRR=100·GRR/TV, ndc=1.41·PV/GRR
  • Range-method EV = R̄/d2 (d2 defaults to 1.128 for n=2). Not a full ANOVA Gauge R&R.
  • Provide ev or rbar, not both

Limitations

  • AIAG compose of stated EV, AV, PV — not a full ANOVA Gauge R&R
  • Range-method EV uses d2 default 1.128 (n=2)
  • GRR must be > 0 for ndc

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Legacy published checks

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.

IDKindStatusDetail
golden-grrgoldenpassExpected 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-rangeboundarypassExpected 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-bothboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
boundary-grr-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-grr-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
property-grrpropertypass5
property-tvpropertypass13
property-range-evpropertypass1