Papers · Preprint
Six Birds Verified X: Wholes That Grow Each Other
What a whole keeps of its parts, and how to prove two parts really built each other.
In plain words
This paper takes the 944 state feedback network of Verified IX and asks what happens when parts become a whole. First, does the whole keep what each part could tell apart? A part's reading survives exactly when it does not vary inside any group of states the whole lumps together. Second, do parts that agree with each other locally make an admitted whole? Not always. On the network, 464 of the 1,408 assemblies that agree on every overlap are not admitted states. A law of motion for the whole exists exactly when allowed actions and transition rows do not vary inside those groups.
In the second part, two partners build each other's new code. One publishes a three instruction program. The other runs it, builds a wire table and a decoder, and sends the table back. The first turns the returned table into an encoder. Each new piece is built from the other partner's actual output, and from a blank start neither can commit its code without the peer. A finite checker, the Mutual Ontogenesis Certificate, verifies the whole episode. It refuses a run that starts with the finished code already stored, even though that run ends with the same behavior. Same ending, different origin.
The third part gives one typed categorical host where squares of routes paste together exactly, a square can carry a checked record of its run, and inexact squares carry a grade that adds up under pasting. It also marks where the usual laws stop. Values interchange, but histories do not, and a program whose net effect is nothing can still cost something.
What it shows
- A part's readout is recovered through a whole exactly when it is constant on the whole's fibers.
- Local agreement is not enough: 464 of 1,408 locally compatible assemblies are not admitted.
- Draining traffic before installing new code keeps safety only if the network is genuinely quiet.
- A reciprocal construction verified by one certificate, which refuses a stocked run with the same final behavior.
- Adapters that preserve meaning and can be read back preserve and reflect exactness and grades.
What it does not claim
It does not show that the partners manufacture their own support or maintain themselves indefinitely, and since a fixed interpreter can simulate the episode, it is no proof of strict irreducibility. The promoted whole is not claimed to be an individual in the sense of Foundations V. A complete record does not prove the recorded events physically occurred.
Cite
Tsiokos, I. (2026). Six Birds Verified X: Wholes That Grow Each Other. Zenodo. https://doi.org/10.5281/zenodo.23097934