engineering.uncertainty.tur

Three distinct suites: educational examples on the calculator page, this legacy regression count (12/12 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.1 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-23.o2-o3. Calculation version 1.0.1. CVP 1.0.0-proposed. 4/4 golden · 7/7 CVP boundary · 8/8 invalid · 1/1 property · 1/1 metamorphic · 8/8 O3 · 4/4 cross-interface · 6/6 CVP contract. digest 883bc95d518c. O2: ANSI/NCSL Z540.3 two-sided TUR = span/(2U) vs a separate-module identity (≤2 ULP). Not a TUR≥4 verdict, not a guard band, and not U = k·u_c. ≤2 ULP vs O3 applies only to the published tabulated Z540.3 vectors (limits, span, half-width, aliases, and one awkward span). It is not a whole-domain guarantee and does not cover a TUR≥4 verdict, a guard band, or U = k·u_c.

• Golden (oracle-backed) 4 / 4
• CVP boundary 7 / 7
• Invalid input 8 / 8
• Property 1 / 1
• Metamorphic 1 / 1
• O3 high-precision 8 / 8
• Cross-interface 4 / 4
• CVP contract 6 / 6
• 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 ANSI/NCSL Z540.3 two-sided TUR = (USL−LSL)/(2U) for an already-expanded U, plus span T and half-width tol, + O3 mpmath tabulated TUR.
• Assurance Engineering
• Deferred Not a TUR≥4 pass/fail, not a guard band, and not U = k·u_c.

• release artifacts aligned PASS
• schema output required declared PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• schema rejects incomplete input PASS
• rest success payload validates schema PASS

Fingerprint sha256:546c96c54eb3378e9ef730e98755253eb41c3dc240c02fce801c2e993c0164cb

Input schema sha256:374568c238feb49ca1bddd71820deea630ae505652d019cb90f19d0ea5460d41 · Output schema sha256:a800db86156365a097a111ab1f505e06b58af2796d9068548e169ec13b9ce29b · 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.

Tool

tur

Engine

tur

Engine build

2026-09-23

Evidence core

2026-09-23T10:39:08.821Z

Rendered

2026-10-07T13:43:02.406Z

Last reviewed

—

Assumptions

• ANSI/NCSL Z540.3 two-sided TUR = (USL−LSL)/(2U)
• U is already expanded; this page does not compute U = k·u_c
• tol is a half-width (span = 2·tol)
• Not a pass/fail, not a guard band, and not combined RSS

Limitations

• U is already expanded — this page does not compute U = k·u_c
• Does not combine a measurement model or RSS of u_i
• Does not issue a TUR≥4 pass/fail or an ILAC G8 decision
• Not a guard band and not Cp/Cpk