backlog: file B-0182 — filter formal verification to Linux only (Aaron 2026-05-03)#1405

Merged

AceHack merged 3 commits intomainfrom

backlog/b0182-linux-only-formal-verification-tests-aaron-2026-05-03

May 3, 2026

Commits on May 3, 2026

backlog: file B-0182 — filter formal verification to Linux only (TLC/Alloy/Lean OS-independent; pure-math)
AceHack
committed
hygiene(backlog): regenerate BACKLOG.md index for B-0182 (closes #1405 drift warning)
AceHack
committed
fix(B-0182): address #1405 review findings — accurate Fact-count + slim discriminator + MD032
AceHack
committed