Value ledger
Every settled swap is one constraint asserting two bundles were worth the same. This is the append-only record of what each taught the archetype graph — and of the damping applied when the parties look like a wash-trading ring.
No swaps settled yet
The ledger fills as trades complete. Nothing here is seeded, deliberately — a fabricated trade history would make the valuation model look better than it is.