4 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	5e373af70d	R-1 rest, R-12, R-13: the capability words are mesh-sdk's, the ledger's fill and removal are answered, the artifact states the words ... sent-get is under sent-objects-calls; mesh/ledger.fill answers the history's fill against its cap and mesh/ledger.remove removes an instance's operations, snapshot, state and index entries, both under ledger-upkeep-calls; the runtime artifact's `states` is exactly the words the runner states. Builds: design 47 G §462, §488, §545, §587, §622, §155 Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 05:02:04 +01:00
jschoubben	961ec0ef96	Append and snapshot a ledger on mesh-sdk's ledger subjects, the ones its account is granted, refusing a binding naming others (issue 1966 T6)	2026-11-03 15:17:12 +01:00
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