Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
17/17 calculation tests · Production surface contract 4/4
Fingerprint sha256:a8883abb131362b9a281b5c4790a515f8c17b6890ef76f0040c477af31316db2
Input schema sha256:c4da2ae37ad4ee5e90b9bbaf74312fe153c1c329d3f98a66377ac11f4d52e539 · Output schema sha256:6026cf5a2c5ebcdb14abe4f7f002bc1233ea273c3230da7855d0ad4bd663665c · 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.
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|---|---|---|
golden-vt-q | golden | pass | Expected Q=0.008887616884747668 · Cd=0.98 · mode=flow · model=venturi · Actual mode=flow · Q=0.008887616884747668 · Q_ideal=0.00906899682117109 · D1=0.1 · D2=0.05 · beta=0.5 · E=1.0327955589886444 · A1=0.007853981633974483 |
golden-vt-dh | golden | pass | Expected Q=0.008887616884747668 · dP=10000 · model=venturi · Actual mode=flow · Q=0.008887616884747668 · Q_ideal=0.00906899682117109 · D1=0.1 · D2=0.05 · beta=0.5 · E=1.0327955589886444 · A1=0.007853981633974483 |
boundary-vt-dp | boundary | pass | Expected dP=10000 · model=venturi · Actual mode=pressure · Q=0.008887616884747668 · Q_ideal=0.00906899682117109 · D1=0.1 · D2=0.05 · beta=0.5 · E=1.0327955589886444 · A1=0.007853981633974483 |
boundary-vt-d2 | boundary | pass | Expected D2=0.05 · model=venturi · Actual mode=throat · Q=0.008887616884747668 · Q_ideal=0.00906899682117109 · D1=0.1 · D2=0.05 · beta=0.5 · E=1.0327955589886444 · A1=0.007853981633974483 |
boundary-vt-cd | boundary | pass | Expected Cd=0.98 · model=venturi · Actual mode=Cd · Q=0.008887616884747668 · Q_ideal=0.009068996821171089 · D1=0.1 · D2=0.05 · beta=0.5 · E=1.0327955589886444 · A1=0.007853981633974483 |
boundary-vt-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-vt-d2ge | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-vt-orifice-d | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-vt-cv | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-vt-qav | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-vt-orifice-mode | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-vt-tank-h | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
property-vt-q | property | pass | Cd E A2 √(2Δp/ρ) |
property-vt-ideal | property | pass | Q=Cd Q_ideal |
property-vt-roundtrip-dp | property | pass | Δp invert |
property-vt-dh | property | pass | Δh encoding |
property-vt-model | property | pass | venturi |