Live technical audit of v2/pkg/engine/resolve via reqproof + 3 panic-DoS reproducers#1

Open

buger wants to merge 22 commits intomasterfrom

audit-disclosure-panic-dos

Commits on Apr 30, 2026

Live technical audit of v2/pkg/engine/resolve via reqproof
buger
committed
Clean up audit PR: drop fixtures, drop pkg/doc.go workaround, real MCDC tests

buger
and
claude
committed
Aggressive code-MCDC coverage push — 1 new bug surfaced

buger
and
claude
committed
Mocks-driven MC/DC coverage push — 86 new tests, +11.4pt decision coverage

buger
and
claude
committed
MCDC coverage push to 83.1% + obligation_class re-review across all SYS-REQs
buger
committed
MCDC harness push to 83.83% — surfaces BUG #10 (queryPlan nil-Item panic)

buger
and
claude
committed
Add Phase F: 5 verified lemmas against resolve package
buger
committed

Commits on May 1, 2026

Commits on May 3, 2026

Commits on May 4, 2026