Verification
8/8 calculation tests · Production surface contract 4/4
- 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 (5 capabilities; 152 remain CURRENT) @ 2026-09-16T02:55:45.575Z
- 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:1401e667d7e486336e99e075490cc671e4c96e064448c05ef49debedc739eec7
Input schema sha256:257a00ccac5fe7cccfee4fec7919dd4b715b8f1e011eb0b9601927a282296629 · Output schema sha256:86e01706412e53fcbda8a0a6ae981ee8595ff5a9984370aa492bc5f213e1ccb1 · 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.
- Tool
- duplicate-sd
- Engine
- duplicate-sd
- Engine build
- 2026-09-16
- Evidence core
- 2026-09-16T01:11:22.698Z
- Rendered
- 2026-09-16T03:19:09.589Z
- Last reviewed
- —
Assumptions
- ISO 5725 duplicate-difference repeatability: s_r = √(Σ d_i² / (2m)) from m≥2 pairs. m=1 is rejected.
- d_i may be negative or zero. Both zero is valid (s_r = 0).
- Not Type A from a sample of observations, not r = 2.8·s, and not AIAG GRR EV = R̄/d2.
Limitations
- Takes duplicate differences — not a sample of observations
- m=1 is rejected so this cannot wrap |d|/√2
- Does not report r = 2.8·s_r
- Not AIAG GRR EV = R̄/d2
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
- ISO 5725-2 — Repeatability and reproducibility of standard measurement methods — Repeatability variance from duplicate differences
Supports: Each pair contributes d_i²/2 to the within-laboratory variance. Pooled over m pairs, s_r² = Σ d_i² / (2m).
- ISO 5725-1 — Accuracy (trueness and precision) of measurement methods and results — Repeatability standard deviation s_r
Supports: This page estimates s_r from already-formed differences. It does not report the conventional limit r = 2.8·s_r.
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
boundary-dup | boundary | pass | Expected s_r=5 · m=2 · Actual s_r=5 · m=2 |
boundary-dup-pairs | boundary | pass | Expected s_r=5 · Actual s_r=5 · m=2 |
boundary-dup-zero | boundary | pass | Expected s_r=0 · Actual s_r=0 · m=2 |
boundary-dup-one | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-dup-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
property-dup | property | pass | 5 |
property-dup-pairs | property | pass | 5 |
property-dup-alias | property | pass | 5 |
