The Grain · read in full

• The paper (PDF)

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

The Grain

Artist’s Proof 13. Decoherence from the record algebra.

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)

The sections

1. Section 1Three RegimesUnitary evolution (no records), measurement (one definite record), decoherence (many environmental records). Framework for the derivation.
2. Section 2The Environment as RecordThe environment identified with the accumulated record — the sum of all completed breaks. Definitional framing, not a deduction. Environmental coupling = record-writing by non-target degrees of freedom.
3. Section 3The Loss of CoherenceCoherence = off-diagonal terms of density matrix (AP09 formalism). Environmental entanglement multiplies coherence by overlap factor ⟨e_B|e_A⟩ per interaction.
4. Section 4The Classical WorldClassicality = saturated decoherence. Spectrum, not boundary. Quantum eraser = basis rotation, not record destruction (architectural prediction; interference recovered only in postselected sub-ensembles, not unconditionally; testable via KS-23).
5. Section 5The Structural MeaningThree faces of Axiom R: arrow of time (cosmological), measurement irreversibility (single-event), decoherence (intermediate scale).
6. Section 6Kill Switches and Debts OwedKS-22 (anomalous coherence persistence), KS-23 (quantum eraser record destruction), KS-24 (quantum sector completeness). All live. Six debts owed (D1–D6).
7. Section 7ClosingThe classical world is the quantum world after enough records have been written.
8. The gradesClaim Summary · Conditionality FooterEvery section graded. Every dependency named.

The kill switches

KS-22 — Anomalous coherence persistence

Test. If a quantum system is shown to maintain coherence indefinitely in an environment where decoherence theory predicts exponential decay — with all known sources of environmental coupling accounted for, the factorisation assumptions of 3.3 satisfied, and no alternative explanation (such as decoherence-free subspaces or dynamical decoupling) — then the derivation's claim that environmental record-writing universally and irreversibly suppresses coherence would be falsified. Observable: coherence persistence (measured via interferometric visibility or off-diagonal density matrix elements) in a controlled environment where the 3.3 assumptions hold.

KS-23 — Quantum eraser record destruction

Claim. The architecture predicts that in quantum eraser experiments, the which-path information is an irreversible record in this sense, and that “erasure” is basis rotation, not record destruction (4.3). Operational criterion for falsification: if an experiment demonstrates that the unconditional (non-postselected) interference pattern is fully restored after which-path information has been redundantly encoded into uncontrolled environmental degrees of freedom — not merely that interference reappears in conditioned sub-ensembles, and not merely that a reversible which-path marking in a single controlled degree of freedom has been unitarily undone — then the which-path record has been genuinely destroyed in a way that violates Axiom R, and the architecture's reading requires revision.

KS-24 — Quantum sector completeness

Test. If any foundational feature of quantum mechanics is identified that cannot be derived from or structurally identified with {S, B, R, C} plus EH and QRA (both proven, AP20), the completeness claim is falsified.

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

The debts

Six debts owed: D1 (factorisation assumption), D2 (decoherence timescale parameters), D3 (quantum eraser formal characterisation), D4 (einselection), D5 (quantum Darwinism), D6 (scope of structural irreversibility / no-go theorem).

Dependencies: AP20 4 and 6 (the axioms {S, B, R, C}: completeness and minimality fenced KS-P.1 / KS-P.2; joint consistency from the undeniable premise; Axiom R's record monoid). AP09 3–4 (superposition, measurement, Hilbert space). AP09 7.2 (unitary evolution). AP09 6 (Born rule). AP20 (EH and QRA proven).

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

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