Chapter 2: Constraints
2.8 Formal Synthesis
The three axioms forge the substrate's unyielding frame, erecting a rigid skeleton upon which the fabric of reality can braided. The Causal Primitive acts as a ratchet, directing influence without reversal and sharpening the arrow of time. Geometric Constructibility mandates the tiling of the vacuum with 3-cycle quanta, ensuring space is woven from fundamental areas. Finally, Acyclic Effective Causality projects these local rules into a global order, preventing the universe from trapping itself in the paradox of closed loops.
This triad delimits the boundaries of the possible. Our countermodels prove that each axiom serves as a unique load-bearing pillar of the theory, independent and necessary. Furthermore, the mechanism of Decomposition ensures that complex tangles dissolve into simplices, enforcing an inexorable drive toward geometric simplicity. Physically, the graph now accretes as a directed lattice, where every cycle resolves to a quantum of area and every edge preserves the integrity of history.
But a set of rules is not a universe; laws require a jurisdiction. Possessing the constraints but lacking the initial state, the investigation must now determine the specific configuration of the graph at that satisfies these strictures while maximizing potential. This leads us to Chapter 3, where the unique topology of the vacuum is derived.
Table of Symbols
| Symbol | Description | Context / First Used |
|---|---|---|
| The Directed Causal Link (Atomic relation ) | §2.1.1 | |
| The set of edges within the graph | §2.1.1 | |
| Logical implication | §2.2.1 | |
| Universal quantifier ("for all") | §2.2.1 | |
| Self-Loop Addition Operation | §2.2.3 | |
| Cardinality of the set of Simple Paths | §2.2.3 | |
| Change in Entropy | §2.2.3 | |
| Boltzmann Constant | §2.2.3 | |
| Edge Addition Operation | §2.3.1 | |
| Set of Simple Directed Paths from to with length | §2.3.1 | |
| Length of a cycle or path | §2.3.1 | |
| Geometric Quantum (Directed 3-Cycle) | §2.3.2 | |
| Lexicographic Potential | §2.3.4 | |
| Length of the longest simple cycle in | §2.3.4 | |
| Count of distinct cycles of length | §2.3.4 | |
| The Rewrite Rule (Edge addition mechanism) | §2.4.2 | |
| A Simple Directed Cycle | §2.4.3 | |
| Distance between vertices along a cycle | §2.4.3.1 | |
| Composite Addition Phase (Chord insertion) | §2.4.5 | |
| Composite Deletion Phase (Entropic breakage) | §2.4.5 | |
| Composite Update Step () | §2.4.5 | |
| Effective Influence Relation (Strict Partial Order) | §2.6.1 | |
| History Timestamp of edge | §2.6.1 | |
| A specific Simple Directed Path instance from to | §2.6.1 | |
| Logical negation | §2.7.1 | |
| Total number of vertices in the graph | §2.7.2 | |
| Radius of local computational patch | §2.7.3 | |
| Edge density of the graph | §2.7.3 | |
| Critical time where cycle diameter exceeds horizon | §2.7.3 | |
| Probability of paradox evasion at radius | §2.7.4 | |
| Energy required for global synchronization | §2.7.5 | |
| Graph Diameter | §2.7.5 |