Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
4/4 calculation tests · Production surface contract 6/6
Fingerprint sha256:2255adf4ab8f60b43b0ee18c9ea7fa6df2ad0206571357466078d5c5bff13af3
Input schema sha256:c5730ce3f6f45aaffb5761130a7796cab582353ae92702583743c94d7785ede6 · Output schema sha256:62329b3520d5c7675e7757ed97e46f426b92a693087ca7690a092b17252cd5ea · 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-two | golden | pass | Expected area=9.42477796076938 · Z=9.333333333333334 · S=5.890486225480862 · f=1.584475877892647 · model=hollow_circular_plastic_modulus · Actual model=hollow_circular_plastic_modulus · R=2 · r=1 · area=9.42477796076938 · S=5.890486225480862 · Z=9.333333333333332 · f=1.5844758778926469 · solver=hollow circular section |
golden-four | golden | pass | Expected area=37.69911184307752 · Z=74.66666666666667 · S=47.12388980384689 · f=1.584475877892647 · Actual model=hollow_circular_plastic_modulus · R=4 · r=2 · area=37.69911184307752 · S=47.12388980384689 · Z=74.66666666666666 · f=1.5844758778926469 · solver=hollow circular section |
boundary-equal | boundary | pass | Expected INVALID_INPUT · Actual INVALID_INPUT |
boundary-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |