@longarc/mdash 3.0.0

package/dist/checkpoint/engine.js

@@ -0,0 +1,369 @@
+/**
+ * mdash v3.0 - Checkpoint Surety
+ *
+ * Event-driven checkpoints replace time-driven intervals.
+ * "State transition triggers seal, not time intervals."
+ *
+ * Target Latency:
+ * - Checkpoint creation: <0.5ms P50, <1ms P99
+ *
+ * Key Property:
+ * - Single action blast radius: if an action fails, only that action is affected
+ */
+import { generateCheckpointId, generateTimestamp, sha256Object, hmacSeal, hmacVerify, deriveKey, } from '../core/crypto';
+// ============================================================================
+// HAPPENS-BEFORE LATTICE
+// ============================================================================
+/**
+ * Lamport-style happens-before ordering for checkpoints
+ * Ensures causal consistency in distributed execution
+ */
+export class HappensBeforeLattice {
+    checkpoints = new Map();
+    children = new Map();
+    roots = [];
+    /**
+     * Add a checkpoint to the lattice
+     */
+    add(checkpoint) {
+        this.checkpoints.set(checkpoint.id, checkpoint);
+        if (checkpoint.parent_id) {
+            const siblings = this.children.get(checkpoint.parent_id) || [];
+            siblings.push(checkpoint.id);
+            this.children.set(checkpoint.parent_id, siblings);
+        }
+        else {
+            this.roots.push(checkpoint.id);
+        }
+    }
+    /**
+     * Check if a happens-before b
+     */
+    happensBefore(a, b) {
+        const cpB = this.checkpoints.get(b);
+        if (!cpB)
+            return false;
+        // Walk up from b to see if we reach a
+        let current = b;
+        while (current) {
+            if (current === a)
+                return true;
+            const cp = this.checkpoints.get(current);
+            current = cp?.parent_id || null;
+        }
+        return false;
+    }
+    /**
+     * Check if two checkpoints are concurrent (neither happens-before the other)
+     */
+    areConcurrent(a, b) {
+        return !this.happensBefore(a, b) && !this.happensBefore(b, a);
+    }
+    /**
+     * Get the causal history of a checkpoint
+     */
+    getCausalHistory(id) {
+        const history = [];
+        let current = id;
+        while (current) {
+            const cp = this.checkpoints.get(current);
+            if (!cp)
+                break;
+            history.push(cp);
+            current = cp.parent_id;
+        }
+        return history;
+    }
+    /**
+     * Get all checkpoints after a given one
+     */
+    getSuccessors(id) {
+        const successors = [];
+        const queue = this.children.get(id) || [];
+        while (queue.length > 0) {
+            const current = queue.shift();
+            const cp = this.checkpoints.get(current);
+            if (cp) {
+                successors.push(cp);
+                queue.push(...(this.children.get(current) || []));
+            }
+        }
+        return successors;
+    }
+    /**
+     * Find the latest common ancestor of two checkpoints
+     */
+    findLCA(a, b) {
+        const ancestorsA = new Set();
+        let current = a;
+        while (current) {
+            ancestorsA.add(current);
+            const cp = this.checkpoints.get(current);
+            current = cp?.parent_id || null;
+        }
+        current = b;
+        while (current) {
+            if (ancestorsA.has(current)) {
+                return current;
+            }
+            const cp = this.checkpoints.get(current);
+            current = cp?.parent_id || null;
+        }
+        return null;
+    }
+    /**
+     * Get statistics
+     */
+    getStats() {
+        let maxDepth = 0;
+        for (const id of this.checkpoints.keys()) {
+            const history = this.getCausalHistory(id);
+            maxDepth = Math.max(maxDepth, history.length);
+        }
+        return {
+            total: this.checkpoints.size,
+            roots: this.roots.length,
+            maxDepth,
+        };
+    }
+}
+// ============================================================================
+// CHECKPOINT ENGINE
+// ============================================================================
+export class CheckpointEngine {
+    key = null;
+    commitmentEngine;
+    lattice;
+    checkpoints = new Map();
+    agentHeads = new Map(); // Latest checkpoint per agent
+    constructor(commitmentEngine) {
+        this.commitmentEngine = commitmentEngine;
+        this.lattice = new HappensBeforeLattice();
+    }
+    /**
+     * Initialize the engine with a seal key
+     */
+    async initialize(sealKey) {
+        this.key = await deriveKey(sealKey);
+    }
+    /**
+     * Create a checkpoint
+     * Target: <0.5ms P50, <1ms P99
+     */
+    async createCheckpoint(params) {
+        if (!this.key) {
+            throw new Error('Engine not initialized. Call initialize() first.');
+        }
+        const startTime = performance.now();
+        const id = generateCheckpointId();
+        const now = generateTimestamp();
+        const parentId = this.agentHeads.get(params.agent_id) || null;
+        // Compute state hash
+        const hash = await sha256Object({
+            id,
+            agent_id: params.agent_id,
+            trigger: params.trigger,
+            state: params.state,
+            parent_id: parentId,
+            created_at: now,
+        });
+        // Create checkpoint data for sealing
+        const checkpointData = {
+            _v: 1,
+            id,
+            agent_id: params.agent_id,
+            trigger: params.trigger,
+            hash,
+            parent_id: parentId,
+            created_at: now,
+        };
+        // Seal the checkpoint
+        const seal = await hmacSeal(checkpointData, this.key);
+        const checkpoint = {
+            id,
+            agent_id: params.agent_id,
+            trigger: params.trigger,
+            status: 'pending',
+            state: params.state,
+            parent_id: parentId,
+            physics_score: params.physics_score ?? 1.0,
+            created_at: now,
+            hash,
+            seal,
+            commitment_id: null,
+            version: 'v3.0',
+        };
+        // Commit to L1 (async, don't wait)
+        const commitmentId = `checkpoint:${id}`;
+        this.commitmentEngine.commit(checkpoint, commitmentId).then(() => {
+            checkpoint.commitment_id = commitmentId;
+            checkpoint.status = 'sealed';
+        });
+        // Store and index
+        this.checkpoints.set(id, checkpoint);
+        this.agentHeads.set(params.agent_id, id);
+        this.lattice.add(checkpoint);
+        const elapsed = performance.now() - startTime;
+        if (elapsed > 1) {
+            console.warn(`Checkpoint creation exceeded P99: ${elapsed.toFixed(2)}ms`);
+        }
+        return checkpoint;
+    }
+    /**
+     * Create checkpoint for action start
+     */
+    async onActionStart(params) {
+        return this.createCheckpoint({
+            agent_id: params.agent_id,
+            trigger: 'action_start',
+            state: {
+                execution_state: { status: 'starting' },
+                warrant_id: params.warrant_id,
+                action: params.action,
+                params: params.params,
+            },
+        });
+    }
+    /**
+     * Create checkpoint for action completion
+     */
+    async onActionComplete(params) {
+        return this.createCheckpoint({
+            agent_id: params.agent_id,
+            trigger: 'action_complete',
+            state: {
+                execution_state: { status: 'complete' },
+                warrant_id: params.warrant_id,
+                action: params.action,
+                params: params.params,
+                result: params.result,
+            },
+            physics_score: params.physics_score,
+        });
+    }
+    /**
+     * Create checkpoint for error
+     */
+    async onError(params) {
+        return this.createCheckpoint({
+            agent_id: params.agent_id,
+            trigger: 'error',
+            state: {
+                execution_state: { status: 'error' },
+                warrant_id: params.warrant_id,
+                action: params.action,
+                params: {},
+                error: params.error,
+            },
+            physics_score: 0,
+        });
+    }
+    /**
+     * Verify a checkpoint
+     */
+    async verify(checkpoint) {
+        if (!this.key) {
+            throw new Error('Engine not initialized. Call initialize() first.');
+        }
+        // Verify hash
+        const expectedHash = await sha256Object({
+            id: checkpoint.id,
+            agent_id: checkpoint.agent_id,
+            trigger: checkpoint.trigger,
+            state: checkpoint.state,
+            parent_id: checkpoint.parent_id,
+            created_at: checkpoint.created_at,
+        });
+        if (expectedHash !== checkpoint.hash) {
+            return false;
+        }
+        // Verify seal
+        const checkpointData = {
+            _v: 1,
+            id: checkpoint.id,
+            agent_id: checkpoint.agent_id,
+            trigger: checkpoint.trigger,
+            hash: checkpoint.hash,
+            parent_id: checkpoint.parent_id,
+            created_at: checkpoint.created_at,
+        };
+        return hmacVerify(checkpointData, checkpoint.seal, this.key);
+    }
+    /**
+     * Get checkpoint by ID
+     */
+    get(id) {
+        return this.checkpoints.get(id) || null;
+    }
+    /**
+     * Get the latest checkpoint for an agent
+     */
+    getHead(agentId) {
+        const headId = this.agentHeads.get(agentId);
+        if (!headId)
+            return null;
+        return this.checkpoints.get(headId) || null;
+    }
+    /**
+     * Get checkpoint chain for an agent
+     */
+    getChain(agentId, limit = 100) {
+        const headId = this.agentHeads.get(agentId);
+        if (!headId)
+            return [];
+        return this.lattice.getCausalHistory(headId).slice(0, limit);
+    }
+    /**
+     * Check if checkpoint a happened before checkpoint b
+     */
+    happensBefore(a, b) {
+        return this.lattice.happensBefore(a, b);
+    }
+    /**
+     * Get statistics
+     */
+    getStats() {
+        return {
+            total: this.checkpoints.size,
+            agents: this.agentHeads.size,
+            latticeStats: this.lattice.getStats(),
+        };
+    }
+}
+// ============================================================================
+// BLAST RADIUS ANALYZER
+// ============================================================================
+/**
+ * Analyzes the impact scope of a failed action
+ * "Single action blast radius" means failures are isolated
+ */
+export class BlastRadiusAnalyzer {
+    lattice;
+    constructor(lattice) {
+        this.lattice = lattice;
+    }
+    /**
+     * Analyze the blast radius of a failed checkpoint
+     * Returns affected checkpoints that depend on the failed one
+     */
+    analyze(failedId) {
+        const successors = this.lattice.getSuccessors(failedId);
+        const history = this.lattice.getCausalHistory(failedId);
+        // Find the last good checkpoint (recovery point)
+        const failedCheckpoint = history[0];
+        const recoveryPoint = failedCheckpoint?.parent_id ?? null;
+        return {
+            affected: successors,
+            isolated: successors.length === 0,
+            recoveryPoint,
+        };
+    }
+    /**
+     * Check if an action can be safely retried
+     */
+    canRetry(checkpointId) {
+        const { isolated } = this.analyze(checkpointId);
+        return isolated;
+    }
+}
+//# sourceMappingURL=engine.js.map

