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:39e1e0eadeeb7236b1b70c08a6a0a12361d3af4f406382da91a2fcb7f1bf1603
Input schema sha256:014dd65bc33d21b3a7abf8233bebbf36b1e20166412c12eebf508f6ab7e17272 · Output schema sha256:bd1941a7bd65f2a1b877a2423ac76a3799ef6a08685bb6e693942707e5330aad · 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-either | golden | pass | Expected mode=either · theta_deg=45 · theta_slip_deg=45 · theta_tip_deg=45 · model=incline_slip_or_tip · Actual model=incline_slip_or_tip · mu=1 · b=2 · h=2 · mode=either · theta_deg=45 · theta_slip_deg=45 · theta_tip_deg=45 |
golden-slip | golden | pass | Expected mode=slip · theta_deg=0 · theta_slip_deg=0 · theta_tip_deg=45 · Actual model=incline_slip_or_tip · mu=0 · b=2 · h=2 · mode=slip · theta_deg=0 · theta_slip_deg=0 · theta_tip_deg=45 |
golden-tip | golden | pass | Expected mode=tip · theta_deg=26.56505117707799 · theta_slip_deg=45 · theta_tip_deg=26.56505117707799 · Actual model=incline_slip_or_tip · mu=1 · b=1 · h=2 · mode=tip · theta_deg=26.56505117707799 · theta_slip_deg=45 · theta_tip_deg=26.56505117707799 |
boundary-mu | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-base | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-height | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |