2026-11-11 22:32:54 +00:00
1 changed files with 8 additions and 0 deletions
@@ -492,3 +492,11 @@ written; they are cited as "design 39 bus-and-switch B*n*".
 - **B21** (no tool reads the vault's `licence-bindings`): `vault_first_views` and `vault_first_view_again` cover it (P4).
 - **B22** (three internal forms): `bindings` stays at form 0; each reader decodes the event bodies with fixtures
  copied from the writer; nothing to build for an inheriting consumer (P7).
+- **B23** (what `licence-put` names a licence by): its `licence` argument is the licence's key of §10; the manager forms
+  keys, the vault does not (P8).
+- **B24** (an equal generation in `licence-put`): with the same value it is unchanged; with a different value it is
+  refused loudly as not newer (P3).
+- **B25** (the vault matching a token's secret name to a binding it learned at start): the `bindings` verb answers
+  `key` beside the §3 fields, as `binding.changed` does (B7); the vault's `licence-bindings` keeps `licence`, `key` and
+  `generation`, and compares the secret's key with the binding's key. One form travels; the vault never computes §10's
+  key form (P1, P7).