Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
14/14 calculation tests · Production surface contract 4/4
Fingerprint sha256:7832177001854ed16e851ba103e5917f90bfcec7dbc24861b6ecfe5911e008d3
Input schema sha256:5047588b25f9c00388cc4d53cd92168749c055d21833c428a8ae48d4a92143a4 · Output schema sha256:c6d08b24bee10c6ea8371bf251adccc275d7ba81b306c9a374d5a5a0de5f6666 · 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-cw | golden | pass | Expected n=2 · R=0.45 · mode=plane · model=composite_wall · Actual n=2 · mode=plane · R=0.45 · A=2 · model=composite_wall |
boundary-cw-q | boundary | pass | Expected R=0.45 · Q=22.22222222222222 · Actual n=2 · mode=plane · R=0.45 · A=2 · model=composite_wall · dT=10 · Q=22.22222222222222 |
boundary-cw-films | boundary | pass | Expected R=0.525 · R_in=0.05 · R_out=0.025 · Actual n=2 · mode=plane · R=0.525 · A=2 · model=composite_wall · h_in=10 · R_in=0.05 · h_out=20 |
boundary-cw-layers | boundary | pass | Expected R=0.45 · Actual n=2 · mode=plane · R=0.45 · A=2 · model=composite_wall |
boundary-cw-one | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-cw-k0 | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-cw-mixed-k | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-cw-mixed-r | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-cw-ht | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-cw-r | property | pass | Σ L/(kA)=0.45 |
property-cw-q | property | pass | Q=ΔT/R |
property-cw-films | property | pass | films 0.525 |
property-cw-layers | property | pass | layers[] |
property-cw-model | property | pass | composite_wall |