> ## Content Index
> Fetch the complete content index at: https://symfield.ghost.io/llms.txt
> Use this file to discover other available public pages before exploring further.

# Debris as Predictive Compression: An Exact Return Bias and an Open Equation Spine for Observer-Relative Coupling
- URL: https://symfield.ghost.io/debris-as-predictive-compression/
- Published: 2026-09-17T05:34:48.000Z
- Updated: 2026-09-19T16:50:45.000Z
- Description: Can unrealized transitions leave detectable residue? A four-state stochastic model yields an exact 4.95% return bias, then maps an open path from predictive compression to observer-relative geometry, coupled debris fields and changing admissibility.
- Author: Nicole Flynn
- Tags: Mathematics & Geometry, Physical Sciences and Mathematics, Physics, Article, Blog

Nicole Flynn  
Symfield PBC  
Technical Research Note v0.2  
September 17, 2026

*Technical Research Note v0.3, September 18, 2026\. v0.1 was published September 17; v0.2 the same day added §8a and companion note I (mechanism stress tests); v0.3 adds companion note II (Kn identifiability) and corrects the restoration-timing conclusion in §8a and in companion note I, §3\. Contents: equation spine (§§1–15 and the research progression), companion note I, companion note II.*

This note is written for readers who want the mathematics and not the motivation. It contains one theorem and one open spine, kept separate.

**Theorem.** In the four-state process defined at (18)–(25), where activation of available but unrealized transitions can remove edges from the admissible set, the probability of repeating the initial transition 1→21\\to2 on the first return to state 11 is

Pr(rT1\=(1,2)|r0\=(1,2),T1<∞)\=22976000≈0.3828,\\Pr\\left(r\_{T\_1}=(1,2)\\ \\middle|\\ r\_0=(1,2),\\ T\_1<\\infty\\right)=\\frac{2297}{6000}\\approx0.3828, 

against the null model’s value of 1/31/3. The return bias Breturn\=99/2000B\_{\\mathrm{return}}=99/2000 is a functional of realized paths alone. It separates the model from every stationary Markov chain on the visible states, including one with re-fit transition probabilities. It does not identify residue from unrealized transitions as the mechanism; another hidden-memory process that favors the last realized edge could reproduce the same return bias. Derivation at (30a)–(30d); status at the end of §8; parameter law and mechanism tests at §8a.

**Open spine.** Sections 9–15 record an observer-relative extension, compression, effective geometry, opposition-weighted coupling, coupled residue, history-dependent coupling, multiscale inference, as typed maps and constraints. No theorem joins it to the four-state result. The status line under (53) says exactly which equations are published, which are schema, which are derived and which are open.

The three failure modes a reader should check for are: whether the projection in §3 is named before memory is claimed; whether (44) is constrained enough to predict anything; and whether any map in §§9–15 has quietly inherited the status of (30).

---

Labels distinguish published mathematics, existing schema, derived results and open extensions.

---

### 1\. Observer restriction — *published Markov-trace mathematics*

For a Markov kernel PP, visible window AA and inaccessible complement A′A',