package/dist/checkpoint/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/checkpoint/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAML,oBAAoB,EACpB,iBAAiB,EACjB,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,SAAS,GACV,MAAM,gBAAgB,CAAC;AAwExB,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,OAAO,oBAAoB;IACvB,WAAW,GAAkC,IAAI,GAAG,EAAE,CAAC;IACvD,QAAQ,GAAsC,IAAI,GAAG,EAAE,CAAC;IACxD,KAAK,GAAmB,EAAE,CAAC;IAEnC;;OAEG;IACH,GAAG,CAAC,UAAsB;QACxB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAEhD,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,CAAe,EAAE,CAAe;QAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,GAAG;YAAE,OAAO,KAAK,CAAC;QAEvB,sCAAsC;QACtC,IAAI,OAAO,GAAwB,CAAC,CAAC;QACrC,OAAO,OAAO,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,GAAG,EAAE,EAAE,SAAS,IAAI,IAAI,CAAC;QAClC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,CAAe,EAAE,CAAe;QAC5C,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,EAAgB;QAC/B,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,IAAI,OAAO,GAAwB,EAAE,CAAC;QAEtC,OAAO,OAAO,EAAE,CAAC;YACf,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,EAAE;gBAAE,MAAM;YACf,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;QACzB,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,EAAgB;QAC5B,MAAM,UAAU,GAAiB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAE1C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,EAAE,EAAE,CAAC;gBACP,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,CAAe,EAAE,CAAe;QACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAgB,CAAC;QAC3C,IAAI,OAAO,GAAwB,CAAC,CAAC;QAErC,OAAO,OAAO,EAAE,CAAC;YACf,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,GAAG,EAAE,EAAE,SAAS,IAAI,IAAI,CAAC;QAClC,CAAC;QAED,OAAO,GAAG,CAAC,CAAC;QACZ,OAAO,OAAO,EAAE,CAAC;YACf,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,GAAG,EAAE,EAAE,SAAS,IAAI,IAAI,CAAC;QAClC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,IAAI,QAAQ,GAAG,CAAC,CAAC;QAEjB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;YAC1C,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;QAED,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI;YAC5B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;YACxB,QAAQ;SACT,CAAC;IACJ,CAAC;CACF;AAED,+EAA+E;AAC/E,oBAAoB;AACpB,+EAA+E;AAE/E,MAAM,OAAO,gBAAgB;IACnB,GAAG,GAAqB,IAAI,CAAC;IAC7B,gBAAgB,CAAmB;IACnC,OAAO,CAAuB;IAC9B,WAAW,GAAkC,IAAI,GAAG,EAAE,CAAC;IACvD,UAAU,GAA8B,IAAI,GAAG,EAAE,CAAC,CAAC,8BAA8B;IAEzF,YAAY,gBAAkC;QAC5C,IAAI,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QACzC,IAAI,CAAC,OAAO,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAU,CAAC,OAAe;QAC9B,IAAI,CAAC,GAAG,GAAG,MAAM,SAAS,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,gBAAgB,CAAC,MAKtB;QACC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;QAED,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAEpC,MAAM,EAAE,GAAG,oBAAoB,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;QAE9D,qBAAqB;QACrB,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC;YAC9B,EAAE;YACF,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,qCAAqC;QACrC,MAAM,cAAc,GAAG;YACrB,EAAE,EAAE,CAAC;YACL,EAAE;YACF,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI;YACJ,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,GAAG;SAChB,CAAC;QAEF,sBAAsB;QACtB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAEtD,MAAM,UAAU,GAAe;YAC7B,EAAE;YACF,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,SAAS;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,QAAQ;YACnB,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,GAAG;YAC1C,UAAU,EAAE,GAAG;YACf,IAAI;YACJ,IAAI;YACJ,aAAa,EAAE,IAAI;YACnB,OAAO,EAAE,MAAM;SAChB,CAAC;QAEF,mCAAmC;QACnC,MAAM,YAAY,GAAG,cAAc,EAAE,EAAE,CAAC;QACxC,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE;YAC/D,UAAU,CAAC,aAAa,GAAG,YAAY,CAAC;YACxC,UAAU,CAAC,MAAM,GAAG,QAAQ,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,kBAAkB;QAClB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAE7B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;QAC9C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,OAAO,CAAC,IAAI,CAAC,qCAAqC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,CAAC,MAKnB;QACC,OAAO,IAAI,CAAC,gBAAgB,CAAC;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE;gBACL,eAAe,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;gBACvC,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;aACtB;SACF,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,gBAAgB,CAAC,MAOtB;QACC,OAAO,IAAI,CAAC,gBAAgB,CAAC;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,iBAAiB;YAC1B,KAAK,EAAE;gBACL,eAAe,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE;gBACvC,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;aACtB;YACD,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,OAAO,CAAC,MAKb;QACC,OAAO,IAAI,CAAC,gBAAgB,CAAC;YAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,OAAO,EAAE,OAAO;YAChB,KAAK,EAAE;gBACL,eAAe,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;gBACpC,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,MAAM,CAAC,KAAK;aACpB;YACD,aAAa,EAAE,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,MAAM,CAAC,UAAsB;QACjC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;QAED,cAAc;QACd,MAAM,YAAY,GAAG,MAAM,YAAY,CAAC;YACtC,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,UAAU,EAAE,UAAU,CAAC,UAAU;SAClC,CAAC,CAAC;QAEH,IAAI,YAAY,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC;QACf,CAAC;QAED,cAAc;QACd,MAAM,cAAc,GAAG;YACrB,EAAE,EAAE,CAAC;YACL,EAAE,EAAE,UAAU,CAAC,EAAE;YACjB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,UAAU,EAAE,UAAU,CAAC,UAAU;SAClC,CAAC;QAEF,OAAO,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IAED;;OAEG;IACH,GAAG,CAAC,EAAgB;QAClB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,OAAe;QACrB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;IAC9C,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,OAAe,EAAE,QAAgB,GAAG;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAEvB,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,CAAe,EAAE,CAAe;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACH,QAAQ;QAKN,OAAO;YACL,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI;YAC5B,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;YAC5B,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;SACtC,CAAC;IACJ,CAAC;CACF;AAED,+EAA+E;AAC/E,wBAAwB;AACxB,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,OAAO,mBAAmB;IACtB,OAAO,CAAuB;IAEtC,YAAY,OAA6B;QACvC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,QAAsB;QAK5B,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAExD,iDAAiD;QACjD,MAAM,gBAAgB,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,aAAa,GAAG,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;QAE1D,OAAO;YACL,QAAQ,EAAE,UAAU;YACpB,QAAQ,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;YACjC,aAAa;SACd,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,YAA0B;QACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}

