F.7:15 - Acceptance tests

F.7:15.1 - Static conformance

• SCR-F7-S01 (exact entries). Every local entry identifies an exact claim or F.17 cell and its source and edition.
• SCR-F7-S02 (no row-created fact). No relation or permission is inferred from co-placement, label similarity, or layout.
• SCR-F7-S03 (relation basis). Every positive relation cites the pattern that defines, constrains, or tests it, states direction where relevant, and cites its evidence.
• SCR-F7-S04 (receiving use). Every practical use conclusion is separate from the row and has its own basis.
• SCR-F7-S05 (loss disclosure). Material limitations and counterexamples remain visible.
• SCR-F7-S06 (parsimony). Every extra entry changes the current comparison or use.

F.7:15.2 - Regression

• RSCR-F7-E01 (relation drift). A changed relation triggers re-evaluation of dependent use conclusions, not a global row score.
• RSCR-F7-E02 (sense split). A split local claim leaves no ambiguous cell reference.
• RSCR-F7-E03 (use integrity). No consumer treats a row label as licence outside the stated conclusion.
• RSCR-F7-E04 (no stealth growth). New entries create no silent relation, closure, or widened use.