Skip to content

Prove tagged centre reset and sharp costs for all pure-reset policies - #4719

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/finite-tagged-centre-reset-publication
Oct 22, 2026
Merged

Prove tagged centre reset and sharp costs for all pure-reset policies#4719
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
aliromman:codex/finite-tagged-centre-reset-publication

Prove finite tagged reset construction and sharp pure-reset cost

27301de
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 2m 47s