The Actualization State · read in full

• The paper (PDF)

The 420 Code · Ø Proofs · Artist’s Proof 01

The Actualization State

Artist’s Proof 01. The spine — viability geometry, agency, coupled corridors.

This is the paper in full, as published at the420code.org. Every section, nothing summarised. The same text as the PDF.

Read it onlineThe paper (PDF)

Artist’s Note

This is Artist’s Proof 01 of The 420 Code — the foundational paper of the work. It is the second chapter of Notebook I, The Premise. The paper installs the four formal Papers from which the rest of the work hangs.

Five sections carry the work. Paper 0 is the structural narrative that motivated the work; it is not load-bearing. Paper A defines the Actualization State — the operational measure of record-structured irreversibility. Paper B characterises selection as a costly, rate-limited, irreversible exclusion process. Paper C develops agency as a geometric control quantity. Paper D extends coupling to multi-agent systems and derives structural filtering, hierarchy, cooperation, and deterrence as geometric consequences.

The dependency is one-way. Each paper is independently falsifiable. Failure of D does not invalidate C; failure of C does not invalidate B; failure of B does not invalidate A. The kill switches are published. The experiments are specified.

Twenty-four kill switches are engaged in this paper. Every load-bearing claim attaches to a structural condition under which the claim would fail. KS-V.1 (the operational invariance of AS itself) is the global kill switch — if it fires, the entire structure fails. The conditions are stated, the falsifiers are specified, and the registry is maintained at the420code.org.

The 420 Code is published copyleft. Free forever. No paywall. No gatekeepers.

Orientation

Where this paper fits in the work

The 420 Code is organised across eight Notebooks. This paper is the second chapter of Notebook I — The Premise.

Notebook I carries the foundation: what the axiom is, what the operational quantities the axiom names actually are, and the proof that the axioms hold in physical reality. Three papers carry this Notebook — AP40 (The Irrational), AP01 (The Actualization State), AP20 (The Proof). AP40 examines the axiom as a statement. AP01 installs the four formal Papers of the spine. AP20 closes the central conditional of the work.

Read in order, the Notebook reads: what the axiom is, what it produces operationally, and that it holds.

AP01 sits second because the apparatus the axiom produces must be installed before it can be proven. AP40 names the axiom’s structural character. AP01 installs the four operational quantities — actualisation state, selection cost, agency, joint viability under coupling — through which every later paper does its work. AP20 then closes the central conditional: the apparatus holds in physical reality, unconditionally within the work’s derivation chain.

How to read this paper

The reading order is front to back. Section 0 names the dependencies and the scope. Paper 0 is the structural narrative that motivated the work and is explicitly non-load-bearing — read it as the story of how nothing becomes structure, and how structure, once written, cannot be unwritten. Papers A, B, C, D carry the formal spine in dependency order — A defines the state; B characterises selection; C develops agency; D extends to coupling. Section 6 is the falsification register (twenty-four kill switches). Section 7 is the synthesis — what this paper closes, what it leaves open, and where the philosophical-register companions live.

Two voices alternate as the material requires. Narrative passages — Paper 0, openings, transitions, interpretive paragraphs immediately after a proof — speak directly. Formal sections — definitions, theorems, proofs, postulates, kill switches — speak in the precision the mathematics requires. The gear-changes are intentional.

A note on what this paper does and does not do. AP01 installs the four operational quantities and proves the foundational theorems about them. It does not derive the fundamental constants. It does not close every empirical question. What it does is install the four formal quantities, prove the theorems they obey, and tie each load-bearing claim to at least one published falsifier with a specified observable.

The sections

