Verify YM C304 terminal-entry tail stability - #923

Draft

stevemoraco wants to merge 3 commits into

mainfrom

verification/ym-c304-terminal-entry-tail-stability-20260820

Commits on Aug 19, 2026

verify(ym): mirror C304 terminal-entry recurrence
stevemoraco
committed
49eddce
ci(ym): guard C304 terminal-entry Lean source
stevemoraco
committed
82fae03
fix(ym): clean C304 finite replay
stevemoraco
committed
9743bd6