CC-F15-1 | Declare one finite exact scope, versions, triggered rules, excluded claims, and receiving use before applying SCR or RSCR. |
CC-F15-2 | Resolve every member to its exact governed value, occurrence, episteme, scheme, or version; selected Structure is optional and independent. |
CC-F15-3 | Keep checked scope, rule, application/work, result claim, witness/evidence path, record episteme, publication occurrence/form/carrier, and currentness relation distinct. |
CC-F15-4 | Check exact F.17/F.18 names, cells, cards, and rows without selecting names or duplicating their settlement. |
CC-F15-5 | Cite an actual F.9 Bridge only after its exact predicate obtains; keep description/Card, bounded-use claim, reliance, and receiving occurrence separate. |
CC-F15-6 | Apply the defining or testing rule for each failed subject claim before the receiving use; a record update is not subject repair. |
CC-F15-7 | For regression, name exact prior/later refs, the continuity or change claim, admitted losses, evidence, and receiving use; spelling and editions prove neither sameness nor difference. |
CC-F15-8 | Reuse unaffected result claims only after a direct contradiction check; rerun dependents, not the whole package by habit. |
CC-F15-9 | Scope membership is not evidence, witnesses are not results, and a description/card/row/table/id establishes no governed relation or authority. |
CC-F15-10 | Closure is limited to the exact slice versions, rule results, evidence/reliance, currentness, and receiving use actually checked. |