Link to current text
A.21:7.1 - Triggered additions
| Current use | Add | Direct pattern |
|---|
| Launch decision | Prospective work-entry claim and only the checks selected by the applicable profile | A.15.5, E.18, and the pattern defining each check |
| Structural crossing | Changed-binding and crossing facts; SquareLaw only when its crossing rule applies | E.18 |
| Semantic correspondence | Separate Bridge and bounded-use claim; optional evidence or publication apparatus only when used | F.9, F.17; E.17 for a source-backed reader face, E.24.PUB for publication occurrence, form, carrier, and availability |
| Publication | Form, carrier, publication occurrence, and the minimum decision refs | E.24.PUB; E.17 when a source-backed reader face is needed |
| Evidence, safety, regulation, or assurance | Exact source result and its evidence or assurance relation | A.10, B.3, or the applicable domain pattern |
| Reuse or replay | Equivalence witness when claiming reuse, cache, or stability over an interval; optional decision log for audit, history, or replay | §4.10; G.6 when a citable provenance path is needed, G.11 when currentness or refresh is at issue, and E.24.PUB when published |