F.15:13.4 - Partial Bridge later claimed as equivalence

An exact Partial-overlap Bridge once obtained between an OWL subclass sense and an FCA order-edge sense. A later formal result claims equivalence inside one constrained fragment.

F.15 result:

• RSCR-F15-E9 keeps the prior occurrence fixed and identifies the exact later endpoint/profile candidate.
• RSCR-F15-E10 requires the Equivalence predicate and dependencies to be true for a separately identified occurrence; new witnesses or CL do not suffice.
• The constrained-fragment substitution is a separate bounded-use claim with its own rule, tolerance, polarity, and reliance.
• C.29 governs the mathematical-lens claim; F.15 checks that no description, Card, or result label silently strengthens the relation.