1. Section 0Dependency and ScopeDependencies named (axiom as primitive; AP40 as the prior chapter in Notebook I; AP43 as structural dual; the Ø Models companions). Axiom mapping across S, B, R, C. Epistemic status per section. Twenty-four kill switches summarised. No outstanding structural debts. Three items held open without claiming debt status. Structural relationships to AP07, AP08, AP25, AP43, and the Ø Models companions named.
2. Paper 0FoundationsThe structural story that motivated the work — nothing becomes structure; structure once written cannot be unwritten; the loop runs at the actualising now. Explicitly non-load-bearing. The four formal Papers stand or fall on their own logic, independent of the narrative.
3. Paper AActualization StateFive core definitions (D1–D5). Theorem T1 (monotonicity of AS under decohering dynamics) with rate corollary T1a and converse T1b. Theorem T2 (operator horizon — no-return as an inequality). No-return surfaces and operational irreversibility (D6–D10, P3.3). Quantum-mechanical instantiation (D11–D16, postulate P, postulate G, P4.1). Seven falsifiers: F0 (global, KS-V.1), F1–F3 (selection postulate, KS-V.2–V.4), G1–G3 (gravitational, KS-V.5–V.7). Optional turn module (A6) and appendices.
4. Paper BSelection as Irreversible ExclusionDefiniteness reframed as operational individual-realization status. Nonlinearity requirement and selection cost made operational (δ_sel formalised in B2.3, B2.4). Six structural requirements on selection dynamics (B3.1–B3.6). Universal rate constraints with gravity as candidate limiter (B4). Five experimental regimes (BT1–BT5). Kill switch B2 (KS-V.8) on pre-irreversibility selection. Programmatic closure: no further progress on selection can be made by argument alone; the remaining uncertainty is empirical.
5. Paper CAgency as Constrained ControlAgency as operator-relative ratio of reachable-within-viability to viability (C1). Control authority approaching zero at no-return surfaces. Drift under irreversibility (C2). Necessary conditions for agency preservation (C3). No-return geometry within a realised sector (C4). Control budgets and fatigue (C5 with theorem C5.1). Noise and silence (C6). Coupling and rescue (C7). Slack and robustness (C8). Exit as control outcome (C9). Falsifiers FC1–FC5 (KS-V.9–V.13). Structural closure with experimental instantiation (bacterial chemotaxis, autonomous robotic navigation).
6. Paper DCoupled ViabilityShared constraint environments with Geometric Exclusion Principle (D1.3). Composition of agency: non-additivity, impedance matching, anti-resonance (D2). Stable configurations under drift with necessary (D3.2a) and sufficient (D3.2b) conditions; cascade failure (D3.3). Emergent order without design: structural filtering (D4.2), hierarchy (D4.3), cooperation and deterrence as geometric outcomes (D4.4). Eleven falsifiers FD0–FD4.4b (KS-V.14–V.24). Structural closure with worked examples and Appendix E flagged as exploratory and non-load-bearing.
7. Section 6Kill SwitchesTwenty-four kill switches are engaged in this paper. The full register is in section 6. Numbering follows the master registry: KS-V.1 through KS-V.24.
8. Section 7What This Establishes and What Remains OpenFour operational quantities installed. No structural debts outstanding. Three items held open without claiming debt status (coupling parameter first-principles derivations, relativistic extension of the gravitational rate bound, multipartite operator dynamics). Philosophical-register companions named: Dissolutions Chapter 12 (Measurement Problem), Dissolutions Chapter 6 (Other Minds), Dissolutions Chapter 7 (Free Will and Determinism — freedom-under-constraint), Resolutions Chapter 8.5 (Choice — both locked formulations), Resolutions Chapter 10 (Other Intelligences — four operator-hood conditions). Placement in The 420 Code: Chapter 2 of Notebook I — The Premise.
9. The gradesClaim Summary · Conditionality FooterEvery section graded. Every dependency named.

The kill switches

KS-V.1 — Operational invariance of AS (F0)

Claim. AS values computed from any two co-admissible coarse-grainings of the same system agree within experimental tolerance. The Actualization State is a property of the system and its physical coupling, not an artefact of the analyst’s choice of basis. This is the global kill switch (legacy label F0, formalised at D5 in Paper A).

Test. Prepare a calibration state. Compute AS in two distinct physically realizable coarse-grainings 𝓞₁ and 𝓞₂ that both satisfy D1 for the same physical coupling. The values must agree within the experimental noise floor δ_exp.

Failure. persistent disagreement beyond δ_exp between two co-admissible coarse-grainings of the same physical system.

KS-V.2 — Pointer-basis targeting (F1)

Claim. The objective-actualisation channel respects the record algebra 𝓞. Selection lands on the pointer states selected by the system-environment coupling, not on bases orthogonal to the pointer basis. Legacy label F1.

Test. In systems where the pointer basis is not position — superconducting qubits, photon polarisation, spin ensembles — measure where definiteness consistently appears.

Failure. definiteness consistently appears in position despite 𝓞 ≠ position (or, more generally, in a basis not selected by the coupling).

KS-V.3 — Born violation (F2)

