limen-ai 1.0.0

package/dist/learning/transfer/cross_agent_transfer.js

@@ -0,0 +1,245 @@
+/**
+ * Limen — CrossAgentTransfer Implementation
+ * Phase 4E-2e: Learning System Convergence Subsystems
+ *
+ * Implements the CrossAgentTransfer interface from learning_types.ts.
+ * Human gate required. Confidence resets to 0.4 on transfer.
+ * Source provenance chain preserved.
+ *
+ * S ref: S29.8 (cross-agent transfer protocol), I-07 (agent isolation),
+ *        I-03 (audit atomicity), DEC-4E-002 (cross-tenant blocked)
+ *
+ * Engineering decisions:
+ *   D1: Qualification gate enforced at requestTransfer (§29.8 Step 1, BRK-S29-002).
+ *       Source technique must have confidence > 0.8, success_rate > 0.7,
+ *       applicationCount > 50. This prevents low-quality techniques from being
+ *       proposed for transfer.
+ *   D2: Clone mechanics: approveTransfer creates a NEW technique via store.create()
+ *       with the target agent's ID. Source technique is unaffected (clone, not move).
+ *   D3: Provenance preservation: the cloned technique's sourceMemoryIds = the source
+ *       technique's sourceMemoryIds. Full provenance chain maintained.
+ *   D4: DEC-4E-002 enforcement: TransferRequest has single tenantId field. The
+ *       implementation uses this tenantId for all queries — no cross-tenant path exists.
+ *   D5: Self-transfer (sourceAgentId === targetAgentId) is rejected immediately.
+ *       No request record created (§29.8, I-07).
+ */
+import { randomUUID } from 'node:crypto';
+import { TRANSFER_MIN_CONFIDENCE, TRANSFER_MIN_SUCCESS_RATE, TRANSFER_MIN_APPLICATIONS, CONFIDENCE_RESET_TRANSFER, } from '../interfaces/index.js';
+// ─── Audit Helpers ───
+function actorType(ctx) {
+    if (ctx.userId)
+        return 'user';
+    if (ctx.agentId)
+        return 'agent';
+    return 'system';
+}
+function actorId(ctx) {
+    return (ctx.userId ?? ctx.agentId ?? 'system');
+}
+// ─── Factory ───
+/**
+ * Create a CrossAgentTransfer implementation.
+ * Follows the Limen store pattern: factory → Object.freeze.
+ *
+ * S29.8: Transfer lifecycle: request → pending → approved/rejected.
+ * Human gate required. Confidence resets to 0.4.
+ */
+export function createCrossAgentTransfer(deps, store) {
+    // ─── requestTransfer ───
+    function requestTransfer(conn, ctx, request) {
+        // D5: Self-transfer rejection
+        if (request.sourceAgentId === request.targetAgentId) {
+            return {
+                ok: false,
+                error: {
+                    code: 'SELF_TRANSFER',
+                    message: 'Cannot transfer technique to the same agent',
+                    spec: 'S29.8',
+                },
+            };
+        }
+        // Get source technique (by id + tenant_id, no agent filter — we're verifying the source)
+        const technique = conn.get(`SELECT * FROM learning_techniques WHERE id = ? AND tenant_id = ?`, [request.sourceTechniqueId, request.tenantId]);
+        if (!technique) {
+            return {
+                ok: false,
+                error: {
+                    code: 'TECHNIQUE_NOT_FOUND',
+                    message: `Source technique ${request.sourceTechniqueId} not found`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        // Verify source agent owns this technique
+        if (technique.agent_id !== request.sourceAgentId) {
+            return {
+                ok: false,
+                error: {
+                    code: 'AGENT_MISMATCH',
+                    message: `Source agent ${request.sourceAgentId} does not own technique ${request.sourceTechniqueId}`,
+                    spec: 'I-07',
+                },
+            };
+        }
+        // Cannot transfer retired or suspended technique (FS-14)
+        if (technique.status !== 'active') {
+            return {
+                ok: false,
+                error: {
+                    code: 'TECHNIQUE_NOT_ACTIVE',
+                    message: `Cannot transfer technique in state ${technique.status} — must be active`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        // D1: Qualification gate (§29.8 Step 1, BRK-S29-002)
+        if (technique.confidence <= TRANSFER_MIN_CONFIDENCE ||
+            technique.success_rate <= TRANSFER_MIN_SUCCESS_RATE ||
+            technique.application_count <= TRANSFER_MIN_APPLICATIONS) {
+            return {
+                ok: false,
+                error: {
+                    code: 'TRANSFER_QUALIFICATION_FAILED',
+                    message: `Technique does not meet transfer qualification: confidence > ${TRANSFER_MIN_CONFIDENCE}, success_rate > ${TRANSFER_MIN_SUCCESS_RATE}, applicationCount > ${TRANSFER_MIN_APPLICATIONS}`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        const requestId = randomUUID();
+        const now = deps.time.nowISO();
+        conn.transaction(() => {
+            conn.run(`INSERT INTO learning_transfer_requests
+          (id, tenant_id, source_agent_id, target_agent_id, technique_id, status, created_at, resolved_at)
+         VALUES (?, ?, ?, ?, ?, 'pending', ?, NULL)`, [requestId, request.tenantId, request.sourceAgentId, request.targetAgentId,
+                request.sourceTechniqueId, now]);
+            deps.audit.append(conn, {
+                tenantId: request.tenantId,
+                actorType: actorType(ctx),
+                actorId: actorId(ctx),
+                operation: 'transfer.request',
+                resourceType: 'transfer',
+                resourceId: requestId,
+            });
+        });
+        return { ok: true, value: requestId };
+    }
+    // ─── approveTransfer ───
+    function approveTransfer(conn, ctx, requestId) {
+        const callerTenantId = ctx.tenantId;
+        const request = conn.get(`SELECT * FROM learning_transfer_requests WHERE id = ? AND tenant_id = ?`, [requestId, callerTenantId]);
+        if (!request) {
+            return {
+                ok: false,
+                error: {
+                    code: 'TRANSFER_REQUEST_NOT_FOUND',
+                    message: `Transfer request ${requestId} not found`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        if (request.status !== 'pending') {
+            return {
+                ok: false,
+                error: {
+                    code: 'TRANSFER_NOT_PENDING',
+                    message: `Transfer request ${requestId} is ${request.status}, not pending`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        // Get source technique for cloning
+        const technique = conn.get(`SELECT * FROM learning_techniques WHERE id = ? AND tenant_id = ?`, [request.technique_id, request.tenant_id]);
+        if (!technique) {
+            return {
+                ok: false,
+                error: {
+                    code: 'SOURCE_TECHNIQUE_NOT_FOUND',
+                    message: `Source technique ${request.technique_id} no longer exists`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        const sourceMemoryIds = JSON.parse(technique.source_memory_ids);
+        const targetAgentId = request.target_agent_id;
+        const tenantId = request.tenant_id;
+        const now = deps.time.nowISO();
+        // D2: Clone technique for target agent via store.create()
+        // D3: Provenance preserved — same sourceMemoryIds
+        const createResult = store.create(conn, ctx, {
+            tenantId,
+            agentId: targetAgentId,
+            type: technique.type,
+            content: technique.content,
+            sourceMemoryIds,
+            initialConfidence: CONFIDENCE_RESET_TRANSFER, // 0.4 per S29.8
+        });
+        if (!createResult.ok) {
+            return createResult;
+        }
+        conn.transaction(() => {
+            conn.run(`UPDATE learning_transfer_requests SET status = 'approved', resolved_at = ? WHERE id = ?`, [now, requestId]);
+            deps.audit.append(conn, {
+                tenantId,
+                actorType: actorType(ctx),
+                actorId: actorId(ctx),
+                operation: 'transfer.approve',
+                resourceType: 'transfer',
+                resourceId: requestId,
+            });
+        });
+        return {
+            ok: true,
+            value: {
+                newTechniqueId: createResult.value.id,
+                sourceProvenanceChain: sourceMemoryIds,
+                confidence: CONFIDENCE_RESET_TRANSFER,
+            },
+        };
+    }
+    // ─── rejectTransfer ───
+    function rejectTransfer(conn, ctx, requestId) {
+        const rejectCallerTenantId = ctx.tenantId;
+        const request = conn.get(`SELECT * FROM learning_transfer_requests WHERE id = ? AND tenant_id = ?`, [requestId, rejectCallerTenantId]);
+        if (!request) {
+            return {
+                ok: false,
+                error: {
+                    code: 'TRANSFER_REQUEST_NOT_FOUND',
+                    message: `Transfer request ${requestId} not found`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        if (request.status !== 'pending') {
+            return {
+                ok: false,
+                error: {
+                    code: 'TRANSFER_NOT_PENDING',
+                    message: `Transfer request ${requestId} is ${request.status}, not pending`,
+                    spec: 'S29.8',
+                },
+            };
+        }
+        const now = deps.time.nowISO();
+        const tenantId = request.tenant_id;
+        conn.transaction(() => {
+            conn.run(`UPDATE learning_transfer_requests SET status = 'rejected', resolved_at = ? WHERE id = ?`, [now, requestId]);
+            deps.audit.append(conn, {
+                tenantId,
+                actorType: actorType(ctx),
+                actorId: actorId(ctx),
+                operation: 'transfer.reject',
+                resourceType: 'transfer',
+                resourceId: requestId,
+            });
+        });
+        return { ok: true, value: undefined };
+    }
+    // ─── Return frozen transfer ───
+    return Object.freeze({
+        requestTransfer,
+        approveTransfer,
+        rejectTransfer,
+    });
+}
+//# sourceMappingURL=cross_agent_transfer.js.map

package/dist/learning/transfer/cross_agent_transfer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross_agent_transfer.js","sourceRoot":"","sources":["../../../src/learning/transfer/cross_agent_transfer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAKzC,OAAO,EACL,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,GAC1B,MAAM,wBAAwB,CAAC;AA+BhC,wBAAwB;AAExB,SAAS,SAAS,CAAC,GAAqB;IACtC,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,GAAG,CAAC,OAAO;QAAE,OAAO,OAAO,CAAC;IAChC,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,GAAqB;IACpC,OAAO,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAW,CAAC;AAC3D,CAAC;AAED,kBAAkB;AAElB;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAkB,EAAE,KAAqB;IAEhF,0BAA0B;IAE1B,SAAS,eAAe,CACtB,IAAwB,EACxB,GAAqB,EACrB,OAAwB;QAExB,8BAA8B;QAC9B,IAAI,OAAO,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;YACpD,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,eAAe;oBACrB,OAAO,EAAE,6CAA6C;oBACtD,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,yFAAyF;QACzF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,kEAAkE,EAClE,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,CAC9C,CAAC;QAEF,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,oBAAoB,OAAO,CAAC,iBAAiB,YAAY;oBAClE,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,0CAA0C;QAC1C,IAAI,SAAS,CAAC,QAAQ,KAAM,OAAO,CAAC,aAAwB,EAAE,CAAC;YAC7D,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,gBAAgB,OAAO,CAAC,aAAa,2BAA2B,OAAO,CAAC,iBAAiB,EAAE;oBACpG,IAAI,EAAE,MAAM;iBACb;aACF,CAAC;QACJ,CAAC;QAED,yDAAyD;QACzD,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,sCAAsC,SAAS,CAAC,MAAM,mBAAmB;oBAClF,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,qDAAqD;QACrD,IAAI,SAAS,CAAC,UAAU,IAAI,uBAAuB;YAC/C,SAAS,CAAC,YAAY,IAAI,yBAAyB;YACnD,SAAS,CAAC,iBAAiB,IAAI,yBAAyB,EAAE,CAAC;YAC7D,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,+BAA+B;oBACrC,OAAO,EAAE,gEAAgE,uBAAuB,oBAAoB,yBAAyB,wBAAwB,yBAAyB,EAAE;oBAChM,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAE/B,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,IAAI,CAAC,GAAG,CACN;;oDAE4C,EAC5C,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,aAAa;gBACzE,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CACjC,CAAC;YAEF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;gBACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBACrB,SAAS,EAAE,kBAAkB;gBAC7B,YAAY,EAAE,UAAU;gBACxB,UAAU,EAAE,SAAS;aACtB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxC,CAAC;IAED,0BAA0B;IAE1B,SAAS,eAAe,CACtB,IAAwB,EACxB,GAAqB,EACrB,SAAiB;QAEjB,MAAM,cAAc,GAAG,GAAG,CAAC,QAA+D,CAAC;QAC3F,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,yEAAyE,EACzE,CAAC,SAAS,EAAE,cAAc,CAAC,CAC5B,CAAC;QAEF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,oBAAoB,SAAS,YAAY;oBAClD,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,oBAAoB,SAAS,OAAO,OAAO,CAAC,MAAM,eAAe;oBAC1E,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,mCAAmC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,kEAAkE,EAClE,CAAC,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,SAAS,CAAC,CAC1C,CAAC;QAEF,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,oBAAoB,OAAO,CAAC,YAAY,mBAAmB;oBACpE,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,MAAM,eAAe,GAAsB,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACnF,MAAM,aAAa,GAAG,OAAO,CAAC,eAA0B,CAAC;QACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAgE,CAAC;QAC1F,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAE/B,0DAA0D;QAC1D,kDAAkD;QAClD,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE;YAC3C,QAAQ;YACR,OAAO,EAAE,aAAa;YACtB,IAAI,EAAE,SAAS,CAAC,IAAsD;YACtE,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,eAAe;YACf,iBAAiB,EAAE,yBAAyB,EAAE,gBAAgB;SAC/D,CAAC,CAAC;QAEH,IAAI,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC;YACrB,OAAO,YAAsC,CAAC;QAChD,CAAC;QAED,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,IAAI,CAAC,GAAG,CACN,yFAAyF,EACzF,CAAC,GAAG,EAAE,SAAS,CAAC,CACjB,CAAC;YAEF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,QAAQ;gBACR,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;gBACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBACrB,SAAS,EAAE,kBAAkB;gBAC7B,YAAY,EAAE,UAAU;gBACxB,UAAU,EAAE,SAAS;aACtB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACL,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE;gBACrC,qBAAqB,EAAE,eAAe;gBACtC,UAAU,EAAE,yBAAyB;aACtC;SACF,CAAC;IACJ,CAAC;IAED,yBAAyB;IAEzB,SAAS,cAAc,CACrB,IAAwB,EACxB,GAAqB,EACrB,SAAiB;QAEjB,MAAM,oBAAoB,GAAG,GAAG,CAAC,QAA+D,CAAC;QACjG,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,yEAAyE,EACzE,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAClC,CAAC;QAEF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,oBAAoB,SAAS,YAAY;oBAClD,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,KAAK,EAAE;oBACL,IAAI,EAAE,sBAAsB;oBAC5B,OAAO,EAAE,oBAAoB,SAAS,OAAO,OAAO,CAAC,MAAM,eAAe;oBAC1E,IAAI,EAAE,OAAO;iBACd;aACF,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAgE,CAAC;QAE1F,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,IAAI,CAAC,GAAG,CACN,yFAAyF,EACzF,CAAC,GAAG,EAAE,SAAS,CAAC,CACjB,CAAC;YAEF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;gBACtB,QAAQ;gBACR,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC;gBACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;gBACrB,SAAS,EAAE,iBAAiB;gBAC5B,YAAY,EAAE,UAAU;gBACxB,UAAU,EAAE,SAAS;aACtB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxC,CAAC;IAED,iCAAiC;IAEjC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe;QACf,eAAe;QACf,cAAc;KACf,CAAC,CAAC;AACL,CAAC"}

package/dist/orchestration/artifacts/artifact_store.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Artifact Store -- Immutable artifact workspace with dependency tracking.
+ * S ref: S8 (Artifact), I-19 (immutability), I-23 (dependency tracking),
+ *        FM-15 (artifact entropy)
+ *
+ * Phase: 3 (Orchestration)
+ * Implements: Artifact creation (INSERT-only, never UPDATE per I-19),
+ *             version management via composite PK (id, version),
+ *             dependency tracking on read, lifecycle state management.
+ *
+ * SD-03: Composite PK (id, version) from Alpha. Each row is an immutable version.
+ */
+import type { ArtifactStore } from '../interfaces/orchestration.js';
+/**
+ * S8: Create the artifact store module.
+ * Factory function returns frozen object per C-07.
+ */
+export declare function createArtifactStore(): ArtifactStore;
+//# sourceMappingURL=artifact_store.d.ts.map

package/dist/orchestration/artifacts/artifact_store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact_store.d.ts","sourceRoot":"","sources":["../../../src/orchestration/artifacts/artifact_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,KAAK,EACS,aAAa,EAGjC,MAAM,gCAAgC,CAAC;AAOxC;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,aAAa,CAwQnD"}

package/dist/orchestration/artifacts/artifact_store.js

@@ -0,0 +1,213 @@
+/**
+ * Artifact Store -- Immutable artifact workspace with dependency tracking.
+ * S ref: S8 (Artifact), I-19 (immutability), I-23 (dependency tracking),
+ *        FM-15 (artifact entropy)
+ *
+ * Phase: 3 (Orchestration)
+ * Implements: Artifact creation (INSERT-only, never UPDATE per I-19),
+ *             version management via composite PK (id, version),
+ *             dependency tracking on read, lifecycle state management.
+ *
+ * SD-03: Composite PK (id, version) from Alpha. Each row is an immutable version.
+ */
+import { MISSION_TREE_DEFAULTS, generateId } from '../interfaces/orchestration.js';
+import { walkCascade } from './cascade_walker.js';
+// CF-013: Maximum artifact content size (10MB)
+const MAX_ARTIFACT_CONTENT_BYTES = 10_485_760;
+/**
+ * S8: Create the artifact store module.
+ * Factory function returns frozen object per C-07.
+ */
+export function createArtifactStore() {
+    /** S18: Create artifact (INSERT-only, I-19) */
+    function create(deps, ctx, input) {
+        // Verify mission is in active state
+        const mission = deps.conn.get('SELECT state FROM core_missions WHERE id = ?', [input.missionId]);
+        if (!mission) {
+            return { ok: false, error: { code: 'MISSION_NOT_ACTIVE', message: 'Mission not found', spec: 'S18' } };
+        }
+        const activeStates = ['CREATED', 'PLANNING', 'EXECUTING', 'REVIEWING'];
+        if (!activeStates.includes(mission.state)) {
+            return { ok: false, error: { code: 'MISSION_NOT_ACTIVE', message: `Mission in state ${mission.state}`, spec: 'S18' } };
+        }
+        // I-20: Artifact limit check
+        const countResult = getArtifactCount(deps, input.missionId);
+        if (countResult.ok && countResult.value >= MISSION_TREE_DEFAULTS.maxArtifacts) {
+            return { ok: false, error: { code: 'ARTIFACT_LIMIT_EXCEEDED', message: `Artifact count ${countResult.value} >= max ${MISSION_TREE_DEFAULTS.maxArtifacts}`, spec: 'I-20' } };
+        }
+        // CF-013: Hard cap on artifact content size (10MB)
+        const contentSize = typeof input.content === 'string'
+            ? Buffer.byteLength(input.content, 'utf-8')
+            : input.content.length;
+        if (contentSize > MAX_ARTIFACT_CONTENT_BYTES) {
+            return { ok: false, error: { code: 'INVALID_INPUT', message: `Artifact content exceeds maximum size (${contentSize} bytes > ${MAX_ARTIFACT_CONTENT_BYTES} bytes limit)`, spec: 'S18/CF-013' } };
+        }
+        // CQ-10 fix: S18 STORAGE_EXCEEDED -- check storage budget before artifact creation
+        const resource = deps.conn.get('SELECT storage_max_bytes, storage_consumed_bytes FROM core_resources WHERE mission_id = ?', [input.missionId]);
+        if (!resource) {
+            // Debt 2: Missing resource row means storage budget enforcement is impossible — do not silently skip
+            return { ok: false, error: { code: 'STORAGE_EXCEEDED', message: `Resource record missing for mission ${input.missionId} — cannot verify storage budget`, spec: 'S18' } };
+        }
+        if (resource.storage_max_bytes > 0 && (resource.storage_consumed_bytes + contentSize) > resource.storage_max_bytes) {
+            return { ok: false, error: { code: 'STORAGE_EXCEEDED', message: `Content size ${contentSize} would exceed storage budget (consumed ${resource.storage_consumed_bytes} of max ${resource.storage_max_bytes})`, spec: 'S18' } };
+        }
+        // Determine version
+        let artifactId;
+        let version;
+        if (input.parentArtifactId !== null) {
+            // Revision: same artifact id, next version
+            artifactId = input.parentArtifactId;
+            const maxVersion = deps.conn.get('SELECT MAX(version) as mv FROM core_artifacts WHERE id = ?', [input.parentArtifactId]);
+            version = (maxVersion?.mv ?? 0) + 1;
+        }
+        else {
+            // New artifact
+            artifactId = generateId();
+            version = 1;
+        }
+        const now = deps.time.nowISO();
+        const contentBlob = typeof input.content === 'string'
+            ? Buffer.from(input.content, 'utf-8')
+            : input.content;
+        deps.conn.transaction(() => {
+            // I-19: INSERT only -- never UPDATE
+            deps.conn.run(`INSERT INTO core_artifacts (id, version, mission_id, tenant_id, name, type,
+         format, content, lifecycle_state, source_task_id, parent_artifact_id,
+         relevance_decay, metadata_json, created_at)
+         VALUES (?, ?, ?, ?, ?, ?, ?, ?, 'ACTIVE', ?, ?, 0, ?, ?)`, [
+                artifactId,
+                version,
+                input.missionId,
+                ctx.tenantId,
+                input.name,
+                input.type,
+                input.format,
+                contentBlob,
+                input.sourceTaskId,
+                input.parentArtifactId,
+                JSON.stringify(input.metadata),
+                now,
+            ]);
+            // I-03: Audit entry
+            deps.audit.append(deps.conn, {
+                tenantId: ctx.tenantId,
+                actorType: ctx.userId ? 'user' : 'agent',
+                actorId: (ctx.userId ?? ctx.agentId ?? 'system'),
+                operation: 'create_artifact',
+                resourceType: 'artifact',
+                resourceId: `${artifactId}@v${version}`,
+                detail: { missionId: input.missionId, name: input.name, type: input.type, version },
+            });
+        });
+        return {
+            ok: true,
+            value: { artifactId, version },
+        };
+    }
+    /** S19: Read artifact with dependency tracking (I-23) */
+    function read(deps, _ctx, input) {
+        let row;
+        if (input.version === 'latest') {
+            row = deps.conn.get('SELECT * FROM core_artifacts WHERE id = ? ORDER BY version DESC LIMIT 1', [input.artifactId]);
+        }
+        else {
+            row = deps.conn.get('SELECT * FROM core_artifacts WHERE id = ? AND version = ?', [input.artifactId, input.version]);
+        }
+        if (!row) {
+            return { ok: false, error: { code: 'NOT_FOUND', message: `Artifact ${input.artifactId} not found`, spec: 'S19' } };
+        }
+        const lifecycleState = row['lifecycle_state'];
+        if (lifecycleState === 'ARCHIVED' || lifecycleState === 'DELETED') {
+            return { ok: false, error: { code: 'ARCHIVED', message: `Artifact is ${lifecycleState}`, spec: 'S19' } };
+        }
+        const content = row['content'];
+        const metadata = row['metadata_json'] ? JSON.parse(row['metadata_json']) : {};
+        return {
+            ok: true,
+            value: {
+                artifact: {
+                    id: row['id'],
+                    version: row['version'],
+                    missionId: row['mission_id'],
+                    name: row['name'],
+                    type: row['type'],
+                    format: row['format'],
+                    content,
+                    lifecycleState: lifecycleState,
+                    metadata,
+                },
+            },
+        };
+    }
+    /** I-23: Track dependency edge */
+    function trackDependency(deps, readingMissionId, artifactId, version, isCrossMission) {
+        const now = deps.time.nowISO();
+        // FM-10: Derive tenant_id from reading mission
+        const missionRow = deps.conn.get('SELECT tenant_id FROM core_missions WHERE id = ?', [readingMissionId]);
+        if (!missionRow) {
+            // Debt 2: Missing mission means tenant identity cannot be established — do not fabricate null tenant
+            return { ok: false, error: { code: 'MISSION_NOT_FOUND', message: `Mission ${readingMissionId} not found — cannot derive tenant for dependency tracking`, spec: 'FM-10' } };
+        }
+        const depTenantId = (missionRow.tenant_id ?? null);
+        // CQ-06 fix: I-03 -- dependency tracking INSERT + audit in same transaction
+        deps.conn.transaction(() => {
+            // FM-10: tenant_id inherited from reading mission
+            deps.conn.run(`INSERT OR IGNORE INTO core_artifact_dependencies
+         (reading_mission_id, artifact_id, artifact_version, is_cross_mission, tenant_id, created_at)
+         VALUES (?, ?, ?, ?, ?, ?)`, [readingMissionId, artifactId, version, isCrossMission ? 1 : 0, depTenantId, now]);
+            deps.audit.append(deps.conn, {
+                tenantId: depTenantId,
+                actorType: 'system',
+                actorId: 'artifact_store',
+                operation: 'track_dependency',
+                resourceType: 'artifact_dependency',
+                resourceId: `${artifactId}@v${version}`,
+                detail: { readingMissionId, artifactId, version, isCrossMission },
+            });
+        });
+        return { ok: true, value: undefined };
+    }
+    /** FM-15: Get artifact count for mission */
+    function getArtifactCount(deps, missionId) {
+        const row = deps.conn.get('SELECT COUNT(*) as cnt FROM core_artifacts WHERE mission_id = ?', [missionId]);
+        return { ok: true, value: row?.cnt ?? 0 };
+    }
+    /** I-21: Archive artifacts for compaction */
+    function archiveForMission(deps, missionId) {
+        // Debt 3: Derive tenant_id from mission for audit trail
+        const archiveMissionRow = deps.conn.get('SELECT tenant_id FROM core_missions WHERE id = ?', [missionId]);
+        const archiveTenantId = (archiveMissionRow?.tenant_id ?? null);
+        // CQ-07 fix: I-03 -- archive UPDATE + audit + cascade in same transaction
+        let archived = 0;
+        deps.conn.transaction(() => {
+            const result = deps.conn.run(`UPDATE core_artifacts SET lifecycle_state = 'ARCHIVED' WHERE mission_id = ? AND lifecycle_state = 'ACTIVE'`, [missionId]);
+            archived = result.changes;
+            if (archived > 0) {
+                // I-23: Collect the archived artifact IDs for cascade
+                const archivedRows = deps.conn.query(`SELECT DISTINCT id FROM core_artifacts WHERE mission_id = ? AND lifecycle_state = 'ARCHIVED'`, [missionId]);
+                const archivedArtifactIds = archivedRows.map(r => r.id);
+                deps.audit.append(deps.conn, {
+                    tenantId: archiveTenantId,
+                    actorType: 'system',
+                    actorId: 'artifact_store',
+                    operation: 'archive_artifacts',
+                    resourceType: 'artifact',
+                    resourceId: missionId,
+                    detail: { missionId, archivedCount: archived },
+                });
+                // I-23: Cascade STALE flag to transitive dependents (BFS)
+                // Both archive and cascade in the same transaction
+                walkCascade(archivedArtifactIds, deps.conn, archiveTenantId, deps.audit);
+            }
+        });
+        return { ok: true, value: archived };
+    }
+    return Object.freeze({
+        create,
+        read,
+        trackDependency,
+        getArtifactCount,
+        archiveForMission,
+    });
+}
+//# sourceMappingURL=artifact_store.js.map

package/dist/orchestration/artifacts/artifact_store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact_store.js","sourceRoot":"","sources":["../../../src/orchestration/artifacts/artifact_store.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAQH,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAElD,+CAA+C;AAC/C,MAAM,0BAA0B,GAAG,UAAU,CAAC;AAE9C;;;GAGG;AACH,MAAM,UAAU,mBAAmB;IAEjC,+CAA+C;IAC/C,SAAS,MAAM,CACb,IAAuB,EACvB,GAAqB,EACrB,KAA0B;QAE1B,oCAAoC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3B,8CAA8C,EAC9C,CAAC,KAAK,CAAC,SAAS,CAAC,CAClB,CAAC;QACF,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACzG,CAAC;QACD,MAAM,YAAY,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,oBAAoB,OAAO,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACzH,CAAC;QAED,6BAA6B;QAC7B,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5D,IAAI,WAAW,CAAC,EAAE,IAAI,WAAW,CAAC,KAAK,IAAI,qBAAqB,CAAC,YAAY,EAAE,CAAC;YAC9E,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,kBAAkB,WAAW,CAAC,KAAK,WAAW,qBAAqB,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QAC9K,CAAC;QAED,mDAAmD;QACnD,MAAM,WAAW,GAAG,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnD,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;YAC3C,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACzB,IAAI,WAAW,GAAG,0BAA0B,EAAE,CAAC;YAC7C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,0CAA0C,WAAW,YAAY,0BAA0B,eAAe,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,CAAC;QAClM,CAAC;QAED,mFAAmF;QACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC5B,2FAA2F,EAC3F,CAAC,KAAK,CAAC,SAAS,CAAC,CAClB,CAAC;QACF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,qGAAqG;YACrG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,uCAAuC,KAAK,CAAC,SAAS,iCAAiC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3K,CAAC;QACD,IAAI,QAAQ,CAAC,iBAAiB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,sBAAsB,GAAG,WAAW,CAAC,GAAG,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YACnH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,gBAAgB,WAAW,0CAA0C,QAAQ,CAAC,sBAAsB,WAAW,QAAQ,CAAC,iBAAiB,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAChO,CAAC;QAED,oBAAoB;QACpB,IAAI,UAAsB,CAAC;QAC3B,IAAI,OAAe,CAAC;QAEpB,IAAI,KAAK,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;YACpC,2CAA2C;YAC3C,UAAU,GAAG,KAAK,CAAC,gBAAgB,CAAC;YACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9B,4DAA4D,EAC5D,CAAC,KAAK,CAAC,gBAAgB,CAAC,CACzB,CAAC;YACF,OAAO,GAAG,CAAC,UAAU,EAAE,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,eAAe;YACf,UAAU,GAAG,UAAU,EAAgB,CAAC;YACxC,OAAO,GAAG,CAAC,CAAC;QACd,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;YACnD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC;YACrC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC;QAElB,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACzB,oCAAoC;YACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CACX;;;kEAG0D,EAC1D;gBACE,UAAU;gBACV,OAAO;gBACP,KAAK,CAAC,SAAS;gBACf,GAAG,CAAC,QAAQ;gBACZ,KAAK,CAAC,IAAI;gBACV,KAAK,CAAC,IAAI;gBACV,KAAK,CAAC,MAAM;gBACZ,WAAW;gBACX,KAAK,CAAC,YAAY;gBAClB,KAAK,CAAC,gBAAgB;gBACtB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAC9B,GAAG;aACJ,CACF,CAAC;YAEF,oBAAoB;YACpB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC3B,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO;gBACxC,OAAO,EAAE,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,QAAQ,CAAW;gBAC1D,SAAS,EAAE,iBAAiB;gBAC5B,YAAY,EAAE,UAAU;gBACxB,UAAU,EAAE,GAAG,UAAoB,KAAK,OAAO,EAAE;gBACjD,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE;aACpF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE;SAC/B,CAAC;IACJ,CAAC;IAED,yDAAyD;IACzD,SAAS,IAAI,CACX,IAAuB,EACvB,IAAsB,EACtB,KAAwB;QAExB,IAAI,GAAwC,CAAC;QAE7C,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC/B,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CACjB,yEAAyE,EACzE,CAAC,KAAK,CAAC,UAAU,CAAC,CACnB,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CACjB,2DAA2D,EAC3D,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAClC,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,KAAK,CAAC,UAAU,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrH,CAAC;QAED,MAAM,cAAc,GAAG,GAAG,CAAC,iBAAiB,CAAW,CAAC;QACxD,IAAI,cAAc,KAAK,UAAU,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YAClE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,eAAe,cAAc,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3G,CAAC;QAED,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAW,CAAC;QACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAW,CAA4B,CAAC,CAAC,CAAC,EAAE,CAAC;QAEnH,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE;gBACL,QAAQ,EAAE;oBACR,EAAE,EAAE,GAAG,CAAC,IAAI,CAAe;oBAC3B,OAAO,EAAE,GAAG,CAAC,SAAS,CAAW;oBACjC,SAAS,EAAE,GAAG,CAAC,YAAY,CAAc;oBACzC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAW;oBAC3B,IAAI,EAAE,GAAG,CAAC,MAAM,CAA2C;oBAC3D,MAAM,EAAE,GAAG,CAAC,QAAQ,CAA6C;oBACjE,OAAO;oBACP,cAAc,EAAE,cAAkE;oBAClF,QAAQ;iBACT;aACF;SACF,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,SAAS,eAAe,CACtB,IAAuB,EACvB,gBAA2B,EAC3B,UAAsB,EACtB,OAAe,EACf,cAAuB;QAEvB,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC/B,+CAA+C;QAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC9B,kDAAkD,EAAE,CAAC,gBAAgB,CAAC,CACvE,CAAC;QACF,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,qGAAqG;YACrG,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,WAAW,gBAAgB,2DAA2D,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;QAC7K,CAAC;QACD,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,SAAS,IAAI,IAAI,CAAoB,CAAC;QAEtE,4EAA4E;QAC5E,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACzB,kDAAkD;YAClD,IAAI,CAAC,IAAI,CAAC,GAAG,CACX;;mCAE2B,EAC3B,CAAC,gBAAgB,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,CAClF,CAAC;YAEF,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC3B,QAAQ,EAAE,WAAW;gBACrB,SAAS,EAAE,QAAQ;gBACnB,OAAO,EAAE,gBAAgB;gBACzB,SAAS,EAAE,kBAAkB;gBAC7B,YAAY,EAAE,qBAAqB;gBACnC,UAAU,EAAE,GAAG,UAAoB,KAAK,OAAO,EAAE;gBACjD,MAAM,EAAE,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE;aAClE,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IACxC,CAAC;IAED,4CAA4C;IAC5C,SAAS,gBAAgB,CAAC,IAAuB,EAAE,SAAoB;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CACvB,iEAAiE,EACjE,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IAC5C,CAAC;IAED,6CAA6C;IAC7C,SAAS,iBAAiB,CAAC,IAAuB,EAAE,SAAoB;QACtE,wDAAwD;QACxD,MAAM,iBAAiB,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CACrC,kDAAkD,EAClD,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,MAAM,eAAe,GAAG,CAAC,iBAAiB,EAAE,SAAS,IAAI,IAAI,CAAoB,CAAC;QAElF,0EAA0E;QAC1E,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAC1B,4GAA4G,EAC5G,CAAC,SAAS,CAAC,CACZ,CAAC;YACF,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC;YAE1B,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;gBACjB,sDAAsD;gBACtD,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAClC,8FAA8F,EAC9F,CAAC,SAAS,CAAC,CACZ,CAAC;gBACF,MAAM,mBAAmB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAExD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC3B,QAAQ,EAAE,eAAe;oBACzB,SAAS,EAAE,QAAQ;oBACnB,OAAO,EAAE,gBAAgB;oBACzB,SAAS,EAAE,mBAAmB;oBAC9B,YAAY,EAAE,UAAU;oBACxB,UAAU,EAAE,SAAS;oBACrB,MAAM,EAAE,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE;iBAC/C,CAAC,CAAC;gBAEH,0DAA0D;gBAC1D,mDAAmD;gBACnD,WAAW,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACvC,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM;QACN,IAAI;QACJ,eAAe;QACf,gBAAgB;QAChB,iBAAiB;KAClB,CAAC,CAAC;AACL,CAAC"}

package/dist/orchestration/artifacts/cascade_walker.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Cascade Walker — BFS STALE flag propagation through artifact dependency graph.
+ * S ref: I-23 (Artifact Dependency Tracking), I-19 (Artifact Immutability)
+ *
+ * Phase: Sprint 3 (Knowledge Graph)
+ *
+ * Algorithm: Breadth-first search starting from archived artifact IDs.
+ * For each artifact: find missions that depend on it, find their ACTIVE+FRESH
+ * artifacts, mark them STALE, add to BFS queue.
+ *
+ * Safety constraints:
+ *   - COALESCE tenant pattern on EVERY query (FM-10)
+ *   - Column-specific UPDATE (staleness_flag only) — I-19 content/type triggers NOT fired
+ *   - Visited set prevents infinite loops on circular dependencies
+ *   - MAX_CASCADE_DEPTH = 10 hard safety bound
+ *   - Only cascades to ACTIVE + FRESH artifacts (skip ARCHIVED/DELETED/SUMMARIZED/STALE)
+ *   - Single audit entry per cascade invocation
+ *
+ * Spec trace: §4 I-23, §8 S18/S19, §19 Side Effects
+ */
+import type { DatabaseConnection, AuditTrail, TenantId } from '../../kernel/interfaces/index.js';
+/** Result of a cascade operation. */
+export interface CascadeResult {
+    /** Number of artifacts marked STALE. */
+    readonly affectedCount: number;
+    /** IDs of artifacts marked STALE (artifact_id:version format). */
+    readonly affectedIds: readonly string[];
+}
+/**
+ * Walk the artifact dependency graph via BFS, marking transitive dependents as STALE.
+ *
+ * @param sourceArtifactIds - Artifact IDs that were just archived (cascade source)
+ * @param conn - Database connection (must be inside a transaction already)
+ * @param tenantId - Tenant ID for isolation (null for single-tenant)
+ * @param audit - Audit trail for recording the cascade
+ * @returns CascadeResult with affected count and IDs
+ */
+export declare function walkCascade(sourceArtifactIds: readonly string[], conn: DatabaseConnection, tenantId: TenantId | null, audit: AuditTrail): CascadeResult;
+//# sourceMappingURL=cascade_walker.d.ts.map

package/dist/orchestration/artifacts/cascade_walker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cascade_walker.d.ts","sourceRoot":"","sources":["../../../src/orchestration/artifacts/cascade_walker.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kCAAkC,CAAC;AAKjG,qCAAqC;AACrC,MAAM,WAAW,aAAa;IAC5B,wCAAwC;IACxC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,iBAAiB,EAAE,SAAS,MAAM,EAAE,EACpC,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,QAAQ,GAAG,IAAI,EACzB,KAAK,EAAE,UAAU,GAChB,aAAa,CAiGf"}

package/dist/orchestration/artifacts/cascade_walker.js

@@ -0,0 +1,107 @@
+/**
+ * Cascade Walker — BFS STALE flag propagation through artifact dependency graph.
+ * S ref: I-23 (Artifact Dependency Tracking), I-19 (Artifact Immutability)
+ *
+ * Phase: Sprint 3 (Knowledge Graph)
+ *
+ * Algorithm: Breadth-first search starting from archived artifact IDs.
+ * For each artifact: find missions that depend on it, find their ACTIVE+FRESH
+ * artifacts, mark them STALE, add to BFS queue.
+ *
+ * Safety constraints:
+ *   - COALESCE tenant pattern on EVERY query (FM-10)
+ *   - Column-specific UPDATE (staleness_flag only) — I-19 content/type triggers NOT fired
+ *   - Visited set prevents infinite loops on circular dependencies
+ *   - MAX_CASCADE_DEPTH = 10 hard safety bound
+ *   - Only cascades to ACTIVE + FRESH artifacts (skip ARCHIVED/DELETED/SUMMARIZED/STALE)
+ *   - Single audit entry per cascade invocation
+ *
+ * Spec trace: §4 I-23, §8 S18/S19, §19 Side Effects
+ */
+/** Maximum BFS depth to prevent unbounded traversal. */
+const MAX_CASCADE_DEPTH = 10;
+/**
+ * Walk the artifact dependency graph via BFS, marking transitive dependents as STALE.
+ *
+ * @param sourceArtifactIds - Artifact IDs that were just archived (cascade source)
+ * @param conn - Database connection (must be inside a transaction already)
+ * @param tenantId - Tenant ID for isolation (null for single-tenant)
+ * @param audit - Audit trail for recording the cascade
+ * @returns CascadeResult with affected count and IDs
+ */
+export function walkCascade(sourceArtifactIds, conn, tenantId, audit) {
+    if (sourceArtifactIds.length === 0) {
+        return { affectedCount: 0, affectedIds: [] };
+    }
+    // Visited set: `${artifactId}:${version}` — prevents cycles
+    const visited = new Set();
+    const affectedIds = [];
+    // BFS queue: each entry is { artifactId, depth }
+    const queue = [];
+    // Seed the queue with source artifact IDs
+    for (const id of sourceArtifactIds) {
+        queue.push({ artifactId: id, depth: 0 });
+    }
+    while (queue.length > 0) {
+        const current = queue.shift();
+        // Safety bound: stop if max depth exceeded
+        if (current.depth >= MAX_CASCADE_DEPTH) {
+            continue;
+        }
+        // Find all missions that depend on this artifact
+        // COALESCE tenant pattern (FM-10)
+        const dependentMissions = conn.query(`SELECT DISTINCT reading_mission_id
+       FROM core_artifact_dependencies
+       WHERE artifact_id = ?
+         AND COALESCE(tenant_id, '__NULL__') = COALESCE(?, '__NULL__')`, [current.artifactId, tenantId]);
+        for (const dep of dependentMissions) {
+            // Find ACTIVE + FRESH artifacts in this dependent mission
+            // COALESCE tenant pattern (FM-10)
+            const freshArtifacts = conn.query(`SELECT id, version
+         FROM core_artifacts
+         WHERE mission_id = ?
+           AND lifecycle_state = 'ACTIVE'
+           AND staleness_flag = 'FRESH'
+           AND COALESCE(tenant_id, '__NULL__') = COALESCE(?, '__NULL__')`, [dep.reading_mission_id, tenantId]);
+            for (const artifact of freshArtifacts) {
+                const visitKey = `${artifact.id}:${artifact.version}`;
+                // Skip already-visited artifacts (cycle prevention)
+                if (visited.has(visitKey)) {
+                    continue;
+                }
+                visited.add(visitKey);
+                // Column-specific UPDATE: only staleness_flag — I-19 safe
+                // Uses version in WHERE clause for optimistic concurrency
+                const result = conn.run(`UPDATE core_artifacts
+           SET staleness_flag = 'STALE'
+           WHERE id = ? AND version = ?`, [artifact.id, artifact.version]);
+                if (result.changes > 0) {
+                    affectedIds.push(visitKey);
+                    // Add to BFS queue for further propagation
+                    queue.push({ artifactId: artifact.id, depth: current.depth + 1 });
+                }
+            }
+        }
+    }
+    // Single audit entry per cascade invocation (not per artifact)
+    if (affectedIds.length > 0) {
+        audit.append(conn, {
+            tenantId,
+            actorType: 'system',
+            actorId: 'cascade_walker',
+            operation: 'cascade_stale',
+            resourceType: 'artifact',
+            resourceId: `cascade:${sourceArtifactIds.join(',')}`,
+            detail: {
+                sourceArtifactIds,
+                affectedCount: affectedIds.length,
+                affectedIds,
+            },
+        });
+    }
+    return {
+        affectedCount: affectedIds.length,
+        affectedIds,
+    };
+}
+//# sourceMappingURL=cascade_walker.js.map