Link to current text
C.30.STRAT:9 - Consequences
| Benefit | Trade-off or mitigation |
| Local labels remain usable without becoming root kinds. | The reader pays a recovery cost only when the word carries a technical claim; ordinary prose closes immediately. |
| One cue table replaces copied local catalogues. | Other patterns need accurate thin pointers and must still state their own invariants. |
| A compressed sentence no longer smuggles several claims under one word. | The repair may name several applicable patterns, but only for branches that the sentence actually contains. |