A.6.RCD:4.5a - Reusable rule-content predicates stop before relation-kind admission

RuleContentBasisFindingDefinition@R7 is the disposition-3 declaration for two repeated cross-subject predicate semantics: derivedUsingRuleContent(dependentContent, baseContent) and evaluatedAgainstRuleContent(dependentContent, baseContent). Its exact EntityOfConcern is that reusable predicate definition. Its SubjectKind and RangedValueKind are both U.ClaimGraph; predicate obtaining is asserted through C.2.1, so no separate result kind is introduced. The declaration may satisfy ordinary A.6.0 U.Signature membership. It is not a RelationSignature, relation kind, relation occurrence, registry, or claim that every definition or constraint was actually used.

Use the first predicate only when an identified derivation claim names the exact nonempty base subgraph as a formal premise under a declared inference rule or application producing the exact dependent content. Use the second only when an identified criterion-selection claim selects that base for an exact bounded evaluation claim concerning the dependent content. The dependent and base values are predicate parameters, not A.6.5 SlotSpecs. Actual-use assertions remain ordinary C.2.1 epistemes; consultation, influence, provenance, evidence, evaluation Work, and later sufficiency remain separate.

This reusable declaration does not replace the cheaper branches. A subject-local assertion that names its defining or constraining ClaimGraph and closes the receiving use stops at disposition 1 or 2. Open the R7 definition only where repeated cross-subject semantics are actually reused; open a basis analysis only for a named comparison, replay, conflict, or reliance use. No accepted use currently needs an obtaining relation occurrence between rule content and dependent content as a participant or comparison object, so the relation-kind continuation remains closed.