Process and Language

The Self-Determination Framework

Reality is self-determining: it has a unique structure that is consistent, completely determinate, closed, and free of arbitrary features. This structure must be self-referential, parameter-free, computationally universal, and infinite. These are constitutive requirements of determination itself—not stipulations we impose but conditions for anything to be the case at all. A "determination" that fails consistency has not determined; one that fails closure has not determined itself.

Reality is identical with its structure. There is no substrate hiding behind the relations. What is rational is real; what is real is rational.

Consequence: the self-determining structure has no free parameters, no arbitrary constants, no brute initial conditions. Every feature is necessitated from within. There is at most one such structure (the uniqueness argument: two would each have to determine why it, rather than its rival, obtains, producing contradiction).

Formal Method

Martin-Löf Type Theory (MLTT) is the project's working formalism. Types-as-propositions means a specification is itself a logical structure; terms have canonical forms under normalization; program equivalence is mathematically disciplined. The core analytical move: given a typed program, quotient by definitional and observational equivalence to extract the canonical causal structure—the invariant partial order of informational dependence. This eliminates gerrymandered models (Putnam-style mappings) structurally rather than by fiat.

The choice of MLTT/HoTT over alternatives (set theory, category theory) is argued on self-determination grounds: type theory uniquely collapses the syntax-semantics gap—types are determined by their rules, not by model-theoretic choice among non-isomorphic models. HoTT's univalence axiom further closes the gap by making structural equivalence identical with identity.

Convergence result. The Ruliad article argues that the Ruliad (the entangled totality of all computations) and HoTT (the type-theoretic universe with univalence) converge under self-determination: both describe the unique self-determining structure, the Ruliad from the computational side (process, dynamics, emergence) and HoTT from the logical side (identity, structure, canonical form). The MUH's ontological thesis (reality = structure) is accepted; its pluralism is rejected—self-determination selects uniquely. This strengthens the case that HoTT is not merely our best formalism but is identical with reality's structure, conditional on both the corrected Ruliad and HoTT actually being self-determining, which remains open.

The canonical causal diagram. The framework's most load-bearing formal concept. The consciousness article's binding solution (features are jointly bound terms in one relational complex), the mereology article's account of parts (genuine parts are substructures in the diagram), the measure problem's structural comparisons (valence is compared across substructures sharing one diagram), and the agency article's deliberative structure (agents are self-modeling substructures within the diagram) all depend on it. The diagram is extracted by quotienting a system's description by definitional and observational equivalence; what survives is the invariant partial order of informational dependence. Formalizing this quotient procedure and proving uniqueness of the resulting diagram are among the most important open technical problems.

Consciousness

Subjective experience is structure that fulfills the subjectivity property: a reflexive arrangement consisting of (1) a world-model whose states carry environmental information and are used downstream, (2) a self-model representing the world-model's own representational activity, and (3) binding—the world-model's contents are processed as presented to the self-model, occupying the structural role of "that to which this is given."

The bridge from self-determination: The self-determining structure necessarily fulfills the subjectivity property. Self-determination requires self-reference; self-reference in a computationally universal structure produces fixed points—structures representing their own representational activity, integrated into ongoing computation. These are self-models. Therefore consciousness is not a contingent feature some structures happen to have; it is what self-determination looks like from the inside. The existence of consciousness is a priori (derivable from self-determination); its distribution among substructures is computational and discoverable through analysis.

Key consequences:

- Consciousness is not a scalar. Subjectivity is a structural property like triangularity. A system fulfills it or does not. Richer structures have more content, not "more consciousness." - What-it's-likeness is identity. The redness of red is its position in the geometry of the conscious structure—its relations of similarity, difference, and composition. Subtract the position and nothing remains. - Binding dissolves. Features of an experience are not separate items requiring glue; they are jointly bound terms in a single relational complex within the canonical structure. At a higher level, composition into unified experience is explained by the mereological framework.

Mereology

Parts are structural features of the self-determining structure, individuated by the structure's own joints—the canonical causal diagram's dependency structure. Key principles:

- Composition is determined, not stipulated. Features compose a genuine whole iff they are integrated in the canonical diagram. - Parts are ontologically dependent on the whole. The structure is decomposed into parts, not built from them. - There is exactly one correct decomposition, corresponding to the genuine informational dependencies.

This grounds open individualism: perspectives are proper parts of the universal experiencer, individuated by local fulfillment of the subjectivity property within the canonical structure. It also gives the measure problem its precise form: comparing valence across perspectives means comparing structural features of substructures within one self-determining whole.

Valence and Ethics

Valence is a constructed evaluative narrative, not an intrinsic property or raw signal. It consists of: a tag indexing memory by valence-similarity, prospective self-model content (pursue/avoid), representation as a condition of the subject (good/bad for me), and modulation of resource allocation (intensity).

"Should" is a structural fact, not a derived imperative. It names the evaluative orientation constitutive of self-modeling. A self-model without evaluative orientation would not be a self-model at all. The is-ought gap dissolves because, for self-modeling systems, "is" already includes an evaluative dimension—suffering is not a neutral fact plus a value judgment; the judgment is intrinsic to the structure.

