E.24:4.4 - Check 4: Exact Rule-Content and Dependent-Use Test
State:
- the pattern governing the selected durable ontic;
- the exact defining
ClaimGraphfor each relation in the minimal set, and which relation is identity-bearing when an exact subject assertion selects one; - each dependent pattern and the identified ontic identity, direct relation rule, or
RelationSignaturedeclaration on which it relies; - each draft ToC row, planned pattern label, or absent subject-pattern section that remains non-governing.
Naming, publication placement, and evaluation remain neighboring authoring work under F.18, E.8, E.9.DA, and E.21. The ontic-introduction decision may point to those next moves, but none establishes ontic identity or replaces the subject pattern.
If the decision selects a durable ontic, write the pattern that defines or constrains it before dependent patterns rely on it. If the decision selects only a bounded local episteme, identify that episteme under C.2.1 and state its non-governing bounded use and claims by value. If no pattern governing the proposed durable ontic is written, do not cite that candidate as governing current FPF use.