Relational System Outpost
What this is
A RelationsSystemOutpost is a GenerativeUniverseClosureOutpost within a RelationsSystem.
A RelationsSystemOutpost MUST satisfy all requirements of GenerativeUniverseClosureOutpost.
In R = Sh(T, J), a node satisfying U_G conditions 1–4 is one whose named operations are themselves objects in R. Condition 4 (exponential closure) means the function spaces [A, B] exist as objects in R: the operations of the outpost live as sections of such function-space objects, not merely as named labels. Other units can reference these operations in their frontmatter; the operations can be composed with other morphisms in R.
What is absent: the subobject classifier Ω has not yet been applied to classify which sub-configurations of this node are valid (condition 5). No shape in R targets this node as its subject of classification.
Recognition in the graph
A RelationsSystemOutpost is recognizable by:
- All its named operation keys are themselves nodes in R (vocabulary completeness at the operation level)
- No SHACL shape in R has this node as its
sh:targetSubjectsOftarget - It can appear in the relation role in other entities’ frontmatter (exponential closure: it is a valid morphism object)
Every operation key a RelationsSystemOutpost carries MUST itself be a node in R.
Relation to the construction pole
In the Witness, an outpost is a node in the construction sheaf H that has begun to carry structure — its operations are sections — but the observation sheaf H∨ = [H, Ω] has not yet been constrained to classify it. The boundary H* = Fix(σ) ∩ Fix(Δ) is not yet defined for this node’s sub-configurations.
Open questions
- How condition 3 (closure under limits and colimits) manifests for individual nodes as distinct from the overall structure of R.