Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
13/13 calculation tests · Production surface contract 4/4
Fingerprint sha256:957fd0340cb47dca39c17dae47aada06476ad8c08abba17ce9852e7ea0977420
Input schema sha256:073f39f84d9cd562e664208103e22a8a62652562fac96c14dfe441e16db36913 · Output schema sha256:9f760ee4fdac66ddabe7e16ab26496521c474716b27af9eec45e8f8d79d47f04 · 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-base-no-water | golden | pass | Expected oh=0.001332670973077975 · BH=0.001332670973077975 · model=weak_base_ice · include_water=false · Actual mode=ice_no_water · pH=11.124722938776406 · pOH=2.8752770612235934 · h=7.503727622568977e-12 · oh=0.00133267097408 · B=0.09866732902592 · BH=0.00133267097408 · C=0.1 |
golden-base-water | golden | pass | Expected model=weak_base_ice · include_water=true · C=0.1 · Actual mode=ice · pH=11.124723226136462 · pOH=2.875276773863538 · h=7.503722657571816e-12 · oh=0.00133267185587 · B=0.09866732815163373 · BH=0.0013326718483662773 · C=0.1 |
boundary-base-pkb | boundary | pass | Expected pKb=5 · model=weak_base_ice · Actual mode=ice · pH=10.997829246869566 · pOH=3.0021707531304345 · h=1.0050108563577444e-11 · oh=0.000995014127135 · B=0.09900498588291512 · BH=0.0009950141170848915 · C=0.1 |
boundary-base-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-base-c | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-base-mixed | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-base-ka | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-base-hh | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-base-quad | property | pass | x^2+Kb x=Kb C |
property-base-mass | property | pass | C=[B]+[BH+] |
property-base-charge | property | pass | [OH−]=[BH+]+[H+] |
property-base-model | property | pass | weak_base_ice |
property-base-pkb | property | pass | pKb encoding |