math.antilog

Three distinct suites: educational examples on the calculator page, this legacy regression count (33/33 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.

STALE · Build schema 1.0.7 matches page · production binding STALE · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · CVP STALE · attestation STALE — Production CURRENT withheld · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-13.antilog-canonical-replay. Calculation version 1.0.5. CVP 1.0.0-proposed. 22/22 golden · 19/19 CVP boundary · 23/23 invalid · 5/5 property · 4/4 metamorphic · 5/5 round-trip · 15/15 O3 · 39/39 cross-interface · 4/4 URL→result→graph · 5/5 CVP contract. digest fd035071ca5d.

• Golden (oracle-backed) 22 / 22
• CVP boundary 19 / 19
• Invalid input 23 / 23
• Property 5 / 5
• Metamorphic 4 / 4
• Round-trip 5 / 5
• O3 high-precision 15 / 15
• Cross-interface 39 / 39
• URL → result → graph 4 / 4
• CVP contract 5 / 5
• Interfaces PASS · UI (SSR) / REST / MCP / URL→result→graph
• Interface claim Success 20/20. Error-path engine·REST·MCP 19/19 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only. Integration: URL → SSR result → Live graph current point (4/4). Hydration/slider/history are URL-canonical contracts, not a live browser session.
• Assurance Core

• release artifacts aligned PASS
• schema output required declared PASS
• schema valid input executes PASS
• engine success output validates schema PASS
• rest success payload validates schema PASS

Fingerprint sha256:702267ebeacaaf96d0d5cd571fbad402d9a11466fbb36b528ba29a5a5147f357

Input schema sha256:ca2f636e063d56b28b6c2ea91cdd6f0b12dac4cb733d0753a95c4ad5eb4d5c8a · Output schema sha256:db21f4c6728a4d6f7645e8813c2c2e93ece17365ff8900c2c2245de3eaa078e6 · 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.

Tool

anti-log

Engine

antilog

Engine build

2026-09-10

Evidence core

2026-09-10T22:48:17.762Z

Rendered

2026-10-12T22:38:31.531Z

Last reviewed

—

Assumptions

• Real arithmetic; base b > 0 and b ≠ 1.
• Result x is positive for real y when b > 0.

Limitations

• Base must be > 0 and ≠ 1 → INVALID_BASE
• Missing y → MISSING_REQUIRED_INPUT; overflow/underflow → RESULT_OVERFLOW / RESULT_UNDERFLOW