fig2

Figure 2. (A) Aligned-set F1 versus number of active monitors; error bars are bootstrap 95%CIs (1,000 plan-level resamples); (B) Per-plan validation latency versus number of active monitors; error bars are ± 1 SD over 10 repeated passes (Intel Core i7-9750H, Python 3.12). Subsets add human-verified constraints first, then auto-extracted constraints in descending confidence order. SD: Standard deviation.