A.6.0:4.6a - Rule-content actual-use predicate declaration

RuleContentBasisFindingDefinition@R7 is one ordinary U.Signature for two reusable predicates over claim content. Its exact EntityOfConcern is the reusable predicate definition; both SubjectKind and RangedValueKind are U.ClaimGraph. No distinct result kind is current because an ordinary C.2.1 assertion states whether a predicate obtains. The declaration is not a RelationSignature: dependentContent and baseContent are semantic parameters, not world-side relation participants or A.6.5 SlotSpecs.

Its vocabulary includes SelectedRuleContentSubgraphDesignation@RuleContentBasisFindingDefinition-R7, derivedUsingRuleContent@RuleContentBasisFindingDefinition-R7, and evaluatedAgainstRuleContent@RuleContentBasisFindingDefinition-R7. The designation resolves one exact nonempty base subgraph selected for one identified use. RuleContentDerivationProfile@R7, RuleContentEvaluationProfile@R7, and RuleContentBasisFamilyAlgebra@R7 are named subgraphs of this signature’s ClaimGraph.

The derivation predicate obtains only when an identified derivation claim used exact baseContent as a formal premise under a declared inference rule or application to produce exact dependentContent. The evaluation predicate obtains only when an identified criterion-selection claim selected exact baseContent for one exact bounded evaluation claim concerning dependentContent. Definition, constraint, applicability, consultation, citation, influence, provenance, evidence, evaluation Work, result, sufficiency, assurance, reliance, authority, and publication establish neither predicate by themselves.

An assertion names the exact actual-use claim identity and bounded receiving use, and adds scope, temporal policy, scheme interpretation, Bridge/loss, or source/witness qualifications only when each independently changes that assertion. A changed subject, content, mode, use, actual-use claim, scope extension, time policy, or interpreted endpoint identifies a successor assertion under C.2.1 rather than mutating every use of this reusable definition.

R7 is a changed-law successor of historical RuleContentBasisFindingDefinition@R6, not identity-continuous reuse. The C.2.1 succession assertion names predecessor, successor, changeClass = reusable-law-change, the changed law set—formal-premise/criterion-selection truth split, owner-claim removal, per-question analysis separation, independent candidate axes, pairwise compatibility, temporal-policy identity, and non-permissive reliance—and inheritedAcceptanceOrUse = none. A dependency pin selects R6 or R7 explicitly; a pin change reopens dependants rather than silently retargeting them.