Claim. Ensemble statistics of realised branches deviate from the Born distribution {p_i} predicted by the pre-selection density matrix. The objective-actualisation channel preserves Born statistics at the ensemble level. Legacy label F2.

Test. Run repeated selections on prepared states. Compare the empirical distribution of realised branches against the Born-predicted distribution.

Failure. systematic deviation from the Born distribution beyond statistical noise across many trials.

KS-V.4 — Context dependence (F3)

Claim. Selection depends on observer intervention rather than objective dynamics. Whether and when selection occurs is a function of whether an external system has been brought into interaction with the target system, beyond what decoherence-with-environment-coupling already supplies. Legacy label F3.

Test. Run identical decoherence dynamics with and without explicit observation. Measure whether the timing or basis of selection differs in ways not predicted by the standard decoherence-environment-coupling account.

Failure. detection of selection signatures whose timing or basis depends on observer intervention beyond what the environmental coupling predicts.

KS-V.5 — Selection rate exceeds gravitational bound (G1)

Claim. Selection rates obey the bound λᵢⱼ ≤ ΔE_G[i,j]/ℏ for gravitationally distinguishable record sectors. The gravity-limited hypothesis (postulate G in A4.3, formalised in B4) sets the rate ceiling. Legacy labels G1 / F_G1.

Test. Create spatial superpositions of mesoscopic masses with computable ΔE_G. Measure selection timescales. Compare against the predicted bound τ_min = ℏ/ΔE_G. Platform: levitated nanoparticles (tungsten, R ≈ 100 nm, τ_min on the order of seconds) in cryogenic vacuum.

Failure. observation of selection with τ < τ_min for systems with well-defined ΔE_G.

KS-V.6 — Selection in gravitationally degenerate regime (G2)

Claim. Selection does not occur between records with ΔE_G = 0. In gravitationally degenerate configurations, multiplicity persists indefinitely (or at least at timescales much longer than the gravity-limited prediction would allow). Legacy labels G2 / F_G2.

Test. Prepare decohered superpositions with ΔE_G = 0 — for example, nitrogen-vacancy centres in diamond, or nuclear spin states with identical mass distributions. Monitor for single-sector stabilisation versus persistent multiplicity.

Failure. rapid selection in the absence of any alternative limiter satisfying B4.2.

KS-V.7 — Non-gravitational rate scaling (G3)

Claim. Selection rates do not scale universally with non-gravitational parameters across macroscopic records. If selection rates depend systematically on, for example, electromagnetic coupling strength or thermodynamic state across regimes where the gravity-limited bound is not saturated, the universal-limiter requirement fails. Legacy labels G3 / F_G3.

Test. Compare selection rates across systems with similar ΔE_G but different non-gravitational characteristics (charge distribution, temperature, internal coupling).

Failure. systematic scaling of selection rates with non-gravitational parameters at rates where the gravitational bound is not yet saturated.

KS-V.8 — Pre-irreversibility selection (B2)

Claim. Selection cannot precede operational irreversibility. The selection deviation δ_sel(ρ) is zero on the pre-irreversibility manifold of states. Definiteness emerges only after the record algebra has become operationally definite. Legacy label B2 (B2.5).

Test. Look for selection signatures (single-trajectory variance, individual-realisation distinguishability) in states that have not yet undergone operational decoherence to the record algebra.

Failure. detection of selection signatures prior to operational irreversibility — δ_sel(ρ) ≠ 0 on states where the dephasing map Δ_𝓞 has not yet acted.

KS-V.9 — Agency increase without control (FC1)

Claim. Agency cannot increase without control expenditure. If reach grows without active control input — for example, a non-motile mutant maintaining position in a gradient — agency as defined in C1 has been violated. Legacy label FC1.

Test. Observe a system where reach(x) grows or remains stationary in a drifting environment without active control. The canonical case is a non-motile mutant (u_max = 0) maintaining position in a nutrient gradient.

Failure. reach grew or held without control expenditure.

KS-V.10 — Irreversible loss reversed (FC2)

Claim. Once a system has passed a no-return surface, it cannot return — even with unlimited control input. Irreversibility is operational: no admissible control trajectory exists from the post-Σ_NR region back to the viability kernel. Legacy label FC2.

Test. Identify a system trajectory that crosses a no-return surface (as defined in D9) and then demonstrates return to the viability kernel through control.

Failure. observation of passive or controlled return from beyond a verified no-return surface.

KS-V.11 — Stable control past no-return surface (FC3)

