Measured-Construct Closure and Observable Exhaustion: Numerical Probes, Reverse Constraint Probes, and Threat-Signature Closure for the AMRAL Lebesgue Final Stage

A methodological reframing: instead of exhausting all geometry, replace 'geometric exhaustion' by 'observable exhaustion' plus 'task sufficiency'. A forward compiler O+ turns constructions into observable intervals, a reverse compiler O− turns theorem failure into threat regions, and the hit set is Z_hit = O+(A) ∩ Z_threat; every promotion step is an obligation still to be proved. The header calls it an 'AMRAL / NIOT Bridge Methodology'. The closing declaration says Observable Exhaustion, Task Sufficiency and Q10–Q20 are not claimed.