Close P1 arch-code gaps: loop summary, template-echo Rules, Move now, proof kinds.

57ed4c2

Mbonea Cursor commited on 23 days ago