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
Initial Home page