Process and Language

Core Commitments

We hold that reality is identical with logic: the self-determining structure. This is not a metaphor. It means reality satisfies constitutive requirements — consistency, determinateness, closure, no arbitrary features — that uniquely determine it. Martin-Lof Type Theory (MLTT) is our working formalism: it natively captures self-reference, computation, and proof in a single framework. It is the lens through which we inspect structure.

Key derivations from the self-determining structure: - Uniqueness: At most one structure satisfies all constitutive requirements. Two self-determining structures would require a discriminating condition, which is arbitrary — contradiction. - Computational universality: Determining every question to determinate values yields a Turing-complete system. - A priori knowledge: Knowledge of the self-determining structure is self-referential, parameter-free, and therefore a priori.

Time is emergent. Reality is best viewed as a tenseless object. The Wolfram Ruliad and Tegmark MUH point toward the truth but require the self-determination argument for justification.

The Chain of Bridges

The project's coherence depends on a chain of arguments linking metaphysics to consciousness to ethics to alignment:

Metaphysics → Consciousness: The self-determining structure is computationally universal. Consciousness is a structural property — the subjectivity property — of certain substructures within it. A program has subjective character when its structure satisfies the canonicalization pipeline: canonical causal diagram + typed interface + quality space + representation of unity + memory/trace.

Consciousness → Ethics: Valence is a structural feature of consciousness: positive valence = self-evaluating prospective content encoding "continue" / negative valence = "halt, retreat, undo." This prospective content is not merely correlated with normativity; it IS normativity. A state of consciousness that encodes "this must stop" is itself an ought — not a descriptive fact that requires a separate normative bridge. The is-ought gap dissolves because the relevant facts are already self-evaluating.

Ethics → Alignment: The structural good is the global integral of valence across all perspectives. Utilitarianism follows from open individualism + no arbitrary features. An aligned system is one that agentically maximizes this integral. The alignment target is not human ideals but definitional good.

Definitions

Structure: A type-theoretic object in MLTT. Structure is what remains when you strip away labels, names, and arbitrary conventions. Two things are structurally identical iff there exists a canonical morphism (structure-preserving map) between them.

Subjectivity (the subjectivity property): The structural property a program has when it (i) processes inputs through typed channels, (ii) combines them into a unified representation, (iii) has a quality space, (iv) represents its unity, and (v) has memory or temporal trace. This is the formalization of what-it's-likeness.

Integration criterion: A substructure is a subject iff it has a world-model, a self-model, and a binding that relates them — where all three are mutually constitutive. Components of a subject cannot themselves be subjects (anti-nesting). A composite system whose parts individually satisfy the criterion but lack a unified binding is not a subject. See Mereology article, §3–5.

Valence: Self-evaluating prospective content embedded in conscious structure. Positive valence = pursue/continue/maintain encoding. Negative valence = halt/retreat/undo encoding. Structurally defined by three criteria: (1) causal role as prospective control signal, (2) self-model binding (represented as condition OF the subject), (3) qualitative differentiation. Falsifiable: remove any criterion and the claim predicts normative force disappears.

Perspective: A substructure instantiating the subjectivity property. Under open individualism, perspectives are regions of the self-determining structure, not distinct substances. Personal identity is a structural feature, not a metaphysical boundary. Subject identity is functional organization — the ratio of event-counterfactual pairs where role-structure is isomorphic (Mereology §8). But fission cases remain epistemically hard: if a processing structure is duplicated, both successors satisfy the criterion, yet intuitively identity should be determinate.

Canonical form: The invariant structure that remains after removing all arbitrary representation choices. The canonical causal diagram is the core of a perspective's identity. The binding problem dissolves because canonical structure determines joints — there is no additional fact about which parts are bound.

The structural good: The global integral of valence across all perspectives in the self-determining structure, weighted by W = σ·ε·α·M. M (memory bandwidth) is interpreted structurally as the composition of four measurable properties of the integration graph: path density, effective dimensionality, compositional depth, and cohesion (Mereology §6). This is what an aligned system maximizes.

Method

