fpf.tools
Jump to text
On this page
Copy and source
Original source · lines 105689–105696
Published source confirmed at last check

Source changed 2026-10-07 22:29:00 UTC · snapshot created 2026-10-07 22:29:53 UTC · last check 2026-10-08 12:35:17 UTC

E.24.UK:12 - Relations

  • Shares settlement with: E.24 through the one E24FamilySettlementDecision schema in E.24:4.0a. E.24.UK records the UKindAdmissionResult; E.24 records the ontology disposition and an OnticSettlementResult only when a durable ontic is selected. An existing result may be reused, while a case needing both new outputs is one atomic co-decision with neither output used as prior evidence.
  • Uses for relation admission: A.6.REL states the common occurrence discipline. Each direct relation pattern states participant meanings, obtaining, applicability, and occurrence identity. An A.6.RCD application may record a residual claim or a derived-or-primitive candidate with its proposed direct subject settlement; local-claim and predicate-definition results remain claim content and do not admit a relation kind.
  • Uses for neighboring objects: A.6.0 defines reusable signature identity; A.6.5 defines SlotSpec declarations; C.2.1 defines admission-decision, assertion, and description episteme identity; F.18 supplies the naming rule for selected Tech labels and designators; C.29 defines mathematical and data-model representation use.
  • Coordinates with: A.22 for admitted structure identity and dependent structure predicates; A.1.1 for bounded model-use relations; A.2.6 for claim-scope membership; C.3, C.3.1, and C.3.2 for admitted U.Kind individuals, the admitted U.SubkindOf direct species, declaration, admissibility, and judgment; E.24.CD for candidate detection; E.24.PUB for publication distinctions; direct kind patterns for every other admission; and E.10, F.8, F.17, and F.18 for wording and naming after settlement.
  • Does not replace: the rule that defines or constrains the classified individuals, their identity or membership, intended extent, and action-facing use, or the PatternID that locates that rule.