E.24:5.9 - Currentness and Lowering Logic
Treat E.24 as current for ontic-introduction decisions while the subject patterns for relation-occurrence identity, reusable relation declarations, episteme identity, U-kind admission, wording-use restoration, and durable naming preserve the boundaries used here. Reopen one subject’s ontic-introduction decision when one of these changes governs that subject:
- a new accepted FPF pattern changes direct relation identity, SlotSpec discipline,
EntityOfConcerndiscipline, U-kind admission, or durable-name discipline; - a bounded local episteme begins to be cited as if it governed a durable ontic;
- a planned pattern label acquires current subject pattern text and changes the ontic-introduction decision;
- dependent patterns start copying direct-relation rules or
RelationSignaturedeclarations instead of relying on their subject patterns; - external source work governs the introduction method itself rather than one selected ontic or subject matter.
Do not let an unresolved ontology disposition constrain dependent use. Use E.24:4.1 until the payload is selected for direct subject-assertion use, a bounded local episteme, or a durable ontic, or is explicitly stopped unresolved. Record source-use status independently: quote-only, reduced use, or stronger source use does not settle the payload’s kind, identity, relation set, dependent-use reliance, or non-use boundary.