math.exponent

Three distinct suites: educational examples on the calculator page, this legacy regression count (38/38 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.5 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-09-08.xcal. Calculation version 1.0.4. CVP 1.0.0-proposed. 3/3 golden · 22/22 CVP boundary · 21/21 invalid · 2/2 property · 2/2 metamorphic · 3/3 round-trip · 6/6 O3 · 1/1 cross-interface · 11/11 cross-calculator · 4/4 URL→result→graph · 1/1 CVP contract. digest e5bdc1674386. ≤2 ULP vs O3 applies to the 6 published tabulated vectors ((2,10), (10,2), (5,0), (9,0.5), (2,−3), (e,1)). It is not a guarantee over all real bases and exponents.

• Golden (oracle-backed) 3 / 3
• CVP boundary 22 / 22
• Invalid input 21 / 21
• Property 2 / 2
• Metamorphic 2 / 2
• Round-trip 3 / 3
• O3 high-precision 6 / 6
• Cross-interface 1 / 1
• Cross-calculator 11 / 11
• URL → result → graph 4 / 4
• CVP contract 1 / 1
• Interfaces PASS · UI (SSR) / REST / MCP / URL→result→graph
• Interface claim Success 1/1. 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:706200fba755b76ba5f07e0f52328bb7dc198c70a2633895f579bcb11ff1445d

Input schema sha256:ce9f339fda5323c16b5118ed74d125a73b9d09a65acd73fc515078d08c8d06c4 · Output schema sha256:bc3ef2f7394c1739149d1c1e3751fe91fa1e793ef15fc5f1621834eebad02c63 · 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

exponent

Engine

exponent

Engine build

2026-10-14

Evidence core

2026-10-14T02:50:33.742Z

Rendered

2026-10-26T07:43:15.913Z

Last reviewed

—

Assumptions

• Real arithmetic only. Complex values are not returned.
• 0⁰ is undefined. 0 raised to a negative power is undefined.
• Negative bases are allowed only with an integer exponent. Non-integer exponents of a negative base are NOT_REAL (this engine does not special-case odd roots).
• Token e as base uses Math.exp(n), not (Math.E)**n.
• Solve exponent uses n = log(y)/log(a) only when a > 0, a ≠ 1, y > 0. 1ⁿ = 1 is INFINITELY_MANY; 1ⁿ = 2 is NO_REAL_SOLUTION; 0ⁿ = 0 (n > 0) is INFINITELY_MANY.
• Solve base: odd integer n → unique real a = sign(y)·|y|^(1/n). Even integer n and y > 0 → two reals ± with warning TWO_REAL_SOLUTIONS (principal value is non-negative). Even n and y < 0 → NOT_REAL. n = 0 and y = 1 → INFINITELY_MANY.

Limitations

• 0⁰ and 0^(negative) → UNDEFINED_POWER
• Negative base with non-integer exponent → NOT_REAL
• Forward solve_for=y returns a scalar; inverse returns a structured object