Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
9/9 calculation tests · Production surface contract 4/4
Fingerprint sha256:d9eae29ee96f8f982c9d408d79a6592f0f95df4fb4080138a201f8026c96821a
Input schema sha256:3e523ba459b82af86a656a663688e2321e8b4a9592f9c1c2ff0745ff4ee5f09f · Output schema sha256:cd6d361ae837cd914f7c599c1f47a85cac544494a582e3e14d95dcd625ed27f8 · 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-colebrook | golden | pass | Expected f=0.01900543522195957 · Re=100000 · rel_roughness=0.0002 · model=colebrook_white · Actual f=0.01900543522195957 · Re=100000 · rel_roughness=0.0002 · inv_sqrt_f=7.253725059348281 · model=colebrook_white |
boundary-colebrook | boundary | pass | Expected f=0.01900543522195957 · Actual f=0.01900543522195957 · Re=100000 · rel_roughness=0.0002 · inv_sqrt_f=7.253725059348281 · model=colebrook_white |
boundary-colebrook-eps | boundary | pass | Expected f=0.01900543522195957 · rel_roughness=0.0002 · Actual f=0.01900543522195957 · Re=100000 · rel_roughness=0.0002 · inv_sqrt_f=7.253725059348281 · model=colebrook_white |
boundary-colebrook-re | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-colebrook-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-colebrook-mixed | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
property-colebrook-residual | property | pass | g≈0 |
property-colebrook-eps | property | pass | ε/D |
property-colebrook-model | property | pass | colebrook_white |