Design 39 bus-and-switch: the lead's answer B25, the bindings verb answers the licence's key

Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ
2026-11-11 23:31:45 +01:00
parent 128236e7a0
commit fe3b86d65f
1 changed files with 4 additions and 0 deletions
@@ -496,3 +496,7 @@ written; they are cited as "design 39 bus-and-switch B*n*".
  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).