The strand builds to machine-checked, then the module-system migration silently turns all seven results to sorryAx behind green CI; the corollary becomes the blast radius. Claim graph left, commit log right.