E.24.UK:4.2.3 - Accepted Same-individual Dependent Settlement for U.SubkindOf
The subject here is the still-unsettled C.3.1 proposal for an ordered kind-participant relation—not U.SubkindOf assumed in advance. The accepted relation occurrence keeps its U.Relation identity and gains the dependent membership only when C.3.1’s obtaining rule holds.
| Shared field | Exact value |
|---|---|
| decision identity | E24-CO-USUBKINDOF-R5-01; C.2.1 identifies this decision episteme by its own ClaimGraph, EntityOfConcern, and scheme. Its EntityOfConcern is the exact pre-judgment source construct at C.3.1:4.1–6, identified before admission by that located passage and its participant, obtaining, applicability, and occurrence-identity content. The decision ClaimGraph is the common-input and output claims in this section; its scheme is FPFCoreReferenceScheme. |
| receiving use and visible result | typed compatibility, monotonic classification use, bridge order-preservation claims, and declaration constraints need an exact obtaining relation rather than a hierarchy edge or assertion |
| primary subject and rule | admitted root subject kind U.Relation; the ordered narrower and broader participants are exact U.Kind individuals admitted through E24UK-AR-UKIND-R5-01. C.3.1 defines criterion-entailment or exhaustive deliberately closed-domain obtaining, declared applicability, and participant-determined occurrence identity. |
| candidate public spelling | U.SubkindOf; this is naming pressure carried by the decision, not admission evidence |
| proposed durable kind | U.SubkindOf; governed individuals are the same obtaining relation occurrences already under U.Relation; membership uses the C.3.1 rule under FPFCoreReferenceScheme, and every positive member is that same root relation occurrence |
| existing coverage | root U.Relation supplies common occurrence identity but not the narrower/broader predicate; a hierarchy edge, implication expression, current extension, sample, assertion, scheme/signature edition, or KindBridge does not supply the obtaining occurrence |
| minimal relation set | direct kind candidate U.SubkindOf; participant meanings are exact narrower and broader U.Kind individuals; obtaining and occurrence identity are stated in C.3.1:4.1–6; direct governor C.3.1; enabled uses are the receiving uses above |
| other inputs | IdentityBearingDirectRelationIfSelected = none; the candidate relation is the governed subject, not an extra edge that identifies the ontology unit. No reusable RelationSignature is consumed. |
| reliance and boundary | C.3.1–C.3.4 rely on the exact occurrence; reopen when participant meanings, obtaining branch, applicability, occurrence identity, root inclusion, named reliance, or shared settlement law changes |
| ontology output | E24-OS-USUBKINDOF-R5-01, an OnticSettlementResult selecting the C.3.1 subkind-reasoning ontology unit through local exact ref C3SubkindReasoningOntic.R5 (not a public Tech label), primary subject kind U.Relation, the C.3.1 direct rule, the one-relation minimal set above, named reliance, and the same non-use/reopen boundary |
| admission output | E24UK-AR-USUBKINDOF-R5-01, a UKindAdmissionResult with AdmissionDisposition = same-individual-dependent, SubjectPatternLocator = C.3.1, membership-and-extent result C.3.1:4.1–6, root inclusion through E24UK-AR-URELATION-R11-01, and BranchSpecificResultRef = E24-OS-USUBKINDOF-R5-01 |
| decision mode | atomic ontic-plus-U-kind; both outputs are evaluated from these common inputs and accepted together |
The decision and its two outputs are three distinct C.2.1 epistemes. Each output has the same pre-judgment source construct as EntityOfConcern, its own ClaimGraph consisting of the applicable output claims above plus the exact decision reference, and FPFCoreReferenceScheme. The sibling ontic result is recorded for navigation, not used as prior evidence. Scheme and signature editions qualify interpretation, applicability, and assertions; they are neither participants nor occurrence-identity discriminators.