Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
6/6 calculation tests · Production surface contract 6/6
Fingerprint sha256:e349a6d8bdbd84001bd30888ddfd460511235eee1f938144b57259027f735f8d
Input schema sha256:89e577b985d3bbc116f749d3134f8f6ed7f963d885942ee33050c066b3189b5c · Output schema sha256:fcab92dc6c909617906be23dc4edfc9ff24242fb87ee421460fb70a9a773c82b · 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-midspan-left | golden | pass | Expected Ay=5 · By=5 · V=-5 · M=5 · model=shear_moment · Actual model=shear_moment · L=4 · s=1 · Ay=5 · By=5 · V=-5 · M=5 · solver=math.linear_algebra solve order 2 |
golden-at-load | golden | pass | Expected V=-5 · M=10 · Actual model=shear_moment · L=4 · s=2 · Ay=5 · By=5 · V=-5 · M=10 · solver=math.linear_algebra solve order 2 |
boundary-right | boundary | pass | Expected V=5 · M=5 · Actual model=shear_moment · L=4 · s=3 · Ay=5 · By=5 · V=5 · M=5 · solver=math.linear_algebra solve order 2 |
boundary-empty | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-section | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-offspan | boundary | pass | Expected INVALID_INPUT · Actual INVALID_INPUT |