Current capture routines address their certified arena with signed 32-bit
displacements. This is a realization limit, not a model/learning constraint.
Bounded candidates make even refused u64 inputs safe to inspect. Admission
requires the original declarations to equal those candidates; no accepted
program silently receives a smaller application arena or fewer result slots.
66def nativeObservedAddressMaximum =
67 (naturalSaturatingSubtract (naturalPowerOfTwo 31) 1)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.