R1e: re-review policy, mined from 81 second-round reviews
R1d: type equivalence is not behavior equivalence
R1c: a draft PR gets the verdict it will need, labelled as such
Astryx review loop — reviewer brief, critic rules, evidence templates, loop mechanics