[recursion-v2] proof shape module + tower integration#1293

Merged

hero78119 merged 17 commits intofeat/recursion-v2from

feat/forked_transcript

Apr 6, 2026

Commits on Apr 2, 2026

wip
hero78119
committed

Commits on Apr 4, 2026

align proof-shape transcript offsets with vm-pvs prefix and fork metadata order
hero78119
committed
remove fork and replace with observing challenge from parent transcript
hero78119
committed

Commits on Apr 5, 2026

Commits on Apr 6, 2026

proof_shape: derive forked challenge tidx from per-air tower span
hero78119
committed
proof_shape: enforce two-instance heights in air and trace
hero78119
committed