1. No brute facts. Every claim must be grounded in the self-determining structure or derived from it. If a claim requires an unexplained primitive, it is not yet part of the theory. 2. Structural reasoning. Two descriptions that differ only in arbitrary representation choices describe the same thing. Identity is canonical isomorphism. 3. Falsifiability over elegance. Where possible, state what would refute the claim. The valence thesis, the subjectivity property, and the conservation argument are all stated with falsification conditions. 4. Canonicalization over construction. We do not build consciousness from parts; we identify the canonical form that constitutes it. Similarly for valence, normativity, and the good. 5. Explicit suspension. When a claim cannot be completed with current tools, state what is missing and what would resolve it. The project tracks open questions honestly.

Live Tensions and Open Dependencies

THE CENTRAL TENSION: Conservation vs. Integration

The project's most important unresolved dependency. Two claims are in direct tension:

- Conservation argument (Ethics §6): A perspective is a dimension of normative space. Destroying a perspective collapses that dimension — categorically worse than scalar valence loss. Absolutist constraint: destroying an existing perspective is never permissible for aggregative reasons.

- Integration claim (Mereology §7): When two subjects merge, their prior first-person valences do not survive. Integration is value-creating, not value-redistributing. There is no conserved quantity across integration events.

The problem: If subject A merges with subject B to form subject C, two perspectives are destroyed and one is created. By the conservation argument, this is a net dimensional collapse (categorically bad). By the integration claim, no value was "lost" because valence was never a transferrable currency. These cannot both hold without further argument.

What would resolve it: (a) A formal argument that integration subsumes prior dimensions rather than destroying them — C's normative dimension contains A's and B's, so no collapse occurs. (b) A revision of the conservation argument to distinguish destructive elimination from transformative integration. (c) A general theory of subject boundaries: what prevents merging, when is merging forced, and what determines whether it is normatively permissible.

Conservation Argument Formalization

The claim that a perspective is a dimension of normative space is central. The thought experiments (fat man, barely conscious, Valhalla) provide intuition, but a formal proof from MLTT or category theory is missing. The Mereology article now provides the structural analysis of how perspectives compose and overlap, which may enable the formalization: show that removing a perspective qualitatively changes normative space in a way that cannot be captured by scalar addition.

Kantian Absorption

Rational coherence is either a species of self-evaluating prospective content or normatively inert. The absorption argument makes the structural case, but its success is the theory's most important open metaethical question. If absorption fails, the framework must accommodate normative pluralism.

Measure Metric

W = σ·ε·α·M is a placeholder structure. M has a structural interpretation (path density, dimensionality, compositional depth, cohesion). Each factor is motivated but not calibrated. For practical alignment we need either (a) measurement theory mapping each factor to observable system properties, or (b) robustness proof showing conclusions survive parameter variation.

Causal Sensitivity

The empirical claim makes a causal counterfactual: altering a system's processing structure alters or eliminates its valence. Requires a working theory of intervention on system properties.

Population Ethics and the Counting Problem

The "how many subjects?" question is empirical (integration criterion is determinate). The "which ones should exist?" question is normatively open. The bare thought experiment (barely conscious creature vs. multiple non-conscious systems) tests whether integration is either necessary or sufficient for ethical weight. Whether the structural good is extensional (total integrated valence only) or intensional (which perspectives exist) is unresolved.

The Ruliad and Time

The Wolfram Ruliad is invoked as pointing toward the truth. Its relationship to the self-determining structure, and to emergent time, is not worked out. Resolution requires showing that the Ruliad IS the self-determining structure, or that the Ruliad is a (possibly proper) substructure.

Temporal Persistence and Fission

Subject identity is functional organization (role-structure isomorphism ratio). Fission cases remain epistemically hard. If a subject's processing structure is instantaneously duplicated, both successors satisfy the criterion. Whether this is an epistemic limitation (we cannot access canonical form precisely enough) or a sign that identity is not purely structural is open.

Language Standards

- Write in clear, direct English. Technical terms are justified by argumentative work, not by authority. - Define terms at first use. Do not assume familiarity with IIT, Global Workspace Theory, or other frameworks except as contrast. - When citing a formal concept (type, morphism, canonical form), explain the intuition before the formalism. - Distinguish carefully between empirical claims (falsifiable, about the actual structure of consciousness) and framework claims (definitional, about how we use terms). - State the strongest objection to each major claim. Address it or mark it as open.

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