Papers · Preprint
Six Birds Verified I: Layer Receipts and Purchase Laundering
Once something has been bought, can renaming or repackaging make it look like it was always free?
In plain words
A theory grows by adding things. Some of what it gains already followed from its starting points. The rest was bought: added as a new commitment, from a named source, at a price. Later, when a bought item is built into a newer theory, it costs nothing further to use. A record that keeps only the present view can then make it look as if it was never bought. The paper calls this purchase laundering, and the axiom of choice in set theory is its running example.
The central law says the present can change while the past cannot. Building a purchase into a later theory makes the item free there, yet its source and price stay in an append only history. Renaming the theory in a way that carries its starting points and its closure along carries the whole purchase history too. In the other direction, the paper takes one lawful record and nine ways of damaging it, such as deleting the source or zeroing the price. All 511 nonempty combinations leave the current view unchanged, and every one is caught as unlawful.
Price is not one number. It has nine parts, from the assumption made to the debt left open, and no single score orders them exactly. Two changes that look the same locally can carry different prices. Finally, a finite tower of audits can never certify its own top level. The number of lawful ways to arrange who certifies whom on n levels grows as 1, 1, 3, 21, 315 and faster than any exponential. Everything is finite and exact, with a Lean 4 formalization.
What it shows
- Compiling a purchase makes an item free now while its historical price survives.
- Renaming alone cannot turn a bought item into one that was never bought.
- Price is a nine part vector with no exact single score.
- An audit tower cannot certify its own top, with an exact count of lawful towers.
What it does not claim
A well formed record does not show that the source it names is true. Free here means needing no further extension, not cheap to run or maintain, and the audit tower result is a finite structural fact, not a theorem about every kind of self reference.
Cite
Tsiokos, I. (2026). Six Birds Verified I: Layer Receipts and Purchase Laundering. Zenodo. https://doi.org/10.5281/zenodo.23097908