Relational System Blueprint
What this is
A RelationsSystemBlueprint is a GenerativeUniverseClosureBlueprint within a RelationsSystem.
A RelationsSystemBlueprint MUST satisfy all requirements of RelationsSystemOutpost.
In R = Sh(T, J), a node satisfying U_G conditions 1–6 is one that has:
- Exponential closure (condition 4): its operations are objects in R
- Subobject classification (condition 5): the subobject classifier Ω classifies which sub-configurations of this node are valid; a SHACL shape in R targets it
- Structural operations (condition 6): procedures operating on this node are themselves objects in R
This is the presheaf level: the node satisfies all topos axioms within its scope but has no Grothendieck topology imposed on that scope. It is a syntactic category without a site structure — R_n with all internal structure present but no covering families declared.
The presheaf–sheaf distinction at the node level
A RelationsSystemBlueprint node lives in PSh(C) rather than Sh(C, J) within its scope. It has limits, colimits, exponentials, and a subobject classifier. What it does not have is a Grothendieck topology J on its subscope that would specify which families of morphisms count as coverings.
Without that topology, the holographic projection Stab : H → H* cannot be fully activated for this node’s scope — the boundary is not yet defined because the site structure is absent.
A RelationsSystemBlueprint MUST have at least one SHACL shape targeting it. It MUST have at least one structural operation (runbook or skill operating on it) that is itself a node in R.
Open questions
- How the covering-structure step (charter) is represented as a categorical operation on the subscope site.