Skip to content

Prove P104 frame ceilings and finite child bounds for fresh-stage callers - #6541

Open
aliromman wants to merge 5 commits into
CrocSwap:mainfrom
aliromman:codex/new-caller-contract-20261102
Open

Prove P104 frame ceilings and finite child bounds for fresh-stage callers#6541
aliromman wants to merge 5 commits into
CrocSwap:mainfrom
aliromman:codex/new-caller-contract-20261102

Distinguish the new retirement caller from the fixed-root ceiling

9de3f91
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 12s