v3.20.0 — Real-World Applicability VI (Runtime Correctness & Coverage) Phases 203–207. Discovery-first (ground → synthesize → fix → freeze). - GND320-A01 (Track A): NOT-NULL geography round-trip proof (regions.location-shaped); no generator change. - GND320-B02 (Track B): new generic find_many_by_fk_and_period_overlap method-kind, triggered by the first table-level po: directive (po:period_overlap). Opt-in/additive. 0 net-new deps; ratchet 135/62/22/41/5 held; make check + check-integration + vuln + rc-acceptance(step-8 byte-equal) green.