Repository navigation

proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker - #251

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/awesome-davinci-8afqgy

Jun 24, 2026

Merged

proof: discharge charEqSym axiom (5→4) + TLA+ model of the Elixir JsWorker#251
hyperpolymath merged 2 commits into
mainfrom
claude/awesome-davinci-8afqgy

Commits on Jun 24, 2026
- proof(abi): discharge charEqSym axiom -> constructive theorem (trusted base 5->4)
  
  claude
  authored and
  hyperpolymath
  committed
  2d6fe48
- proof(elixir): TLA+ model of JsWorker — reply-once + liveness verified (item 4)
  
  claude
  authored and
  hyperpolymath
  committed
  c5956d7