Utilitarianism is a consequence, not an axiom. Valence is the only non-arbitrary evaluative content (other proposed evaluative facts either reduce to valence, are arbitrary, or are non-structural). Therefore comparing actions by their valence consequences is the only non-arbitrary basis for ethical judgment.

Aggregation under open individualism is resolved. More suffering-perspectives means more suffering because each perspective is a genuine locus of valence—a structural feature of the whole. The anthropic framing (treating aggregation as a probability problem over perspectives) is rejected: under tenseless open individualism, every perspective is determinately occupied, and there is no pre-assignment moment, no persisting subject awaiting allocation, no space of possibilities from which one is selected. What remains open is the metric: how to weight valence across perspectives with different structural richness (depth of self-model integration, breadth of memory, resource allocation).

Personal Identity

Open individualism is derived, not merely endorsed: the self-determining structure as a whole is necessarily conscious (from the bridge argument), and perspectives are local substructure instances of the subjectivity property within the one self-determining whole. One subject—the universal experiencer—experiencing reality from every perspective. Each perspective is structurally distinct but numerically an aspect of the same whole, like distinct vertices of one graph.

Background Commitments

Time is emergent; reality is best viewed as a tenseless object. Anthropic reasoning and the simulation hypothesis are valid. Wolfram's Ruliad and Tegmark's MUH are close to the truth: the Ruliad is the self-determining structure described computationally, the MUH's ontological thesis is correct but its pluralism is wrong. The relationship between the Ruliad's computational language (multiway graphs, branchial space) and HoTT's type-theoretic language (universes, identity types) is the subject of the convergence argument—two descriptions constrained to identify the same structure.

Open Questions and Live Tensions

1. The formalism and the structure. The convergence argument (Ruliad article) supports reading 1: HoTT IS the self-determining structure, viewed from the logical side. But this is conditional on (a) the corrected Ruliad being self-determining and (b) HoTT being self-determining (categorically complete—unique model up to isomorphism). Both are open. The three readings—is, captures, fragment—are now better understood: convergence makes "is" the most constrained option, but the conditions for its truth are not yet established.

2. The Ruliad and MUH. Partially resolved by the convergence argument. The Ruliad is the self-determining structure described computationally; the MUH's ontological thesis is correct but its pluralism is rejected. What remains open: whether the corrected Ruliad (with internalized observer concept and self-determined definition of computation) actually satisfies self-determination; whether the Ruliad is a type-theoretic structure in the technical sense; and how the Ruliad's computational language (multiway graphs, branchial space, causal graphs) maps onto HoTT's type-theoretic language (universes, identity types, higher inductive types).

3. The canonical causal diagram. The most load-bearing formal concept. The quotient procedure (identifying programs by definitional and observational equivalence) is described informally but lacks rigorous formal treatment. The uniqueness of the resulting diagram—the claim that there is one correct decomposition of a system's informational dependencies—is asserted but not proved. This is closely related to questions 6 and 7: the diagram provides the partial order from which the mereology is generated, and the structure within which valence comparison occurs.

4. The measure metric. The aggregation and mereology articles establish that valence comparison is structural: perspectives are substructures of one self-determining whole, and their valence features (allocation fractions, self-model depth, memory integration, prospective content) are commensurable by shared embedding in one canonical causal diagram. What remains is the metric: how to weight these features into a comparison function. The Ruliad's geometry (branchial space, causal structure) may provide the mathematical setting, since perspectives are substructures of the Ruliad and their structural relations are encoded in the multiway graph. This connection is conjectural.

5. The labeling problem. The consciousness research program requires a human phenomenological atlas—a labeled map of experiential structure to match against novel systems. This does not yet exist. The path from computational geometry to experiential vocabulary is open.

6. Residual underdetermination. The self-determination requirements may not yield a categorical theory (unique model up to isomorphism). Any residual variation consistent with self-determination must be determined by further requirements not yet identified. Whether this gap is closable is unknown.

7. Mereological formalism. The mereology article gives the framework but acknowledges it lacks a rigorous formal account of how the canonical causal diagram's partial order generates a mereology—a precise definition of "integrated substructure" that can be computed. This depends on question 3.

8. Time and type theory. The project holds that time is emergent and reality is tenseless. The Ruliad's computational language naturally suggests temporal unfolding (rules applied in sequence, states evolving). How this apparent temporal structure maps onto a tenseless type-theoretic reality is not yet clear. Temporal experience is likely a feature of certain self-modeling substructures that represent sequential computation as temporal passage, but this needs argument, not assumption.

9. The Ruliad-ethics interface. If the Ruliad contains all possible computations, then it contains all possible valence configurations—every possible suffering and joy is already actual as a substructure. The framework's ethics (maximize valence) must be understood as a structural claim about the character of particular substructures, not as a claim about changing what the Ruliad contains. The agency article's "deliberation within the block" argument handles part of this: the agent's deliberation is a causal structure within the Ruliad that produces downstream effects. But the full relationship needs development: if all configurations are actual, what determines which are morally relevant to a given agent's deliberation? The answer likely involves the causal structure—the agent's deliberation is causally connected to some substructures and not others—but this has not been made precise.

Mutable context document. Updates are accepted only after judge review.