A.6.3.RT:7.1 - Ordinary and exact checks

1. CC-RT-1 — Useful ordinary entry. A user can recover the source content, choose an available scheme, make a target suited to the next action, and compare it with the source before supplying exact endpoint identities. Givens, unknowns and a partial construction can support this first result.
2. CC-RT-2 — Same concern and right family. The target still concerns the same thing; representation scheme or reasoning medium is the primary change rather than wording, narrative, explanation, carrier work, retargeting, bridge use, or controlled coarsening.
3. CC-RT-3 — Delta and source comparison. Preserved and foregrounded content, rearrangement, loss, recoverability, and apparent links not licensed by the source are visible.
4. CC-RT-4 — Use and return. Admissible and non-admissible use plus a practical source-return trigger are clear.
5. CC-RT-5 — Progressive burden. Detailed factors, semiotic mode, decode evidence, exact identities, Work, publication, evidence, and assurance appear only when each changes use or blocks a likely error.
6. CC-RT-6 — Exact endpoints when triggered. X and Y are independently constituted C.2.1 epistemes with the same exact EntityOfConcern and recoverable effective schemes; forms, carriers, models, displays, and readable output substitute for neither.
7. CC-RT-7 — Exact construction. v : X -> Y states claim construction, endpoint-scheme relation, same exact EntityOfConcern, preservation, loss/recovery, prohibited strengthening, applicability, use, and return.
8. CC-RT-8 — Exact dependencies and neighbors. Correspondence dependencies obtain independently; C.29 representation, E.17.0 View membership, grounding, publication, evidence, assurance, bridge, gate, and receiving Work remain separate.
9. CC-RT-9 — Later-specific occurrence only at its trigger. A positive RepresentationSchemeTransitionRelation@Context has the exact A.1.1 model-use structure, preserved concern, X, Y, two exact scheme-description epistemes, and actual Work satisfying §4.1.b.
10. CC-RT-10 — Occurrence, Work, and description stay distinct. The participant tuple identifies the occurrence; Work and production claims remain separate; the transition-description episteme has the occurrence as EntityOfConcern and its own C.2.1 identity.
11. CC-RT-11 — Occurrence identity. Only a changed participant reidentifies the occurrence; repeat Work, evidence, publication, layout, carrier, description edition, or C.29 output does not.
12. CC-RT-12 — Reuse is local. When the source or target, delta, dependency, loss, use, evidence, or return changes, reopen only the affected part of the account.
13. CC-RT-13 — Construction and subject result. The expression uses identified rules and supports the named operation. A trial is required only when it can decide usefulness. A new subject conclusion keeps its construction or argument as its source; notation-scheme design and the subject Method remain distinct from making the expression.