UCN Formal Specification v0.1.0
The constitutional model for how sovereign nodes discover, communicate with, synchronize, and trust each other across a network — making the constitution work beyond a single machine.
Preamble
This document is the formal specification of the Universal Constitutional Networking (UCN) — a constitutional layer sitting between Reference Systems (L5) and USR/CoreFab (L6), as a sibling to UWA. UCN answers the question: "How do constitutional components discover, communicate, synchronize, and establish trust?"
UCN does not implement any network protocol. UCN is the constitutional model of networking — it defines what identity means across a network, what discovery means, what communication means, what synchronization means, and what trust means. Any conforming protocol implementation must satisfy UCN's axioms and invariants, but UCN itself specifies no wire format, no transport, no message syntax.
Without UCN, a constitutional component exists in isolation — correct, sovereign, but alone. With UCN, constitutional components form a constitutional network: a distributed system where every node is sovereign, every identity is verified, every message is authenticated, and every state is eventually consistent.
This specification answers the constitutional question: How is meaning communicated? It defines the invariants that networking must satisfy — the properties that hold true regardless of transport, protocol, or wire format. UCN specifies no protocol; it specifies what any conforming protocol must guarantee.
Classification: Constitutional — defines the networking model for all of ICore.
Derivation:
Reference Systems (L5) → UCN (constitutional networking model)
Depends on: Reference Systems (networking requires a foundation of communication, computation, and data systems). Transitively, UCN depends on everything below L5 — networking must consume meaning produced by the entire constitutional stack.
Depended on by: USR/CoreFab (runtimes need networking to coordinate), UCA (adapters may bridge to network protocols that UCN governs).
Section 1: Foundational Axioms
1.1 The Five Network Axioms
| # | Axiom | Statement | Derived From |
|---|
| NA1 | Network identity is constitutional identity extended in space. | A node's identity on the network is the same constitutional identity it holds locally. Identity does not change when extended across space. A node is the same entity everywhere. | Identity (USCP) |
| NA2 | Discovery is capability-based. | Nodes find each other by what they can do, not by where they are. Location is incidental; capability is constitutive. A node's address may change; its declared capabilities are its identity. | Existence (USCP) |
| NA3 | Communication is authenticated constitutional event exchange. | Every message exchanged between nodes is an authenticated, verifiable constitutional event. No message may be sent anonymously. No message may be received unverified. Unauthenticated communication is unconstitutional. | Relationship (USCP) |
| NA4 | Synchronization is constraint-preserving state alignment. | When nodes share state, the alignment must preserve all constitutional constraints. Synchronization that violates a constraint is a constitutional fault, not a data conflict. | Constraint (USCP) |
| NA5 | Trust is earned through cryptographic verification, never assumed. | No node trusts another by default. Trust is established through verifiable cryptographic proof — signed attestations, capability grants, and replicated state. Trust is revocable. | Verification (USCP) |
1.2 Axiom Sufficiency
| Primitive | Present In | Role |
|---|
| Existence | NA2 (capability-based discovery) | Nodes exist as declared capabilities, not as addresses |
| Identity | NA1 (extended identity) | Identity persists across network boundaries |
| Relationship | NA3 (authenticated exchange) | Communication creates authenticated, traceable relationships |
| Constraint | NA4 (constraint-preserving sync) | Synchronization must respect all constitutional constraints |
| Transformation | NA5 (trust through verification) | Trust is transformed from uncertainty to certainty via cryptographic proof |
| Verification | NA5 (cryptographic verification) | Trust is grounded in verifiable, not assumed, evidence |
The five axioms cover all six primitives. The foundation is complete.
Note: These axioms are invariants. They define what must always be true about constitutional networking. The mechanisms below (node discovery, channel establishment, state replication) are implementation patterns that satisfy these invariants.
Section 2: The Network Model
2.1 Definitions
| Term | Definition |
|---|
| Node | A sovereign constitutional entity participating in a network. A node has a single, persistent constitutional identity that is the same across all network locations. |
| Constitutional Network | The set of nodes that mutually recognize each other through authenticated communication and shared cryptographic verification. |
| Capability Advertisement | A signed declaration by a node of the constitutional capabilities it provides to the network. |
| Constitutional Event | Any verifiable action, state change, or message exchanged between nodes — including discovery, communication, synchronization, and trust operations. |
| State Replication | The process by which constitutional state is shared across nodes while preserving consistency and constraint integrity. |
| Trust Anchor | A node whose identity has been verified through an unbroken cryptographic chain to a known constitutional origin. |
| Epoch | A monotonically increasing logical time period, used to order events and detect synchronization conflicts. |
| Constitutional Channel | An authenticated, encrypted communication path between two or more nodes, bound to their verified identities. |
2.2 The Constitutional Network
┌═══════════════════════════════════════════════════════════════════┐
║ CONSTITUTIONAL NETWORK ║
║ ║
║ ┌──────────────┐ ┌──────────────┐ ║
║ │ Node Alpha │◄────────►│ Node Beta │ ║
║ │ │ Auth'd │ │ ║
║ │ ┌───────────┐ │ Channel │ ┌──────────┐ │ ║
║ │ │ Identity │ │◄─────────►│ │ Identity │ │ ║
║ │ │ Capability│ │ │ │Capability│ │ ║
║ │ │ State │ │ │ │ State │ │ ║
║ │ │ Trust │ │ │ │ Trust │ │ ║
║ │ └───────────┘ │ │ └──────────┘ │ ║
║ └───────┬───────┘ └──────┬───────┘ ║
║ │ │ ║
║ │ ┌──────────────┐ │ ║
║ └───►│ Node Gamma │◄─────┘ ║
║ │ │ ║
║ │ ┌──────────┐ │ ║
║ │ │ Identity │ │ ║
║ │ │Capability│ │ ║
║ │ │ State │ │ ║
║ │ │ Trust │ │ ║
║ │ └──────────┘ │ ║
║ └──────────────┘ ║
║ ║
║ Each node is sovereign. Each node is the same entity everywhere. ║
║ Trust flows through verified cryptographic chains. ║
╚═══════════════════════════════════════════════════════════════════╝
2.3 Network Properties
| # | Property | Statement |
|---|
| NP1 | Sovereignty | Every node is fully sovereign. No node can compel another to act. The network is a voluntary federation of sovereign entities. |
| NP2 | Identity Persistence | A node's identity is invariant across network locations, IP addresses, and transport protocols. Identity is constitutional; location is incidental. |
| NP3 | Zero-Trust Default | No node trusts any other node by default. Trust must be explicitly established through cryptographic verification. |
| NP4 | Event Ordering | All constitutional events are ordered by epoch. Causal ordering is preserved. Concurrent events are detected and resolved deterministically. |
| NP5 | Constraint Continuity | All constitutional constraints apply across the network boundary. A constraint enforced locally must also be enforced remotely. |
2.4 What Flows on the Network
| Direction | What Flows | What Doesn't Flow |
|---|
| Node → Network | Capability advertisements, authenticated messages, state updates, trust assertions | Constitutional authority, governance power, unverifiable claims |
| Network → Node | Discovery results, authenticated messages, replicated state, trust proofs | Obligations, mandates, constraints that weren't previously agreed |
The constitution participates in the network. It never submits to the network.
Section 2.5: The Doctrine Position
UCN occupies a specific position in the constitutional doctrine:
| Doctrine Principle | UCN Position |
|---|
| Constitution before architecture | UCN's axioms (NA1-NA5) are constitutional law, derived from USCP primitives |
| Architecture before implementation | The network model defines the architecture; protocols are implementation |
| Implementation before optimization | UCN specifies what must be true, not how to achieve it |
UCN defines the invariants. Implementations choose the protocols.
Section 3: Network Identity
3.1 Identity Extension Across Space
A constitutional identity is defined locally (by USCP and USC). UCN extends that identity across space — the same identity, verifiable at any location, through cryptographic binding.
| Property | Requirement |
|---|
| Core Identity | ConstitutionalID { name, layer, version, parents, question, public_key } |
| Network Identity | NodeIdentity { core_id, epoch, capability_digest, trust_level, endpoints[] } |
| Identity Proof | A signed attestation binding a core identity to a network identity at a specific epoch |
3.2 Identity Structure
NetworkIdentity:
├── CoreID (from USCP/USC)
│ ├── name: string
│ ├── layer: constitutional layer
│ ├── version: semver
│ ├── parents: [CoreID]
│ ├── question: constitutional question answered
│ └── public_key: cryptographic public key
│
├── Network Extension
│ ├── epoch: u64 (monotonic logical time)
│ ├── capability_digest: SHA-256(capabilities)
│ ├── trust_level: enum { Unverified, Provisional, Established }
│ └── endpoints: [NetworkEndpoint]
│
└── Proof
├── signature: Ed25519(CoreID, NetworkExtension)
└── timestamp: ISO 8601
3.3 Identity Invariants
| # | Invariant | Statement |
|---|
| II1 | Uniqueness | Every node has exactly one CoreID on the network. No node may present two different core identities. |
| II2 | Consistency | The CoreID on the network is identical to the CoreID held locally. Identity does not transform during extension. |
| II3 | Cryptographic binding | The network identity is cryptographically bound to the core identity. Forging one requires breaking the signature scheme. |
| II4 | Epoch tracking | Identity extensions carry epoch numbers. Outdated identities are detectable and rejectable. |
| II5 | Revocability | A node may revoke its own network identity. Revocation propagates through trust chains. |
3.4 Identity Lifecycle
| State | Description | Transition |
|---|
| Dormant | CoreID exists locally but has no network presence | extend() → Proving |
| Proving | Network identity proof submitted, awaiting verification | verify() → Active |
| Active | Fully verified network identity, participating in the network | revoke() → Revoked |
| Revoked | Network identity withdrawn; trust assertions invalidated | Terminal |
Section 4: Discovery
4.1 Capability-Based Discovery
Discovery in UCN answers: "Which nodes can provide what constitutional capabilities?" Discovery is never address-based. A node's location is irrelevant to what it provides.
| Term | Definition |
|---|
| Capability Advertisement | A signed declaration: "Node X provides capabilities {Y, Z} at trust level T." |
| Discovery Query | A request: "Find nodes that provide capability Y." |
| Discovery Response | A signed set of advertisements matching the query. |
| Capability Index | A distributed or replicated structure mapping capability types to advertising nodes. |
4.2 Discovery Protocol
┌──────────────┐ ┌──────────────┐
│ Requesting │ │ Responding │
│ Node │ │ Node │
└──────┬───────┘ └──────┬───────┘
│ │
│ 1. Query: "find(capability=Y)" │
│─────────────────────────────────────────►│
│ │
│ 2. Capability Advertisement │
│◄─────────────────────────────────────────│
│ (signed by Node B's key) │
│ │
│ 3. Verify signature │
│ 4. Verify trust chain │
│ 5. Accept or reject │
│ │
│ 6. (optional) Request capability grant │
│─────────────────────────────────────────►│
│ │
│ 7. Capability Grant (signed) │
│◄─────────────────────────────────────────│
│ │
4.3 Discovery Invariants
| # | Invariant | Statement |
|---|
| DI1 | Capability-signed | Every capability advertisement must be cryptographically signed by the advertising node. Unsigned advertisements are discarded. |
| DI2 | No address dependency | Discovery queries must not require prior knowledge of a node's network address. Discovery finds nodes by capability, not by location. |
| DI3 | Freshness | Advertisements carry epoch timestamps. Stale advertisements are rejected. |
| DI4 | Revocation propagation | When a node's identity is revoked, its advertisements are invalidated. Discovery responses must not include revoked nodes. |
| DI5 | Capability specificity | Advertisements declare specific capability types. A node advertising "storage" does not implicitly advertise "execution." |
4.4 Discovery Completeness
| Capability Domain | Discovery Type | Description |
|---|
| Execution | Find execution nodes | "Who can execute constitutional operations?" |
| Storage | Find storage nodes | "Who can persist constitutional state?" |
| Communication | Find relay nodes | "Who can relay constitutional messages?" |
| Verification | Find verifier nodes | "Who can verify constitutional attestations?" |
| Any | Broadcast | "Who is available on this network?" |
No capability domain is privileged. All capabilities are discoverable through the same mechanism.
Section 5: Communication
5.1 Event Exchange Protocol
Communication in UCN is the exchange of authenticated constitutional events between nodes. Every event is signed, timestamped, and verifiable.
| Term | Definition |
|---|
| Constitutional Event | An atomic, signed unit of communication between nodes. Events are immutable once sent. |
| Event Type | The category of event: Discovery, Message, StateUpdate, TrustAssertion, TrustRevocation, SyncRequest, SyncResponse. |
| Channel | An authenticated, encrypted path between nodes, established through mutual trust verification. |
| Event Chain | A sequence of causally ordered events forming a verifiable communication record. |
5.2 Event Structure
ConstitutionalEvent:
├── event_id: UUID (unique)
├── event_type: EventType
├── source_node: NodeIdentity
├── target_node: NodeIdentity (or broadcast)
├── epoch: u64
├── timestamp: ISO 8601
├── payload: bytes (type-specific)
├── previous_event_id: UUID | null (causal chain)
└── signature: Ed25519(source_key, event_body)
5.3 Communication Invariants
| # | Invariant | Statement |
|---|
| CI1 | Authenticated | Every event must be signed by the sending node. Events arriving without valid signatures are rejected. |
| CI2 | Ordered | Events between two nodes are causally ordered via previous_event_id. Broken chains are flagged and rejected. |
| CI3 | Immutable | Sent events are immutable. An event cannot be modified after transmission without invalidating its signature. |
| CI4 | Epoch-bounded | Events carry epoch numbers. Events from epochs prior to a node's current state may be rejected based on local policy. |
| CI5 | No impersonation | A node cannot send events claiming to be another node. Signature verification prevents identity spoofing. |
| CI6 | Sovereignty-preserving | Receiving a message never obligates the recipient to act. The recipient sovereignly decides whether to process, defer, or reject. |
5.4 Event Types
| Event Type | Purpose | Typical Payload |
|---|
Discovery | Advertise capabilities or query for nodes | Capability advertisement or query |
Message | Application-level constitutional communication | Typed payload per application |
StateUpdate | Declare a local state change for synchronization | State delta + epoch + hash |
TrustAssertion | Declare trust in another node | Target node + trust level + evidence |
TrustRevocation | Withdraw a previously granted trust assertion | Target node + reason |
SyncRequest | Request state synchronization | Last known epoch + capabilities |
SyncResponse | Provide state in response to sync | State snapshot + epoch + consistency proof |
Section 6: Synchronization
6.1 State Alignment Model
Synchronization in UCN answers: "How do nodes maintain consistent constitutional state?" The model guarantees that synchronization never violates constitutional constraints — even under network partitions, concurrent updates, or node failure.
| Term | Definition |
|---|
| State | The full set of constitutional data held by a node: identities, capabilities, trust relationships, attestations. |
| State Delta | A minimal, signed description of a state change: what changed, when, and by whom. |
| Consistency Proof | A cryptographic proof that two nodes share identical state for a given epoch. |
| Conflict | Two concurrent state deltas that cannot be automatically reconciled because they affect the same data. |
| Epoch Boundary | A logical synchronization point where all nodes agree on the current global state. |
6.2 Synchronization Protocol
┌──────────────┐ ┌──────────────┐
│ Node Alpha │ │ Node Beta │
└──────┬───────┘ └──────┬───────┘
│ │
│ 1. SyncRequest(last_epoch=E1) │
│─────────────────────────────────────────►│
│ │
│ 2. SyncResponse: │
│ - state_delta(E2) │
│ - state_delta(E3) │
│ - consistency_proof(E3) │
│◄─────────────────────────────────────────│
│ │
│ 3. Verify deltas: │
│ - Signature valid? │
│ - Constraints preserved? │
│ - No conflicts with local state? │
│ │
│ 4. Apply verified deltas │
│ │
│ 5. ApplyAck(epoch=E3) │
│─────────────────────────────────────────►│
│ │
6.3 Consistency Rules
| # | Rule | Statement |
|---|
| SR1 | Constraint preservation | Every state delta must be verified against all constitutional constraints before application. A delta that violates a constraint is rejected, regardless of its source. |
| SR2 | Append-only attestation | Attestation state is append-only. Sync never removes or modifies existing attestations. |
| SR3 | Deterministic merge | When two nodes have different state deltas for the same data, the merge is deterministic: the delta with the later epoch wins, and the earlier delta is recorded as superseded. |
| SR4 | Conflict detection | Concurrent deltas that affect the same data at the same epoch are detected and flagged as conflicts. Conflicts are never silently resolved — they require human or governance intervention. |
| SR5 | Partial availability | Nodes may synchronize with any subset of the network. Partial synchronization is valid as long as the synchronized subset is internally consistent. |
6.4 Synchronization Invariants
| # | Invariant | Statement |
|---|
| SI1 | Signed deltas | Every state delta must be signed by the node that created it. Unsigned deltas are rejected. |
| SI2 | Epoch monotonicity | State epochs are monotonically increasing. A node never applies a delta from an earlier epoch than its current state. |
| SI3 | Constraint integrity | After applying any sequence of verified deltas, the node's state satisfies all constitutional constraints. This is an invariant, not a goal. |
| SI4 | Eventual consistency | In the absence of conflicts, all nodes that synchronize will reach identical state. This is guaranteed, not probabilistic. |
| SI5 | Recovery safety | A node that restarts from local state can rejoin the network and synchronize without losing or corrupting any local state. |
Section 7: Trust Establishment
7.1 Cryptographic Trust Chains
Trust in UCN is never assumed. It is earned through verifiable cryptographic proof and maintained through continuous verification. Trust is the constitutional foundation of all network interactions.
| Term | Definition |
|---|
| Trust Level | The degree of trust one node holds in another: Unverified → Provisional → Established. |
| Trust Chain | An unbroken sequence of signed trust assertions linking a trusted node back to a known trust anchor. |
| Trust Anchor | A node whose identity has been verified through a constitutionally recognized origin (e.g., direct physical key exchange, or derivation from a known constitutional entity). |
| Trust Assertion | A signed declaration: "Node A trusts Node B at level L, based on evidence E." |
| Trust Revocation | A signed declaration: "Node A no longer trusts Node B." Revocation is immediate and irrevocable. |
7.2 Trust Levels
| Level | Definition | Verified By | Grants |
|---|
| Unverified | Default. No trust established. | Nothing — absence of proof | Ability to receive signed messages |
| Provisional | Trust asserted based on partial evidence. | Signed assertion from a Provisional+ node | Ability to exchange state updates |
| Established | Full trust, verified through unbroken chain to a trust anchor. | Signed assertion from an Established node + consistency proof | Full participation: discovery, communication, sync |
7.3 Trust Chain Verification
TrustAnchor (Established, verified by origin)
│
├── TrustAssertion (signed by Anchor, grants Established to Beta)
│ │
│ └── TrustAssertion (signed by Beta, grants Provisional to Gamma)
│ │
│ └── TrustAssertion (signed by Gamma, grants Provisional to Delta)
│
Chain is valid if and only if:
1. Every signature is cryptographically valid
2. Every node in the chain is at or above the trust level it grants
3. No node in the chain has been revoked
4. All trust assertions reference valid epochs
7.4 Trust Invariants
| # | Invariant | Statement |
|---|
| TI1 | Zero-trust default | Every new node begins at Unverified. No node is trusted until proof is provided. |
| TI2 | Chain integrity | A trust chain is valid only if every link is cryptographically verified and no node in the chain is revoked. |
| TI3 | Level conservation | A node can only grant trust at or below its own trust level. A Provisional node cannot grant Established trust. |
| TI4 | Revocation propagation | When a node is revoked, all trust chains passing through it are invalidated. Downstream trust is also invalidated. |
| TI5 | Evidence requirement | Every trust assertion must cite evidence — a signed attestation, a consistency proof, or a direct key exchange record. Trust without evidence is unconstitutional. |
| TI6 | Revocability | Any trust assertion may be revoked by the asserting node at any time. Revocation is immediate, irrevocable, and propagated. |
Section 8: Invariants
8.1 The Twenty-One Network Invariants
All invariants in this section are constitutional laws — not guidelines, not aspirations. A conforming implementation must satisfy every invariant.
| # | Invariant | Category | Statement |
|---|
| NI1 | Sovereignty preservation | Sovereignty | No network operation may compromise the sovereignty of any node. The network is a voluntary federation. |
| NI2 | Identity persistence | Identity | A node's identity is invariant across network locations. The same CoreID is used everywhere. |
| NI3 | Zero-trust default | Trust | No node trusts any other node by default. Trust requires explicit, verifiable proof. |
| NI4 | Authentication requirement | Communication | Every network message must be signed. Unsigned messages are constitutionally void. |
| NI5 | Constraint continuity | Synchronization | All constitutional constraints apply across the network. No constraint is relaxed by transmission. |
| NI6 | Capability specificity | Discovery | Capability advertisements declare precise capabilities. No capability is implied by the presence of another. |
| NI7 | Deterministic merge | Synchronization | Concurrent state updates are merged deterministically. No merge produces non-deterministic results. |
| NI8 | Epoch monotonicity | Synchronization | Epochs are strictly increasing. No event or state may reference a prior epoch as current. |
| NI9 | Revocation immediacy | Trust | Trust revocation takes effect immediately across the network. No delay is permitted or tolerable. |
| NI10 | No coercion | Sovereignty | A node cannot be compelled to accept a trust relationship, a state update, or a capability grant. All participation is sovereign. |
| NI11 | Event immutability | Communication | Constitutional events are immutable after creation. Modification is detectable through signature verification. |
| NI12 | Discovery completeness | Discovery | Any node offering a capability may be found through discovery. No capability-bearing node may be hidden by the protocol. |
| NI13 | Synchronization safety | Synchronization | A node that applies verified, constraint-preserving deltas remains in a constitutionally valid state. This is guaranteed, not hoped for. |
| NI14 | Trust chain validity | Trust | A trust chain is valid if and only if every link is cryptographically verified, no node is revoked, and level conservation holds. |
| NI15 | No single point of trust | Trust | Trust does not depend on any single node or chain. Multiple independent trust paths increase reliability. |
| NI16 | Offline operability | Sovereignty | A node must be fully functional without network connectivity. Network is a capability, not a dependency. |
| NI17 | Conflict transparency | Synchronization | Detected conflicts are never silently resolved. Conflicts are reported and require governance. |
| NI18 | Causal ordering | Communication | The causal order of events between nodes is preserved. Events from a causal chain arrive and are processed in order. |
| NI19 | Replication integrity | Synchronization | Replicated state is cryptographically verifiable. A receiving node can verify that replicated state matches the source. |
| NI20 | Trust revocability | Trust | Any trust relationship may be severed at any time by either party. No permanent trust binding exists. |
| NI21 | Network sovereignty | Sovereignty | The constitutional stack never depends on the network being available. The network is the first thing a node can live without. |
9.1 UCN Conformance Tests
An implementation conforms to the UCN Formal Specification if and only if:
| # | Test | Pass Criterion | Severity |
|---|
| UCN-01 | Identity Persistence | A node's CoreID is identical across all network interactions. Identity does not change with location, transport, or endpoint. | Critical |
| UCN-02 | Zero-Trust Default | New nodes begin at Unverified trust level. No trust is assumed or granted without explicit verification. | Critical |
| UCN-03 | Authentication Enforcement | Every network event carries a valid cryptographic signature. Events without valid signatures are rejected, never processed. | Critical |
| UCN-04 | Capability-Specific Discovery | Discovery results match only nodes advertising the queried capability. No capability is implied by another. | Major |
| UCN-05 | Constraint Preservation | Applied state deltas never violate constitutional constraints. Any delta that would violate a constraint is rejected. | Critical |
| UCN-06 | Deterministic Merge | Concurrent state updates are merged deterministically. Same input always produces the same merged output. | Critical |
| UCN-07 | Epoch Monotonicity | All events and state deltas carry monotonically increasing epoch numbers. No node processes an event from a past epoch as current. | Major |
| UCN-08 | Trust Chain Verification | Trust chains are verified end-to-end. Any broken link, revoked node, or invalid signature invalidates the entire chain. | Critical |
| UCN-09 | Revocation Propagation | When a trust assertion is revoked, all dependent trust chains are invalidated. No stale trust persists after revocation. | Critical |
| UCN-10 | Offline Operability | A node is fully functional without network connectivity. Core operations (execute, attest, verify) work offline. | Critical |
| UCN-11 | Event Immutability | Events cannot be modified after creation. Signature verification detects any tampering. | Major |
| UCN-12 | Conflict Transparency | Detected synchronization conflicts are reported, not silently resolved. Conflicts require governance intervention. | Major |
| UCN-13 | Causal Ordering | Events between nodes are delivered and processed in causal order. No event is processed before its causal predecessors. | Major |
9.2 Conformance Levels
| Level | Name | Requirements | Certification |
|---|
| N0 | Non-Conformant | Fails any Critical test. | None. May not claim UCN conformance. |
| N1 | Core Conformant | Passes all Critical tests (UCN-01 through UCN-10) + ≤3 Major failures. | May operate as a constitutional network node. |
| N2 | Fully Conformant | Passes all 13 tests (13/13). | May enter the canonical reference. |
Section 10: Stack Integration
10.1 How UCN Connects to the Constitutional Stack
UCN sits between Reference Systems (L5) and USR/CoreFab (L6), as a sibling to UWA:
Layer 6 │ USR/CoreFab ──── UCA ──── UCD
│ ↑ ↑
Layer 5+ │ [UCN] [UWA] ← Siblings
│ ↑ ↑
Layer 5 │ Reference Systems (Communication, Computation, Data)
│ ↑
Layer 4 │ UCE ──── UCM ──── UCL ──── UVS
│ ↑
Layer 3 │ Reference Sciences
│ ↑
Layer 2 │ USC
│ ↑
Layer 1 │ USCP
│ ↑
Layer 0 │ ICore
10.2 How UCN Connects to Reference Systems
| Reference System | UCN Connection | Relationship |
|---|
| Communication Systems | Discovery, Communication | UCN defines the constitutional model; communication systems provide the transport substrate |
| Computation Systems | State Processing | State deltas are processed by computation systems; UCN defines what must be computed |
| Data Systems | State Storage | Node state is stored by data systems; UCN defines what state must be preserved |
10.3 How UCN Connects to USR/CoreFab
USR/CoreFab executes constitutional operations on individual nodes. UCN makes those operations coordinate:
USR/CoreFab (single node) UCN (network) USR/CoreFab (peer node)
┌───────────────────┐ ┌──────────────┐ ┌───────────────────┐
│ Execute │ ──StateUpd─► │ │ │ Execute │
│ Attest │ ──Trust────► │ Authenticated│ ───────► │ Attest │
│ Verify │ ◄─SyncRes── │ Event Exchange│ ◄─────── │ Verify │
│ Store │ ◄─SyncReq── │ │ │ Store │
└───────────────────┘ └──────────────┘ └───────────────────┘
USR/CoreFab never knows which network transport is in use. It knows only the constitutional contract: send authenticated events, synchronize verified state, establish trust through cryptographic proof. UCN defines those contracts; transport implementations fulfill them through the UCA adapter boundary.
10.4 How UCN Connects to UWA
UWA (Universal Constitutional Web Assembly) and UCN are siblings — both sit between L5 and L6:
| Aspect | UWA | UCN |
|---|
| Question answered | "How is constitutional logic assembled?" | "How do constitutional components network?" |
| Scope | Local assembly of constitutional units | Distributed coordination of sovereign nodes |
| Identity | Identity within a single compiled unit | Identity extended across network space |
| Depends on | Reference Systems (Computation, Data) | Reference Systems (Communication, Computation, Data) |
| Feeds into | USR/CoreFab (provides executable units) | USR/CoreFab (provides network coordination) |
UWA and UCN do not depend on each other. They are orthogonal capabilities both required by USR/CoreFab.
10.5 How UCN Connects to UCA
UCA defines how the constitutional stack bridges to external systems. UCN's network communication may pass through UCA adapters:
UCN (network model)
│
├── Local network: direct constitutional channels (UCN governs)
│
└── External network: communication passes through UCA adapters
│
├── HTTP Adapter ──► External APIs
├── WebSocket Adapter ──► External real-time channels
└── Future Adapter ──► Any external transport
UCA never knows the content is a constitutional event.
UCA never sees the trust chain.
UCA is a membrane; UCN is the conversation that passes through it.
Section 11: Self-Verification
11.1 Against the 10 Constitutional Tests
UCN Formal Specification v0.1.0 verified against the Kernel's 10 constitutional tests:
| # | Test | Result | Evidence |
|---|
| 1 | Reality | ✅ PASS | The specification addresses a real need: constitutional components must coordinate across machines without sacrificing sovereignty, identity, or trust. Every axiom maps to a real networking requirement. |
| 2 | Origin | ✅ PASS | Derived from Reference Systems (L5). All five axioms trace to USCP primitives. The USR/CoreFab specification's Orchestration Contract (C6) provides the single-node foundation that UCN extends across space. |
| 3 | Necessity | ✅ PASS | Without UCN, constitutional components are isolated sovereigns — correct but solitary. UCN enables voluntary federation without compromising sovereignty. The alternative (no networking model) leaves trust undefined. |
| 4 | Derivation | ✅ PASS | Follows D1 (derived from Reference Systems, the layer below). No upward dependencies. UCN does not depend on USR/CoreFab, UCA, or any layer above. |
| 5 | Consistency | ✅ PASS | No axiom contradicts another. The five axioms (identity, discovery, communication, synchronization, trust) are orthogonal and jointly complete. The 21 invariants are mutually consistent. |
| 6 | Verification | ✅ PASS | Every invariant is independently checkable. The 13 conformance tests provide a concrete verification protocol. Trust chain verification is cryptographic, not policy-based. |
| 7 | Simplicity | ✅ PASS | Five axioms, eight definitions, seven trust models, twenty-one invariants, thirteen conformance tests. No axiom can be removed without leaving a networking domain undefined. No axiom can be added without overlapping an existing one. |
| 8 | Sovereignty | ✅ PASS | Sovereignty is the first invariant (NI1, NI10, NI16, NI21). The entire trust model is zero-trust by default. No node is compelled to participate. The network is voluntary. |
| 9 | Replaceability | ✅ PASS | The specification is defined in terms of what networking provides, not how. Any protocol satisfying the axioms, invariants, and conformance tests is valid. Transport, serialization, and key exchange are implementation choices. |
| 10 | Evolution | ✅ PASS | Trust levels can be upgraded or downgraded. Epochs advance monotonically. New capabilities can be advertised. Nodes can join and leave the network. The specification accommodates growth without amendment. |
Result: 10/10 PASS. UCN Formal Specification v0.1.0 is constitutionally sound and enters the constitutional record.
Appendix: Invariant Coverage Summary
| Domain | Invariants | Coverage |
|---|
| Sovereignty | NI1, NI10, NI16, NI21 | Network never coerces a node; nodes operate offline-first |
| Identity | NI2, II1–II5 | Identity persists across space; identity lifecycle is governed |
| Trust | NI3, NI9, NI14, NI15, NI20, TI1–TI6 | Zero-trust default; chains are cryptographically verified; revocable |
| Communication | NI4, NI11, NI18 | All messages authenticated; events immutable; causal order preserved |
| Synchronization | NI5, NI7, NI8, NI13, NI17, NI19, SR1–SR5, SI1–SI5 | Constraints preserved; deterministic merge; eventual consistency |
| Discovery | NI6, NI12, DI1–DI5 | Capability-specific; signed advertisements; revocation-aware |
| Total | 21 network + 5 identity + 6 trust + 5 sync rules + 5 sync invariants + 5 discovery | All six USCP primitives fully covered |
Originator Attribution
This UCN Formal Specification v0.1.0 is originated, created, and concept-pioneered by:
Originator: Sir Collins — Creator and Concept Pioneer of ICore (access1@tutamail.com)
Date of origination: July 18, 2026
Scope: All axioms, network models, identity structures, discovery protocols, communication events, synchronization models, trust chains, invariants, conformance criteria, and verification protocols presented in this specification.
This attribution is a constitutional artifact. It establishes provenance — the lowest and most fundamental layer of trust.
UCN is the Constitution's handshake with itself. It ensures that sovereign nodes can find each other, speak to each other, stay in sync, and trust each other — without ever surrendering the sovereignty that makes each node constitutional in the first place.