const MAX_NAV_OFFSET: usize = 100;Expand description
Operational cap on a physical PREV offset in DEFINE.
The offset is not just a wire value: PREV(col, k) requires the variable to sit at least k
mandatory rows from the match start (see min_start_distances), so it scales the pattern’s
required prefix. The cap is deliberately small — far above any observed real pattern (offsets
of 1–3), far below anything degenerate. (Physical NEXT is rejected in DEFINE outright; see
the navigation lowering.)