Constant MAX_VERIFIER_FACTS_WORDS 

pub const MAX_VERIFIER_FACTS_WORDS: u64 = _; // 8_388_608u64

Combined verify-time ceiling on the total definite-initialization fact storage a module may force the verifier to allocate, in 64-bit words. Each function needs instructions * ceil(registers / 64) words, so independent per-function maxima (MAX_INSTRUCTIONS * (MAX_REGISTERS / 64) alone is 2^30 words = 8 GiB, and modules hold many functions) would permit multi-GiB allocations from untrusted input. This bound caps that transient storage at MAX_VERIFIER_FACTS_WORDS * 8 bytes (64 MiB) while remaining generous enough for large real modules with far more than 127 functions.