ci(lean-proof): add CI gate for DbspChainRule.lean type-check (closes A1+A2 → A-with-CI)#1394

Merged

AceHack merged 2 commits intomainfrom

ci/lean-proof-build-job-2026-05-03

May 3, 2026

Commits on May 3, 2026

ci(lean-proof): add CI gate for DbspChainRule.lean type-check (closes A1+A2 → A-with-CI)
AceHack
committed
fix(lean-proof): address review threads — add GITHUB_TOKEN env + dedupe outstanding-work row
AceHack
committed