Design 42 zfs-owns-zfs: A-39 and A-40, met in develop

2026-11-13 01:10:19 +01:00
parent 0f9ab08e2d
commit f7d066fb32
1 changed files with 5 additions and 0 deletions
@@ -144,3 +144,8 @@ settles it (`00-META/principles.md`), cited as "design 42 zfs-owns-zfs A-n". The
  process-bus rule), and the grants (mesh-grants) give the process's account publish on that stream's subjects of
  its own node and the reads and writes of those states, as they give a module's tools account today. A name its
  module does not ask for is refused as today.
+- **A-39** (A-37, A-17, met in develop; principle 7) The keeper's closed list of calls also reads: `get` one key and
+  `keys` of the same three states, since the run reads a hand act's key and the apply its state `applied`.
+- **A-40** (A-36, met in develop; principle 3) A ledger instance not yet written is the tool runner's answer to
+  `mesh/ledger.get` with a state `null` and sequence 0 (the tool runner's `internal/ledger/read.go` `Get`, in mesh-tools), never
+  an error: the module reads it so, and recognises no error by its text.