F.15:11.5 - Bridges and bounded uses
RSCR-F15-E9 (Exact Bridge change). Compare exact prior/later endpoint cells and relation-semantic profiles. A changed endpoint or profile concerns another Bridge candidate and obtaining test; changed assertion, description, Card, evidence, reliance, or bounded-use claim does not by itself reidentify or negate a fixed obtaining occurrence.
RSCR-F15-E10 (No drift to equivalence or use authority).
A later equivalence claim requires an exact Equivalence profile, true predicate, required dependencies, and a separately identified obtaining occurrence. A new witness set, high CL, polished Card, or earlier partial relation is insufficient. Any later substitution still needs its own bounded-use claim and reliance.