Public evidence
Machine-checked verification for calculation version 1.0.5 · tier engine_tested
CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance· Positive safe-integer n; even roots of a<0 are NOT_REAL; odd-negative uses the real branch. Declared partitions cover identity n=1, Math.sqrt, Math.cbrt, Math.pow, odd-negative, invalid-domain, and XCAL vs Square Root / Exponent — not a whole-domain claim. · Protocol · Schema · Production report
Legacy regression suite: 24/24 calculation tests · Production surface contract 3/3
Three distinct suites: educational examples on the calculator page, this legacy regression count (24/24 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-09.root-cvp. Calculation version 1.0.5. CVP 1.0.0-proposed. 5/5 golden · 14/14 CVP boundary · 17/17 invalid · 4/4 property · 2/2 metamorphic · 3/3 round-trip · 19/19 O3 · 1/1 cross-interface · 5/5 cross-calculator · 4/4 URL→result→graph · 1/1 CVP contract. digest a3f7a7bfcb95. Path-specific ULP vs O3 applies only to the 19 published tabulated vectors: identity n=1 (0 ULP); Math.sqrt including tiny/huge (≤2); Math.cbrt including odd-negative and tiny/huge (≤2); moderate Math.pow including odd-negative, ⁸√15, and max safe n (≤2); extreme Math.pow at |a|=1e±300 (≤64). It is not a whole-domain guarantee. Even roots of a<0 and illegal n are contract errors (NOT_REAL / INVALID_INDEX), not ULP claims.
Fingerprint sha256:7faeb383ad7c423d84a64781f249bee383d3304f8f97e3f173f7801b0286e088
Input schema sha256:d0ef74fe6f7704d12f423072babe01e3271217e5bcd4efcca488f5a5cce6a060 · Output schema sha256:926b0e5761c82a91c0fea6146365eeacd6097d2ded3d7162df787ec7cd73c31a · 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 |
|---|---|---|---|
sqrt-16 | golden | pass | Expected 4 · Actual 4 |
sqrt-27 | golden | pass | Expected 5.196152422706632 · Actual 5.196152422706632 |
cbrt-27 | golden | pass | Expected 3 · Actual 3 |
cbrt-neg8 | golden | pass | Expected -2 · Actual -2 |
fourth-16 | golden | pass | Expected 2 · Actual 2 |
eighth-15 | golden | pass | Expected 1.402850552006674 · Actual 1.402850552006674 |
zero | golden | pass | Expected 0 · Actual 0 |
n-one | golden | pass | Expected 42 · Actual 42 |
default-n | golden | pass | Expected 4 · Actual 4 |
even-neg | boundary | pass | Expected NOT_REAL · Actual NOT_REAL |
fourth-neg | boundary | pass | Expected NOT_REAL · Actual NOT_REAL |
frac-n | boundary | pass | Expected INVALID_INDEX · Actual INVALID_INDEX |
n-zero | boundary | pass | Expected INVALID_INDEX · Actual INVALID_INDEX |
empty-a | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
n-negative | boundary | pass | Expected INVALID_INDEX · Actual INVALID_INDEX |
n-max-safe | golden | pass | Expected 1 · Actual 1.0000000000000002 |
n-unsafe | boundary | pass | Expected INVALID_INDEX · Actual INVALID_INDEX |
frac-neg | boundary | pass | Expected INVALID_INDEX · Actual INVALID_INDEX |
a-object | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
n-array | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
n-boolean | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
a-infinity | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
a-abc | boundary | pass | Expected INVALID_NUMBER · Actual INVALID_NUMBER |
boundary-root-even-neg | boundary | pass | Expected NOT_REAL · Actual NOT_REAL |