A.2.6:21.2 - With Formality (C.2.3)
- No conflation. Raising F does not change G unless scope predicates change.
- Guarding rigor. ESG may use
Formality >= F_kalongside scope coverage.
Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 08:00:10 UTC
Formality >= F_k alongside scope coverage.