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:b43b07cfdb6748be4834e2c52af85161ef2d17243ec7605c1bf6b15dee37c8a3
Input schema sha256:433bae68372c7f5915a96a1ccbecf56e791d3fcf20c1c53ca38560cc789f64f6 · Output schema sha256:019d1fe2c0b518f7ff2f01449011850ec6f0a55f3b2f46692eee8ece9aeb1041 · 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-level | golden | pass | Expected P=25 · N=100 · F=-25 · model=incline_angled_pull · Actual model=incline_angled_pull · W=100 · theta_deg=0 · mu=0.25 · alpha_deg=0 · direction=up · P=25 · N=100 |
golden-lift | golden | pass | Expected P=70.71067811865476 · N=50 · F=-50 · Actual model=incline_angled_pull · W=100 · theta_deg=0 · mu=1 · alpha_deg=45 · direction=up · P=70.7106781187 · N=50 |
golden-parallel | golden | pass | Expected P=141.4213562373095 · N=70.71067811865476 · F=-70.71067811865476 · Actual model=incline_angled_pull · W=100 · theta_deg=45 · mu=1 · alpha_deg=45 · direction=up · P=141.421356237 · N=70.7106781187 |
boundary-weight | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-alpha | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-mu | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |