Hash-chained audit log over Postgres
Postgres is proven; the chaining sits on top — each row writes the previous row's hash, and a startup-time chain-tip lookup resumes the sequence across restarts so a process bounce doesn't reset the chain. Ed25519 row-signatures are the next composition on top of this.