I built a strict double-entry ledger kernel (no floats, idempotent posting, posting templates)