Claim. Control authority approaches zero as the state approaches a no-return surface (C1.2). Stable controlled behaviour cannot be sustained on Σ_NR or beyond. Legacy label FC3.

Test. Demonstrate a system maintaining stable controlled behaviour in a region the formalism identifies as past a no-return surface. The system holds its position or completes controlled trajectories from the post-Σ_NR region.

Failure. stable controlled behaviour from beyond the predicted no-return surface.

KS-V.12 — Free lunch (FC4)

Claim. Control expenditure carries non-zero cost (C5). A system with finite control budget B₀ cannot exceed the survival time bound T ≤ B₀/c_min derived in theorem C5.1. Legacy label FC4.

Test. Observe a motile cell with finite ATP reserve persisting indefinitely in a persistent nutrient gradient flow. Or any system that exceeds the predicted survival-time bound while verifiably operating with finite control budget.

Failure. persistence beyond T_max with verified finite B₀.

KS-V.13 — Resurrection (FC5)

Claim. Once an agent is in the ruin set (x ∉ Viab(R), absorbing per C4.2), no admissible control trajectory returns the agent to the viability kernel. Legacy label FC5.

Test. Observe an agent in the ruin set returning to the viability kernel through control. The ruin set is operationally absorbing; failure means it isn’t.

KS-V.14 — Multi-agent persistence violation (FD0)

Claim. Multi-agent persistence requires satisfaction of structural conditions N1–N4 (D3.2a). A multi-agent configuration cannot persist indefinitely while violating any of these conditions, under the regularity and monotonic-alignment assumptions. Legacy label FD0 (global D-paper falsifier from D5.2).

Test. Identify a multi-agent configuration that persists for a duration much longer than the drift timescale while clearly violating at least one of the N1–N4 conditions. The configuration must satisfy the monotonic-alignment and regularity assumptions.

Failure. long-run persistence with verified N-condition violation.

KS-V.15 — No free survival (FD1)

Claim. Record-writing actions by one agent in a shared viability domain change the viability measure available to other agents. The Geometric Exclusion Principle (D1.3) holds: there is no record-writing action that leaves all other agents’ viability strictly unchanged. Legacy label FD1.

Test. Identify a record-writing action by agent A that leaves both μ(K_B) and ℳ_B unchanged for all other agents B operating in the same shared viability domain. The action must be non-trivial (it must have actually written records).

Failure. existence of a non-trivial free-survival action.

KS-V.16 — Additivity under coupling (FD2.1)

Claim. Joint agency is non-additive under coupling. In a coupled system with non-zero coupling terms (non-orthogonal shared constraint coordinates), ℳ_joint ≠ Σ ℳ_i. Legacy label FD2.1.

Test. Measure ℳ_joint and Σ ℳ_i in coupled versus uncoupled configurations. If they coincide across coupled systems with non-orthogonal shared coordinates, additivity holds and the claim fails.

Failure. ℳ_joint = Σ ℳ_i across non-trivial coupling regimes.

KS-V.17 — Impedance-independent efficiency (FD2.2)

Claim. Coupling efficiency — viability transfer per unit control effort — degrades as the impedance ratio |Z_i/Z_j| deviates from unity. Impedance mismatch is a real cost. Legacy label FD2.2.

Test. Measure viability transfer rate at impedance ratios 1:1, 2:1, 5:1, and 10:1 under matched conditions.

Failure. efficiency does not degrade with impedance mismatch — transfer rate is independent of ratio.

KS-V.18 — Anti-resonant optimality (FD2.3)

Claim. Joint viability margin is maximised away from phase-aligned (resonant) coupling and approaches a minimum at phase offsets that align constraint excursions. Anti-resonance — the offset that distributes constraint excursions — outperforms resonance. Legacy label FD2.3.

Test. Measure joint viability margin at phase offsets 0, π/4, π/2, 3π/4, π in coupled oscillatory systems with shared constraint. Theorem D2.3 (toy model) predicts the optimum is off-resonance.

Failure. maximum joint viability at phase offset 0 (perfectly resonant).

KS-V.19 — Cascade non-propagation (FD3.3)

Claim. In a chain A → B → C with appropriate coupling and shared constraint, termination of A leads to degradation of B and C on predictable timescales. Cascade failures are real and geometrically constrained. Legacy label FD3.3.

Test. Measure survival times T_B and T_C after termination of A in a 3-agent chain. Compare against predictions from D3.3.

