F.15:15 - Closure conditions

A finite slice is locally admissible for its named receiving use only when:

1. every scope member and exact version resolves under its identity rule and PatternID locator;
2. every triggered static rule has an exact current C.2.1 pass result for the named receiving use; a fail or undetermined result leaves the affected use unadmitted;
3. every changed member has an exact prior/later pair and a current passing RSCR result supporting the stated continuity/change, admitted losses and receiving use;
4. every failed subject claim needed by the use is repaired and re-evaluated under its defining or testing rule, and the affected F.15 rule then passes before reuse;
5. witness refs and any relied-on A.10/B.3 path are current for the exact result and use, without becoming the result;
6. the optional record cites, but does not replace, applications/work, result claims, evidence, Bridge occurrences, descriptions, publication, or currentness;
7. tempting non-admitted uses—system-role assignment, performed work, source or publication authority, status transfer, evidence use, equivalence, assurance, gate passage, and authorization—are explicit; and
8. the closure statement names the exact slice versions, rule set, currentness basis, and receiving use.

Closure is local. A later change reopens only the affected rule results and their dependents after contradiction checks. It does not authorize a full rerun by habit or a global claim that all names, rows, relations, evidence, and publications conform.