[Dijkstra] LEDGER-pov: fix deposit-accounting bugs + assembly interface note + Agda tooling#1219

williamdemeo merged 4 commits into

1187-dijkstra-NEW-ENTITIES-ledger-povIntersectMBO/formal-ledger-specifications:1187-dijkstra-NEW-ENTITIES-ledger-povfrom

claude/peaceful-carson-u3ojhcIntersectMBO/formal-ledger-specifications:claude/peaceful-carson-u3ojhcCopy head branch name to clipboard