fix(b-0197): correct DBSP Prop 3.5 → Theorem 3.3 misattribution + close (6th cycle close-row)#3893

Merged

AceHack merged 6 commits into

mainfrom

otto-cli-b0197-impl-lean-prop-fix-2026-05-16-1412z

May 16, 2026

Commits on May 16, 2026

fix(b-0197): correct DBSP Prop 3.5 → Theorem 3.3 misattribution + close row (6th cycle close-row)

AceHack
and
claude
committed
fix(b-0197): cleanup dangling brackets in proof-log fix

AceHack
and
claude
committed
fix(b-0197): self-contained ~~strikethrough~~ on line 114 — falsifier single-line regex compliance

AceHack
and
claude
committed
fix(b-0197): remove duplicated proof-log line + rewrite Lean 202-203 for grammar

AceHack
and
claude
committed
fix(b-0197): MD022 blank-line-above-heading + bump last_updated

AceHack
and
claude
committed
fix(b-0197): balance strikethrough markers on proof-log lines 113-114

AceHack
and
claude
committed