Public evidence
Machine-checked verification for calculation version 1.3.1 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance· Discrete gauges 7/0 (−6)…50 only · Protocol · Schema · Production report
Legacy regression suite: 76/76 calculation tests · Production surface contract 4/4
Three distinct suites: educational examples on the calculator page, this legacy regression count (76/76 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.
Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-09-10.authoritative-provenance. Calculation version 1.3.1. CVP 1.0.0-proposed. 62/62 golden · 7/7 CVP boundary · 13/13 invalid · 3/3 property · 4/4 cross-interface · 1/1 CVP contract. digest c2cc961fa949.
Fingerprint sha256:6681584e7bcf14adc599b12fb4de1ab3655d15c60d532bfe5b5a75e7060b4209
Input schema sha256:86262535bd5cf3d7af1106f20ae6d1ee4c4e3e4b01dc827e8f6a5b202b8e5b7c · Output schema sha256:e6a848b5ea8b44c3868034828fca95d72270e291ca16e3e92bdfb8284f7b808a · 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 and boundary cases from the legacy Evidence JSON. CVP property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the Manifest — including SKIP when a suite has no vectors.
| ID | Kind | Status | Detail |
|---|---|---|---|
swg-14-mm | golden | pass | Expected 2.032 · Actual 2.032 |
swg-14-mm2 | golden | pass | Expected 3.2429278662239858 · Actual 3.2429278662239853 |
swg-22-mm | golden | pass | Expected 0.7112 · Actual 0.7111999999999999 |
swg-22-mm2 | golden | pass | Expected 0.39725866361243817 · Actual 0.39725866361243817 |
swg-50-mm | golden | pass | Expected 0.0254 · Actual 0.0254 |
swg-50-mm2 | golden | pass | Expected 0.0005067074790974977 · Actual 0.0005067074790974977 |
swg-neg6-mm | golden | pass | Expected 12.7 · Actual 12.7 |
swg-0-mm | golden | pass | Expected 8.2296 · Actual 8.2296 |
swg-16-mm | golden | pass | Expected 1.6256 · Actual 1.6256 |
table-swg-6_0-mm | golden | pass | Expected 11.7856 · Actual 11.7856 |
table-swg-5_0-mm | golden | pass | Expected 10.9728 · Actual 10.9728 |
table-swg-4_0-mm | golden | pass | Expected 10.16 · Actual 10.16 |
table-swg-3_0-mm | golden | pass | Expected 9.448799999999999 · Actual 9.448799999999999 |
table-swg-2_0-mm | golden | pass | Expected 8.839199999999998 · Actual 8.839199999999998 |
table-swg-1-mm | golden | pass | Expected 7.619999999999999 · Actual 7.619999999999999 |
table-swg-2-mm | golden | pass | Expected 7.010400000000001 · Actual 7.010400000000001 |
table-swg-3-mm | golden | pass | Expected 6.400799999999999 · Actual 6.400799999999999 |
table-swg-4-mm | golden | pass | Expected 5.8928 · Actual 5.8928 |
table-swg-5-mm | golden | pass | Expected 5.384799999999999 · Actual 5.384799999999999 |
table-swg-6-mm | golden | pass | Expected 4.8768 · Actual 4.8768 |
table-swg-7-mm | golden | pass | Expected 4.4704 · Actual 4.4704 |
table-swg-8-mm | golden | pass | Expected 4.064 · Actual 4.064 |
table-swg-9-mm | golden | pass | Expected 3.6575999999999995 · Actual 3.6575999999999995 |
table-swg-10-mm | golden | pass | Expected 3.2512 · Actual 3.2512 |
table-swg-11-mm | golden | pass | Expected 2.9464 · Actual 2.9464 |
table-swg-12-mm | golden | pass | Expected 2.6416 · Actual 2.6416 |
table-swg-13-mm | golden | pass | Expected 2.3367999999999998 · Actual 2.3367999999999998 |
table-swg-15-mm | golden | pass | Expected 1.8287999999999998 · Actual 1.8287999999999998 |
table-swg-17-mm | golden | pass | Expected 1.4223999999999999 · Actual 1.4223999999999999 |
table-swg-18-mm | golden | pass | Expected 1.2192 · Actual 1.2192 |
table-swg-19-mm | golden | pass | Expected 1.016 · Actual 1.016 |
table-swg-20-mm | golden | pass | Expected 0.9143999999999999 · Actual 0.9143999999999999 |
table-swg-21-mm | golden | pass | Expected 0.8128 · Actual 0.8128 |
table-swg-22-mm | golden | pass | Expected 0.7111999999999999 · Actual 0.7111999999999999 |
table-swg-23-mm | golden | pass | Expected 0.6096 · Actual 0.6096 |
table-swg-24-mm | golden | pass | Expected 0.5588 · Actual 0.5588 |
table-swg-25-mm | golden | pass | Expected 0.508 · Actual 0.508 |
table-swg-26-mm | golden | pass | Expected 0.45719999999999994 · Actual 0.45719999999999994 |
table-swg-27-mm | golden | pass | Expected 0.41656 · Actual 0.41656 |
table-swg-28-mm | golden | pass | Expected 0.37592 · Actual 0.37592 |
table-swg-29-mm | golden | pass | Expected 0.34543999999999997 · Actual 0.34543999999999997 |
table-swg-30-mm | golden | pass | Expected 0.31495999999999996 · Actual 0.31495999999999996 |
table-swg-31-mm | golden | pass | Expected 0.29463999999999996 · Actual 0.29463999999999996 |
table-swg-32-mm | golden | pass | Expected 0.27432 · Actual 0.27432 |
table-swg-33-mm | golden | pass | Expected 0.254 · Actual 0.254 |
table-swg-34-mm | golden | pass | Expected 0.23367999999999997 · Actual 0.23367999999999997 |
table-swg-35-mm | golden | pass | Expected 0.21335999999999997 · Actual 0.21335999999999997 |
table-swg-36-mm | golden | pass | Expected 0.19304 · Actual 0.19304 |
table-swg-37-mm | golden | pass | Expected 0.17271999999999998 · Actual 0.17271999999999998 |
table-swg-38-mm | golden | pass | Expected 0.1524 · Actual 0.1524 |
table-swg-39-mm | golden | pass | Expected 0.13207999999999998 · Actual 0.13207999999999998 |
table-swg-40-mm | golden | pass | Expected 0.12191999999999999 · Actual 0.12191999999999999 |
table-swg-41-mm | golden | pass | Expected 0.11176 · Actual 0.11176 |
table-swg-42-mm | golden | pass | Expected 0.1016 · Actual 0.1016 |
table-swg-43-mm | golden | pass | Expected 0.09144 · Actual 0.09144 |
table-swg-44-mm | golden | pass | Expected 0.08128 · Actual 0.08128 |
table-swg-45-mm | golden | pass | Expected 0.07111999999999999 · Actual 0.07111999999999999 |
table-swg-46-mm | golden | pass | Expected 0.06095999999999999 · Actual 0.06095999999999999 |
table-swg-47-mm | golden | pass | Expected 0.0508 · Actual 0.0508 |
table-swg-48-mm | golden | pass | Expected 0.04064 · Actual 0.04064 |
table-swg-49-mm | golden | pass | Expected 0.030479999999999997 · Actual 0.030479999999999997 |
table-swg-7-0-token-mm | golden | pass | Expected 12.7 · Actual 12.7 |
table-swg-1-0-token-mm | golden | pass | Expected 8.2296 · Actual 8.2296 |
boundary-swg-out-of-table | boundary | pass | Expected SWG_OUT_OF_RANGE · Actual SWG_OUT_OF_RANGE |
boundary-swg-below | boundary | pass | Expected SWG_OUT_OF_RANGE · Actual SWG_OUT_OF_RANGE |
boundary-swg-not-integer | boundary | pass | Expected SWG_NOT_INTEGER · Actual SWG_NOT_INTEGER |
boundary-swg-half | boundary | pass | Expected SWG_NOT_INTEGER · Actual SWG_NOT_INTEGER |
boundary-swg-unparseable | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
boundary-swg-empty | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-swg-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-swg-invalid-field | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-deterministic | property | pass | same SWG → same mm |
property-thicker-lower-swg | property | pass | SWG10 > SWG16 diameter |
property-area-from-diameter | property | pass | mm² = πd²/4 from exact mm |
property-7-0-token | property | pass | 7/0 equals −6 |
property-monotonic-table | property | pass | diameter decreases as SWG increases (−6…50) |