brainclaw 1.21.0 → 1.23.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.
- package/dist/brainclaw-vscode.vsix +0 -0
- package/dist/cli/register-capture.js +15 -0
- package/dist/cli/register-cloud.js +63 -0
- package/dist/cli.js +2 -3
- package/dist/commands/cloud.js +198 -0
- package/dist/commands/loops-handlers.js +0 -1
- package/dist/commands/mcp-catalog.js +24 -256
- package/dist/commands/mcp-read-handlers.js +5 -1
- package/dist/commands/mcp-schemas.generated.js +811 -1
- package/dist/commands/mcp-write-coordination.js +16 -7
- package/dist/commands/mcp.js +45 -1
- package/dist/commands/memory-confirm.js +83 -0
- package/dist/commands/session-end.js +0 -102
- package/dist/commands/session-start.js +0 -23
- package/dist/commands/switch.js +24 -2
- package/dist/core/assignment-request-schema.js +112 -0
- package/dist/core/capture-schema.js +62 -0
- package/dist/core/claim-request-schema.js +72 -0
- package/dist/core/claims.js +0 -18
- package/dist/core/code-map/aggregate.js +36 -1
- package/dist/core/coordination.js +1 -3
- package/dist/core/federation-attestation.js +96 -0
- package/dist/core/federation-canonical.js +95 -0
- package/dist/core/federation-hpke.js +213 -0
- package/dist/core/federation-inbound.js +187 -0
- package/dist/core/federation-keyring.js +241 -0
- package/dist/core/federation-message.js +5 -5
- package/dist/core/federation-outbox-v2.js +125 -0
- package/dist/core/federation-pairing.js +213 -0
- package/dist/core/federation-projection.js +336 -0
- package/dist/core/federation-relay.js +223 -0
- package/dist/core/federation-state.js +270 -0
- package/dist/core/ids.js +5 -0
- package/dist/core/schema.js +0 -17
- package/dist/core/sequence-request-schema.js +93 -0
- package/dist/core/session-request-schema.js +90 -0
- package/dist/core/step-request-schema.js +112 -0
- package/dist/core/store-resolution.js +34 -5
- package/dist/core/warnings.js +37 -0
- package/dist/facts.js +9 -9
- package/dist/facts.json +8 -8
- package/docs/cli.md +70 -39
- package/docs/concepts/federation-v2-rfc.md +275 -0
- package/docs/index.md +1 -0
- package/docs/integrations/mcp.md +1 -1
- package/package.json +2 -2
- package/dist/cli/register-federation.js +0 -258
- package/dist/core/federation-cloud.js +0 -245
- package/dist/core/federation-outbox.js +0 -292
- package/dist/core/federation-signing.js +0 -115
|
@@ -0,0 +1,187 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Vérification à la réception — fédération v2 (pln#651 étape 6, RFC §6).
|
|
3
|
+
*
|
|
4
|
+
* ── LE TROU QUE CE MODULE FERME ───────────────────────────────────────────────
|
|
5
|
+
* Avant lui, `pullSignalsFromCloud` faisait un simple `as { messages: … }` sans AUCUNE
|
|
6
|
+
* vérification, puis `materializeFederationSignal` écrivait dans la mémoire locale via
|
|
7
|
+
* saveCandidate et saveRuntimeNote. La signature Ed25519 existante était TRANSPORT
|
|
8
|
+
* uniquement, edge→cloud, dans des en-têtes : elle n'était pas persistée dans l'enveloppe
|
|
9
|
+
* et ne disait rien de l'origine du contenu.
|
|
10
|
+
*
|
|
11
|
+
* Conséquence : un cloud malveillant ne lisait pas la roadmap — elle est chiffrée — mais
|
|
12
|
+
* pouvait INJECTER des candidates et des runtime_notes dans la mémoire de chaque agent
|
|
13
|
+
* enrôlé. Soit un canal d'injection de prompt vers toute la flotte. Trois critiques sur
|
|
14
|
+
* quatre l'ont classé bloquant, par trois angles distincts.
|
|
15
|
+
*
|
|
16
|
+
* Chiffrer les LECTURES en laissant les ÉCRITURES forgeables par l'opérateur qu'on
|
|
17
|
+
* prétend neutraliser est le défaut structurel fermé ici.
|
|
18
|
+
*
|
|
19
|
+
* ── CE QUE LE CLOUD PEUT ENCORE FAIRE, ET QU'IL FAUT DIRE ─────────────────────
|
|
20
|
+
* Il peut RETARDER ou OMETTRE une enveloppe. Aucune cryptographie ne l'en empêche : un
|
|
21
|
+
* relais qui ne relaie pas est indétectable de l'intérieur. Ce qu'il ne peut plus faire,
|
|
22
|
+
* c'est injecter, rejouer une ancienne révision comme courante, ou réordonner des
|
|
23
|
+
* métadonnées sans être vu.
|
|
24
|
+
*/
|
|
25
|
+
import crypto from 'node:crypto';
|
|
26
|
+
import { canonicalJson } from './federation-canonical.js';
|
|
27
|
+
import { open as hpkeOpen } from './federation-hpke.js';
|
|
28
|
+
import { FederationEnvelopeSchema, originSigningInput, } from './federation-projection.js';
|
|
29
|
+
import { acceptsRevision, recordRevision } from './federation-state.js';
|
|
30
|
+
function reject(reason, detail) {
|
|
31
|
+
return { ok: false, reason, detail };
|
|
32
|
+
}
|
|
33
|
+
/**
|
|
34
|
+
* Vérifie la signature d'origine sur les octets canoniques complets.
|
|
35
|
+
*
|
|
36
|
+
* Toute exception — PEM illisible, signature mal encodée, mauvaise longueur — rend
|
|
37
|
+
* `false` sans distinction. Laisser remonter l'erreur, ou différencier les causes,
|
|
38
|
+
* donnerait un oracle sur la RAISON du refus ; du point de vue de l'appelant il n'y a
|
|
39
|
+
* qu'un seul fait utile : ces octets ne sont pas signés par cette clé.
|
|
40
|
+
*/
|
|
41
|
+
function verifyOriginSignature(env, signerPem) {
|
|
42
|
+
try {
|
|
43
|
+
return crypto.verify(null, originSigningInput(env.meta, env.sealed, env.key_epoch), crypto.createPublicKey(signerPem), Buffer.from(env.origin_sig.value, 'base64url'));
|
|
44
|
+
}
|
|
45
|
+
catch {
|
|
46
|
+
return false;
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* Vérifie une enveloppe entrante. AUCUNE écriture locale n'a lieu ici — la fonction est
|
|
51
|
+
* pure vis-à-vis du disque et rend un verdict.
|
|
52
|
+
*
|
|
53
|
+
* L'ORDRE DES CONTRÔLES EST UN CONTRAT (RFC §6) : parse strict → résolution du signataire
|
|
54
|
+
* → signature → AAD → révocation → déchiffrement → cohérence du clair → anti-rejeu →
|
|
55
|
+
* dédoublonnage. Déchiffrer AVANT d'avoir vérifié la signature exposerait le déchiffreur
|
|
56
|
+
* à un ciphertext choisi par l'attaquant ; vérifier l'anti-rejeu avant la signature
|
|
57
|
+
* laisserait un cloud faire avancer la barrière avec des révisions forgées, condamnant
|
|
58
|
+
* les révisions légitimes qui suivent.
|
|
59
|
+
*/
|
|
60
|
+
export function verifyInbound(params) {
|
|
61
|
+
// (1) Parse STRICT. Une clé inconnue est refusée, pas retirée en silence : c'est le
|
|
62
|
+
// pendant entrant du filet 2 du projecteur.
|
|
63
|
+
const parsed = FederationEnvelopeSchema.safeParse(params.raw);
|
|
64
|
+
if (!parsed.success) {
|
|
65
|
+
return reject('schema_invalid', parsed.error.issues.map((i) => `${i.path.join('.')}: ${i.message}`).join('; '));
|
|
66
|
+
}
|
|
67
|
+
const env = parsed.data;
|
|
68
|
+
// (2) Résoudre le signataire DANS LE ROSTER ATTESTÉ.
|
|
69
|
+
const signerPem = params.roster.keys.get(env.origin_sig.key_id);
|
|
70
|
+
if (!signerPem) {
|
|
71
|
+
return reject('unknown_signer', `key_id '${env.origin_sig.key_id}' absent du roster attesté.`);
|
|
72
|
+
}
|
|
73
|
+
// Révoqué et inconnu sont distingués : un opérateur doit pouvoir voir qu'un membre
|
|
74
|
+
// révoqué continue d'émettre, ce qu'un « inconnu » générique masquerait.
|
|
75
|
+
if (params.roster.revoked?.has(env.origin_sig.key_id)) {
|
|
76
|
+
return reject('revoked_signer', `key_id '${env.origin_sig.key_id}' révoqué.`);
|
|
77
|
+
}
|
|
78
|
+
// (3) Signature sur les octets canoniques COMPLETS : meta, sealed (alg, enc, nonce,
|
|
79
|
+
// ciphertext) et key_epoch. Couvrir meta est ce qui rend le réordonnancement de
|
|
80
|
+
// priorité, de dépendances ou de statut détectable — le Cloud peut lire ces champs,
|
|
81
|
+
// il ne peut pas les changer.
|
|
82
|
+
if (!verifyOriginSignature(env, signerPem)) {
|
|
83
|
+
return reject('bad_signature', "la signature d'origine ne couvre pas ces octets.");
|
|
84
|
+
}
|
|
85
|
+
// (4) L'AAD doit DÉCRIRE l'objet annoncé. Sans ce contrôle, une enveloppe légitime pour
|
|
86
|
+
// l'objet A, correctement signée, pourrait être présentée comme concernant l'objet B :
|
|
87
|
+
// la signature resterait valide puisqu'elle couvre meta, mais meta lui-même mentirait
|
|
88
|
+
// sur sa cohérence interne.
|
|
89
|
+
const aad = env.meta.aad;
|
|
90
|
+
if (aad.object_id !== env.meta.id_opaque
|
|
91
|
+
|| aad.base_rev !== env.meta.base_rev
|
|
92
|
+
|| aad.object_type !== env.meta.kind
|
|
93
|
+
|| aad.cloud_project_id !== params.state.cloud_project_id) {
|
|
94
|
+
return reject('aad_mismatch', "l'AAD ne décrit pas l'objet annoncé par meta.");
|
|
95
|
+
}
|
|
96
|
+
// (5) Déchiffrement. Échoue FERMÉ : `hpkeOpen` ne distingue pas les causes, pour ne pas
|
|
97
|
+
// offrir d'oracle sur la raison de l'échec.
|
|
98
|
+
if (!params.epochPrivateKey) {
|
|
99
|
+
return reject('undecryptable', `aucune clé détenue pour l'epoch ${env.key_epoch}.`);
|
|
100
|
+
}
|
|
101
|
+
const plaintext = hpkeOpen({
|
|
102
|
+
recipientPrivateKey: params.epochPrivateKey,
|
|
103
|
+
sealed: env.sealed,
|
|
104
|
+
aadCanonicalBytes: new TextEncoder().encode(canonicalJson(aad)),
|
|
105
|
+
});
|
|
106
|
+
if (!plaintext) {
|
|
107
|
+
return reject('undecryptable', 'AEAD refusé (clé, AAD ou tag).');
|
|
108
|
+
}
|
|
109
|
+
let content;
|
|
110
|
+
try {
|
|
111
|
+
content = JSON.parse(new TextDecoder().decode(plaintext));
|
|
112
|
+
}
|
|
113
|
+
catch {
|
|
114
|
+
return reject('payload_type_mismatch', 'le clair déchiffré n\'est pas du JSON.');
|
|
115
|
+
}
|
|
116
|
+
if (content === null || typeof content !== 'object') {
|
|
117
|
+
return reject('payload_type_mismatch', 'le clair déchiffré n\'est pas un objet.');
|
|
118
|
+
}
|
|
119
|
+
// (6) ANTI-REJEU. L'AEAD détecte l'ALTÉRATION, pas le REJEU d'un ciphertext valide et
|
|
120
|
+
// ancien. Sans high-water mark, un cloud peut resservir un état antérieur comme s'il
|
|
121
|
+
// était courant, et rien dans la cryptographie ne s'y oppose.
|
|
122
|
+
//
|
|
123
|
+
// Le dédoublonnage est vérifié AVANT le rejeu : une enveloppe DÉJÀ matérialisée a
|
|
124
|
+
// légitimement une révision égale au high-water mark. La confondre avec un rejeu
|
|
125
|
+
// rendrait tout retour d'un retry indistinguable d'une attaque.
|
|
126
|
+
const idempotencyKey = env.meta.transport.idempotency_key;
|
|
127
|
+
if (params.seenIdempotencyKeys?.has(idempotencyKey)) {
|
|
128
|
+
return reject('duplicate', `opération déjà matérialisée (${idempotencyKey}).`);
|
|
129
|
+
}
|
|
130
|
+
if (!acceptsRevision(params.state, env.meta.id_opaque, env.meta.base_rev)) {
|
|
131
|
+
const seen = params.state.sync.high_water[env.meta.id_opaque];
|
|
132
|
+
return reject('replay_or_rollback', `révision ${env.meta.base_rev} refusée pour ${env.meta.id_opaque} : high-water mark à ${seen}.`);
|
|
133
|
+
}
|
|
134
|
+
return {
|
|
135
|
+
ok: true,
|
|
136
|
+
envelope: env,
|
|
137
|
+
content,
|
|
138
|
+
kind: env.meta.kind,
|
|
139
|
+
idempotencyKey,
|
|
140
|
+
nextState: recordRevision(params.state, env.meta.id_opaque, env.meta.base_rev),
|
|
141
|
+
};
|
|
142
|
+
}
|
|
143
|
+
/**
|
|
144
|
+
* Vérifie un lot d'enveloppes et rend le verdict de chacune.
|
|
145
|
+
*
|
|
146
|
+
* L'ÉTAT AVANCE AU FIL DU LOT, et l'ordre compte : deux révisions du même objet dans un
|
|
147
|
+
* même lot doivent être appliquées dans l'ordre croissant, sinon la seconde est refusée
|
|
148
|
+
* comme rollback — ce qui est le comportement voulu. Un lot est traité comme une suite
|
|
149
|
+
* d'opérations, jamais comme un ensemble à réordonner selon ce que le Cloud propose.
|
|
150
|
+
*
|
|
151
|
+
* Le dédoublonnage accumule les clés vues DANS le lot en plus de celles déjà connues :
|
|
152
|
+
* un cloud qui livrerait deux fois la même opération dans un seul lot serait sinon
|
|
153
|
+
* accepté deux fois.
|
|
154
|
+
*/
|
|
155
|
+
export function verifyInboundBatch(params) {
|
|
156
|
+
const seen = new Set(params.seenIdempotencyKeys ?? []);
|
|
157
|
+
let state = params.state;
|
|
158
|
+
const results = [];
|
|
159
|
+
let accepted = 0;
|
|
160
|
+
for (const raw of params.envelopes) {
|
|
161
|
+
// L'epoch est lu sur l'enveloppe AVANT vérification, uniquement pour choisir une clé.
|
|
162
|
+
// Ce n'est pas une décision de confiance : une valeur mensongère mène simplement à
|
|
163
|
+
// une clé qui n'ouvrira pas, donc à un refus.
|
|
164
|
+
const epoch = typeof raw?.key_epoch === 'number'
|
|
165
|
+
? raw.key_epoch
|
|
166
|
+
: undefined;
|
|
167
|
+
const result = verifyInbound({
|
|
168
|
+
raw,
|
|
169
|
+
roster: params.roster,
|
|
170
|
+
state,
|
|
171
|
+
epochPrivateKey: epoch === undefined ? undefined : params.epochKeys.get(epoch),
|
|
172
|
+
seenIdempotencyKeys: seen,
|
|
173
|
+
});
|
|
174
|
+
results.push(result);
|
|
175
|
+
if (result.ok) {
|
|
176
|
+
// L'état n'avance QUE sur acceptation. Une enveloppe refusée ne doit laisser aucune
|
|
177
|
+
// trace : ni barrière avancée, ni clé d'idempotence enregistrée. Sinon un cloud
|
|
178
|
+
// hostile empoisonnerait l'état avec des enveloppes invalides et condamnerait les
|
|
179
|
+
// révisions légitimes qui suivent.
|
|
180
|
+
state = result.nextState;
|
|
181
|
+
seen.add(result.idempotencyKey);
|
|
182
|
+
accepted++;
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
return { results, nextState: state, accepted, rejected: results.length - accepted };
|
|
186
|
+
}
|
|
187
|
+
//# sourceMappingURL=federation-inbound.js.map
|
|
@@ -0,0 +1,241 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Fédération v2 — identité d'APPAREIL et trousseau multi-epoch (pln#651 étape 3).
|
|
3
|
+
*
|
|
4
|
+
* Création propre, AUCUNE migration (dec#156) : ce module ne lit ni `cloud_sync` ni
|
|
5
|
+
* `BRAINCLAW_CLOUD_*` pour reconstruire un état. Le chemin v1 a été démoli en étape 2.
|
|
6
|
+
*
|
|
7
|
+
* ── POURQUOI DEUX PAIRES DE CLÉS ET NON UNE ────────────────────────────────────
|
|
8
|
+
* L'appareil porte DEUX clés distinctes, et aucune ne se dérive de l'autre :
|
|
9
|
+
*
|
|
10
|
+
* Ed25519 (~/.brainclaw/keys/<agentId>.ed25519.pem, agent-registry.ts)
|
|
11
|
+
* → QUI PARLE. Signature d'origine des enveloppes, preuve de possession
|
|
12
|
+
* pendant l'appairage. C'est l'identité que le Cloud a déjà enregistrée.
|
|
13
|
+
*
|
|
14
|
+
* X25519 (~/.brainclaw/keys/<deviceId>.x25519.pem, ce module)
|
|
15
|
+
* → QUI PEUT LIRE. Destinataire des enveloppements HPKE qui remettent les
|
|
16
|
+
* clés privées d'epoch.
|
|
17
|
+
*
|
|
18
|
+
* Les dériver l'une de l'autre est tentant (une seule clé à sauvegarder) et faux :
|
|
19
|
+
* cela lierait la capacité de LECTURE à la capacité de SIGNATURE, alors que le RFC
|
|
20
|
+
* §5.1 en fait une propriété d'architecture — « écrire sans lire ». Un émetteur qui
|
|
21
|
+
* ne doit pas lire reçoit la clé publique de projet et son accès de signature, rien
|
|
22
|
+
* d'autre. Avec des clés dérivées, révoquer la lecture révoquerait l'écriture, et
|
|
23
|
+
* la compromission de l'une livrerait l'autre.
|
|
24
|
+
*
|
|
25
|
+
* ── PLAFOND DE SÉCURITÉ, ÉCRIT ICI PARCE QUE C'EST ICI QU'ON LIT LA CLÉ ────────
|
|
26
|
+
* `~/.brainclaw/keys/` est un répertoire du système de fichiers, lisible par TOUT
|
|
27
|
+
* processus tournant sous le même UID. Sur Windows le mode 0600 de `fs.chmod` est
|
|
28
|
+
* largement ignoré. Donc : la sécurité du chiffrement de bout en bout côté Cloud
|
|
29
|
+
* NE DÉPASSE PAS celle du disque local. Un malware ayant l'UID de l'utilisateur lit
|
|
30
|
+
* les clés d'epoch et déchiffre tout ce que l'appareil pouvait déchiffrer.
|
|
31
|
+
*
|
|
32
|
+
* Ce n'est pas un défaut à corriger dans ce step : TPM, enclave sécurisée et HSM
|
|
33
|
+
* sont explicitement une v2 ultérieure (RFC §5.1). C'est un plafond à ÉNONCER, pour
|
|
34
|
+
* qu'on ne vende pas au-delà de ce que la construction tient.
|
|
35
|
+
*/
|
|
36
|
+
import crypto from 'node:crypto';
|
|
37
|
+
import fs from 'node:fs';
|
|
38
|
+
import os from 'node:os';
|
|
39
|
+
import path from 'node:path';
|
|
40
|
+
import { MEMORY_DIR } from './io.js';
|
|
41
|
+
import { nowISO } from './ids.js';
|
|
42
|
+
import { logger } from './logger.js';
|
|
43
|
+
/** Empreinte canonique d'une clé publique PEM — même règle que Ed25519 (agent-registry.ts). */
|
|
44
|
+
export function fingerprintKeyPem(publicKeyPem) {
|
|
45
|
+
return crypto.createHash('sha256').update(publicKeyPem.replace(/\r/g, '').trim()).digest('hex');
|
|
46
|
+
}
|
|
47
|
+
// ── Emplacements ──────────────────────────────────────────────────────────────
|
|
48
|
+
/** Racine neutre des secrets : ~/.brainclaw/ — JAMAIS le store de workspace. */
|
|
49
|
+
function keysRoot(home = os.homedir()) {
|
|
50
|
+
return path.join(home, MEMORY_DIR, 'keys');
|
|
51
|
+
}
|
|
52
|
+
/**
|
|
53
|
+
* Clé privée X25519 de l'appareil.
|
|
54
|
+
*
|
|
55
|
+
* Voisine de la clé Ed25519 par CHOIX : un seul répertoire à protéger, à sauvegarder
|
|
56
|
+
* et à effacer. Le suffixe distingue les deux algorithmes de façon lisible sans avoir
|
|
57
|
+
* à ouvrir le fichier.
|
|
58
|
+
*/
|
|
59
|
+
export function deviceKeyPath(deviceId, home = os.homedir()) {
|
|
60
|
+
return path.join(keysRoot(home), `${deviceId}.x25519.pem`);
|
|
61
|
+
}
|
|
62
|
+
/**
|
|
63
|
+
* Clés privées d'epoch, cloisonnées PAR PROJET CLOUD.
|
|
64
|
+
*
|
|
65
|
+
* Le cloisonnement n'est pas cosmétique : `disconnect` d'un projet doit pouvoir
|
|
66
|
+
* effacer ses clés sans toucher à celles d'un autre projet auquel la même machine
|
|
67
|
+
* est appairée. Un trousseau à plat rendrait cette suppression sélective fragile.
|
|
68
|
+
*/
|
|
69
|
+
export function epochKeyPath(cloudProjectId, epoch, home = os.homedir()) {
|
|
70
|
+
return path.join(keysRoot(home), 'epochs', cloudProjectId, `epoch-${epoch}.x25519.pem`);
|
|
71
|
+
}
|
|
72
|
+
function ensureDir(dir) {
|
|
73
|
+
fs.mkdirSync(dir, { recursive: true, mode: 0o700 });
|
|
74
|
+
}
|
|
75
|
+
/**
|
|
76
|
+
* Écrit un secret sur disque en RESTREIGNANT les permissions AVANT d'écrire les
|
|
77
|
+
* octets, pas après.
|
|
78
|
+
*
|
|
79
|
+
* `writeFileSync(p, data)` puis `chmodSync(p, 0o600)` laisse une fenêtre où le
|
|
80
|
+
* fichier existe en 0644 avec la clé dedans. Le mode passé à l'ouverture ferme
|
|
81
|
+
* cette fenêtre. Sur Windows le mode est largement ignoré — d'où le plafond
|
|
82
|
+
* documenté en tête de module ; ce n'est pas une raison de l'omettre sur POSIX,
|
|
83
|
+
* où il est effectif.
|
|
84
|
+
*/
|
|
85
|
+
function writeSecretFile(filepath, contents) {
|
|
86
|
+
ensureDir(path.dirname(filepath));
|
|
87
|
+
fs.writeFileSync(filepath, contents, { encoding: 'utf-8', mode: 0o600 });
|
|
88
|
+
}
|
|
89
|
+
/**
|
|
90
|
+
* Retourne la clé X25519 de l'appareil, en la créant au premier appel.
|
|
91
|
+
*
|
|
92
|
+
* NE FAIT JAMAIS TOURNER une clé existante — même contrat que `ensureAgentSigningKey`
|
|
93
|
+
* pour Ed25519, et pour la même raison en plus grave : une rotation silencieuse
|
|
94
|
+
* casserait l'attestation déjà approuvée par un humain côté Cloud, et rendrait
|
|
95
|
+
* ILLISIBLES toutes les enveloppes d'epoch déjà remises à l'ancienne clé. Une clé de
|
|
96
|
+
* signature perdue empêche d'écrire ; une clé de déchiffrement perdue perd des données.
|
|
97
|
+
*/
|
|
98
|
+
export function ensureDeviceKey(deviceId, home = os.homedir()) {
|
|
99
|
+
const filepath = deviceKeyPath(deviceId, home);
|
|
100
|
+
if (fs.existsSync(filepath)) {
|
|
101
|
+
const privateKey = crypto.createPrivateKey(fs.readFileSync(filepath, 'utf-8'));
|
|
102
|
+
const publicKeyPem = crypto
|
|
103
|
+
// @types/node 26 a retiré la surcharge KeyObject de createPublicKey (régression :
|
|
104
|
+
// Node accepte une clé privée pour en dériver la publique, comme documenté).
|
|
105
|
+
// Même contournement que agent-registry.ts ; comportement d'exécution inchangé.
|
|
106
|
+
.createPublicKey(privateKey)
|
|
107
|
+
.export({ type: 'spki', format: 'pem' })
|
|
108
|
+
.toString();
|
|
109
|
+
return {
|
|
110
|
+
device_id: deviceId,
|
|
111
|
+
public_key_pem: publicKeyPem,
|
|
112
|
+
fingerprint: fingerprintKeyPem(publicKeyPem),
|
|
113
|
+
created_at: fs.statSync(filepath).birthtime.toISOString(),
|
|
114
|
+
};
|
|
115
|
+
}
|
|
116
|
+
const generated = crypto.generateKeyPairSync('x25519');
|
|
117
|
+
const privateKeyPem = generated.privateKey.export({ type: 'pkcs8', format: 'pem' }).toString();
|
|
118
|
+
const publicKeyPem = generated.publicKey.export({ type: 'spki', format: 'pem' }).toString();
|
|
119
|
+
writeSecretFile(filepath, privateKeyPem);
|
|
120
|
+
return {
|
|
121
|
+
device_id: deviceId,
|
|
122
|
+
public_key_pem: publicKeyPem,
|
|
123
|
+
fingerprint: fingerprintKeyPem(publicKeyPem),
|
|
124
|
+
created_at: nowISO(),
|
|
125
|
+
};
|
|
126
|
+
}
|
|
127
|
+
/**
|
|
128
|
+
* Charge la clé privée X25519 de l'appareil, ou `undefined` si absente.
|
|
129
|
+
*
|
|
130
|
+
* Ne CRÉE rien : un appelant qui a besoin de déchiffrer et ne trouve pas la clé doit
|
|
131
|
+
* traiter cela comme un échec explicite, pas voir une clé fraîche se matérialiser et
|
|
132
|
+
* échouer plus tard, plus loin, sur un déchiffrement incompréhensible.
|
|
133
|
+
*/
|
|
134
|
+
export function loadDevicePrivateKey(deviceId, home = os.homedir()) {
|
|
135
|
+
const filepath = deviceKeyPath(deviceId, home);
|
|
136
|
+
if (!fs.existsSync(filepath))
|
|
137
|
+
return undefined;
|
|
138
|
+
return crypto.createPrivateKey(fs.readFileSync(filepath, 'utf-8'));
|
|
139
|
+
}
|
|
140
|
+
/**
|
|
141
|
+
* Enregistre la clé privée d'un epoch, remise par une enveloppe HPKE après approbation.
|
|
142
|
+
*
|
|
143
|
+
* REFUSE D'ÉCRASER un epoch déjà détenu. Deux clés différentes pour un même numéro
|
|
144
|
+
* d'epoch signifie que quelque chose s'est mal passé en amont — le Cloud a resservi un
|
|
145
|
+
* autre roster, ou deux appairages se marchent dessus. Écraser rendrait silencieusement
|
|
146
|
+
* illisible tout ce qui a été scellé sous la première ; l'erreur est le bon comportement.
|
|
147
|
+
* Ré-enregistrer la MÊME clé est en revanche idempotent : une reprise d'appairage
|
|
148
|
+
* interrompu ne doit pas échouer (le step 4 exige une reprise sûre).
|
|
149
|
+
*/
|
|
150
|
+
export function storeEpochPrivateKey(cloudProjectId, epoch, privateKeyPem, home = os.homedir()) {
|
|
151
|
+
const filepath = epochKeyPath(cloudProjectId, epoch, home);
|
|
152
|
+
if (fs.existsSync(filepath)) {
|
|
153
|
+
const existing = fs.readFileSync(filepath, 'utf-8').replace(/\r/g, '').trim();
|
|
154
|
+
if (existing === privateKeyPem.replace(/\r/g, '').trim())
|
|
155
|
+
return;
|
|
156
|
+
throw new Error(`Refus d'écraser la clé de l'epoch ${epoch} du projet ${cloudProjectId} : ` +
|
|
157
|
+
`une clé DIFFÉRENTE est déjà détenue. Écraser rendrait illisible tout ce qui a été ` +
|
|
158
|
+
`scellé sous la clé actuelle. Vérifier le roster côté cloud avant de forcer.`);
|
|
159
|
+
}
|
|
160
|
+
// Valider AVANT d'écrire : un PEM corrompu stocké se découvrirait au premier
|
|
161
|
+
// déchiffrement, longtemps après, sans lien évident avec l'appairage qui l'a produit.
|
|
162
|
+
const key = crypto.createPrivateKey(privateKeyPem);
|
|
163
|
+
if (key.asymmetricKeyType !== 'x25519') {
|
|
164
|
+
throw new Error(`Clé d'epoch invalide : attendu x25519, reçu ${key.asymmetricKeyType ?? 'inconnu'}`);
|
|
165
|
+
}
|
|
166
|
+
writeSecretFile(filepath, privateKeyPem);
|
|
167
|
+
}
|
|
168
|
+
/** Charge la clé privée d'un epoch, ou `undefined` si cet epoch n'est pas détenu. */
|
|
169
|
+
export function loadEpochPrivateKey(cloudProjectId, epoch, home = os.homedir()) {
|
|
170
|
+
const filepath = epochKeyPath(cloudProjectId, epoch, home);
|
|
171
|
+
if (!fs.existsSync(filepath))
|
|
172
|
+
return undefined;
|
|
173
|
+
try {
|
|
174
|
+
return crypto.createPrivateKey(fs.readFileSync(filepath, 'utf-8'));
|
|
175
|
+
}
|
|
176
|
+
catch (err) {
|
|
177
|
+
// Une clé illisible n'est PAS équivalente à une clé absente : la première est une
|
|
178
|
+
// corruption à signaler, la seconde un état normal. On journalise et on renvoie
|
|
179
|
+
// undefined pour que l'appelant refuse le déchiffrement — jamais un fallback muet.
|
|
180
|
+
logger.warn(`Clé d'epoch ${epoch} illisible pour ${cloudProjectId}: ${err instanceof Error ? err.message : String(err)}`);
|
|
181
|
+
return undefined;
|
|
182
|
+
}
|
|
183
|
+
}
|
|
184
|
+
/**
|
|
185
|
+
* Énumère les epochs dont la clé privée est détenue localement — le trousseau réel,
|
|
186
|
+
* lu SUR DISQUE et non déduit de l'état de connexion.
|
|
187
|
+
*
|
|
188
|
+
* La distinction compte : l'état de connexion dit ce que l'appareil CROIT détenir,
|
|
189
|
+
* le disque dit ce qu'il détient VRAIMENT. `federation-state.ts` réconcilie les deux
|
|
190
|
+
* plutôt que de faire confiance au JSON, parce qu'une restauration partielle de
|
|
191
|
+
* sauvegarde produit exactement ce désaccord.
|
|
192
|
+
*/
|
|
193
|
+
export function heldEpochs(cloudProjectId, home = os.homedir()) {
|
|
194
|
+
const dir = path.dirname(epochKeyPath(cloudProjectId, 0, home));
|
|
195
|
+
if (!fs.existsSync(dir))
|
|
196
|
+
return [];
|
|
197
|
+
const epochs = [];
|
|
198
|
+
for (const entry of fs.readdirSync(dir)) {
|
|
199
|
+
const match = /^epoch-(\d+)\.x25519\.pem$/.exec(entry);
|
|
200
|
+
if (match)
|
|
201
|
+
epochs.push(Number(match[1]));
|
|
202
|
+
}
|
|
203
|
+
return epochs.sort((a, b) => a - b);
|
|
204
|
+
}
|
|
205
|
+
/**
|
|
206
|
+
* Efface les clés d'epoch d'un projet — appelé par `cloud disconnect`.
|
|
207
|
+
*
|
|
208
|
+
* CE QUE ÇA NE FAIT PAS, et que la commande appelante doit dire à l'humain : cela
|
|
209
|
+
* n'efface pas les blobs déjà tirés et déchiffrés localement, ni ce qu'un autre
|
|
210
|
+
* appareil détient. `disconnect` retire une autorisation locale ; il ne réécrit pas
|
|
211
|
+
* le passé (RFC §5.2). Retourne le nombre de clés supprimées.
|
|
212
|
+
*/
|
|
213
|
+
export function forgetProjectEpochs(cloudProjectId, home = os.homedir()) {
|
|
214
|
+
const dir = path.dirname(epochKeyPath(cloudProjectId, 0, home));
|
|
215
|
+
if (!fs.existsSync(dir))
|
|
216
|
+
return 0;
|
|
217
|
+
let removed = 0;
|
|
218
|
+
for (const entry of fs.readdirSync(dir)) {
|
|
219
|
+
if (!/^epoch-\d+\.x25519\.pem$/.test(entry))
|
|
220
|
+
continue;
|
|
221
|
+
fs.rmSync(path.join(dir, entry), { force: true });
|
|
222
|
+
removed++;
|
|
223
|
+
}
|
|
224
|
+
try {
|
|
225
|
+
fs.rmdirSync(dir);
|
|
226
|
+
}
|
|
227
|
+
catch { /* non vide ou déjà parti : sans conséquence */ }
|
|
228
|
+
return removed;
|
|
229
|
+
}
|
|
230
|
+
/** Clé publique d'un epoch détenu, dérivée de la privée — utile pour afficher son empreinte. */
|
|
231
|
+
export function epochPublicKey(cloudProjectId, epoch, home = os.homedir()) {
|
|
232
|
+
const priv = loadEpochPrivateKey(cloudProjectId, epoch, home);
|
|
233
|
+
if (!priv)
|
|
234
|
+
return undefined;
|
|
235
|
+
const pem = crypto
|
|
236
|
+
.createPublicKey(priv)
|
|
237
|
+
.export({ type: 'spki', format: 'pem' })
|
|
238
|
+
.toString();
|
|
239
|
+
return { public_key_pem: pem, fingerprint: fingerprintKeyPem(pem) };
|
|
240
|
+
}
|
|
241
|
+
//# sourceMappingURL=federation-keyring.js.map
|
|
@@ -13,17 +13,17 @@ export const FederationMessageSchema = z.object({
|
|
|
13
13
|
agent_name: z.string(),
|
|
14
14
|
agent_id: z.string().optional(),
|
|
15
15
|
host_id: z.string().optional(),
|
|
16
|
-
}),
|
|
16
|
+
}).strict(),
|
|
17
17
|
to: z.object({
|
|
18
18
|
project_name: z.string(),
|
|
19
19
|
project_path: z.string(),
|
|
20
20
|
agent_name: z.string().optional(),
|
|
21
|
-
}),
|
|
22
|
-
type: z.enum(['
|
|
23
|
-
payload: z.unknown(),
|
|
21
|
+
}).strict(),
|
|
22
|
+
type: z.enum(['handoff', 'candidate', 'runtime_note']),
|
|
23
|
+
payload: z.record(z.string(), z.unknown()),
|
|
24
24
|
created_at: z.string(),
|
|
25
25
|
causal_parent: z.string().optional(),
|
|
26
|
-
});
|
|
26
|
+
}).strict();
|
|
27
27
|
function computeIdempotencyKey(msg) {
|
|
28
28
|
const data = JSON.stringify({ from: msg.from, to: msg.to, type: msg.type, payload: msg.payload });
|
|
29
29
|
return crypto.createHash('sha256').update(data).digest('hex').slice(0, 16);
|
|
@@ -0,0 +1,125 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Fédération v2 — outbox locale (pln#651 étape 3).
|
|
3
|
+
*
|
|
4
|
+
* Création propre : l'outbox v1 (`federation-outbox.ts`) a été SUPPRIMÉE en étape 2 avec
|
|
5
|
+
* ses 112 enveloppes en attente, dont 50 portaient un `worktree_path` absolu et 48 le nom
|
|
6
|
+
* d'hôte de la machine (dec#156-d). Rien n'est repris d'elle — ni format, ni contenu.
|
|
7
|
+
*
|
|
8
|
+
* ── CE QUE CETTE OUTBOX SAIT, ET CE QU'ELLE NE SAIT PAS ───────────────────────
|
|
9
|
+
* Elle stocke des enveloppes DÉJÀ SCELLÉES et suit leur état. Elle ne construit pas
|
|
10
|
+
* l'enveloppe, ne chiffre pas, ne classe pas les champs : c'est l'étape 5 (le projecteur
|
|
11
|
+
* et ses trois filets). La séparation est délibérée — une file d'attente qui saurait
|
|
12
|
+
* aussi fabriquer son contenu serait un second chemin de sérialisation, donc un second
|
|
13
|
+
* endroit où un champ non classé peut fuir.
|
|
14
|
+
*
|
|
15
|
+
* Conséquence testable : ce module n'accepte QUE la partie `sealed` opaque et des
|
|
16
|
+
* métadonnées de transport. Il n'a aucun accès au clair, donc il ne peut pas le divulguer.
|
|
17
|
+
*/
|
|
18
|
+
import fs from 'node:fs';
|
|
19
|
+
import path from 'node:path';
|
|
20
|
+
import { memoryDir, writeFileAtomic } from './io.js';
|
|
21
|
+
import { nowISO } from './ids.js';
|
|
22
|
+
import { logger } from './logger.js';
|
|
23
|
+
/** Les trois répertoires SONT les trois états — l'état est le chemin, pas un champ. */
|
|
24
|
+
const STATE_DIRS = {
|
|
25
|
+
pending: 'outbox',
|
|
26
|
+
synced: 'sent',
|
|
27
|
+
conflict: 'conflict',
|
|
28
|
+
};
|
|
29
|
+
export const OUTBOX_ENTRY_SCHEMA = 'brainclaw.federation-outbox-entry/v2';
|
|
30
|
+
function stateDir(state, cwd) {
|
|
31
|
+
return path.join(memoryDir(cwd), 'coordination', 'federation', STATE_DIRS[state]);
|
|
32
|
+
}
|
|
33
|
+
function entryPath(state, idempotencyKey, cwd) {
|
|
34
|
+
return path.join(stateDir(state, cwd), `${idempotencyKey}.json`);
|
|
35
|
+
}
|
|
36
|
+
/**
|
|
37
|
+
* Met une enveloppe scellée en file d'attente.
|
|
38
|
+
*
|
|
39
|
+
* IDEMPOTENT PAR CONSTRUCTION : la clé d'idempotence est le NOM DU FICHIER, donc un
|
|
40
|
+
* double enqueue de la même opération ne peut pas produire deux entrées. C'est ce que
|
|
41
|
+
* `materializeFederationSignal` ne faisait pas — il frappait un nouvel id et un nouveau
|
|
42
|
+
* created_at à chaque passage, rendant le dédoublonnage absent par construction (étape 6).
|
|
43
|
+
*
|
|
44
|
+
* Une entrée déjà `synced` n'est pas remise en attente : la retransmission d'une opération
|
|
45
|
+
* confirmée est exactement le rejeu contre lequel l'étape 6 protège à la réception ; il
|
|
46
|
+
* n'y a pas de raison de l'émettre depuis ici.
|
|
47
|
+
*/
|
|
48
|
+
export function enqueue(entry, cwd = process.cwd()) {
|
|
49
|
+
for (const state of ['synced', 'pending', 'conflict']) {
|
|
50
|
+
if (fs.existsSync(entryPath(state, entry.idempotency_key, cwd)))
|
|
51
|
+
return false;
|
|
52
|
+
}
|
|
53
|
+
const now = nowISO();
|
|
54
|
+
const full = { schema: OUTBOX_ENTRY_SCHEMA, ...entry, attempts: 0, created_at: now, updated_at: now };
|
|
55
|
+
const filepath = entryPath('pending', entry.idempotency_key, cwd);
|
|
56
|
+
fs.mkdirSync(path.dirname(filepath), { recursive: true });
|
|
57
|
+
writeFileAtomic(filepath, `${JSON.stringify(full, null, 2)}\n`);
|
|
58
|
+
return true;
|
|
59
|
+
}
|
|
60
|
+
/**
|
|
61
|
+
* Déplace une entrée d'un état vers un autre.
|
|
62
|
+
*
|
|
63
|
+
* Le déplacement est un `rename` : une entrée ne peut pas exister dans deux états à la
|
|
64
|
+
* fois, même si le processus meurt au milieu. Une copie-puis-suppression laisserait une
|
|
65
|
+
* fenêtre où l'opération est comptée deux fois — et les compteurs de `status` mentiraient
|
|
66
|
+
* précisément pendant l'incident où on les consulte.
|
|
67
|
+
*/
|
|
68
|
+
export function transition(idempotencyKey, from, to, cwd = process.cwd(), mutate) {
|
|
69
|
+
const src = entryPath(from, idempotencyKey, cwd);
|
|
70
|
+
if (!fs.existsSync(src))
|
|
71
|
+
return false;
|
|
72
|
+
const dest = entryPath(to, idempotencyKey, cwd);
|
|
73
|
+
fs.mkdirSync(path.dirname(dest), { recursive: true });
|
|
74
|
+
if (mutate) {
|
|
75
|
+
try {
|
|
76
|
+
const entry = JSON.parse(fs.readFileSync(src, 'utf-8'));
|
|
77
|
+
const next = mutate({ ...entry, updated_at: nowISO() });
|
|
78
|
+
writeFileAtomic(dest, `${JSON.stringify(next, null, 2)}\n`);
|
|
79
|
+
fs.rmSync(src, { force: true });
|
|
80
|
+
return true;
|
|
81
|
+
}
|
|
82
|
+
catch (err) {
|
|
83
|
+
logger.warn(`Entrée d'outbox illisible (${idempotencyKey}) : ${err instanceof Error ? err.message : String(err)}`);
|
|
84
|
+
return false;
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
fs.renameSync(src, dest);
|
|
88
|
+
return true;
|
|
89
|
+
}
|
|
90
|
+
/** Entrées d'un état donné, triées par date de création. */
|
|
91
|
+
export function list(state, cwd = process.cwd()) {
|
|
92
|
+
const dir = stateDir(state, cwd);
|
|
93
|
+
if (!fs.existsSync(dir))
|
|
94
|
+
return [];
|
|
95
|
+
const entries = [];
|
|
96
|
+
for (const name of fs.readdirSync(dir)) {
|
|
97
|
+
if (!name.endsWith('.json'))
|
|
98
|
+
continue;
|
|
99
|
+
try {
|
|
100
|
+
entries.push(JSON.parse(fs.readFileSync(path.join(dir, name), 'utf-8')));
|
|
101
|
+
}
|
|
102
|
+
catch {
|
|
103
|
+
// Une entrée corrompue est ignorée à la lecture mais reste sur disque : la
|
|
104
|
+
// supprimer ici effacerait la seule trace d'une opération peut-être jamais émise.
|
|
105
|
+
logger.warn(`Entrée d'outbox ignorée (illisible) : ${name}`);
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
return entries.sort((a, b) => a.created_at.localeCompare(b.created_at));
|
|
109
|
+
}
|
|
110
|
+
/**
|
|
111
|
+
* Compte les trois états EN LES LISANT SUR DISQUE.
|
|
112
|
+
*
|
|
113
|
+
* Les compteurs de `connection.json` sont un cache d'affichage ; ceci est la vérité. Le
|
|
114
|
+
* critère de sortie de l'étape 3 dit « observables par une commande » — observer un
|
|
115
|
+
* compteur qu'on a soi-même incrémenté n'observe rien, c'est se relire. En cas d'écart,
|
|
116
|
+
* c'est ce comptage qui gagne.
|
|
117
|
+
*/
|
|
118
|
+
export function counters(cwd = process.cwd()) {
|
|
119
|
+
return {
|
|
120
|
+
pending: list('pending', cwd).length,
|
|
121
|
+
synced: list('synced', cwd).length,
|
|
122
|
+
conflict: list('conflict', cwd).length,
|
|
123
|
+
};
|
|
124
|
+
}
|
|
125
|
+
//# sourceMappingURL=federation-outbox-v2.js.map
|