Public evidence

math.antilog

Machine-checked verification for calculation version 1.0.5 · tier engine_tested

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP: CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance· b > 0, b ≠ 1 · Protocol · Schema · Production report

Declared partition coverage: PASS · 2/2 declared partitions (antilog, invalid-domain)
Versions: Calculation 1.0.5 · CVP protocol 1.0.0-proposed
CVP identity: 5/5 property · digest ab8e531bb15d

Verification

Legacy regression suite: 33/33 calculation tests · Production surface contract 3/3

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.

This calculator CURRENT · Public schema 1.0.5 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Calculation version 1.0.5. CVP 1.0.0-proposed. 3/3 golden · 19/19 CVP boundary · 19/19 invalid · 5/5 property · 4/4 metamorphic · 5/5 round-trip · 15/15 O3 · 20/20 cross-interface · 4/4 URL→result→graph · 1/1 CVP contract. digest ab8e531bb15d.

Golden (oracle-backed) 3 / 3
CVP boundary 19 / 19
Invalid input 19 / 19
Property 5 / 5
Metamorphic 4 / 4
Round-trip 5 / 5
O3 high-precision 15 / 15
Cross-interface 20 / 20
URL → result → graph 4 / 4
CVP contract 1 / 1
Interfaces PASS · UI (SSR) / REST / MCP / URL→result→graph
Interface claim Success 1/1. 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 valid input executes PASS
engine success output 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.

Build & scope

Engine identity and declared limitations.

Tool: anti-log
Engine: antilog
Engine build: 2026-09-10
Evidence core: 2026-09-10T22:48:17.762Z
Rendered: 2026-09-16T22:03:43.777Z
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

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

NIST Digital Library of Mathematical Functions, Chapter 4 — Logarithm, Exponential, Powers
Supports: Logarithm and exponential as inverse operations; antilog is exponentiation x = b^y
NIST DLMF §4.2 — Logarithm: definitions and inverse of the exponential
Supports: b^(log_b x) = x and log_b(b^y) = y for valid real b and x
CalculatorX mathematical conventions — Common (base 10), natural (base e), and real bases b > 0, b ≠ 1
Supports: Unspecified antilog is common (base 10); custom bases may be in (0, 1)

Legacy published checks

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
`common-3`	golden	pass	Expected 1000 · Actual 1000
`natural-3`	golden	pass	Expected 20.085536923187668 · Actual 20.085536923187668
`binary-3`	golden	pass	Expected 8 · Actual 8
`common-neg2`	golden	pass	Expected 0.01 · Actual 0.01
`custom-8`	golden	pass	Expected 512 · Actual 512
`y-zero`	golden	pass	Expected 1 · Actual 1
`sqrt-10`	golden	pass	Expected 3.1622776601683795 · Actual 3.1622776601683795
`base-lt-one`	golden	pass	Expected 0.25 · Actual 0.25
`base-lt-one-neg`	golden	pass	Expected 4 · Actual 4
`decimal-custom`	golden	pass	Expected 2.25 · Actual 2.25
`invalid-base-1`	boundary	pass	Expected INVALID_BASE · Actual INVALID_BASE
`invalid-base-0`	boundary	pass	Expected INVALID_BASE · Actual INVALID_BASE
`invalid-base-neg`	boundary	pass	Expected INVALID_BASE · Actual INVALID_BASE
`empty-y`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`nan-y`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`overflow`	boundary	pass	Expected RESULT_OVERFLOW · Actual RESULT_OVERFLOW
`underflow`	boundary	pass	Expected RESULT_UNDERFLOW · Actual RESULT_UNDERFLOW
`near-base-one`	golden	pass	Expected 1.000000000000002 · Actual 1.0000000000000022
`tiny-positive-base`	golden	pass	Expected 1e-200 · Actual 1e-200
`cube-root-of-two`	golden	pass	Expected 1.2599210498948732 · Actual 1.2599210498948732
`large-finite`	golden	pass	Expected 1e+308 · Actual 1e+308
`overflow-309`	boundary	pass	Expected RESULT_OVERFLOW · Actual RESULT_OVERFLOW
`y-infinity`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`y-nan`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`y-abc`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`y-whitespace`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`y-null`	boundary	pass	Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
`y-object`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`y-array`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`y-boolean`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`b-object`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`b-array`	boundary	pass	Expected INVALID_NUMBER · Actual INVALID_NUMBER
`boundary-antilog-base1`	boundary	pass	Expected INVALID_BASE · Actual INVALID_BASE