Turn accepted review findings into durable contracts: fixes, regression checks, and invariant records with cross-references.
