| … | … | @@ -926,6 +926,44 @@ un-catalysed fidelity — none of it touched. A bias in what is sustained, not a |
| 926 | 926 | **What it is.** The first replicated cross-rung result in the arc, and it survived the same |
| 927 | 927 | matched-condition check that retracted three other claims the same day. |
| 928 | 928 | |
| 929 | ## `threecarrier.c` — three attempts, three voids, and a sharper statement of the wall |
| 930 | |
| 931 | The arc had only ever tested **reachability** of parts, never **stability** of the whole. Every |
| 932 | failure had one shape — one object asked to do two jobs — and the two things that worked |
| 933 | (`linkage.c`, `rung45irr.c`) worked by making a coupling *structural* rather than elective. So: |
| 934 | three carriers (a boundary nobody maintains, a metabolism that produces, a template that only |
| 935 | remembers), seeded **complete**, asked only whether it persists. Gánti's chemoton, tested rather |
| 936 | than asserted. |
| 937 | |
| 938 | **All three attempts were void, and each fix exposed a deeper flaw:** |
| 939 | |
| 940 | | attempt | fault | caught by | |
| 941 | |---|---|---| |
| 942 | | 1 | production **replaced** each compartment instead of adding to it — every arm starved to extinction (FULL ended at 0 units *and* 0 parasites, which is death, not collapse) | reading the parasite column | |
| 943 | | 2 | the K1 "decoupled" control gave growth `GROW*CAP*0.5` = 4.4, **identical by construction** to the coupled `GROW*nc` at nc≈8 | a T0 guard added after | |
| 944 | | 3 | payoff made expensive to rediscover (4 specific types of 16) — **templates still collapsed** | T0 again | |
| 945 | |
| 946 | **The wall, stated more sharply than before.** Templates sit at 0.006–0.010 in every arm of every |
| 947 | attempt. A template **costs a slot now**, lowering current function — and between-compartment |
| 948 | selection scores current function **every generation**. Its benefit is **deferred and conditional**: |
| 949 | it pays only if a type is later lost. Making rediscovery expensive raises the deferred payoff without |
| 950 | touching the immediate cost, so the trade is lost before it can be won. |
| 951 | |
| 952 | **And the obvious remedy collides with a measured result.** For the deferred benefit to land inside |
| 953 | the selection horizon, losses must be frequent — meaning few copies per type, meaning **small |
| 954 | compartments** — which is exactly the regime `fidfloor.c` measured as *destroying* sequence |
| 955 | information. Fourth time in the arc that the answer comes back *small compartments correct but |
| 956 | forget*. |
| 957 | |
| 958 | **This is not a parameter away from working**, which is why three voids were committed as voids |
| 959 | rather than patched into a fourth. The design does not converge; the question is still good. |
| 960 | |
| 961 | **The next step, and it does not collide with anything measured:** make the **environment fluctuate**. |
| 962 | If the target set changes over time, a type not needed now becomes needed later, and holding it in a |
| 963 | template pays *regularly* rather than *conditionally*. That converts a deferred benefit into a |
| 964 | recurring one without requiring small compartments — the standard route by which fluctuating |
| 965 | environments select for memory and bet-hedging. **Unbuilt.** |
| 966 | |
| 929 | 967 | ## What is proven vs open |
| 930 | 968 | |
| 931 | 969 | **Established here:** |
| … | … | @@ -985,6 +1023,10 @@ matched-condition check that retracted three other claims the same day. |
| 985 | 1023 | species against a permutation null at chance, replicated over 484 networks and an 8× density |
| 986 | 1024 | sweep. The **weak form**: enrichment, not heredity; a bias, not a bootstrap. ✓ |
| 987 | 1025 | |
| 1026 | - **Memory cannot pay under instantaneous selection** (`threecarrier.c`, three void attempts) — a |
| 1027 | template costs a slot now and pays only if something is later lost, while selection scores current |
| 1028 | function every generation. Recorded as a diagnosis, not a result: all three runs were void. ⚠ |
| 1029 | |
| 988 | 1030 | **Open (field-wide, not just here):** |
| 989 | 1031 | - **rung 1→2 (metabolism → heredity)** — genuinely unsolved; our null echoes it. `template.c` isolates |
| 990 | 1032 | the missing ingredient (a faithful modular copy/template) but does *not* show it arising unaided. |