Skip to content

feat(bg): additive-subaction ceiling — mixed-config tail closed for d=6, d∈[10,61], d≥65 - #210

Merged
DrMurphyIsIn merged 50 commits into
mainfrom
bg/scl-on-main
Sep 6, 2026
Merged

feat(bg): additive-subaction ceiling — mixed-config tail closed for d=6, d∈[10,61], d≥65#210
DrMurphyIsIn merged 50 commits into
mainfrom
bg/scl-on-main

docs(bg): mark classical-branch ceiling CLOSED (bg_ceiling axiom-clea…

c4b0a00
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lean-verify
succeeded Sep 4, 2026 in 2m 42s