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

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

aliromman wants to merge 5 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/new-caller-contract-20261102aliromman/integer-mult-bounds:codex/new-caller-contract-20261102Copy head branch name to clipboard