package/dist/context/engine.d.ts

@@ -0,0 +1,197 @@
+/**
+ * mdash v3.0 - Sealed Context Architecture (SCA)
+ *
+ * Incremental Merkle sealing with streaming support.
+ * O(log n) proof verification.
+ *
+ * Target Latency:
+ * - Context chunk seal: <2ms P50, <5ms P99
+ */
+import { Hash, Seal, Timestamp, FragmentId } from '../core/crypto';
+import { IncrementalMerkleTree, CommitmentEngine } from '../core/commitment';
+export type SourceClass = 'system' | 'operator' | 'user' | 'derived' | 'agent' | 'external';
+export type ContentType = 'text' | 'structured' | 'code' | 'binary' | 'reference';
+export interface SemanticUnit<T = unknown> {
+    /** Content type */
+    type: ContentType;
+    /** The actual data */
+    data: T;
+    /** Approximate token count */
+    tokens: number;
+    /** Optional metadata */
+    metadata?: Record<string, unknown>;
+}
+export interface Provenance {
+    /** Source URI */
+    source: string;
+    /** Attribution type */
+    attribution: SourceClass;
+    /** Trust level (0-100) */
+    trust_level: number;
+    /** Creation timestamp */
+    timestamp: Timestamp;
+    /** Parent fragment (if derived) */
+    parent_hash: Hash | null;
+    /** Optional signature */
+    signature?: string;
+}
+export interface ContextFragment<T = unknown> {
+    /** Unique identifier */
+    id: FragmentId;
+    /** Content hash */
+    hash: Hash;
+    /** Semantic content */
+    content: SemanticUnit<T>;
+    /** Provenance chain */
+    provenance: Provenance;
+    /** Seal timestamp */
+    sealed_at: Timestamp;
+    /** HMAC seal */
+    seal: Seal;
+    /** Constraints for resolution */
+    constraints: ContextConstraint[];
+    /** Protocol version */
+    version: 'v3.0';
+}
+export interface ContextConstraint {
+    kind: 'time' | 'scope' | 'trust' | 'signature';
+    type: string;
+    params: Record<string, unknown>;
+}
+export declare const DEFAULT_TRUST_LEVELS: Record<SourceClass, number>;
+export interface StreamChunk<T = unknown> {
+    /** Chunk index */
+    index: number;
+    /** Chunk content */
+    content: T;
+    /** Chunk hash */
+    hash: Hash;
+    /** Sealed flag */
+    sealed: boolean;
+}
+export declare class ContextStream<T = unknown> {
+    private chunks;
+    private tree;
+    private key;
+    private sourceClass;
+    private source;
+    constructor(params: {
+        source: string;
+        sourceClass: SourceClass;
+        maxDepth?: number;
+    });
+    /**
+     * Initialize with seal key
+     */
+    initialize(sealKey: string): Promise<void>;
+    /**
+     * Add a chunk to the stream
+     * Target: <2ms P50, <5ms P99
+     */
+    addChunk(content: T): Promise<StreamChunk<T>>;
+    /**
+     * Get the current root hash
+     */
+    getRoot(): Promise<Hash>;
+    /**
+     * Get proof for a specific chunk
+     */
+    getProof(index: number): Promise<{
+        chunk: StreamChunk<T>;
+        path: Array<{
+            hash: Hash;
+            position: 'left' | 'right';
+        }>;
+        root: Hash;
+    }>;
+    /**
+     * Finalize the stream into a single sealed fragment
+     */
+    finalize(): Promise<ContextFragment<T[]>>;
+    /**
+     * Get stream statistics
+     */
+    getStats(): {
+        chunks: number;
+        treeStats: ReturnType<IncrementalMerkleTree['getStats']>;
+    };
+}
+export declare class SealedContextEngine {
+    private key;
+    private commitmentEngine;
+    private fragments;
+    private byHash;
+    constructor(commitmentEngine: CommitmentEngine);
+    /**
+     * Initialize the engine with a seal key
+     */
+    initialize(sealKey: string): Promise<void>;
+    /**
+     * Create a sealed context fragment
+     */
+    seal<T>(params: {
+        content: T;
+        contentType: ContentType;
+        source: string;
+        sourceClass: SourceClass;
+        parentHash?: Hash;
+        constraints?: ContextConstraint[];
+        tokens?: number;
+    }): Promise<ContextFragment<T>>;
+    /**
+     * Derive a new fragment from an existing one
+     */
+    derive<T, U>(params: {
+        parent: ContextFragment<T>;
+        transform: (data: T) => U;
+        source: string;
+        constraints?: ContextConstraint[];
+    }): Promise<ContextFragment<U>>;
+    /**
+     * Verify a fragment
+     */
+    verify<T>(fragment: ContextFragment<T>): Promise<boolean>;
+    /**
+     * Resolve a fragment (check constraints)
+     */
+    resolve<T>(fragment: ContextFragment<T>, context: {
+        domain?: string;
+        now?: Date;
+    }): Promise<{
+        success: boolean;
+        violations: Array<{
+            constraint: ContextConstraint;
+            reason: string;
+        }>;
+    }>;
+    /**
+     * Get fragment by ID
+     */
+    get<T>(id: FragmentId): ContextFragment<T> | null;
+    /**
+     * Get fragment by hash
+     */
+    getByHash<T>(hash: Hash): ContextFragment<T> | null;
+    /**
+     * Create a streaming context
+     */
+    createStream<T>(params: {
+        source: string;
+        sourceClass: SourceClass;
+    }): ContextStream<T>;
+    /**
+     * Estimate tokens (rough: ~4 chars/token)
+     */
+    private estimateTokens;
+    /**
+     * Get statistics
+     */
+    getStats(): {
+        fragments: number;
+    };
+}
+export declare function maxAge(ms: number): ContextConstraint;
+export declare function requireTrust(minimum: number): ContextConstraint;
+export declare function allowDomains(domains: string[]): ContextConstraint;
+export declare function requireSignature(signers: string[]): ContextConstraint;
+//# sourceMappingURL=engine.d.ts.map

