Theorem_ledger.md(github.com)

https://github.com/affectively-ai/aeon/blob/main/docs/ebooks/145-log-rolling-pipelined-prefill/companion-tests/formal/THEOREM_LEDGER.md