Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
5/5 calculation tests · Production surface contract 1/1
Fingerprint sha256:04b6b32a5369c4d4788307b54a2e0847df16ddd1bd3702ec8af5e6be11f6d59b
Input schema sha256:58e996e1feaef67c68521faa5e5cd2d87c403642356cdad1492611db45b3e669 · Output schema sha256:9ade55c11018764030d6a46206ad886218b0a973645928faf4a28da14fdd967c · 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 |
|---|---|---|---|
property-tyc-Fr | property | pass | Fr=1 |
property-tyc-Q | property | pass | Q²T=gA³ |
property-tyc-not-rect | property | pass | yc≠(q²/g)^{1/3} |
property-tyc-roundtrip-Q | property | pass | Q roundtrip |
property-tyc-model | property | pass | critical_depth_trapezoid |