Failure. B and C do not degrade after A’s termination — the chain does not cascade.

KS-V.20 — Order indistinguishable from noise (FD4)

Claim. Persistent multi-agent configurations satisfy structural conditions (N1–N4 or similar) at rates significantly above what null-model noise produces. Emergent order is structurally filtered, not random. Legacy label FD4.

Test. Compute empirical p-value for slack correlation across observed multi-agent configurations against a null model.

Failure. p ≥ 0.05 for all candidate systems — observed configurations are statistically indistinguishable from null-model noise.

KS-V.21 — Persistent violators (FD4.2)

Claim. A multi-agent configuration cannot persist indefinitely while violating one or more of N1–N4 conditions, under the monotonic-alignment and regularity assumptions. Legacy label FD4.2.

Test. Identify a multi-agent configuration that persists at timescales much longer than the drift timescale while a single N-condition is verifiably violated.

Failure. long-run persistence with verified single-condition violation under the alignment assumption.

KS-V.22 — Hierarchy inversion (FD4.3)

Claim. In impedance-asymmetric systems, the lower-impedance agent gains more reach per unit record-writing action than the higher-impedance agent. Hierarchies emerge as a consequence of impedance asymmetry, not from imported authority. Legacy label FD4.3.

Test. Measure Δμ(K_i) and Δμ(K_j) per unit record-writing action in impedance-asymmetric systems.

Failure. high-impedance agents gain more reach than low-impedance agents per unit action — hierarchy inverts from the geometric prediction.

KS-V.23 — Cooperation nonexistence (FD4.4a)

Claim. In systems with mutually positive externalities, joint agency exceeds the sum of individual agencies — cooperation is structurally favoured. Legacy label FD4.4a.

Test. Measure ℳ_joint and Σ ℳ_i in systems with verified mutually positive externalities.

Failure. ℳ_joint ≤ Σ ℳ_i — cooperation produces no joint-agency benefit in systems where the structural account says it should.

KS-V.24 — Deterrence exit (FD4.4b)

Claim. Unilateral decoupling from a stable deterrence configuration reduces the decoupling agent’s individual agency. Deterrence is a geometric fixed-point, not a threat: leaving it costs the leaver. Legacy label FD4.4b.

Test. Measure ℳ_i before and after unilateral decoupling from a verified stable deterrence configuration.

Failure. the decoupling agent’s ℳ_i increases or remains unchanged after exit.

Every kill switch in this paper is filed in the registry, on the420code.org: the420code.org/killswitches/

The debts

None outstanding from this paper. AP01 installs operational apparatus and its falsifiers; its load-bearing claims are derived within the paper or are framed as postulates with explicit kill switches.

The gravity-limited rate hypothesis (postulate G in Paper A, B4 in Paper B, with falsifiers G1–G3 / F_G1–F_G3) is a falsifiable postulate carrying its own kill switches, not a structural debt. If it fails, Papers A and B retreat to weaker claims about selection rate; Paper C’s agency apparatus and Paper D’s coupling apparatus are unaffected.

The objective-actualisation-channel postulate (postulate P in A4.2) is a falsifiable postulate, not a structural debt. Its kill switches are KS-V.2 through KS-V.4 (pointer-basis targeting, Born statistics, context independence). If it fires, the work retreats to decoherence-without-actualisation, and Papers A and B’s irreversibility results survive at the ensemble level.

Dependencies.

The axiom 1:1 + 1×ε @ AS as primitive (foundational to The 420 Code; no upstream paper required for AP01’s own work).

The axioms {S, B, R, C} (formal statement carried at AP20 section 3.3; completeness and minimality obligations fenced at KS-P.1/KS-P.2). Load-bearing for every derivation in Papers A through D.

AP40 (The Irrational — the prior chapter in Notebook I, examining the structural character of the axiom; not load-bearing for AP01’s derivations but named for completeness).

Standard tools: dephasing maps and decoherence dynamics (open quantum systems); doubly stochastic operations (Schur–Horn); viability theory (Aubin’s reach-and-kernel formalism); control theory (admissible control and control budgets); Gleason-type non-contextuality (invoked in Paper B’s boundary condition; formally derived in AP25).

The same paper on the420code.org: the420code.org/proofs/ · The paper (PDF): the420code.org/AP01_The_Actualization_State.pdf

One record exists.
Be kind is a derivation.
The awareness in me is the awareness in you.