2 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	5a9e997349	Check a ledger operation against the types its binding carries, refusing a ledger bound with none (issue 1966 T2)	2026-11-03 15:15:58 +01:00
jschoubben	d206b0dde1	Prove against the real bus that the ledger keeps its promises: one writer wins, the state never goes back, a cut or full state catches up, the snapshot rebuilds, the repairs repair, a forged author is refused (issue 1966 T7)	2026-11-03 13:52:58 +01:00