Home Developers Evidence chemistry.equilibrium.weak_base

Public evidence

chemistry.equilibrium.weak_base

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

13/13 calculation tests · Production surface contract 4/4

  • Golden tests 2 / 2
  • Boundary tests 6 / 6
  • Property tests 5 / 5
  • Production surface contract 4 / 4
  • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status PASS (0 stale; 163 CURRENT) @ 2026-09-17T06:27:56.932Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-17T06:27:56.176Z
  • Last production check 2026-09-17T06:27:56.176Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS

Fingerprint sha256:957fd0340cb47dca39c17dae47aada06476ad8c08abba17ce9852e7ea0977420

Input schema sha256:073f39f84d9cd562e664208103e22a8a62652562fac96c14dfe441e16db36913 · Output schema sha256:9f760ee4fdac66ddabe7e16ab26496521c474716b27af9eec45e8f8d79d47f04 · 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
weak-base-equilibrium
Engine
weak-base-equilibrium
Engine build
2026-09-17
Evidence core
2026-09-17T03:27:38.061Z
Rendered
2026-09-17T06:35:12.150Z
Last reviewed

Assumptions

  • Monoprotic B + H2O ⇌ BH+ + OH−
  • Activity coefficients ≈ 1
  • Kw = 1e-14 at 25 °C when mode=ice
  • Not Henderson–Hasselbalch
  • Not weak-acid ICE
  • Not pH = −log10[H+] identities
  • Not polyprotic, not titration

Limitations

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

Sources

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

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
golden-base-no-watergoldenpassExpected oh=0.001332670973077975 · BH=0.001332670973077975 · model=weak_base_ice · include_water=false · Actual mode=ice_no_water · pH=11.124722938776406 · pOH=2.8752770612235934 · h=7.503727622568977e-12 · oh=0.00133267097408 · B=0.09866732902592 · BH=0.00133267097408 · C=0.1
golden-base-watergoldenpassExpected model=weak_base_ice · include_water=true · C=0.1 · Actual mode=ice · pH=11.124723226136462 · pOH=2.875276773863538 · h=7.503722657571816e-12 · oh=0.00133267185587 · B=0.09866732815163373 · BH=0.0013326718483662773 · C=0.1
boundary-base-pkbboundarypassExpected pKb=5 · model=weak_base_ice · Actual mode=ice · pH=10.997829246869566 · pOH=3.0021707531304345 · h=1.0050108563577444e-11 · oh=0.000995014127135 · B=0.09900498588291512 · BH=0.0009950141170848915 · C=0.1
boundary-base-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-base-cboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-base-mixedboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-base-kaboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-base-hhboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-base-quadpropertypassx^2+Kb x=Kb C
property-base-masspropertypassC=[B]+[BH+]
property-base-chargepropertypass[OH−]=[BH+]+[H+]
property-base-modelpropertypassweak_base_ice
property-base-pkbpropertypasspKb encoding