Preserve already accepted schedules byte for byte. The RTX 3090 gather
launch completed with its original controls but stalled when every LDG
was given a read barrier. Repair only programs the scoreboard refuses,
then admit the placed program through the same checker below.
277def coppeliusGuardLateReadsIfRequired =
278 (lambda unrestricted program : (family SM86Program) .
279 (nat-eliminate (lambda unrestricted accepted : Nat . (family SM86Program))
280 (sm86GuardLateReads program)
281 (lambda unrestricted predecessor : Nat .
282 (lambda unrestricted induction : (family SM86Program) . program))
283 (naturalIsZero (sm86Scoreboard program))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.