package/dist/context/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/context/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,SAAS,EACT,UAAU,EAQX,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAM7E,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,UAAU,GACV,MAAM,GACN,SAAS,GACT,OAAO,GACP,UAAU,CAAC;AAEf,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,YAAY,GACZ,MAAM,GACN,QAAQ,GACR,WAAW,CAAC;AAEhB,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,OAAO;IACvC,mBAAmB;IACnB,IAAI,EAAE,WAAW,CAAC;IAClB,sBAAsB;IACtB,IAAI,EAAE,CAAC,CAAC;IACR,8BAA8B;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,wBAAwB;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,UAAU;IACzB,iBAAiB;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,uBAAuB;IACvB,WAAW,EAAE,WAAW,CAAC;IACzB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,yBAAyB;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,mCAAmC;IACnC,WAAW,EAAE,IAAI,GAAG,IAAI,CAAC;IACzB,yBAAyB;IACzB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,eAAe,CAAC,CAAC,GAAG,OAAO;IAC1C,wBAAwB;IACxB,EAAE,EAAE,UAAU,CAAC;IACf,mBAAmB;IACnB,IAAI,EAAE,IAAI,CAAC;IACX,uBAAuB;IACvB,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACzB,uBAAuB;IACvB,UAAU,EAAE,UAAU,CAAC;IACvB,qBAAqB;IACrB,SAAS,EAAE,SAAS,CAAC;IACrB,gBAAgB;IAChB,IAAI,EAAE,IAAI,CAAC;IACX,iCAAiC;IACjC,WAAW,EAAE,iBAAiB,EAAE,CAAC;IACjC,uBAAuB;IACvB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,CAAC;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAMD,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAO5D,CAAC;AAMF,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,OAAO;IACtC,kBAAkB;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,OAAO,EAAE,CAAC,CAAC;IACX,iBAAiB;IACjB,IAAI,EAAE,IAAI,CAAC;IACX,kBAAkB;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,qBAAa,aAAa,CAAC,CAAC,GAAG,OAAO;IACpC,OAAO,CAAC,MAAM,CAAwB;IACtC,OAAO,CAAC,IAAI,CAAwB;IACpC,OAAO,CAAC,GAAG,CAA0B;IACrC,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,MAAM,CAAS;gBAEX,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,WAAW,CAAC;QACzB,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB;IAMD;;OAEG;IACG,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhD;;;OAGG;IACG,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IA2BnD;;OAEG;IACG,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAI9B;;OAEG;IACG,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;QACrC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,IAAI,CAAC;YAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAA;SAAE,CAAC,CAAC;QACxD,IAAI,EAAE,IAAI,CAAC;KACZ,CAAC;IAeF;;OAEG;IACG,QAAQ,IAAI,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC;IA6D/C;;OAEG;IACH,QAAQ,IAAI;QACV,MAAM,EAAE,MAAM,CAAC;QACf,SAAS,EAAE,UAAU,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,CAAC;KAC1D;CAMF;AAMD,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,GAAG,CAA0B;IACrC,OAAO,CAAC,gBAAgB,CAAmB;IAC3C,OAAO,CAAC,SAAS,CAA+C;IAChE,OAAO,CAAC,MAAM,CAAoC;gBAEtC,gBAAgB,EAAE,gBAAgB;IAI9C;;OAEG;IACG,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhD;;OAEG;IACG,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE;QACpB,OAAO,EAAE,CAAC,CAAC;QACX,WAAW,EAAE,WAAW,CAAC;QACzB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,WAAW,CAAC;QACzB,UAAU,CAAC,EAAE,IAAI,CAAC;QAClB,WAAW,CAAC,EAAE,iBAAiB,EAAE,CAAC;QAClC,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAoE/B;;OAEG;IACG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE;QACzB,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3B,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,CAAC,EAAE,iBAAiB,EAAE,CAAC;KACnC,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAyB/B;;OAEG;IACG,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC;IA8B/D;;OAEG;IACG,OAAO,CAAC,CAAC,EACb,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,EAC5B,OAAO,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,IAAI,CAAA;KAAE,GACvC,OAAO,CAAC;QACT,OAAO,EAAE,OAAO,CAAC;QACjB,UAAU,EAAE,KAAK,CAAC;YAAE,UAAU,EAAE,iBAAiB,CAAC;YAAC,MAAM,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACtE,CAAC;IAsDF;;OAEG;IACH,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,IAAI;IAIjD;;OAEG;IACH,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,GAAG,IAAI;IAMnD;;OAEG;IACH,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,WAAW,CAAC;KAC1B,GAAG,aAAa,CAAC,CAAC,CAAC;IAIpB;;OAEG;IACH,OAAO,CAAC,cAAc;IAOtB;;OAEG;IACH,QAAQ,IAAI;QACV,SAAS,EAAE,MAAM,CAAC;KACnB;CAKF;AAMD,wBAAgB,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,CAMpD;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,iBAAiB,CAM/D;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAMjE;AAED,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,iBAAiB,CAMrE"}