Every placed SM86 image is checked after half-format selection and the
late-read guard. This covers the streaming and imported images that the
older sampled admission did not inspect. The fixed-latency pass remains on
the previously qualified unrolled paths: older imported kernels, beginning
with random-normal, have pre-existing fixed-latency model mismatches and
require a separate rescheduling migration before that pass can gate all.
678def coppeliusDeviceImageScheduleRefusal : Bytes =
679 (eliminate CoppeliusDeviceImages
680 (lambda unrestricted current : (family CoppeliusDeviceImages) . Bytes)
681 coppeliusDeviceImages
682 (branch CoppeliusDeviceImagesEnd . b"")
683 (branch CoppeliusDeviceImagesNext image tail induction .
684 (eliminate CoppeliusDeviceImage
685 (lambda unrestricted current : (family CoppeliusDeviceImage) . Bytes) image
686 (branch CoppeliusDeviceImageValue identity program material registers blockX sharedBytes .
687 (nat-eliminate (lambda unrestricted accepted : Nat . Bytes)
688 identity
689 (lambda unrestricted predecessor : Nat . (lambda unrestricted ignored : Bytes . induction))
690 (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.