Verification
5/5 calculation tests · Production surface contract 1/1
- Golden tests 0 / 0
- Boundary tests 0 / 0
- Property tests 5 / 5
- Production surface contract 1 / 1
}
- Engine tested Yes
- Source checked Yes
- Artifact integrity PASS
- Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status PASS (0 stale; 164 CURRENT) @ 2026-09-18T10:48:34.503Z
- Semantic contract PASS
- Evidence attested at 2026-09-18T10:48:33.674Z
- Last production check 2026-09-18T10:48:33.674Z
- Public / cache PASS
- Origin PASS
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:37fded04de07e80b0b10caaa6968fe680c3f976bef75501358626521324059e5
Input schema sha256:22085b561086d82b8f3f26bdd3ff87ee93e5cce92b2eb2903285dd29453c9e17 · Output schema sha256:bec792e63a1bf66ef0af377c4036c857bb61e1412404d1bf4a53c8564ffea0ed · 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
- iso-wedge
- Engine
- iso-wedge
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T09:52:04.915Z
- Rendered
- 2026-09-18T11:10:25.556Z
- Last reviewed
- —
Assumptions
- ISO 5167-6 uncalibrated wedge: Q = C E A √(2Δp/ρ); C=0.77−0.09β; β from circular-segment h/D; A=(π/4) D² β²; incompressible ε=1; C is reported, not an input
- Re_D∈[1e4, 9e6] is the ISO envelope; h/D∈[0.20,0.60]; β∈[0.377,0.791]; D∈[50 mm, 600 mm]; h/D=0.5 → β=√0.5
- Not cone C=0.82, not ISA 1932 C(β,Re), not RHG orifice, not ISO 5167-4 type C, not long-radius C(β), not given C_d, not Q=Av, not Darcy f, not compressible ε
Limitations
- ISO 5167-6 uncalibrated wedge: Q = C E A √(2Δp/ρ); C=0.77−0.09β; β from circular-segment h/D; A=(π/4) D² β²; incompressible ε=1; C is reported, not an input
- C from β, not Re_D; Re_D∈[1e4, 9e6] is the ISO envelope; h/D∈[0.20,0.60]; β∈[0.377,0.791]; D∈[50 mm, 600 mm]; h/D=0.5 → β=√0.5
- Not cone C=0.82, not ISA 1932 C(β,Re), not RHG orifice, not ISO 5167-4 type C, not long-radius C(β), not given C_d, not Q=Av, not Darcy f, not compressible ε
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-wdg-C | property | pass | C=0.77−0.09β |
property-wdg-Q | property | pass | Q=C E A √(2Δp/ρ) segment |
property-wdg-not-cone | property | pass | C≠ISO 5167-5 cone 0.82 |
property-wdg-roundtrip-dP | property | pass | Δp invert |
property-wdg-model | property | pass | iso_5167_6_uncalibrated |