PA\=IAP\[∑k\=0∞(IA′P)kIA\].P\_A = I\_A P \\left\[\\sum\_{k=0}^{\\infty}(I\_{A'}P)^k I\_A\\right\]. (1)

The observer’s effective dynamics include excursions through states outside its window. Distinct generators may produce the same trace:

P(1)≠P(2),PA(1)\=PA(2).P^{(1)}\\neq P^{(2)},\\qquad P\_A^{(1)}=P\_A^{(2)}. (2)

---

### 2\. Realization and admissible motion — *existing schema*

Let ℰ\\mathscr E be the internal-state bundle and 𝒳\=Γ(ℰ)\\mathcal X=\\Gamma(\\mathscr E).

ℜ\=(M,ℰ,Φ,h,Π,𝒟μ,W,𝒜t).\\mathfrak R=(M,\\mathscr E,\\Phi,h,\\Pi,\\mathcal D\_\\mu,W,\\mathcal A\_t). (3)

Φ̇t\=Pt\[Fμ(Φt,ht,t)\],Pt:TΦt𝒳→T𝒜t(Φt).\\dot\\Phi\_t=P\_t\\left\[F\_\\mu(\\Phi\_t,h\_t,t)\\right\],\\qquad P\_t:T\_{\\Phi\_t}\\mathcal X\\longrightarrow T\_{\\mathcal A\_t}(\\Phi\_t). (4)

History may alter the admissible geometry of future motion, not only the next point.

---

### 3\. Projection and memory — *standard Mori–Zwanzig, applied*

Let 𝒫\\mathcal P retain selected variables and 𝒫⊥\=1−𝒫\\mathcal P^\\perp=1-\\mathcal P.

ddt𝒫ut\=𝒫ℒ𝒫ut+∫0tKMZ(s)𝒫ut−sds+Ft,\\frac{d}{dt}\\mathcal P u\_t=\\mathcal P\\mathcal L\\mathcal P u\_t+\\int\_0^t K\_{\\mathrm{MZ}}(s)\\,\\mathcal P u\_{t-s}\\,ds+F\_t, (5)

KMZ(s)\=𝒫ℒes𝒫⊥ℒ𝒫⊥ℒ.K\_{\\mathrm{MZ}}(s)=\\mathcal P\\mathcal L\\,e^{s\\mathcal P^\\perp\\mathcal L}\\,\\mathcal P^\\perp\\mathcal L. (6)

The question is whether residue projected out of the visible description produces a nonzero memory term, and whether its form depends on previously constructed admissibility. The projection must be named: in the four-state toy, (Φt,qt)(\\Phi\_t,q\_t) of (27) is a Markov state, so the kernel for that projection vanishes identically; memory appears only under the realized-path projection (Φt,ht)(\\Phi\_t,h\_t), where (31) exhibits it.

---

### 4\. Prospective branching — *proposed discrete schema*

Zt\=(Φt,Dt,ht,𝒜t,Lt).Z\_t=(\\Phi\_t,D\_t,h\_t,\\mathcal A\_t,L\_t). (7)

ℬt\=Br(Pt\[Fμ(Φt,ht,t)\];𝒜t,Lt,ξt).\\mathcal B\_t=\\operatorname{Br}\\left(P\_t\[F\_\\mu(\\Phi\_t,h\_t,t)\];\\ \\mathcal A\_t,L\_t,\\xi\_t\\right). (8)

rt\=SelW(ℬt),Ut\=ℬt∖{rt}.r\_t=\\operatorname{Sel}\_W(\\mathcal B\_t),\\qquad U\_t=\\mathcal B\_t\\setminus\\{r\_t\\}. (9)

Φt+1\=End(rt).\\Phi\_{t+1}=\\operatorname{End}(r\_t). (10)

Dt+1\=𝒬(Dt,Ut,Lt,W,rt).D\_{t+1}=\\mathcal Q(D\_t,U\_t,L\_t,W,r\_t). (11)

ht+1\=ℋ(ht,rt),Lt+1\=ℒ(Lt,rt,ξt).h\_{t+1}=\\mathcal H(h\_t,r\_t),\\qquad L\_{t+1}=\\mathcal L(L\_t,r\_t,\\xi\_t). (12)

𝒜t+1\=𝒢0(𝒜t,ht+1,Lt+1,rt)∖RD(Dt+1).\\mathcal A\_{t+1}=\\mathcal G\_0(\\mathcal A\_t,h\_{t+1},L\_{t+1},r\_t)\\setminus R\_D(D\_{t+1}). (13)

Null model:RD≡⌀.\\text{Null model:}\\quad R\_D\\equiv\\varnothing. (14)

---

### 5\. Non-detection and causal attribution — *observation limit*

For an incomplete or non-injective witness,

Wt(Dt)\=0⇏Dt\=0.W\_t(D\_t)=0\\ \\not\\Rightarrow\\ D\_t=0\. (15)

This does not establish that debris exists. A legal intervention changes unrealized availability without changing the realized transition:

SelW(ℬt(1))\=SelW(ℬt(0))\=rt.\\operatorname{Sel}\_W(\\mathcal B\_t^{(1)})=\\operatorname{Sel}\_W(\\mathcal B\_t^{(0)})=r\_t. (16)

Δk\=Contrast(Law(𝒪t+k∣do(ℬt\=ℬt(1)),Ht),Law(𝒪t+k∣do(ℬt\=ℬt(0)),Ht)).\\Delta\_k=\\operatorname{Contrast}\\left(\\operatorname{Law}(\\mathcal O\_{t+k}\\mid \\operatorname{do}(\\mathcal B\_t=\\mathcal B\_t^{(1)}),H\_t),\\ \\operatorname{Law}(\\mathcal O\_{t+k}\\mid \\operatorname{do}(\\mathcal B\_t=\\mathcal B\_t^{(0)}),H\_t)\\right). (17)

---

### 6\. Four-state realization — *fully specified specialization*

𝒳\={1,2,3,4},𝖤\={(i,j):i≠j},|𝖤|\=12.\\mathcal X=\\{1,2,3,4\\},\\qquad \\mathsf E=\\{(i,j):i\\neq j\\},\\qquad |\\mathsf E|=12\. (18)

θ\=13,λ\=12,τ\=710,Φ0\=1,D0≡0,𝒜0\=𝖤.\\theta=\\tfrac13,\\qquad \\lambda=\\tfrac12,\\qquad \\tau=\\tfrac7{10},\\qquad \\Phi\_0=1,\\qquad D\_0\\equiv0,\\qquad \\mathcal A\_0=\\mathsf E. (19)

𝒞t\={e∈𝒜t:e leaves Φt}.\\mathcal C\_t=\\{\\,e\\in\\mathcal A\_t:\\ e\\text{ leaves }\\Phi\_t\\,\\}. (20)

at(e)∼Uniform(0,1) i.i.d. for e∈𝒞t,at(e)\=0 for e∉𝒞t.a\_t(e)\\sim\\operatorname{Uniform}(0,1)\\ \\text{ i.i.d. for } e\\in\\mathcal C\_t,\\qquad a\_t(e)=0\\ \\text{ for } e\\notin\\mathcal C\_t. (21)

ℬt\={{e∈𝒞t:at(e)\>θ},if nonempty,{argmaxe∈𝒞tat(e)},otherwise.\\mathcal B\_t= \\begin{cases} \\{e\\in\\mathcal C\_t:\\ a\_t(e)>\\theta\\}, & \\text{if nonempty},\\\\\[3pt\] \\{\\arg\\max\_{e\\in\\mathcal C\_t}a\_t(e)\\}, & \\text{otherwise}. \\end{cases} (22)

rt\=argmaxe∈ℬtat(e),Ut\=ℬt∖{rt},Φt+1\=head(rt).r\_t=\\arg\\max\_{e\\in\\mathcal B\_t}a\_t(e),\\qquad U\_t=\\mathcal B\_t\\setminus\\{r\_t\\},\\qquad \\Phi\_{t+1}=\\operatorname{head}(r\_t). (23)

Dt+1(e)\=λDt(e)+at(e)𝟏\[e∈Ut\].D\_{t+1}(e)=\\lambda D\_t(e)+a\_t(e)\\,\\mathbf 1\[e\\in U\_t\]. (24)

𝒜t+1\=𝒜t∖{e:Dt+1(e)\>τ}.\\mathcal A\_{t+1}=\\mathcal A\_t\\setminus\\{\\,e:\\ D\_{t+1}(e)>\\tau\\,\\}. (25)

Ties in argmax\\arg\\max have probability zero under the continuous activation law; all selections are therefore understood almost surely. 𝒞t\\mathcal C\_t is nonempty on every reachable state: rt∉Utr\_t\\notin U\_t, so the realized edge is never deleted at the step it is taken; a state with one admissible outgoing edge always realizes it. Induction from 𝒜0\=𝖤\\mathcal A\_0=\\mathsf E.

---

### 7\. Predictive compression — *derived Markov representation*

Because deletion is permanent, each edge is represented by

qt(e)∈\[0,τ\]∪{†},q\_t(e)\\in\[0,\\tau\]\\cup\\{\\dagger\\}, (26)

with †\\dagger denoting deletion, and

(Φt,qt)∈𝒳×(\[0,τ\]∪{†})𝖤(\\Phi\_t,q\_t)\\in\\mathcal X\\times\\left(\[0,\\tau\]\\cup\\{\\dagger\\}\\right)^{\\mathsf E} (27)

is a Markov state for the toy. The compression chain is

unrealized activation history→(Dt,𝒜t)→qt→future realized-path law.\\text{unrealized activation history}\\ \\longrightarrow\\ (D\_t,\\mathcal A\_t)\\ \\longrightarrow\\ q\_t\\ \\longrightarrow\\ \\text{future realized-path law}. (28)

Complete upstream histories are not in general recoverable from the compressed state.

---

### 8\. Exact path-level result — *derived theorem for the toy*

T1\=inf{t≥1:Φt\=1}.T\_1=\\inf\\{t\\ge1:\\ \\Phi\_t=1\\}. (29)

Pr(rT1\=(1,2)|r0\=(1,2),T1<∞)\=22976000.\\Pr\\left(r\_{T\_1}=(1,2)\\ \\middle|\\ r\_0=(1,2),\\ T\_1<\\infty\\right)=\\frac{2297}{6000}. (30)

Breturn\=22976000−13\=992000\=0.0495.B\_{\\mathrm{return}}=\\frac{2297}{6000}-\\frac13=\\frac{99}{2000}=0.0495\. (31)

Condition on r0\=(1,2)r\_0=(1{,}2), i.e. x:=a0(1,2)\=max{a0(1,2),a0(1,3),a0(1,4)}x:=a\_0(1{,}2)=\\max\\{a\_0(1{,}2),a\_0(1{,}3),a\_0(1{,}4)\\}. A competitor e∈{(1,3),(1,4)}e\\in\\{(1{,}3),(1{,}4)\\} is deleted at t\=1t=1 iff a0(e)\>τa\_0(e)>\\tau, which implies a0(e)\>θa\_0(e)>\\theta and a0(e)<xa\_0(e)<x. Let N∈{0,1,2}N\\in\\{0,1,2\\} count deleted competitors. Edges out of 11 can be deleted only while Φt\=1\\Phi\_t=1, and the deletion indicators are decided at t\=0t=0 independently of the excursion on {2,3,4}\\{2,3,4\\}, hence independently of {T1<∞}\\{T\_1<\\infty\\}. Before the first return, residue on edges leaving state 11 can only decay and cannot newly cross τ\\tau; the first-return result is therefore independent of λ\\lambda. On return, activations are fresh and selection is uniform over the 3−N3-N surviving edges:

Pr(rT1\=(1,2)|r0\=(1,2),T1<∞)\=𝔼\[13−N|x is the maximum\].\\Pr\\left(r\_{T\_1}=(1,2)\\ \\middle|\\ r\_0=(1,2),\\ T\_1<\\infty\\right)=\\mathbb E\\!\\left\[\\frac1{3-N}\\ \\middle|\\ x\\text{ is the maximum}\\right\]. (30a)

The unconditional joint density of (x,a0(1,3),a0(1,4))(x,a\_0(1{,}3),a\_0(1{,}4)) is 11 on the unit cube. Equation (30b) integrates its unnormalized restriction to the event that xx is maximal; division by the event probability 1/31/3 supplies the final factor of 33. Given xx, each competitor independently lies in (τ,x)(\\tau,x) with measure m:=max(0,x−τ)m:=\\max(0,x-\\tau) and in (0,τ\](0,\\tau\] with measure x−mx-m. Therefore

𝔼\[13−N;x is max\]\=∫0τx23dx+∫τ1\[(x−m)23+2m(x−m)2+m21\]dx.\\mathbb E\\!\\left\[\\frac1{3-N};\\ x\\text{ is max}\\right\] =\\int\_0^{\\tau}\\frac{x^2}{3}\\,dx+\\int\_{\\tau}^{1}\\left\[\\frac{(x-m)^2}{3}+\\frac{2m(x-m)}{2}+\\frac{m^2}{1}\\right\]dx . (30b)

On (τ,1\](\\tau,1\], x−m\=τx-m=\\tau. With τ\=710\\tau=\\tfrac7{10} the four pieces are

∫07/10x23dx\=3439000,∫7/101τ23dx\=491000,∫7/101τ(x−τ)dx\=632000,∫7/101(x−τ)2dx\=91000.\\int\_0^{7/10}\\frac{x^2}{3}\\,dx=\\frac{343}{9000},\\qquad \\int\_{7/10}^{1}\\frac{\\tau^2}{3}\\,dx=\\frac{49}{1000},\\qquad \\int\_{7/10}^{1}\\tau(x-\\tau)\\,dx=\\frac{63}{2000},\\qquad \\int\_{7/10}^{1}(x-\\tau)^2\\,dx=\\frac{9}{1000}. (30c)

Summing and dividing by 13\\tfrac13,

3(3439000+491000+632000+91000)\=22976000.3\\left(\\frac{343}{9000}+\\frac{49}{1000}+\\frac{63}{2000}+\\frac{9}{1000}\\right)=\\frac{2297}{6000}. (30d)

Equivalently, Pr(N\=0)\=98125\\Pr(N=0)=\\tfrac{98}{125}, Pr(N\=1)\=1891000\\Pr(N=1)=\\tfrac{189}{1000}, Pr(N\=2)\=271000\\Pr(N=2)=\\tfrac{27}{1000}, and 98125⋅13+1891000⋅12+271000⋅1\=22976000\\tfrac{98}{125}\\cdot\\tfrac13+\\tfrac{189}{1000}\\cdot\\tfrac12+\\tfrac{27}{1000}\\cdot1=\\tfrac{2297}{6000}. Verified by exact symbolic integration and by Monte Carlo (2×1062\\times10^6 samples, 0.38270.3827).

The stationary Markov null gives 1/31/3. The debris model produces observable path dependence; the statistic does not uniquely identify debris as its cause.

**Established.** Under (18)–(25), the process is distinguishable from every stationary Markov chain on 𝒳\\mathcal X, including one whose transition probabilities are re-fit to the data, using realized paths only. One-step marginals do not separate the models: by symmetry, Pr(next\=j∣at 1)\=13\\Pr(\\text{next}=j\\mid\\text{at }1)=\\tfrac13 under both. Conditioning on the previously realized edge out of the same state does, by (31).

**Not established.** That residue from the unrealized set UtU\_t is the mechanism. Another hidden-memory process that favors repeating the last realized edge out of a state could reproduce the same return bias. Causal attribution to UtU\_t requires the intervention (16)–(17). Also not established: that any physical system carries such residue; that τ\\tau corresponds to a natural boundary rather than an inserted parameter.

**Artifact.** The bias is produced by permanent deletion in (25). A reversible admissibility rule would give a different, possibly vanishing, return bias; one such rule is tested in §8a. No monotonicity on later returns is asserted: the initially realized edge can itself be unrealized on a subsequent visit and then deleted.

**Problems and current status.** 1\. First-return bias as a function of (θ,τ)(\\theta,\\tau), including its independence from λ\\lambda; and later-return bias as a function of (θ,λ,τ)(\\theta,\\lambda,\\tau) and the number of prior visits. 2\. A reversible admissibility rule replacing (25), and whether any return bias survives it. 3\. The interventional contrast (17) computed on the legal window θ<η<a0(r0)\\theta<\\eta<a\_0(r\_0), where η\\eta is the imposed activation of an unrealized competitor. 4\. The minimal predictive state of the unrealized activation history for the future realized-path law, and how much of it is captured by the family of return-bias statistics. *Status as of v0.2:* the first-return part of 1 is closed by (31a); the later-return part of 1 is simulated but has no closed form; 2 is tested for one restoration rule; 3 is computed exactly for the marginal and pinned designs; 4 is partially tested at the first- and second-return horizons. See §8a and the companion note.

---

### 8a. Parameter law and irreversibility dependence — *derived, with companion tests*

The first-return result of (30) is a special case of a closed law. Let h\=max(θ,τ)h=\\max(\\theta,\\tau)with 0≤θ,τ≤10\\le\\theta,\\tau\\le1. For the permanent-deletion toy of (18)–(25), with uniform activations on (0,1)(0,1),

preturn(h)\=1−32h+h2−16h3,Breturn(h)\=23−32h+h2−16h3.p\_{\\mathrm{return}}(h)=1-\\frac32h+h^2-\\frac16h^3, \\qquad B\_{\\mathrm{return}}(h)=\\frac23-\\frac32h+h^2-\\frac16h^3\. (31a)

At h\=7/10h=7/10this recovers 2297/60002297/6000and 99/200099/2000. The law does not depend on λ\\lambda. In the first-return experiment, λ\\lambdaaffects the probability of returning through trapping, but not the conditional first-return selection probability. It may matter for later returns and for other admissibility rules. There is no null region in τ≤θ\\tau\\le\\theta: there h\=θh=\\thetaand the bias is larger, 265/972265/972at θ\=1/3\\theta=1/3. The bias vanishes only as h→1h\\to1.

The effect depends on when restoration occurs relative to the first readout. Under one tested restoration rule, in which residue decays each step and a deleted edge is restored on arrival at its source once its residue has fallen to or below a threshold τ′\\tau', the earliest possible return is two steps and the residue at the check is λη≤0.45\\lambda\\eta\\le0.45 for every activation in the legal window. At τ′\=0.6\\tau'=0.6 every deleted edge is therefore restored before the first return and the bias vanishes by construction; at τ′\=0.2\\tau'=0.2 a reduced bias (0.356) and a reduced intervention step (−0.12) remain. These tests compare restoration timing, not degrees of reversibility. The exact 99/200099/2000 is a property of permanent deletion. See companion note II, §3.1 and §4.

Three hidden-memory alternatives with no record of UtU\_twere calibrated to the same first-return probability. Two diverge from the debris process by the second return. The third, a visit-count concentration rule, remains close across the first three returns and is not cleanly separated by those path statistics; it is separated by the legal intervention of (16)–(17): within the toy, raising an unrealized competitor’s activation while holding r0r\_0fixed changes that competitor’s first-return selection probability from 10/2710/27to 00. None of the three alternatives responds to that intervention, because the intervened variable is absent from their update rules.

Full tables, the intervention designs, the compression comparison, and the observer-map argument are in companion note I appended below; the general-nn parameter law, the paired-arm intervention, and the identifiability limits are in companion note II. Nothing in either note tests (34)–(44).

---

### 9\. Observer-relative compression — *open extension*

Let HtH\_t be a shared event record. Observer ii receives

Yρ,ti\=Ci,ρ(Ht).Y^i\_{\\rho,t}=C\_{i,\\rho}(H\_t). (32)

CF(Ht)\=Ht,CC(Ht)\=π(CF(Ht)).C\_F(H\_t)=H\_t,\\qquad C\_C(H\_t)=\\pi\\left(C\_F(H\_t)\\right). (33)

If π\\pi retains repeat-versus-change information it preserves the return bias; if it retains only state 11 versus “not 11,” the return bias is not observable. Detectability depends on which distinctions survive Ci,ρC\_{i,\\rho}.

---

### 10\. Effective observer geometry — *open extension*

Residue and coupling are indexed by transitions e∈𝖤e\\in\\mathsf E, so the observer geometry is a geometry on transitions:

εi,t:𝖤→Vti,εi,t\=εi,t\[Yρ,ti\].\\varepsilon\_{i,t}:\\mathsf E\\longrightarrow V^i\_t,\\qquad \\varepsilon\_{i,t}=\\varepsilon\_{i,t}\\big\[Y^i\_{\\rho,t}\\big\]. (34)

No claim is made that VtiV^i\_t is the geometry of an observer-independent substrate. Let VtiV^i\_t be an inner-product space, v̂ee′i\\hat v^{\\,i}\_{ee'} the unit vector from εi,t(e)\\varepsilon\_{i,t}(e) to εi,t(e′)\\varepsilon\_{i,t}(e'), and Nk(e)N\_k(e) the kk nearest neighbors of ee in VtiV^i\_t with ⟨⋅⟩n\\langle\\cdot\\rangle\_n the uniform average over n∈Nk(e)n\\in N\_k(e). Then

⊗ti(e,e′)\=−⟨v̂ee′i⋅v̂eni⟩n.\\otimes^i\_t(e,e')=-\\left\\langle \\hat v^{\\,i}\_{ee'}\\cdot\\hat v^{\\,i}\_{en}\\right\\rangle\_n. (35)

εi,t≠εj,t⇒⊗ti≠⊗tj in general,\\varepsilon\_{i,t}\\neq\\varepsilon\_{j,t}\\quad\\Rightarrow\\quad \\otimes^i\_t\\neq\\otimes^j\_t\\ \\text{ in general}, (36)

even when both originate from the same record.

---

### 11\. Opposition-weighted coupling — *proposed constrained family*

Let Vee′,ti:=𝟏\[Cee′(t)≠⌀\]V^i\_{ee',t}:=\\mathbf 1\\left\[C\_{ee'}(t)\\neq\\varnothing\\right\] be the viability mask of §12\. Using the column-vector convention of (41), e′e' indexes the source of residue and ee its destination:

𝐊ee′,ti\=Vee′,tig(⊗ti(e,e′))∑e‾Ve‾e′,tig(⊗ti(e‾,e′)),g\>0increasing,𝐊ti∈ℝ𝖤×𝖤,\\mathbf K^i\_{ee',t}=\\frac{V^i\_{ee',t}\\;g\\left(\\otimes^i\_t(e,e')\\right)}{\\displaystyle\\sum\_{\\bar e}V^i\_{\\bar e e',t}\\;g\\left(\\otimes^i\_t(\\bar e,e')\\right)},\\qquad g>0\\ \\text{increasing},\\qquad \\mathbf K^i\_t\\in\\mathbb R^{\\mathsf E\\times\\mathsf E}, (37)

for every source column e′e' having at least one viable destination. Then ∑e𝐊ee′,ti\=1\\sum\_e\\mathbf K^i\_{ee',t}=1 for each such column, so 𝟏𝖳𝐊ti\=𝟏𝖳\\mathbf 1^{\\mathsf T}\\mathbf K^i\_t=\\mathbf 1^{\\mathsf T} and (37) agrees with the conservative-transport condition (42). The mask is required: without it, g\>0g>0 makes every entry of 𝐊\\mathbf K positive, contradicting the support constraint (47). If a source column has no viable destination, (37) is undefined for that column; this note declares no fallback. A realization must either show that its admissibility constraints exclude the case or declare a fallback explicitly.

𝐊ti\\mathbf K^i\_t couples transitions, not objects; this is what types (41) below.

A candidate rule, not a derived result. εi,t\\varepsilon\_{i,t} and gg must be declared independently of the coupling outcomes being predicted.

---

### 12\. Relationship viability and composition — *existing relational proposal*

ρt(a,b)\=(Ra(t),Rb(t),Cab(t)),\\rho\_t(a,b)=\\left(R\_a(t),\\,R\_b(t),\\,C\_{ab}(t)\\right), (38)

where a,ba,b are objects and Cab(t)C\_{ab}(t) contains jointly viable trajectories. To constrain a transition-level coupling, viability must be stated on transition pairs. The lift declared here is Cee′(t):=Chead(e)tail(e′)(t)C\_{ee'}(t):=C\_{\\operatorname{head}(e)\\,\\operatorname{tail}(e')}(t) when head(e)\=tail(e′)\\operatorname{head}(e)=\\operatorname{tail}(e') and ⌀\\varnothing otherwise, so that (39) restricts supp𝐊ti\\operatorname{supp}\\mathbf K^i\_t to the line-graph adjacency of 𝖤\\mathsf E: transitions couple only through a shared vertex. Any wider support requires a different declared lift.

𝐊ee′,ti\>0⇒Cee′(t)≠⌀.\\mathbf K^i\_{ee',t}>0\\ \\Rightarrow\\ C\_{ee'}(t)\\neq\\varnothing. (39)

δt(a,b,c)\=ρt(a,b)∘ρt(b,c)−ρt(a,c).\\delta\_t(a,b,c)=\\rho\_t(a,b)\\circ\\rho\_t(b,c)-\\rho\_t(a,c). (40)

Equation (40) is schematic until ∘\\circ and −\- are specified.

---

### 13\. Coupled debris field — *open extension*

With Dt∈ℝ𝖤D\_t\\in\\mathbb R^{\\mathsf E} a column vector, ut∈ℝ𝖤u\_t\\in\\mathbb R^{\\mathsf E} the residue-generating input, and 𝐊t,Λt,𝐉t∈ℝ𝖤×𝖤\\mathbf K\_t,\\Lambda\_t,\\mathbf J\_t\\in\\mathbb R^{\\mathsf E\\times\\mathsf E},

Dt+1\=𝐌tDt+ut,𝐌t\=Λt𝐊t.D\_{t+1}=\\mathbf M\_tD\_t+u\_t,\\qquad \\mathbf M\_t=\\Lambda\_t\\mathbf K\_t. (41)

Conservative transport:𝟏𝖳𝐊t\=𝟏𝖳.\\text{Conservative transport:}\\quad \\mathbf 1^{\\mathsf T}\\mathbf K\_t=\\mathbf 1^{\\mathsf T}. (42)

RD(Dt)\={e:(𝐉tDt)(e)\>τe}.R\_D(D\_t)=\\{\\,e:\\ (\\mathbf J\_tD\_t)(e)>\\tau\_e\\,\\}. (43)

𝐊t\\mathbf K\_t transports residue, Λt\\Lambda\_t retains or dissipates it, 𝐉t\\mathbf J\_t translates it into admissibility. None is assumed equal to another. The four-state toy is Λ\=λI\\Lambda=\\lambda I, 𝐊\=𝐉\=I\\mathbf K=\\mathbf J=I.

---

### 14\. History-dependent coupling — *central open map*

𝐊t+1\=𝒰(𝐊t,⊗t+1,ρt+1,δt+1,Dt+1).\\mathbf K\_{t+1}=\\mathcal U\\left(\\mathbf K\_t,\\otimes\_{t+1},\\rho\_{t+1},\\delta\_{t+1},D\_{t+1}\\right). (44)

Admissible family, constraints rather than a rule:

𝐊t+1≥0,\\mathbf K\_{t+1}\\ge0, (45)

𝟏𝖳𝐊t+1\=𝟏𝖳when transport conserves residue,\\mathbf 1^{\\mathsf T}\\mathbf K\_{t+1}=\\mathbf 1^{\\mathsf T}\\quad\\text{when transport conserves residue}, (46)

supp𝐊t+1⊆{(e,e′):Cee′(t+1)≠⌀},\\operatorname{supp}\\mathbf K\_{t+1}\\subseteq\\{(e,e'):\\ C\_{ee'}(t+1)\\neq\\varnothing\\}, (47)

∥𝐊t+1−𝐊t∥op≤εK,\\left\\|\\mathbf K\_{t+1}-\\mathbf K\_t\\right\\|\_{\\mathrm{op}}\\le\\varepsilon\_K, (48)

𝒫t−X≠⌀⇒𝒫t+1−X≠⌀,\\mathscr P^{-X}\_t\\neq\\varnothing\\quad\\Longrightarrow\\quad \\mathscr P^{-X}\_{t+1}\\neq\\varnothing, (49)

where 𝒫t−X\\mathscr P^{-X}\_t is the declared set of admissible procedures or paths capable of testing the counter-account at time tt. Equation (49) is the X (Un)factor as an admissibility predicate on updates (𝒜t+1,𝐊t+1)(\\mathcal A\_{t+1},\\mathbf K\_{t+1}): no update may empty the set of ways the counter-account can be tested. Graph reachability is neither necessary nor sufficient for (49) — a graph may disconnect while the relevant counter-test survives, or stay connected while observer compression renders it untestable. Preservation of reachability of (𝒳,𝒜t+1)(\\mathcal X,\\mathcal A\_{t+1}) is one possible sufficient realization of (49), not a consequence of X (Un)factor itself. It is not imposed on the four-state theorem: permanent deletion there permits trapping, and prohibiting it defines a new X-constrained variant whose return bias must be recalculated.

These constraints bound the family; they do not determine a unique update.

---

### 15\. Multiscale inference without reconstruction — *open inferential layer*

Sρ,ki\=Contrast(Ci,ρ(𝒪t+k),Ci,ρ(𝒪0,t+k)).S^i\_{\\rho,k}=\\operatorname{Contrast}\\left(C\_{i,\\rho}(\\mathcal O\_{t+k}),\\ C\_{i,\\rho}(\\mathcal O\_{0,t+k})\\right). (50)

ℭi,ρ(S)\={H:ℱi,ρ(H)\=Sρ,ki}.\\mathfrak C\_{i,\\rho}(S)=\\{\\,H:\\ \\mathcal F\_{i,\\rho}(H)=S^i\_{\\rho,k}\\,\\}. (51)

wi(H∣Sρ∈I)∝Pr(Sρ∈I∣H)Pr(H).w\_i(H\\mid S\_{\\rho\\in I})\\ \\propto\\ \\Pr(S\_{\\rho\\in I}\\mid H)\\,\\Pr(H). (52)

The result is not a reconstructed debris object; it is a weighted class of histories compatible with the deformation available to that observer.

---

## Proposed research progression

shared interaction history→observer compression→effective observer geometry→opposition-weighted coupling→residue propagation→admissibility change→future interaction history→new observer compression\\boxed{ \\begin{aligned} \\text{shared interaction history} &\\longrightarrow \\text{observer compression}\\\\ &\\longrightarrow \\text{effective observer geometry}\\\\ &\\longrightarrow \\text{opposition-weighted coupling}\\\\ &\\longrightarrow \\text{residue propagation}\\\\ &\\longrightarrow \\text{admissibility change}\\\\ &\\longrightarrow \\text{future interaction history}\\\\ &\\longrightarrow \\text{new observer compression} \\end{aligned}} (53)

Status: (53) is a diagram of proposed dependencies, not a derivation. Equations (1)–(2), (5)–(6) are published; (3)–(4), (7)–(17) are the existing schema; (18)–(29) specify the model; (30)–(31a) are derived results; (32)–(52) are open and carry no inherited status from (30). The chain does not show that no underlying reality exists. It shows why no observer’s effective dimension, geometry or reconstruction should automatically be identified with it.

---

## Companion computational note I: Mechanism stress tests

*Nicole Flynn / Symfield PBC. Computational note, September 17, 2026.*

Equation numbers refer to the note above.

### Scope

These tests do not recompute the already derived value 2297/60002297/6000. They test which consequences belong to the specified four-state debris mechanism, which survive changes to that mechanism, and which can be reproduced by hidden-memory alternatives.

The permanent-deletion model uses

θ\=13,λ\=12,τ\=710,\\theta=\\frac13,\\qquad \\lambda=\\frac12,\\qquad \\tau=\\frac7{10}, 

and conditions on the initial realized transition r0\=(1,2)r\_0=(1,2). Monte Carlo results use 200,000 conditioned paths per model, a horizon of 350 steps for the debris models, and seed 20260917\. The compression comparison uses 500,000 conditioned paths and ten train/test splits. Exact results are identified separately from simulations.

### Results at a glance

| Test                               | Result                                                                                                                                        | Status                                      |
| ---------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------- |
| First-return parameter sweep       | Depends on h\=max(θ,τ)h=\\max(\\theta,\\tau), not on λ\\lambda                                                                                | Exact                                       |
| Region τ≤θ\\tau\\le\\theta         | Bias increases rather than collapsing                                                                                                         | Exact; contradicts the proposed expectation |
| Later returns                      | Bias persists near 5.5 to 5.7 percentage points but is not monotone                                                                           | Monte Carlo                                 |
| Reversible admissibility           | Most of the bias disappears under the tested restoration rules                                                                                | Mechanism-dependent Monte Carlo             |
| Legal intervention                 | Raising unrealized competitor (1,3)(1,3)from 0.50.5to 0.80.8changes that competitor’s first-return selection probability from 10/2710/27to 00 | Exact within the toy                        |
| Matched hidden-memory alternatives | All three reproduce the first-return bias without using UtU\_t                                                                                | Monte Carlo after calibration               |
| Compression                        | 𝒜\\mathcal Asaturates first-return prediction; binned subthreshold DDadds a tiny gain at the second return                                   | Train/test Monte Carlo                      |
| Observer maps                      | A binary state-1/not-state-1 map loses the statistic; a repeat/change map retains it                                                          | Structural consequence of the definitions   |

### 1\. Exact first-return parameter law

Let

h\=max(θ,τ).h=\\max(\\theta,\\tau). 

A losing competitor is deleted at the initial departure exactly when its activation exceeds both the candidate threshold and the deletion threshold. The conditional probability of repeating 1→21\\to2on the first return is

preturn(θ,τ)\=1−32h+h2−16h3,p\_{\\mathrm{return}}(\\theta,\\tau) =1-\\frac32h+h^2-\\frac16h^3, 

and therefore

Breturn(θ,τ)\=23−32h+h2−16h3.B\_{\\mathrm{return}}(\\theta,\\tau) =\\frac23-\\frac32h+h^2-\\frac16h^3\. 

At (θ,τ)\=(1/3,7/10)(\\theta,\\tau)=(1/3,7/10),

preturn\=22976000\=0.382833…,Breturn\=992000\=0.0495.p\_{\\mathrm{return}}=\\frac{2297}{6000}=0.382833\\ldots, \\qquad B\_{\\mathrm{return}}=\\frac{99}{2000}=0.0495\. 

The formula contains no λ\\lambda. Three simulations at λ\=0.1,0.5,0.9\\lambda=0.1,0.5,0.9returned estimated biases 0.049690.04969, 0.049010.04901, and 0.048790.04879, respectively, all consistent with the exact 0.04950.0495within Monte Carlo error. This tests the implementation; the exact formula, not these three simulations, establishes independence. The fraction of paths returning by the horizon decreases as λ\\lambdarises, so trapping, not the conditional first-return probability, is where λ\\lambdafirst appears here.

The proposed expectation for τ≤θ\\tau\\le\\thetawas reversed. When τ≤θ\\tau\\le\\theta, every unrealized candidate that clears θ\\thetaalso clears τ\\tau, making deletion easier. At θ\=1/3\\theta=1/3and any τ≤1/3\\tau\\le1/3,

preturn\=589972≈0.60494,Breturn\=265972≈0.27160.p\_{\\mathrm{return}}=\\frac{589}{972}\\approx0.60494, \\qquad B\_{\\mathrm{return}}=\\frac{265}{972}\\approx0.27160\. 

The bias tends to zero only as max(θ,τ)→1\\max(\\theta,\\tau)\\to1.

### 2\. Later returns under permanent deletion

The estimated probability of repeating the initial edge 1→21\\to2, conditional on T(k)<∞T^{(k)}<\\inftyby the 350-step simulation horizon, was:

| Return kk | Conditional paths | Repeat probability | Bias from 1/31/3 | Monte Carlo SE |
| --------- | ----------------- | ------------------ | ---------------- | -------------- |
| 1         | 197,682           | 0.38172            | 0.04839          | 0.00109        |
| 2         | 193,239           | 0.38941            | 0.05608          | 0.00111        |
| 3         | 187,612           | 0.38781            | 0.05448          | 0.00113        |
| 4         | 181,561           | 0.38991            | 0.05657          | 0.00115        |
| 5         | 175,265           | 0.38909            | 0.05576          | 0.00117        |
| 6         | 169,363           | 0.38994            | 0.05661          | 0.00119        |
| 7         | 163,871           | 0.38848            | 0.05515          | 0.00120        |
| 8         | 158,849           | 0.39000            | 0.05667          | 0.00122        |

The estimates rise after the first return and then fluctuate around 0.3890.389. They do not support a monotonicity claim. The declining conditioned sample matters: permanent deletion can make state 1 unreachable, so later-return estimates describe the surviving returning paths.

### 3\. Reversible admissibility

One explicit reversible variant was tested. An edge is deleted when its residue exceeds τ\=0.7\\tau=0.7. Residue then decays by λ\=0.5\\lambda=0.5per step, and the edge is restored when its decayed residue is at or below τ′\\tau'at the next visit to its source. This is only one reversible rule, not a general result about reversibility.

| Restore threshold τ′\\tau' | First-return probability | First-return bias |
| -------------------------- | ------------------------ | ----------------- |
| 0.20                       | 0.35615                  | 0.02281           |
| 0.35                       | 0.35175                  | 0.01842           |
| 0.60                       | 0.33317                  | −0.00016          |

*Correction, September 18, 2026\. Under this update order (residue decays each step; restoration is checked on arrival at the source before selection), the earliest possible return to state 1 is two steps and a deleted competitor carries residue λη ≤ 0.45 at the check. At τ′ = 0.6 every deleted edge is therefore restored before it can matter, and the near-zero bias is structural, not a finding about reversibility. The lower thresholds retain a reduced bias because some edges survive the check on short returns. The paragraphs that follow are left as originally published; companion note II, §3.1 and §4, carries the corrected interpretation.*

For τ′\=0.60\\tau'=0.60, the estimated bias is indistinguishable from zero at Monte Carlo resolution. Smaller restoration thresholds retain a reduced positive bias because sufficiently short excursions can return before restoration.

Most of the reported 4.954.95\-percentage-point effect is therefore an artifact of irreversibility under these restoration rules. These tests do not bound all reversible residue operators and do not show that every reversible mechanism must have zero path signatures.

### 4\. Legal intervention on an unrealized competitor

Fix the selected edge activation at

a0(1,2)\=0.9a\_0(1,2)=0.9 

and intervene on unrealized competitor e\=(1,3)e=(1,3)within the legal window 1/3<η<0.91/3<\\eta<0.9. There are two distinct valid designs.

In the marginal intervention, the remaining competitor has the same conditional distribution, a0(1,4)∼Uniform(0,0.9)a\_0(1,4)\\sim\\mathrm{Uniform}(0,0.9), in both arms. Then

Pr(rT1\=(1,3)∣do(η\=0.5),T1<∞)\=1027≈0.37037,\\Pr(r\_{T\_1}=(1,3)\\mid\\operatorname{do}(\\eta=0.5),T\_1<\\infty) =\\frac{10}{27}\\approx0.37037, 

whereas

Pr(rT1\=(1,3)∣do(η\=0.8),T1<∞)\=0.\\Pr(r\_{T\_1}=(1,3)\\mid\\operatorname{do}(\\eta=0.8),T\_1<\\infty)=0\. 

The exact marginal contrast is

Δmarginal\=−1027≈−0.37037.\\Delta\_{\\mathrm{marginal}}=-\\frac{10}{27}\\approx-0.37037\. 

In the conditional slice, a0(1,4)\=0.1a\_0(1,4)=0.1is pinned. The corresponding probabilities are 1/31/3and 00, giving

Δpinned\=−13.\\Delta\_{\\mathrm{pinned}}=-\\frac13\. 

The two fractions must not be mixed: −10/27\-10/27averages the other competitor, while −1/3\-1/3fixes it.

The realized initial edge remains 1→21\\to2in both arms of both designs. Within the specified model, the later difference is caused by changing unrealized competitor (1,3)(1,3). This is an internal causal result about the toy; it is not evidence that a physical debris channel exists.

### 5\. Matched hidden-memory confounders

Three models containing no prospectively generated UtU\_twere calibrated to reproduce the same first-return probability:

- **Win-stay:** a fixed bonus is assigned to the last realized outgoing edge.
- **Visit-count concentration:** weight accumulates on previously realized edges.
- **Taken-edge eligibility:** a decaying eligibility trace is assigned only to realized edges.

| Model                     | Return 1 | Return 2 | Return 3 | Marginal intervention response |
| ------------------------- | -------- | -------- | -------- | ------------------------------ |
| Permanent debris          | 0.38172  | 0.38941  | 0.38781  | −0.37037                       |
| Win-stay                  | 0.38102  | 0.33638  | 0.33369  | 0                              |
| Visit-count concentration | 0.38277  | 0.38428  | 0.38380  | 0                              |
| Taken-edge eligibility    | 0.38218  | 0.34242  | 0.33286  | 0                              |

Later returns separate the tested debris process from win-stay and taken-edge eligibility under these calibrations. Visit-count concentration remains the serious path-only cousin. None of these three alternatives responds to an intervention on an unchosen activation because that variable is absent from their update rules.

The first-return statistic does not identify debris. The legal intervention distinguishes the debris channel from these three specified no-UtU\_talternatives. This battery is not exhaustive over possible latent-memory models.

### 6\. Predictive compression

Predictors were trained from the state immediately after the conditioned initial departure. The first used only the outgoing admissible-set pattern 𝒜\\mathcal A. The second added a three-bin representation of surviving subthreshold residue DD, a finite proxy for qq. Ten 70/30 train/test splits were evaluated by log loss.

| Target                     | Mean log loss: 𝒜\\mathcal A | Mean log loss: 𝒜+\\mathcal A+binned DD | Gain from DD |
| -------------------------- | ---------------------------- | --------------------------------------- | ------------ |
| Departure on first return  | 0.992284                     | 0.992318                                | −0.000033    |
| Departure on second return | 0.992359                     | 0.992237                                | +0.000122    |

At the first return, current admissibility saturates prediction and residue adds no information. The gain was negative in all 10 splits: mean −3.35×10−5\-3.35\\times10^{-5}, split-wise standard error 5.34×10−65.34\\times10^{-6}.

At the second return, binned residue produced a positive gain in all 10 splits: mean 1.22×10−41.22\\times10^{-4}, split-wise standard error 1.90×10−51.90\\times10^{-5}. The effect is consistently signed but extremely small. Subthreshold residue cannot alter selection before another visit updates admissibility, but it can affect a later return after that update.

The test does not establish that qqis minimal. It shows only that subthreshold residue is idle beyond 𝒜\\mathcal Aat the first-return horizon and weakly predictive at the second under this parameterization.

### 7\. Observer maps

This test is structural rather than numerical.

A map retaining only “state 1” versus “not state 1” erases outgoing-edge identity. BreturnB\_{\\mathrm{return}}is not a statistic of that record.

A map recording “repeat” versus “change” on returns to a previously visited state retains the information required to estimate the return bias, even without state or edge labels.

The same generated process therefore supports different detectable statistics under different observer windows. This demonstrates observer-relative detectability, not observer-created dynamics.

### Conclusions

The exact first-return theorem survives testing and has a closed parameter law.

The suggested τ≤θ\\tau\\le\\thetanull region does not exist; that region strengthens deletion. The zero-bias boundary occurs as max(θ,τ)→1\\max(\\theta,\\tau)\\to1.

The later-return signature persists under permanent deletion but is not monotone.

Most of the first-return effect disappears under the tested restoration rules. The exact 99/200099/2000is specific to irreversible deletion; these tests do not bound all reversible residue operators.

Path-only return bias detects hidden path dependence but does not identify unrealized-transition residue.

The legal intervention is the discriminating test inside the toy: it changes the unrealized competitor while holding the realized initial transition fixed.

Compression by 𝒜\\mathcal Ais sufficient at the first-return horizon. Subthreshold residue contributes only weakly at the second-return horizon under the tested parameters.

Nothing here tests equations (34) to (44). Geometry, coupling, and 𝒰\\mathcal Uremain underspecified and were deliberately excluded.

The two governing facts are:

B(h)\=23−32h+h2−16h3,h\=max(θ,τ),B(h)=\\frac23-\\frac32h+h^2-\\frac16h^3, \\qquad h=\\max(\\theta,\\tau), 

and identifying UtU\_tstill requires the intervention do(η)\\operatorname{do}(\\eta).

---

## Companion computational note II: Debris on KnK\_n, exact first-return law and identifiability of the unrealized-transition channel

*Nicole Flynn / Symfield PBC. Computational test, September 17 to 18, 2026; revision 2 after cross-review. Equation numbers (18) to (31a) refer to the equation spine above.*

### 0\. Scope and what changed from the brief

The brief posed a generalization and three conjectured formulas as things to derive, falsify, or repair. Outcome in one paragraph: the binomial law for N∣xN\\mid xis correct; the closed form for pm(h)p\_m(h)is correct and is derived here by an independent route; the finite sum for Δj,1\\Delta\_{j,1}is correct and has a closed form. The intervention identifies dependence of first-return admissibility on unrealized activations against every model whose update ignores them, exactly. It does not identify permanent residue, accumulation, or λ\\lambda: a transient-suppression model constructed here is observationally and interventionally identical to permanent debris at the first return and separates only at the second. The strongest limitation found is retrospective: the reversible restoration rule tested in v0.2 at τ′\=0.6\\tau'=0.6restores every deleted edge before the earliest possible return, so its “bias disappears” result is a timing triviality, not evidence about reversibility. A second correction, owed to this report’s first draft and supplied by the cross-review: the first-return intervention identifies dependence of the transition law on unrealized activation, not dependence of the admissible set 𝒜t\\mathcal A\_t; a persistent zero-weight countermodel (Section 3.2) reproduces every result here while leaving 𝒜t\\mathcal A\_tuntouched. Section 7 records this as a correction owed to v0.2.

Nothing here touches (32) to (53).

### 1\. Exact first-return law on KnK\_n

Setting: complete directed graph on nnstates, m\=n−1m=n-1out-edges per state, rules (20) to (25) unchanged, h\=max(θ,τ)h=\\max(\\theta,\\tau), 0≤θ,τ≤10\\le\\theta,\\tau\\le1, activations iid Uniform(0,1)(0,1). Condition on r0\=(1,2)r\_0=(1,2)with winning activation x\=a0(1,2)x=a\_0(1,2).

#### 1.1 Assumptions the derivation uses, each checked

A1\. A competitor e\=(1,j)e=(1,j), j≠2j\\ne2, is deleted at t\=0t=0iff a0(e)\>ha\_0(e)>h. Reason: it must be a candidate (a\>θa>\\theta) and cross the deletion threshold with D1(e)\=a0(e)D\_1(e)=a\_0(e)(a\>τa>\\tau, since D0\=0D\_0=0). Both hold iff a\>ha>h. If x≤θx\\le\\thetathe candidate set falls back to the argmax and no competitor is a candidate; consistent, since then a<x≤ha<x\\le h.

A2\. Given xxis the maximum, the m−1m-1competitors are iid Uniform(0,x)(0,x), so each is deleted independently with probability q(x)\=(x−h)+/xq(x)=(x-h)\_+/x. Hence N∣x∼Binomial(m−1,q(x))N\\mid x\\sim\\mathrm{Binomial}(m-1,q(x)). The brief’s conjecture is correct. Verified by simulation at n\=4,6,8n=4,6,8: P(N\=k)P(N=k)matches to four decimals (Section 1.4).

A3\. No out-edge of state 1 changes admissibility between t\=0t=0and the first return: edges out of 1 accrue residue only while the walker is at 1, and residue only decays in between. So the surviving set at T1T\_1is exactly the m−Nm-Nedges not deleted at t\=0t=0.

A4\. At T1T\_1activations are fresh and selection is the argmax, so the realized edge is uniform on the m−Nm-Nsurvivors. Pr(repeat∣N)\=1/(m−N)\\Pr(\\text{repeat}\\mid N)=1/(m-N).

A5\. NNis independent of the excursion on {2,…,n}\\{2,\\dots,n\\}and therefore of {T1<∞}\\{T\_1<\\infty\\}: trapping is caused by deletion of edges into state 1, which is decided by activity at other states. So conditioning on return does not bias NN. λ\\lambdaenters the excursion (it controls how much residue survives to cause later deletions) and therefore trapping, but not NNand not the selection at T1T\_1.

Ties have probability zero. All statements are almost sure.

#### 1.2 Derivation

Given xxis maximal, xxhas density mxm−1mx^{m-1}on (0,1)(0,1). With Y\=m−1−N∼Binomial(m−1,1−q)Y=m-1-N\\sim\\mathrm{Binomial}(m-1,1-q)the number of surviving competitors, m−N\=1+Ym-N=1+Y, and the standard identity 𝔼\[1/(1+Y)\]\=1−qmm(1−q)\\mathbb E\[1/(1+Y)\]=\\frac{1-q^{\\,m}}{m(1-q)}gives, for x\>hx>hwhere 1−q\=h/x1-q=h/x,

𝔼\[1m−N|x\]\=x(1−(x−hx)m)mh,𝔼\[1m−N|x≤h\]\=1m.\\mathbb E\\!\\left\[\\frac1{m-N}\\,\\middle|\\,x\\right\]=\\frac{x\\left(1-\\left(\\frac{x-h}{x}\\right)^{m}\\right)}{mh}, \\qquad \\mathbb E\\!\\left\[\\frac1{m-N}\\,\\middle|\\,x\\le h\\right\]=\\frac1m . 

Integrating against mxm−1mx^{m-1},

pm(h)\=∫0hxm−1dx+1h∫h1\[xm−(x−h)m\]dx\=hmm+1−hm+1−(1−h)m+1h(m+1).p\_m(h)=\\int\_0^h x^{m-1}\\,dx+\\frac1h\\int\_h^1\\left\[x^m-(x-h)^m\\right\]dx =\\frac{h^m}{m}+\\frac{1-h^{m+1}-(1-h)^{m+1}}{h\\,(m+1)} . 

This is the conjectured closed form. It was verified symbolically against the direct binomial-sum integral for m\=2,3,4,5,7m=2,3,4,5,7(difference identically zero) and reduces at m\=3m=3to 1−32h+h2−16h31-\\tfrac32h+h^2-\\tfrac16h^3, i.e. (31a), with p3(7/10)\=2297/6000p\_3(7/10)=2297/6000.

Bm(h)\=pm(h)−1m\=hmm−1m+1−hm+1−(1−h)m+1h(m+1).B\_m(h)=p\_m(h)-\\frac1m=\\frac{h^m}{m}-\\frac1m+\\frac{1-h^{m+1}-(1-h)^{m+1}}{h\\,(m+1)} . 

#### 1.3 Limits and monotonicity

h→0h\\to0: pm→1p\_m\\to1for every m≥1m\\ge1(every competitor is deleted; only the realized edge survives). h\=1h=1: pm\=1/mp\_m=1/m, Bm\=0B\_m=0. ∂Bm/∂h<0\\partial B\_m/\\partial h<0throughout (0,1)(0,1)at every mmtested (m\=3,5,9m=3,5,9at h\=0.2,0.5,0.8h=0.2,0.5,0.8), so the bias falls monotonically in hhand vanishes only at h\=1h=1.

In mmthe bias is not monotone at small hh:

| mm | h\=0.1h=0.1 | h\=0.3h=0.3 | h\=0.5h=0.5 | h\=0.7h=0.7 | h\=0.9h=0.9 |
| -- | ----------- | ----------- | ----------- | ----------- | ----------- |
| 2  | 0.4050      | 0.2450      | 0.1250      | 0.0450      | 0.0050      |
| 3  | 0.5265      | 0.3022      | 0.1458      | 0.0495      | 0.0052      |
| 4  | 0.5690      | 0.3050      | 0.1406      | 0.0470      | 0.0050      |
| 5  | 0.5809      | 0.2903      | 0.1292      | 0.0435      | 0.0049      |
| 7  | 0.5691      | 0.2498      | 0.1063      | 0.0372      | 0.0046      |
| 9  | 0.5402      | 0.2128      | 0.0887      | 0.0322      | 0.0043      |
| 15 | 0.4425      | 0.1410      | 0.0583      | 0.0226      | 0.0036      |

At h\=0.1h=0.1the bias peaks near m\=5m=5; for h≥0.5h\\ge0.5it is decreasing in mm. At the v0.2 parameters (h\=0.7h=0.7) K4K\_4is the maximum over m≥2m\\ge2.

#### 1.4 Numerical verification

Sweep over n∈{4,6,8}n\\in\\{4,6,8\\}, (θ,τ)∈{(1/3,0.7),(1/3,0.5),(0.6,0.3),(0.5,0.5)}(\\theta,\\tau)\\in\\{(1/3,0.7),(1/3,0.5),(0.6,0.3),(0.5,0.5)\\}, λ∈{0.1,0.5,0.9}\\lambda\\in\\{0.1,0.5,0.9\\}, 20,000 to 40,000 paths per cell, horizon 100 (bundle files `sweep_n*.json`). All 36 cells lie within |z|≤2.2|z|\\le2.2of the closed form. Two small-sample patterns appeared and were run down rather than left: at n\=6n=6every λ\=0.9\\lambda=0.9cell sat above the formula, and at n\=8n=8ten of twelve cells sat below. Decomposing by NNat 300,000 to 360,000 paths shows both factors exact:

| n\=6n=6, λ\=0.9\\lambda=0.9 | P(N)P(N) | returned ∣N\\mid N | Pr(repeat∣N)\\Pr(\\text{repeat}\\mid N) | 1/(m−N)1/(m-N) |
| --------------------------- | -------- | ------------------ | --------------------------------------- | -------------- |
| N\=0N=0                     | 0.5320   | 0.9636             | 0.1970                                  | 0.2000         |
| N\=1N=1                     | 0.3047   | 0.9618             | 0.2526                                  | 0.2500         |
| N\=2N=2                     | 0.1317   | 0.9643             | 0.3341                                  | 0.3333         |
| N\=3N=3                     | 0.0293   | 0.9726             | 0.5090                                  | 0.5000         |

At λ\=0.1\\lambda=0.1the same table has returned∣N≈0.992\\mid N\\approx0.992for every NNand identical Pr(repeat∣N)\\Pr(\\text{repeat}\\mid N). So λ\\lambdachanges the return probability (trapping) by about three points here and leaves NNand the conditional selection untouched, which is A5 confirmed. At n\=8n=8, λ\=0.5\\lambda=0.5, 300,000 paths, aggregate 0.18150.1815vs exact 0.18000.1800, and all seven Pr(repeat∣N)\\Pr(\\text{repeat}\\mid N)rows within |z|≤1.1|z|\\le1.1. The K4K\_4decomposition: P(N)\=(0.7836,0.1889,0.0275)P(N)=(0.7836,\\,0.1889,\\,0.0275)against exact (98/125,189/1000,27/1000)(98/125,\\,189/1000,\\,27/1000).

Trapping is reported separately from the conditional law throughout: return-by-horizon fractions in the sweep range from 0.99 (small λ\\lambda, h\=0.7h=0.7) to 0.89 (n\=8n=8, h\=0.5h=0.5, λ\=0.9\\lambda=0.9).

### 2\. Prospective unrealized-set intervention

Fix r0\=(1,2)r\_0=(1,2), a0(r0)\=wa\_0(r\_0)=w, pick competitor eje\_j, and set θ<η0<h<η1<w\\theta<\\eta\_0<h<\\eta\_1<w. The realized edge is unchanged in both arms because η<w\\eta<w; eje\_jis an unrealized candidate in both because η\>θ\\eta>\\theta. Under η0\\eta\_0, eje\_jsurvives; under η1\\eta\_1, it is deleted.

#### 2.1 Exact Δj,1\\Delta\_{j,1}

Marginal design: the other m−2m-2competitors are iid Uniform(0,w)(0,w), each deleted with probability q\=(w−h)+/wq=(w-h)\_+/w, so L∼Binomial(m−2,q)L\\sim\\mathrm{Binomial}(m-2,q)of them are deleted and the survivor count under η0\\eta\_0is 2+(m−2−L)\=m−L2+(m-2-L)=m-L. Uniform selection gives

Pr(rT1\=ej∣do(η0),T1<∞)\=∑ℓ\=0m−2(m−2ℓ)qℓ(1−q)m−2−ℓ1m−ℓ,Pr(⋯∣do(η1),⋯)\=0,\\Pr\\!\\left(r\_{T\_1}=e\_j\\mid \\operatorname{do}(\\eta\_0),T\_1<\\infty\\right)=\\sum\_{\\ell=0}^{m-2}\\binom{m-2}{\\ell}q^\\ell(1-q)^{m-2-\\ell}\\frac1{m-\\ell}, \\qquad \\Pr\\!\\left(\\cdots\\mid\\operatorname{do}(\\eta\_1),\\cdots\\right)=0 , 

so the brief’s finite sum for Δj,1\\Delta\_{j,1}is correct. Writing p\=1−q\=h/wp=1-q=h/wand M\=m−2M=m-2, the sum is 𝔼\[1/(2+Bin(M,p))\]\\mathbb E\[1/(2+\\mathrm{Bin}(M,p))\], which has the closed form

Δj,1\=−1p2\[1−(1−p)M+2M+2−(1−p)(1−(1−p)M+1)M+1\].\\Delta\_{j,1}=-\\frac1{p^2}\\left\[\\frac{1-(1-p)^{M+2}}{M+2}-\\frac{(1-p)\\left(1-(1-p)^{M+1}\\right)}{M+1}\\right\]. 

Both expressions agree numerically at every (m,w,h)(m,w,h)tested. The curve η↦Pr(rT1\=ej∣do(η))\\eta\\mapsto\\Pr(r\_{T\_1}=e\_j\\mid\\operatorname{do}(\\eta))on the legal window is a step: constant at 𝔼\[1/(m−L)\]\\mathbb E\[1/(m-L)\]for θ<η<h\\theta<\\eta<h, zero for h<η<wh<\\eta<w. Nothing in the first-return law depends on where in (θ,h)(\\theta,h)or (h,w)(h,w)the intervention sits.

Pinned design: the untreated competitors are fixed at a value below hh, so L\=0L=0and Δj,1\=−1/m\\Delta\_{j,1}=-1/m.

#### 2.2 The two K4K\_4numbers, stated as estimands

Marginal, 10/27→010/27\\to0: Pr(rT1\=(1,3)∣r0\=(1,2),a0(1,2)\=0.9,do(a0(1,3)\=η),a0(1,4)∼U(0,0.9),T1<∞)\\Pr\\big(r\_{T\_1}=(1,3)\\mid r\_0=(1,2),\\,a\_0(1,2)=0.9,\\,\\operatorname{do}(a\_0(1,3)=\\eta),\\,a\_0(1,4)\\sim\\mathrm{U}(0,0.9),\\,T\_1<\\infty\\big)at η\=0.5\\eta=0.5versus η\=0.8\\eta=0.8. The 10/2710/27is 79⋅13+29⋅12\\tfrac79\\cdot\\tfrac13+\\tfrac29\\cdot\\tfrac12.

Pinned, 1/3→01/3\\to0: the same with a0(1,4)\=0.1a\_0(1,4)=0.1fixed. The two are different conditional probabilities of the same event and must not be averaged or compared across designs.

#### 2.3 Paired Monte Carlo, common random numbers

Both arms use identical t\=0t=0activations for the untreated competitors and an identical random stream afterwards, so return events coincide arm to arm (the return fractions below are equal to four decimals by construction, not by luck). 40,000 paths per arm.

| design   | nn | exact Δj,1\\Delta\_{j,1} | MC k\=1k=1                       | MC k\=2k=2      | MC k\=3k=3      |
| -------- | -- | ------------------------ | -------------------------------- | --------------- | --------------- |
| marginal | 4  | −0.3704\-0.3704          | −0.3700±0.0024\-0.3700\\pm0.0024 | −0.3634\-0.3634 | −0.3632\-0.3632 |
| pinned   | 4  | −0.3333\-0.3333          | −0.3330±0.0024\-0.3330\\pm0.0024 | −0.3222\-0.3222 | −0.3227\-0.3227 |
| marginal | 6  | −0.2388\-0.2388          | −0.2362±0.0021\-0.2362\\pm0.0021 | −0.2351\-0.2351 | −0.2338\-0.2338 |
| pinned   | 6  | −0.2000\-0.2000          | −0.1997±0.0020\-0.1997\\pm0.0020 | −0.1942\-0.1942 | −0.1928\-0.1928 |
| marginal | 8  | −0.1749\-0.1749          | −0.1771±0.0019\-0.1771\\pm0.0019 | −0.1707\-0.1707 | −0.1691\-0.1691 |
| pinned   | 8  | −0.1429\-0.1429          | −0.1449±0.0018\-0.1449\\pm0.0018 | −0.1355\-0.1355 | −0.1360\-0.1360 |

Other ww(marginal, k\=1k=1): n\=4n=4, w\=0.75w=0.75: exact −0.3444\-0.3444, MC −0.3404±0.0028\-0.3404\\pm0.0028; w\=0.95w=0.95: −0.3772\-0.3772, MC −0.3750±0.0028\-0.3750\\pm0.0028. n\=6n=6, w\=0.75w=0.75: −0.2105\-0.2105, MC −0.2117±0.0024\-0.2117\\pm0.0024; w\=0.95w=0.95: −0.2473\-0.2473, MC −0.2485±0.0025\-0.2485\\pm0.0025.

Under permanent deletion Δj,k\\Delta\_{j,k}stays near its k\=1k=1value at k\=2,3k=2,3, because the deleted competitor never returns. That persistence is the later-return signature of permanence (Section 3).

Unconditional (competing-risk) version, n\=4n=4marginal: Pr(rT1\=ej,T1≤horizon)\=0.3659\\Pr(r\_{T\_1}=e\_j,\\ T\_1\\le\\text{horizon})=0.3659vs 00; Pr(T1≤horizon)\=0.9885\\Pr(T\_1\\le\\text{horizon})=0.9885in both arms. Since return is independent of the intervention (A5), the unconditional contrast is the conditional one scaled by the return probability, and the selection effect from trapping is zero across arms.

### 3\. Identification challenge

All models run on K4K\_4at (θ,λ,τ)\=(1/3,1/2,7/10)(\\theta,\\lambda,\\tau)=(1/3,1/2,7/10), 30,000 paths, horizon 100\. The three no-UtU\_talternatives were calibrated by bisection to the debris first-return value 2297/60002297/6000(calibration accuracy about one standard error; residual mismatch is visible in the first column and does not affect the intervention columns). Intervention: marginal design, w\=0.9w=0.9, η0\=0.5\\eta\_0=0.5, η1\=0.8\\eta\_1=0.8.

| model                                 | repeat k\=1k=1 | k\=2k=2 | k\=3k=3 | Δj,1\\Delta\_{j,1} | Δj,2\\Delta\_{j,2} | Δj,3\\Delta\_{j,3} |
| ------------------------------------- | -------------- | ------- | ------- | ------------------ | ------------------ | ------------------ |
| Stationary Markov null                | 0.3310         | 0.3356  | 0.3322  | +0.0000+0.0000     | +0.0000+0.0000     | +0.0000+0.0000     |
| Win-stay (bonus 0.0471)               | 0.3780         | 0.3379  | 0.3285  | +0.0000+0.0000     | +0.0000+0.0000     | +0.0000+0.0000     |
| Visit-count (0.0456)                  | 0.3755         | 0.3851  | 0.3793  | +0.0000+0.0000     | +0.0000+0.0000     | +0.0000+0.0000     |
| Eligibility (0.0461, ρ\=0.9\\rho=0.9) | 0.3753         | 0.3803  | 0.3688  | +0.0000+0.0000     | +0.0000+0.0000     | +0.0000+0.0000     |
| Permanent debris                      | 0.3867         | 0.3953  | 0.3956  | −0.3713\-0.3713    | −0.3659\-0.3659    | −0.3613\-0.3613    |
| Transient suppression                 | 0.3879         | 0.3315  | 0.3357  | −0.3715\-0.3715    | +0.0111+0.0111     | +0.0003+0.0003     |
| Reversible, τ′\=0.6\\tau'=0.6         | 0.3310         | 0.3356  | 0.3322  | +0.0000+0.0000     | +0.0000+0.0000     | +0.0000+0.0000     |
| Reversible, τ′\=0.2\\tau'=0.2         | 0.3559         | 0.3371  | 0.3350  | −0.1219\-0.1219    | +0.0042+0.0042     | −0.0002\-0.0002    |
| Smooth deletion, s\=0.05s=0.05        | 0.3855         | 0.3914  | 0.3886  | −0.3191\-0.3191    | −0.3107\-0.3107    | −0.3134\-0.3134    |
| Smooth deletion, s\=0.15s=0.15        | 0.3980         | 0.4042  | 0.4107  | −0.1696\-0.1696    | −0.1658\-0.1658    | −0.1696\-0.1696    |

Monte Carlo SE on Δ\\Deltais 0.003 to 0.004; the zeros in the no-UtU\_trows are exact zeros, not small estimates, because under pairing the two arms are the same sample path.

Model definitions. Win-stay: bonus bbadded to the activation of the last realized edge out of the current state. Visit-count: bonus c×c\\times(times realized). Eligibility: bonus gE(e)g\\,E(e)with E←ρE+𝟏\[realized\]E\\leftarrow\\rho E+\\mathbf 1\[\\text{realized}\]. Transient: an unrealized candidate with a\>τa>\\tauis excluded at the next visit to its source only; no residue is stored. Reversible: as v0.2, restored when decayed residue ≤τ′\\le\\tau'at a visit to the source. Smooth: at accrual an unrealized candidate is permanently deleted with probability σ((D−τ)/s)\\sigma((D-\\tau)/s), so s→0s\\to0is the permanent rule.

#### 3.1 Intervention curve across the legal window (k\=1k=1, marginal, 25,000 paths per point)

| η\\eta                       | 0.40  | 0.55  | 0.65  | 0.69  | 0.71  | 0.75  | 0.85  |
| ---------------------------- | ----- | ----- | ----- | ----- | ----- | ----- | ----- |
| Permanent                    | 0.371 | 0.371 | 0.371 | 0.371 | 0.000 | 0.000 | 0.000 |
| Transient                    | 0.370 | 0.370 | 0.370 | 0.370 | 0.000 | 0.000 | 0.000 |
| Reversible τ′\=0.2\\tau'=0.2 | 0.350 | 0.350 | 0.350 | 0.350 | 0.228 | 0.228 | 0.149 |
| Smooth s\=0.15s=0.15         | 0.331 | 0.275 | 0.221 | 0.196 | 0.183 | 0.159 | 0.102 |
| Win-stay                     | 0.308 | 0.308 | 0.308 | 0.308 | 0.308 | 0.308 | 0.308 |

Permanent and transient are the same step at hh. Reversible τ′\=0.2\\tau'=0.2is a multi-level step: the level after hhdepends on how much residue survives the shortest returns. Under the code’s update order (global decay in each step, restoration checked on arrival before selection), an edge deleted at activation η\\etahas residue λη\=0.5η\\lambda\\eta=0.5\\etawhen checked at the two-step return and λ2η\=0.25η\\lambda^2\\eta=0.25\\etaat the three-step return, so every η\\etain the window stays deleted through a two-step return and η\>0.8\\eta>0.8stays deleted through a three-step return as well. Verified by single-path trace. Smooth deletion is a sigmoid in η\\eta. Every no-UtU\_tmodel is flat.

#### 3.2 What the intervention rules out, and what it does not

The largest class ruled out exactly: every model whose t\=0t=0state update is a function of (r0,a0(r0))(r\_0,\\ a\_0(r\_0))and the pre-existing state only, i.e. any model that never reads unrealized activations. For such a model the two arms are the same sample path and Δj,k\=0\\Delta\_{j,k}=0for all kk, identically. Win-stay, visit-count, and eligibility are three members; the class is much larger and includes any hidden-memory model driven by the realized path, however elaborate, with arbitrary latent dimension.

Models that consume unrealized activation through a different latent mechanism are not ruled out as a class; they are separated from permanent debris, where they are separated at all, by the shape of the curve and by later returns. Smooth deletion is distinguished by curve shape at k\=1k=1. Reversible rules are distinguished at k\=1k=1by level and by the dependence of the post-hhlevel on return time. Transient suppression is not distinguished at k\=1k=1by any statistic, observational or interventional; it is distinguished at k\=2k=2(Δj,2\=−0.366\\Delta\_{j,2}=-0.366vs +0.011+0.011) and by the observational second-return repeat rate (0.3950.395vs 0.3320.332).

Explicit observationally equivalent constructions. The transient model shows that permanence is not identified at k\=1k=1: any rule whose first-return selection excludes exactly the competitors with a0\>ha\_0>hreproduces the full k\=1k=1curve, whatever it does afterwards. A stronger countermodel, due to the GPT review of this report, shows that even persistence over later returns does not identify deletion from 𝒜t\\mathcal A\_t: set be\=𝟏\[a0(e)\>h\]b\_e=\\mathbf 1\[a\_0(e)>h\], keep e∈𝒜te\\in\\mathcal A\_tthroughout, and give eezero selection weight whenever be\=1b\_e=1. This reproduces the permanent-deletion step at every kkwhile formal admissibility never changes. Permanent residue, accumulation, λ\\lambda, and membership in 𝒜t\\mathcal A\_tare all invisible to the path-level intervention. What the intervention identifies at k\=1k=1is precisely: the first-return transition law carries thresholded memory of unrealized activation through the event {a0(e)\>h}\\{a\_0(e)>h\\}. Whether that memory lives in 𝒜t\\mathcal A\_tor in selection weights is a separate question that needs an executability probe, not a path statistic.

### 4\. Robustness

Reported above: n∈{4,6,8}n\\in\\{4,6,8\\}; h∈{0.5,0.6,0.7}h\\in\\{0.5,0.6,0.7\\}in the observational sweep; w∈{0.75,0.9,0.95}w\\in\\{0.75,0.9,0.95\\}; k∈{1,2,3}k\\in\\{1,2,3\\}; marginal and pinned designs; conditional and unconditional estimands; permanent, hard reversible (two thresholds), smooth probabilistic deletion (two widths), and transient. Trapping is reported as the return-by-horizon fraction in every table and is identical across paired arms.

The one place robustness failed is instructive: the reversible rule at τ′\=0.6\\tau'=0.6and the first version of the smooth rule (temporary blocking with probability σ((D−τ)/s)\\sigma((D-\\tau)/s)at each visit) both showed zero bias and zero Δ\\Delta, for the same reason. With λ\=0.5\\lambda=0.5the residue on an out-edge of state 1 has decayed by a factor λ\=0.5\\lambda=0.5by the earliest possible (two-step) return, so a deleted edge with activation η<0.9\\eta<0.9carries residue below 0.45<0.60.45<0.6at the check, and any rule that evaluates admissibility from the decayed residue at the visit never blocks anything at the first return. Those two rules are the stationary Markov null in disguise. The smooth rule was redefined (deletion decided at accrual); the reversible τ′\=0.6\\tau'=0.6result is retained in the table because it is what v0.2 reported, and Section 7 says what to do about it.

### 5\. Observer maps

Applied to the same paired record (permanent debris, n\=4n=4, marginal, 30,000 paths, η0\=0.5\\eta\_0=0.5vs η1\=0.8\\eta\_1=0.8):

| observer map                       | Bm(h)B\_m(h)measurable | Δj,k\\Delta\_{j,k}measurable                          | what it shows in this record                                                                                                                                                                                     |
| ---------------------------------- | ---------------------- | ----------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| Binary: state 1 vs not             | no                     | no                                                    | nothing; edge identity is gone                                                                                                                                                                                   |
| One current state, no history      | no                     | no                                                    | a single symbol; no return event is even definable                                                                                                                                                               |
| Full sequence of current states    | yes                    | yes                                                   | on KnK\_nan edge is an ordered pair of states, so the state sequence recovers the labeled edge history exactly                                                                                                   |
| Repeat/change at a revisited state | yes                    | not Δj,k\\Delta\_{j,k}itself; a derived contrast, yes | repeat rate 0.376→0.6120.376\\to0.612across arms, exactly 𝔼\[1/(3−L)\]→𝔼\[1/(2−L)\]\\mathbb E\[1/(3-L)\]\\to\\mathbb E\[1/(2-L)\]; the observer sees the intervention effect but cannot attribute it to eje\_j |
| Labeled outgoing-edge history      | yes                    | yes                                                   | Pr(ej)\=0.363→0.000\\Pr(e\_j)=0.363\\to0.000                                                                                                                                                                     |

In every row the underlying intervention effect is present in the generated process. Rows one and three lose detectability or attribution under coarse-graining; the effect itself does not disappear. Nothing in this section is a statement about observer-created dynamics.

### 6\. Reproducibility

The reproducibility bundle (`debris-kn-bundle.zip`, available from the author; not linked here) contains: `debris_kn.py` (simulator, all rules and alternatives), `run1b.py` (observational sweep), `run2_intervention.py` (exact Δ\\Deltaand paired arms), `run3a.py`, `run3b.py`, `run3c.py` (identification battery and curves), `sweep_n{4,6,8}.json`, `results_intervention.json`, `results_identify_{a,b,c}.json`, `results_obs_robust.json`. Seeds are fixed in each script (sweep: 1000+7n+10λ1000+7n+10\\lambda; interventions: 500+n500+n, 700700, 900900, 901901, 12001200, 1300+n1300+n, 14001400; decompositions: 1111, 2121to 2323, 3131to 3333). Sample sizes appear in each table. Uncertainty is binomial SE on proportions; paired contrasts use the difference of arm proportions, which is conservative under common random numbers. Requires Python 3 with NumPy and SymPy.

Every exact result has a Monte Carlo comparison: pm(h)p\_m(h)at 36 parameter cells and three large decompositions; Δj,1\\Delta\_{j,1}at six (n,design)(n,\\text{design})pairs and four further (n,w)(n,w)pairs; the K4K\_4constants 2297/60002297/6000, 10/2710/27, 1/31/3.

### 7\. Verdicts

**1\. Proved exactly.** For the permanent-deletion mechanism on KnK\_nwith uniform activations: N∣x∼Binomial(m−1,(x−h)+/x)N\\mid x\\sim\\mathrm{Binomial}(m-1,(x-h)\_+/x); the closed form pm(h)\=hmm+1−hm+1−(1−h)m+1h(m+1)p\_m(h)=\\frac{h^m}{m}+\\frac{1-h^{m+1}-(1-h)^{m+1}}{h(m+1)}with pm→1p\_m\\to1as h→0h\\to0, pm(1)\=1/mp\_m(1)=1/m, and BmB\_mstrictly decreasing in hh; independence of the first-return selection from λ\\lambdaunder assumptions A1 to A5; the marginal-design Δj,1\\Delta\_{j,1}as the stated finite sum and its closed form; the pinned-design Δj,1\=−1/m\\Delta\_{j,1}=-1/m; the step shape of the first-return intervention curve; and Δj,k\=0\\Delta\_{j,k}=0identically for every model whose update reads only the realized path.

**2\. Supported computationally only.** Later-return repeat probabilities and Δj,k\\Delta\_{j,k}for k≥2k\\ge2under every rule; the level structure of the reversible curve after hh; the sigmoid shape of the smooth-deletion curve; the non-monotonicity of BmB\_min mmat small hh(computed from the exact formula, not proved as an inequality); trapping fractions.

**3\. What identifies dependence on unrealized activation.** A nonzero Δj,1\\Delta\_{j,1}in the paired design. It is exactly zero for every model that does not read UtU\_t, with arbitrary latent memory of the realized path, and it is −0.37\-0.37(marginal, K4K\_4) for the debris mechanism. What it identifies is thresholded memory of unrealized activation in the first-return transition law. It does not identify where that memory is stored. This is the discriminating test the v0.2 note called for, now stated for general nnand with the class it defeats, and the class it does not, named precisely.

**4\. What remains compatible with other hidden mechanisms.** Everything beyond the threshold event. At k\=1k=1the intervention cannot distinguish permanent deletion from transient suppression, cannot see λ\\lambda, and cannot see residue accumulation. At every kkit cannot distinguish deletion from 𝒜t\\mathcal A\_tfrom persistent zero selection weight with 𝒜t\\mathcal A\_tunchanged. Distinguishing permanent from transient needs k≥2k\\ge2(Δj,2\\Delta\_{j,2}: −0.366\-0.366vs +0.011+0.011); distinguishing deletion from zero weight needs an executability probe Try(ej,Zt)\\operatorname{Try}(e\_j,Z\_t)defined independently of 𝒜t\\mathcal A\_t, which is an open protocol, not a result. Distinguishing hard reversible from permanent needs the post-hhlevel and its return-time dependence. Distinguishing smooth from hard needs the curve shape. None of these later tests has an exact result here.

**5\. Strongest falsification or limitation.** The reversible restoration rule tested in v0.2 at τ′\=0.6\\tau'=0.6is degenerate under λ\=0.5\\lambda=0.5: the earliest return is two steps, residue has decayed to at most 0.250.25, and 0.25<0.60.25<0.6, so every deleted edge is restored before it can matter. Its zero bias is therefore the stationary null, not a finding about reversibility, and the v0.2 sentence “most of the first-return effect disappears under the tested restoration rules” should be replaced by: the tested rule restores before the first possible return and is observationally the null; the τ′\=0.2\\tau'=0.2rule, which does bite, retains a reduced first-return bias (0.3560.356) and a reduced step (Δj,1\=−0.12\\Delta\_{j,1}=-0.12). The second limitation is the one in verdict 4: the first-return intervention identifies a threshold dependence on unrealized activation and nothing more specific than that. “Debris” as a persistent, decaying residue is not identified by it.

---

## What the tested model establishes

The realized path does not necessarily contain all information relevant to later behavior. In the specified model, two runs can share the same realized transition while differing only in an available but unrealized alternative, and nevertheless produce different future transition laws.

Intervention establishes causal dependence on that unrealized activation. It does not by itself identify whether the dependence is stored as deletion, temporary exclusion, zero selection weight, or another hidden mechanism. A separately validated executability probe can distinguish feasibility from natural suppression.

The result is therefore narrow: unrealized alternatives can carry detectable causal consequences within this stochastic process. No physical debris field, geometry, or spacetime interpretation follows from the theorem.

*This section summarizes the results through the executability test; it does not confer derived status on the open constructions above.*