chemistry.equilibrium.weak_acid

Three distinct suites: educational examples on the calculator page, this legacy regression count (13/13 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.4 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-05.scaled-root-policy. Calculation version 1.0.2. CVP 1.0.0-proposed. 3/3 golden · 5/5 CVP boundary · 7/7 invalid · 1/1 property · 1/1 metamorphic · 8/8 O3 · 2/2 cross-interface · 6/6 CVP contract. digest daaf072a9df9. O2: monoprotic weak-acid ICE vs a separate-module quadratic or Newton cubic (≤2 ULP). Not a buffer. Absolute 1e-8 vs O3 applies only to the published tabulated weak-acid vectors. Not a buffer.

• Golden (oracle-backed) 3 / 3
• CVP boundary 5 / 5
• Invalid input 7 / 7
• Property 1 / 1
• Metamorphic 1 / 1
• O3 high-precision 8 / 8
• Cross-interface 2 / 2
• CVP contract 6 / 6
• Interfaces PASS · UI (SSR) / REST / MCP
• Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (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.
• Verified scope Monoprotic weak-acid ICE, + O3 mpmath tabulated [H+].
• Assurance Engineering
• Deferred Not a buffer and not a weak base.

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

Fingerprint sha256:f6f28ac0eb4efd19b0716b15a0e10e822d8a06bdfd0edea8d95da91a5cfacada

Input schema sha256:ced788b34913e2448fbbd9b8f65fa05fc4250017b51379f435ea72c0703cc0a9 · Output schema sha256:d08df5322c3049bfa959f7994b4404d2a3ee1e9ff8a37ec7d3b265f3b74146d5 · 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

weak-acid-equilibrium

Engine

weak-acid-equilibrium

Engine build

2026-10-05

Evidence core

2026-10-05T13:33:41.236Z

Rendered

2026-10-05T13:38:04.603Z

Last reviewed

—

Assumptions

• Monoprotic HA ⇌ H+ + A−
• Activity coefficients ≈ 1
• Kw = 1e-14 at 25 °C when mode=ice
• Not Henderson–Hasselbalch
• Not pH = −log10[H+] identities
• Not polyprotic, not a weak base, not titration

Limitations

• Monoprotic HA only; not polyprotic, not a weak base, not activity coefficients
• Not Henderson–Hasselbalch (buffer pair as given)
• Not the water-ion identity page pH=−log10[H+]
• Kw = 1e-14 at 25 °C when mode=ice