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:d0264a345a6a0ef94c239f59a9481be4349685c86578c9fb0bb90b7f0c17878a
Input schema sha256:41d2fa8229214b25c71e2bb5ff68b7d8e72ccf50a520d034be955ec241c3b67e · Output schema sha256:771c270f4d80d40a536ac26f6779701ef3e836ffa1cc2137a8dd3fa9fabc5b0d · 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-resultant-345 | golden | pass | Expected resultant_n=5 · sum_fx=3 · sum_fy=4 · sum_m=0 · model=planar_equilibrium · Actual mode=resultant · model=planar_equilibrium · sum_fx=3 · sum_fy=4 · sum_m=0 · resultant_n=5 · angle_deg=53.13010235415598 · convention=CCW positive; M = x Fy − y Fx about the origin |
boundary-moment | boundary | pass | Expected sum_m=-20 · Actual mode=resultant · model=planar_equilibrium · sum_fx=0 · sum_fy=-10 · sum_m=-20 · resultant_n=10 · angle_deg=-90 · convention=CCW positive; M = x Fy − y Fx about the origin |
golden-equilibrium | golden | pass | Expected balanced=true · solver=math.linear_algebra solve order 3 · Actual mode=equilibrium · model=planar_equilibrium · sum_fx=0 · sum_fy=-100 · sum_m=-200 · resultant_n=100 · angle_deg=-90 · convention=CCW positive; M = x Fy − y Fx about the origin |
boundary-empty | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-mode | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-inconsistent | boundary | pass | Expected INVALID_INPUT · Actual INVALID_INPUT |