C.2.5:13 - Worked Examples and Retreat Cases
C.2.5:13.1 - Explicit but still open
A note may sit at AE4 yet only CD1 because rival explanatory frames are still live. The important lesson is that explicit publication does not imply settled closure.
C.2.5:13.2 - Strong closure under policy guard
An operator rule may be only moderate in AE but high in CD because policy already fixes the next step under the current horizon. This shows why closure is governance-facing, not merely stylistic.
C.2.5:13.3 - Reopen case
A route may move from CD4 back to CD2 when counter-evidence appears. A conforming publication does not hide this as embarrassment; it records the retreat as an admissible A.16.2 move.