engineering.uncertainty.type_b_nu

• Golden tests 0 / 0
• Boundary tests 5 / 5
• Property tests 3 / 3
• Production surface contract 4 / 4
}
• Engine tested Yes
• Source checked Yes
• Artifact integrity PASS
• Production attestation Embedded snapshot: unpublished · Build schema 1.0.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status STALE (1 capability; 156 remain CURRENT) @ 2026-09-14T03:54:53.650Z
• Semantic contract PASS
• Evidence attested at 2026-09-14T00:43:05.498Z
• Last production check 2026-09-14T00:43:05.498Z
• Public / cache —
• Origin —
• Supplemental domain review Not performed
• Named expert review Not performed

• release artifacts aligned PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• schema rejects incomplete input PASS

Fingerprint sha256:9f1eac07cabde40d191834cc98f960426e72bece63e028e77faca38287cd2970

Input schema sha256:7b22b0d63d6e02d6665b31db6243dc6f28ac663223a6656463f1b12b0dfd2817 · Output schema sha256:cf26d94dacd5758ad6abd0a6c918c65e209e07652decb2eba100305caf88d321 · 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

type-b-nu

Engine

type-b-nu

Engine build

2026-09-15

Evidence core

2026-09-15T22:36:51.391Z

Rendered

2026-09-15T23:38:12.901Z

Last reviewed

—

Assumptions

• JCGM 100:2008 G.4.2: ν = ½ (u/σ(u))²
• σ(u)=0 → ν is infinite (REST returns nu=null, infinite=true)
• Not Type B u_B from a half-width, not Welch ν_eff, and not U = k·u_c

Limitations

• GUM G.4.2 ν from stated u and σ(u) — not Type B u_B = a/√3
• Not Welch–Satterthwaite ν_eff from several u_i, ν_i
• Not expanded U = k·u_c
• Does not take half-width a