Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
7/7 calculation tests · Production surface contract 6/6
Fingerprint sha256:e043f55eeb07b91796a2bee9824351361301d1f4e1e7241b8cff3a0c3e1aec81
Input schema sha256:460b687b0f3e70aa3c110542fd1fbd20ec7212ef36ce40430cf857ee052ad006 · Output schema sha256:ee5ba5d32353bc2323f54d567299bba03282268f227fe15ef72e6c00cd6e93bd · 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-45 | golden | pass | Expected P=70.71067811865476 · N=50 · F=-50 · alpha_deg=45 · model=least_pull · Actual model=least_pull · W=100 · mu=1 · alpha_deg=45 · P=70.7106781187 · N=50 · F=-50 · solver=angled pull at the friction angle |
golden-three-quarter | golden | pass | Expected P=60 · N=64 · F=-48 · alpha_deg=36.86989764584402 · Actual model=least_pull · W=100 · mu=0.75 · alpha_deg=36.86989764584402 · P=60 · N=64 · F=-48 · solver=angled pull at the friction angle |
golden-smooth | golden | pass | Expected P=0 · N=100 · F=0 · alpha_deg=0 · Actual model=least_pull · W=100 · mu=0 · alpha_deg=0 · P=0 · N=100 · F=0 · solver=angled pull at the friction angle |
boundary-weight | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-mu | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-missing-mu | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-missing-w | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |