@serfab/cadre-core 1.16.0 → 1.18.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (268) hide show
  1. package/README.md +4 -3
  2. package/dist/bootstrap-peer-store-file.js +1 -1
  3. package/dist/bootstrap-peer-store.d.ts +1 -1
  4. package/dist/bootstrap-peer-store.js +4 -4
  5. package/dist/cadre-invite-protocol.d.ts +81 -142
  6. package/dist/cadre-invite-protocol.js +168 -458
  7. package/dist/cadre-invite-protocol.js.map +1 -1
  8. package/dist/cadre-join-request.d.ts +15 -2
  9. package/dist/cadre-join-request.js +22 -3
  10. package/dist/cadre-join-request.js.map +1 -1
  11. package/dist/cadre-node.d.ts +1089 -475
  12. package/dist/cadre-node.js +2170 -1037
  13. package/dist/cadre-node.js.map +1 -1
  14. package/dist/control-authorization.d.ts +36 -14
  15. package/dist/control-authorization.js +20 -3
  16. package/dist/control-authorization.js.map +1 -1
  17. package/dist/control-cohort.d.ts +88 -32
  18. package/dist/control-cohort.js +91 -33
  19. package/dist/control-cohort.js.map +1 -1
  20. package/dist/control-database.d.ts +856 -318
  21. package/dist/control-database.js +1422 -701
  22. package/dist/control-database.js.map +1 -1
  23. package/dist/control-formation-recorder.d.ts +46 -43
  24. package/dist/control-formation-recorder.js +77 -78
  25. package/dist/control-formation-recorder.js.map +1 -1
  26. package/dist/control-protocol-guard.d.ts +11 -4
  27. package/dist/control-protocol-guard.js +20 -5
  28. package/dist/control-protocol-guard.js.map +1 -1
  29. package/dist/control-schema-version.d.ts +97 -0
  30. package/dist/control-schema-version.js +225 -0
  31. package/dist/control-schema-version.js.map +1 -0
  32. package/dist/control-schema.d.ts +45 -5
  33. package/dist/control-schema.js +262 -78
  34. package/dist/control-schema.js.map +1 -1
  35. package/dist/control-write-retry.d.ts +45 -10
  36. package/dist/control-write-retry.js +92 -22
  37. package/dist/control-write-retry.js.map +1 -1
  38. package/dist/delegate-admission.d.ts +13 -0
  39. package/dist/delegate-admission.js +27 -0
  40. package/dist/delegate-admission.js.map +1 -1
  41. package/dist/ed25519-key.d.ts +10 -7
  42. package/dist/ed25519-key.js +23 -20
  43. package/dist/ed25519-key.js.map +1 -1
  44. package/dist/edge-node/config.d.ts +122 -0
  45. package/dist/edge-node/config.js +199 -0
  46. package/dist/edge-node/config.js.map +1 -0
  47. package/dist/edge-node/dissolve.d.ts +95 -0
  48. package/dist/edge-node/dissolve.js +184 -0
  49. package/dist/edge-node/dissolve.js.map +1 -0
  50. package/dist/edge-node/edge-join.d.ts +44 -0
  51. package/dist/edge-node/edge-join.js +227 -0
  52. package/dist/edge-node/edge-join.js.map +1 -0
  53. package/dist/edge-node/edge-node.d.ts +295 -0
  54. package/dist/edge-node/edge-node.js +704 -0
  55. package/dist/edge-node/edge-node.js.map +1 -0
  56. package/dist/edge-node/index.d.ts +18 -0
  57. package/dist/edge-node/index.js +18 -0
  58. package/dist/edge-node/index.js.map +1 -0
  59. package/dist/edge-node/join-credential.d.ts +11 -0
  60. package/dist/edge-node/join-credential.js +11 -0
  61. package/dist/edge-node/join-credential.js.map +1 -0
  62. package/dist/edge-node/lazy-raw-storage.d.ts +40 -0
  63. package/dist/edge-node/lazy-raw-storage.js +134 -0
  64. package/dist/edge-node/lazy-raw-storage.js.map +1 -0
  65. package/dist/edge-node/node-local.d.ts +60 -0
  66. package/dist/edge-node/node-local.js +58 -0
  67. package/dist/edge-node/node-local.js.map +1 -0
  68. package/dist/edge-node/options.d.ts +83 -0
  69. package/dist/edge-node/options.js +110 -0
  70. package/dist/edge-node/options.js.map +1 -0
  71. package/dist/edge-node/owner-grant.d.ts +41 -0
  72. package/dist/edge-node/owner-grant.js +38 -0
  73. package/dist/edge-node/owner-grant.js.map +1 -0
  74. package/dist/edge-node/platform.d.ts +140 -0
  75. package/dist/edge-node/platform.js +12 -0
  76. package/dist/edge-node/platform.js.map +1 -0
  77. package/dist/edge-node/strand-move.d.ts +115 -0
  78. package/dist/edge-node/strand-move.js +223 -0
  79. package/dist/edge-node/strand-move.js.map +1 -0
  80. package/dist/edge-node/strands.d.ts +28 -0
  81. package/dist/edge-node/strands.js +60 -0
  82. package/dist/edge-node/strands.js.map +1 -0
  83. package/dist/enrolled-machine-store.d.ts +3 -3
  84. package/dist/enrolled-machine-store.js +3 -3
  85. package/dist/formation-token.d.ts +48 -0
  86. package/dist/formation-token.js +26 -0
  87. package/dist/formation-token.js.map +1 -0
  88. package/dist/index.d.ts +27 -17
  89. package/dist/index.js +39 -17
  90. package/dist/index.js.map +1 -1
  91. package/dist/joined-strand-store.d.ts +29 -12
  92. package/dist/joined-strand-store.js +66 -27
  93. package/dist/joined-strand-store.js.map +1 -1
  94. package/dist/key-store.d.ts +9 -4
  95. package/dist/key-store.js +9 -4
  96. package/dist/key-store.js.map +1 -1
  97. package/dist/link-budget.d.ts +9 -7
  98. package/dist/link-budget.js +9 -7
  99. package/dist/link-budget.js.map +1 -1
  100. package/dist/machine-removal.d.ts +19 -39
  101. package/dist/machine-removal.js +24 -98
  102. package/dist/machine-removal.js.map +1 -1
  103. package/dist/member-redemption.d.ts +256 -0
  104. package/dist/member-redemption.js +490 -0
  105. package/dist/member-redemption.js.map +1 -0
  106. package/dist/membership-view.d.ts +91 -0
  107. package/dist/membership-view.js +110 -0
  108. package/dist/membership-view.js.map +1 -0
  109. package/dist/owner-anchor-sync.d.ts +4 -4
  110. package/dist/owner-anchor-sync.js +16 -15
  111. package/dist/owner-anchor-sync.js.map +1 -1
  112. package/dist/owner-grant-protocol.d.ts +251 -0
  113. package/dist/owner-grant-protocol.js +344 -0
  114. package/dist/owner-grant-protocol.js.map +1 -0
  115. package/dist/owner-key-export.d.ts +70 -0
  116. package/dist/owner-key-export.js +279 -0
  117. package/dist/owner-key-export.js.map +1 -0
  118. package/dist/owner-key-flows.d.ts +55 -0
  119. package/dist/owner-key-flows.js +60 -0
  120. package/dist/owner-key-flows.js.map +1 -0
  121. package/dist/owner-key-store.d.ts +31 -0
  122. package/dist/owner-key-store.js +81 -0
  123. package/dist/owner-key-store.js.map +1 -0
  124. package/dist/owner-keys.d.ts +78 -0
  125. package/dist/owner-keys.js +133 -0
  126. package/dist/owner-keys.js.map +1 -0
  127. package/dist/owner-signer.d.ts +54 -0
  128. package/dist/owner-signer.js +51 -0
  129. package/dist/owner-signer.js.map +1 -0
  130. package/dist/peer-addr-book.d.ts +10 -1
  131. package/dist/peer-addr-book.js +4 -3
  132. package/dist/peer-addr-book.js.map +1 -1
  133. package/dist/peer-authorization.d.ts +83 -18
  134. package/dist/peer-authorization.js +123 -53
  135. package/dist/peer-authorization.js.map +1 -1
  136. package/dist/peer-join-backfill.d.ts +89 -20
  137. package/dist/peer-join-backfill.js +265 -108
  138. package/dist/peer-join-backfill.js.map +1 -1
  139. package/dist/pending-join-runner.d.ts +48 -18
  140. package/dist/pending-join-runner.js +74 -56
  141. package/dist/pending-join-runner.js.map +1 -1
  142. package/dist/provider/rent-node.js +1 -1
  143. package/dist/provider/rent-node.js.map +1 -1
  144. package/dist/seed-bootstrap.d.ts +162 -133
  145. package/dist/seed-bootstrap.js +300 -283
  146. package/dist/seed-bootstrap.js.map +1 -1
  147. package/dist/seed-trust-policy.js +4 -4
  148. package/dist/strand-addr-protocol.d.ts +4 -1
  149. package/dist/strand-addr-protocol.js +8 -2
  150. package/dist/strand-addr-protocol.js.map +1 -1
  151. package/dist/strand-cohort.d.ts +3 -0
  152. package/dist/strand-cohort.js.map +1 -1
  153. package/dist/strand-database.d.ts +24 -2
  154. package/dist/strand-database.js +29 -6
  155. package/dist/strand-database.js.map +1 -1
  156. package/dist/strand-first-sync-gate.d.ts +176 -88
  157. package/dist/strand-first-sync-gate.js +288 -121
  158. package/dist/strand-first-sync-gate.js.map +1 -1
  159. package/dist/strand-formation-deadlines.d.ts +9 -9
  160. package/dist/strand-formation-deadlines.js +9 -9
  161. package/dist/strand-formation-manager.d.ts +23 -17
  162. package/dist/strand-formation-manager.js +46 -44
  163. package/dist/strand-formation-manager.js.map +1 -1
  164. package/dist/strand-formation-protocol.d.ts +5 -8
  165. package/dist/strand-formation-protocol.js +101 -16
  166. package/dist/strand-formation-protocol.js.map +1 -1
  167. package/dist/strand-instance-manager.d.ts +27 -18
  168. package/dist/strand-instance-manager.js +119 -50
  169. package/dist/strand-instance-manager.js.map +1 -1
  170. package/dist/strand-membership-reconciler.d.ts +16 -13
  171. package/dist/strand-membership-reconciler.js +30 -22
  172. package/dist/strand-membership-reconciler.js.map +1 -1
  173. package/dist/strand-membership-writer.d.ts +45 -22
  174. package/dist/strand-membership-writer.js +226 -131
  175. package/dist/strand-membership-writer.js.map +1 -1
  176. package/dist/strand-move.d.ts +6 -5
  177. package/dist/strand-move.js +36 -32
  178. package/dist/strand-move.js.map +1 -1
  179. package/dist/strand-peer-redial.js +2 -3
  180. package/dist/strand-peer-redial.js.map +1 -1
  181. package/dist/strand-revocation-enforcer.d.ts +134 -60
  182. package/dist/strand-revocation-enforcer.js +144 -71
  183. package/dist/strand-revocation-enforcer.js.map +1 -1
  184. package/dist/strand-solicitation.d.ts +50 -39
  185. package/dist/strand-solicitation.js +10 -3
  186. package/dist/strand-solicitation.js.map +1 -1
  187. package/dist/strand-watcher.d.ts +80 -13
  188. package/dist/strand-watcher.js +152 -48
  189. package/dist/strand-watcher.js.map +1 -1
  190. package/dist/table-change-watch.d.ts +63 -0
  191. package/dist/table-change-watch.js +209 -0
  192. package/dist/table-change-watch.js.map +1 -0
  193. package/dist/timeout-scheduler.d.ts +4 -3
  194. package/dist/timeout-scheduler.js +4 -3
  195. package/dist/timeout-scheduler.js.map +1 -1
  196. package/dist/types.d.ts +374 -150
  197. package/dist/types.js +4 -4
  198. package/dist/types.js.map +1 -1
  199. package/package.json +17 -8
  200. package/src/bootstrap-peer-store-file.ts +44 -44
  201. package/src/bootstrap-peer-store.ts +214 -214
  202. package/src/cadre-invite-protocol.ts +740 -1052
  203. package/src/cadre-join-request.ts +24 -3
  204. package/src/cadre-node.ts +2402 -1079
  205. package/src/control-authorization.ts +47 -14
  206. package/src/control-cohort.ts +204 -128
  207. package/src/control-database.ts +1749 -820
  208. package/src/control-formation-recorder.ts +359 -353
  209. package/src/control-protocol-guard.ts +23 -6
  210. package/src/control-schema-version.ts +301 -0
  211. package/src/control-schema.ts +273 -78
  212. package/src/control-write-retry.ts +641 -567
  213. package/src/delegate-admission.ts +351 -314
  214. package/src/ed25519-key.ts +174 -171
  215. package/src/edge-node/config.ts +277 -0
  216. package/src/edge-node/dissolve.ts +251 -0
  217. package/src/edge-node/edge-join.ts +319 -0
  218. package/src/edge-node/edge-node.ts +1045 -0
  219. package/src/edge-node/index.ts +59 -0
  220. package/src/edge-node/join-credential.ts +16 -0
  221. package/src/edge-node/lazy-raw-storage.ts +178 -0
  222. package/src/edge-node/node-local.ts +84 -0
  223. package/src/edge-node/options.ts +179 -0
  224. package/src/edge-node/owner-grant.ts +63 -0
  225. package/src/edge-node/platform.ts +151 -0
  226. package/src/edge-node/strand-move.ts +270 -0
  227. package/src/edge-node/strands.ts +72 -0
  228. package/src/enrolled-machine-store.ts +3 -3
  229. package/src/formation-token.ts +63 -0
  230. package/src/index.ts +899 -789
  231. package/src/joined-strand-store.ts +73 -28
  232. package/src/key-store.ts +10 -4
  233. package/src/link-budget.ts +9 -7
  234. package/src/machine-removal.ts +26 -111
  235. package/src/member-redemption.ts +649 -0
  236. package/src/membership-view.ts +144 -0
  237. package/src/owner-anchor-sync.ts +19 -18
  238. package/src/owner-grant-protocol.ts +547 -0
  239. package/src/owner-key-export.ts +348 -0
  240. package/src/owner-key-flows.ts +109 -0
  241. package/src/owner-key-store.ts +85 -0
  242. package/src/owner-keys.ts +178 -0
  243. package/src/owner-signer.ts +94 -0
  244. package/src/peer-addr-book.ts +4 -3
  245. package/src/peer-authorization.ts +558 -488
  246. package/src/peer-join-backfill.ts +971 -761
  247. package/src/pending-join-runner.ts +76 -53
  248. package/src/provider/rent-node.ts +1 -1
  249. package/src/seed-bootstrap.ts +343 -349
  250. package/src/seed-trust-policy.ts +4 -4
  251. package/src/strand-addr-protocol.ts +547 -538
  252. package/src/strand-cohort.ts +4 -0
  253. package/src/strand-database.ts +352 -319
  254. package/src/strand-first-sync-gate.ts +334 -133
  255. package/src/strand-formation-deadlines.ts +227 -227
  256. package/src/strand-formation-manager.ts +731 -725
  257. package/src/strand-formation-protocol.ts +122 -24
  258. package/src/strand-instance-manager.ts +2092 -2026
  259. package/src/strand-membership-reconciler.ts +33 -25
  260. package/src/strand-membership-writer.ts +2093 -1974
  261. package/src/strand-move.ts +50 -38
  262. package/src/strand-peer-redial.ts +2 -3
  263. package/src/strand-revocation-enforcer.ts +740 -654
  264. package/src/strand-solicitation.ts +61 -34
  265. package/src/strand-watcher.ts +175 -56
  266. package/src/table-change-watch.ts +285 -0
  267. package/src/timeout-scheduler.ts +29 -28
  268. package/src/types.ts +391 -152
@@ -0,0 +1,178 @@
1
+ /**
2
+ * Owner keys as an app lists, adds and removes them (`CadreNode.listOwnerKeys`,
3
+ * `CadreNode.addOwner`, `CadreNode.planOwnerKeyRemoval`, `CadreNode.removeOwner`): the
4
+ * projection of the live `OwnerKey` rows an owner-key screen shows, the read-only plan behind a
5
+ * removal's confirmation step, the check that a requested re-vouch stays inside that plan, and
6
+ * the by-name refusals. Pure; the reads and writes themselves are `CadreNode`'s and
7
+ * `ControlDatabase`'s.
8
+ */
9
+
10
+ import type {
11
+ CadreOwnerKey,
12
+ CadrePeerRow,
13
+ OwnerGrantStatus,
14
+ OwnerKeyAddRefusal,
15
+ OwnerKeyDependents,
16
+ OwnerKeyRemovalPlan,
17
+ OwnerKeyRemovalRefusal,
18
+ OwnerKeyRow,
19
+ RemoveOwnerOptions,
20
+ } from './types.js';
21
+
22
+ /**
23
+ * `CadreNode.addOwner` refused by name, before any write. `code` says which rule
24
+ * ({@link OwnerKeyAddRefusal}), for an app to switch on; the message is for a log.
25
+ */
26
+ export class OwnerKeyAddRefusedError extends Error {
27
+ readonly code: OwnerKeyAddRefusal;
28
+ readonly key: string;
29
+
30
+ constructor(key: string, code: OwnerKeyAddRefusal) {
31
+ super(`Cannot add owner key ${key}: ${OWNER_KEY_ADD_REFUSAL_REASON[code]}`);
32
+ this.name = 'OwnerKeyAddRefusedError';
33
+ this.code = code;
34
+ this.key = key;
35
+ }
36
+ }
37
+
38
+ const OWNER_KEY_ADD_REFUSAL_REASON: Record<OwnerKeyAddRefusal, string> = {
39
+ 'alone': 'this node has no connection to the rest of the cadre, and an owner key added now would reach no other machine; try again once connected',
40
+ };
41
+
42
+ /**
43
+ * `CadreNode.removeOwner` refused by name, before any write. `code` says which rule
44
+ * ({@link OwnerKeyRemovalRefusal}), for an app to switch on; the message is for a log.
45
+ */
46
+ export class OwnerKeyRemovalRefusedError extends Error {
47
+ readonly code: OwnerKeyRemovalRefusal;
48
+ readonly key: string;
49
+
50
+ constructor(key: string, code: OwnerKeyRemovalRefusal) {
51
+ super(`Cannot remove owner key ${key}: ${OWNER_KEY_REMOVAL_REFUSAL_REASON[code]}`);
52
+ this.name = 'OwnerKeyRemovalRefusedError';
53
+ this.code = code;
54
+ this.key = key;
55
+ }
56
+ }
57
+
58
+ const OWNER_KEY_REMOVAL_REFUSAL_REASON: Record<OwnerKeyRemovalRefusal, string> = {
59
+ 'not-an-owner': 'this node holds no enrolled owner key',
60
+ 'unknown': 'it is not a live owner key here',
61
+ 'last-owner': 'it is the only live owner key',
62
+ 'self': 'it is the owner key of this node, and an owner key cannot sign its own removal; ask another owner key',
63
+ 'alone': 'this node has no connection to the rest of the cadre, and an owner key re-vouched now would reach no other machine; try again once connected',
64
+ };
65
+
66
+ /** An owner key as an approval prompt names it: `"label" (key)`, or the key alone when it has no label. */
67
+ export function namedOwnerKey(key: string, label: string | null): string {
68
+ return label === null ? key : `"${label}" (${key})`;
69
+ }
70
+
71
+ /**
72
+ * One {@link CadreOwnerKey} per live row, in the rows' order. `heldKey` is the key of this
73
+ * node's owner signer, if one is wired; `anchor` is this node's trusted-owner anchor.
74
+ */
75
+ export function describeOwnerKeys(rows: readonly OwnerKeyRow[], heldKey: string | null, anchor: ReadonlySet<string>): CadreOwnerKey[] {
76
+ return rows.map((row) => ({
77
+ key: row.key,
78
+ label: row.label,
79
+ vouchedBy: row.vouchOwner,
80
+ heldHere: row.key === heldKey,
81
+ trusted: anchor.has(row.key),
82
+ }));
83
+ }
84
+
85
+ /** What {@link planOwnerKeyRemoval} judges from: one node's live rows and its own standing. */
86
+ export interface OwnerKeyRemovalPlanInput {
87
+ key: string;
88
+ /** Live `CadrePeer` rows (`ControlDatabase.queryCadrePeers`). */
89
+ rows: readonly CadrePeerRow[];
90
+ /** Live `OwnerKey` rows (`ControlDatabase.queryOwnerKeyRows`). */
91
+ owners: readonly OwnerKeyRow[];
92
+ /** Every owner grant with its standing (`ControlDatabase.listOwnerGrantStatuses`); the live ones the key issued are the plan's `grants`. */
93
+ grants: readonly OwnerGrantStatus[];
94
+ selfPeerId: string | null;
95
+ /** The key of this node's owner signer when it is an enrolled owner (`CadreNode.ownerSignerEnrolledIn`), or null when it cannot sign owner writes. */
96
+ selfOwnerKey: string | null;
97
+ /** This node's trusted-owner anchor, for the listed entry's `trusted`. */
98
+ anchor: ReadonlySet<string>;
99
+ }
100
+
101
+ /**
102
+ * The plan for removing owner key `key` from these rows. The refusals come first and by name: a
103
+ * node that cannot sign; a key with no live row; the only live owner key (`MinOneOwner`), ahead
104
+ * of `self` so a sole owner asking to remove its own key hears the rule no other owner could
105
+ * get past either; and this node's own key, since the schema's remove branch wants a signer
106
+ * other than the removed key. With this node enrolled, a different live key always leaves two
107
+ * owners in one read, so `last-owner` reaches only that case, and concurrent removals elsewhere
108
+ * leave the schema to decide.
109
+ *
110
+ * `dependents` are the rows the key vouched, which every reader judges against its anchor
111
+ * through `VouchOwner`: once the key is removed they stop passing the membership predicate on
112
+ * every machine unless re-vouched first. This node's own rows are not among them. Its own
113
+ * `CadrePeer` row is re-vouched unasked (`revouchesOwnRow`): left on the removed key, every other
114
+ * machine would drop the remover. Its own `OwnerKey` row is reported as `ownDependency`, since
115
+ * re-vouching it would mean signing its own removal.
116
+ *
117
+ * `grants` are the live owner grants the key issued: a redemption wants a live issuer, so they
118
+ * stop working with the removal. They are listed, not withdrawn (`removeOwner` leaves them: a
119
+ * tombstone over a grant that can no longer be redeemed would add nothing).
120
+ */
121
+ export function planOwnerKeyRemoval(input: OwnerKeyRemovalPlanInput): OwnerKeyRemovalPlan {
122
+ const row = input.owners.find((owner) => owner.key === input.key) ?? null;
123
+ return {
124
+ ownerKey: row === null ? null : describeOwnerKeys([row], input.selfOwnerKey, input.anchor)[0],
125
+ refusal: removalRefusalFor(input, row !== null),
126
+ dependents: dependentsOf(input),
127
+ revouchesOwnRow: input.rows.some((own) => own.peerId === input.selfPeerId && own.vouchOwner === input.key),
128
+ ownDependency: input.owners.some((own) => own.key === input.selfOwnerKey && own.vouchOwner === input.key),
129
+ grants: input.grants.filter((status) => status.live && status.grant.issuerKey === input.key).map((status) => status.grant),
130
+ };
131
+ }
132
+
133
+ function removalRefusalFor(input: OwnerKeyRemovalPlanInput, live: boolean): OwnerKeyRemovalPlan['refusal'] {
134
+ if (input.selfOwnerKey === null) {
135
+ return 'not-an-owner';
136
+ }
137
+ if (!live) {
138
+ return 'unknown';
139
+ }
140
+ if (input.owners.length <= 1) {
141
+ return 'last-owner';
142
+ }
143
+ if (input.key === input.selfOwnerKey) {
144
+ return 'self';
145
+ }
146
+ return null;
147
+ }
148
+
149
+ function dependentsOf(input: OwnerKeyRemovalPlanInput): OwnerKeyDependents {
150
+ return {
151
+ owners: input.owners
152
+ .filter((owner) => owner.vouchOwner === input.key && owner.key !== input.key && owner.key !== input.selfOwnerKey)
153
+ .map((owner) => owner.key),
154
+ peers: input.rows
155
+ .filter((row) => row.vouchOwner === input.key && row.peerId !== input.selfPeerId)
156
+ .map((row) => row.peerId),
157
+ };
158
+ }
159
+
160
+ /**
161
+ * The re-vouch `CadreNode.removeOwner` makes: what the caller asked for, checked against the
162
+ * plan, plus this node's own row (`selfPeerId`, first) when `plan.revouchesOwnRow`. Every
163
+ * requested key and peer must be in `plan.dependents`, so a caller cannot re-vouch a row the
164
+ * removed key never vouched. Throws naming the offenders, before anything is written.
165
+ * Duplicates are dropped.
166
+ */
167
+ export function revouchWithinPlan(plan: OwnerKeyRemovalPlan, revouch: RemoveOwnerOptions['revouch'], selfPeerId: string | null): OwnerKeyDependents {
168
+ const owners = [...new Set(revouch?.owners ?? [])];
169
+ const peers = [...new Set(revouch?.peers ?? [])];
170
+ const strayOwners = owners.filter((key) => !plan.dependents.owners.includes(key));
171
+ const strayPeers = peers.filter((peerId) => !plan.dependents.peers.includes(peerId));
172
+ if (strayOwners.length > 0 || strayPeers.length > 0) {
173
+ throw new Error(
174
+ `removeOwner: re-vouch names rows the removed owner key did not vouch: ${[...strayOwners, ...strayPeers].join(', ')}`,
175
+ );
176
+ }
177
+ return { owners, peers: plan.revouchesOwnRow && selfPeerId !== null ? [selfPeerId, ...peers] : peers };
178
+ }
@@ -0,0 +1,94 @@
1
+ /**
2
+ * The owner signer: the one interface a node's owner signatures go through
3
+ * (`docs/architecture.md` → Owner Keys → The owner signer).
4
+ *
5
+ * cadre-core needs owner signatures, never an owner private key, so a backend that keeps the
6
+ * key where the node cannot read it (a hardware key, a vault behind biometrics) fits the same
7
+ * seam as {@link softwareOwnerSigner}.
8
+ *
9
+ * Imports only `@optimystic/quereus-plugin-crypto` and `uint8arrays`, so it loads on React
10
+ * Native and in the browser.
11
+ */
12
+ import { toString as uint8ArrayToString } from 'uint8arrays';
13
+ import { sign } from '@optimystic/quereus-plugin-crypto';
14
+ import { ed25519PublicKeyFromPrivate, requireEd25519PrivateKeyB64 } from './ed25519-key.js';
15
+
16
+ /** What a backend that asks the user shows them. */
17
+ export interface OwnerSigningRequest {
18
+ /** The cadre the signatures are for. Every owner digest already binds it (`party_id()`); a prompting backend shows it. */
19
+ partyId: string;
20
+ /** What the user is approving, in plain words ("Remove the machine 12D3…", "Add owner key ‹label›"). */
21
+ action: string;
22
+ }
23
+
24
+ /** Signs one message (the raw bytes of an owner digest, e.g. `buildAuthorizationMessage` output); resolves to a base64url Ed25519 signature. */
25
+ export type OwnerSign = (message: Uint8Array) => Promise<string>;
26
+
27
+ /**
28
+ * An owner key the node can ask for signatures.
29
+ *
30
+ * One action, one {@link approve} call, however many rows it signs: the control schema verifies
31
+ * one signature per row, and one owner action writes several (a removal signs the delete and its
32
+ * `Revocation` tombstone; a machine removal signs many). A hardware or biometric backend prompts
33
+ * once per call, as PIV touch caching and the platform vaults' authentication-validity windows
34
+ * allow. Handing the signer every digest up front was declined: each writer reads the stamps it
35
+ * signs inside its write lock, so precomputing them would duplicate each writer's digest
36
+ * construction outside it.
37
+ */
38
+ export interface OwnerSigner {
39
+ /** base64url Ed25519 public key — the `OwnerKey.Key` this signer signs for. */
40
+ readonly publicKey: string;
41
+ /**
42
+ * Run one user-approved action. A backend that prompts does so at most once per call and may
43
+ * keep the user's presence until `body` settles. Rejects with {@link OwnerSigningDeclinedError}
44
+ * when the user declines, and with whatever `body` rejects with otherwise.
45
+ */
46
+ approve<T>(request: OwnerSigningRequest, body: (sign: OwnerSign) => Promise<T>): Promise<T>;
47
+ }
48
+
49
+ /**
50
+ * Run `body` inside the caller's open approval when it passes `sign`, else inside one new
51
+ * approval of `signer` for `request`. An owner write that is sometimes a whole action and
52
+ * sometimes one step of a larger one takes an optional `sign` and goes through this, so the
53
+ * larger action still asks once.
54
+ */
55
+ export async function withinOwnerApproval<T>(
56
+ signer: OwnerSigner,
57
+ request: OwnerSigningRequest,
58
+ sign: OwnerSign | undefined,
59
+ body: (sign: OwnerSign) => Promise<T>
60
+ ): Promise<T> {
61
+ return sign ? await body(sign) : await signer.approve(request, body);
62
+ }
63
+
64
+ /** Thrown by a prompting backend when the user declines or the prompt times out. */
65
+ export class OwnerSigningDeclinedError extends Error {
66
+ readonly request: OwnerSigningRequest;
67
+
68
+ constructor(request: OwnerSigningRequest, options?: { cause?: unknown }) {
69
+ super(`Owner approval was declined or timed out: ${request.action}`, options);
70
+ this.name = 'OwnerSigningDeclinedError';
71
+ this.request = request;
72
+ }
73
+ }
74
+
75
+ /**
76
+ * An {@link OwnerSigner} over a private key held in memory: never prompts, signs whatever its
77
+ * `approve` body asks. Its signed input is the digest bytes, base64url-encoded, so its signatures
78
+ * are byte-for-byte those of any signer that signs the raw bytes with the same key (Ed25519 is
79
+ * deterministic).
80
+ *
81
+ * @param privateKeyB64 - The owner key's 32-byte Ed25519 seed, base64url.
82
+ * @throws If `privateKeyB64` is not a 32-byte seed in base64url.
83
+ */
84
+ export function softwareOwnerSigner(privateKeyB64: string): OwnerSigner {
85
+ const privateKey = requireEd25519PrivateKeyB64(privateKeyB64, 'owner private key');
86
+ const signMessage: OwnerSign = async (message) =>
87
+ sign(uint8ArrayToString(message, 'base64url'), privateKey, 'ed25519', 'base64url', 'base64url', 'base64url') as string;
88
+ return {
89
+ publicKey: ed25519PublicKeyFromPrivate(privateKey),
90
+ async approve<T>(_request: OwnerSigningRequest, body: (sign: OwnerSign) => Promise<T>): Promise<T> {
91
+ return await body(signMessage);
92
+ },
93
+ };
94
+ }
@@ -4,7 +4,7 @@
4
4
  * — Optimystic's cluster client, repo client, FRET ping/announce, all funnelling
5
5
  * into `libp2p.dialProtocol(peerId, …)` — has an address to use for a sibling
6
6
  * whose connection has dropped, instead of failing with `NoValidAddressesError`
7
- * until the next reconcile pass happens to re-dial it.
7
+ * until the reconcile pass the drop starts re-dials it.
8
8
  *
9
9
  * Shared by the control-cohort reconcile pass and the strand one (both in
10
10
  * `CadreNode`): each resolves a peer's addresses its own way and then needs
@@ -190,9 +190,10 @@ function lastAddressedPeerId(parsed: Multiaddr): string | null {
190
190
  * that id is the address's FIRST `/p2p/` component (`dedupe-addresses.js`), so a
191
191
  * plain address round-trips without its suffix while a relayed one — whose first
192
192
  * `/p2p/` names the relay — keeps it. Comparing and de-duplicating on this
193
- * suffix-stripped form matches either shape.
193
+ * suffix-stripped form matches either shape. `CadreNode.claimNode` compares a QR
194
+ * code's addresses with a connection's remote address on it for the same reason.
194
195
  */
195
- function addrKey(addr: string, peerId: PeerId): string {
196
+ export function addrKey(addr: string, peerId: PeerId): string {
196
197
  const suffix = `/p2p/${peerId.toString()}`;
197
198
  return addr.endsWith(suffix) ? addr.slice(0, -suffix.length) : addr;
198
199
  }