Event ledger

Spec P5 running live: every graph mutation is an append-only row in Neon with a stored inverse. Nothing is updated in place — state at any moment is a left-fold over this log. Pick a point and replay to prove it.