@codeledger/engine 0.7.2 → 0.7.3

package/dist/trust/timeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeline.d.ts","sourceRoot":"","sources":["../../src/trust/timeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EACV,iBAAiB,EAIjB,cAAc,EAEf,MAAM,mBAAmB,CAAC;AAI3B,yEAAyE;AACzE,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,cAAc,EACvB,WAAW,CAAC,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EACrE,UAAU,CAAC,EAAE;IAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,EAC7E,OAAO,CAAC,EAAE;IAAE,eAAe,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,MAAM,CAAA;CAAE,EAC9E,YAAY,CAAC,EAAE;IAAE,aAAa,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAA;CAAE,GAC9D,iBAAiB,CA0InB;AAED,0EAA0E;AAC1E,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,iBAAiB,GAAG;IACxE,UAAU,EAAE,OAAO,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB,CAsBA"}

package/dist/trust/timeline.js

@@ -0,0 +1,154 @@
+// ─── Timeline Assembly ─────────────────────────────────────────────────────
+/** Assemble a timeline from a Command Capsule and its associated data */
+export function assembleTimeline(capsule, contextData, policyData, eclData, learningData) {
+    const stages = [];
+    // 1. Intent stage (AUTHORITATIVE — from capsule action spec + intent signature)
+    stages.push({
+        kind: 'intent',
+        label: `Intent: ${capsule.action.description}`,
+        timestamp: capsule.createdAt,
+        sourceType: 'authoritative',
+        sourceRef: capsule.intentSignature ?? capsule.id,
+        data: {
+            operation: capsule.action.operation,
+            targetSystem: capsule.action.targetSystem,
+            targets: capsule.action.targets,
+            intentSignature: capsule.intentSignature,
+        },
+    });
+    // 2. Context stage (AUTHORITATIVE — from bundle generation)
+    if (contextData) {
+        const contextTransition = capsule.transitions.find((t) => t.trigger === 'policy_submitted');
+        stages.push({
+            kind: 'context',
+            label: `Context: ${contextData.fileCount} files, ${contextData.tokens} tokens`,
+            timestamp: contextTransition?.timestamp ?? capsule.createdAt,
+            sourceType: 'authoritative',
+            sourceRef: `bundle:${contextData.bundleId}`,
+            data: contextData,
+        });
+    }
+    // 3. Policy stage (AUTHORITATIVE — from policy evaluation)
+    if (policyData) {
+        const policyTransition = capsule.transitions.find((t) => t.to === 'pending_policy' || t.to === 'pending_approval');
+        stages.push({
+            kind: 'policy',
+            label: `Policy: ${policyData.triggered.length} rules triggered`,
+            timestamp: policyTransition?.timestamp ?? capsule.createdAt,
+            sourceType: 'authoritative',
+            sourceRef: `policy:${capsule.policyIds.join(',')}`,
+            data: {
+                triggered: policyData.triggered,
+                satisfied: policyData.satisfied,
+                violated: policyData.violated,
+                requiresApproval: capsule.approvalRequirements.length > 0,
+            },
+        });
+    }
+    // 4. Approval stage (AUTHORITATIVE — from approval decisions)
+    if (capsule.approvalDecisions.length > 0) {
+        const lastDecision = capsule.approvalDecisions[capsule.approvalDecisions.length - 1];
+        stages.push({
+            kind: 'approval',
+            label: `Approval: ${lastDecision.decision} by ${lastDecision.approver}`,
+            timestamp: lastDecision.timestamp,
+            sourceType: 'authoritative',
+            sourceRef: `approval:${capsule.id}`,
+            data: {
+                decisions: capsule.approvalDecisions,
+                requirements: capsule.approvalRequirements,
+                allSatisfied: capsule.state !== 'pending_approval' && capsule.state !== 'rejected',
+            },
+        });
+    }
+    else if (capsule.approvalRequirements.length === 0 && capsule.state !== 'draft') {
+        // Auto-approved — no approval required
+        const autoTransition = capsule.transitions.find((t) => t.trigger === 'no_approval_required');
+        if (autoTransition) {
+            stages.push({
+                kind: 'approval',
+                label: 'Approval: auto-approved (no requirements)',
+                timestamp: autoTransition.timestamp,
+                sourceType: 'derived',
+                sourceRef: `auto_approval:${capsule.id}`,
+                data: { autoApproved: true, reason: 'No approval requirements for this risk level' },
+            });
+        }
+    }
+    // 5. Execution stage (AUTHORITATIVE — from capsule transitions)
+    const execTransition = capsule.transitions.find((t) => t.to === 'executing');
+    if (execTransition) {
+        stages.push({
+            kind: 'execution',
+            label: `Execution: started by ${execTransition.actor}`,
+            timestamp: execTransition.timestamp,
+            sourceType: 'authoritative',
+            sourceRef: `execution:${capsule.id}`,
+            data: {
+                actor: execTransition.actor,
+                preconditionsPassed: capsule.preconditions.every((c) => c.result?.passed ?? true),
+                eclData: eclData ?? null,
+            },
+        });
+    }
+    // 6. Outcome stage (AUTHORITATIVE — from capsule outcome)
+    if (capsule.outcome) {
+        stages.push({
+            kind: 'outcome',
+            label: `Outcome: ${capsule.outcome.status}`,
+            timestamp: capsule.outcome.completedAt,
+            sourceType: 'authoritative',
+            sourceRef: capsule.outcome.eclEntryId ?? `outcome:${capsule.id}`,
+            data: {
+                status: capsule.outcome.status,
+                summary: capsule.outcome.summary,
+                testResults: capsule.outcome.testResults,
+                postconditionsPassed: capsule.postconditions.every((c) => c.result?.passed ?? true),
+            },
+        });
+    }
+    // 7. Learning stage (DERIVED — from ECL weight index)
+    if (learningData) {
+        stages.push({
+            kind: 'learning',
+            label: `Learning: success=${learningData.successWeight}, failure=${learningData.failureWeight}`,
+            timestamp: capsule.outcome?.completedAt ?? capsule.updatedAt,
+            sourceType: 'derived',
+            sourceRef: `ecl_weights:${capsule.intentSignature ?? capsule.id}`,
+            data: learningData,
+        });
+    }
+    // Sort by timestamp
+    stages.sort((a, b) => new Date(a.timestamp).getTime() - new Date(b.timestamp).getTime());
+    const isComplete = stages.some((s) => s.kind === 'outcome');
+    return {
+        capsuleId: capsule.id,
+        stages,
+        complete: isComplete,
+        assembledAt: new Date().toISOString(),
+    };
+}
+/** Replay a timeline — verify it can be reconstructed from stored data */
+export function verifyTimelineReplayability(timeline) {
+    const syntheticCount = timeline.stages.filter((s) => s.sourceType === 'synthetic').length;
+    const authoritativeCount = timeline.stages.filter((s) => s.sourceType === 'authoritative').length;
+    const derivedCount = timeline.stages.filter((s) => s.sourceType === 'derived').length;
+    const issues = [];
+    if (syntheticCount > 0) {
+        issues.push(`${syntheticCount} synthetic stage(s) — not backed by stored data`);
+    }
+    // Check for missing stages
+    const presentKinds = new Set(timeline.stages.map((s) => s.kind));
+    if (!presentKinds.has('intent'))
+        issues.push('Missing intent stage');
+    if (!presentKinds.has('execution') && timeline.complete)
+        issues.push('Complete timeline missing execution stage');
+    return {
+        replayable: syntheticCount === 0 && issues.length <= 1,
+        syntheticCount,
+        authoritativeCount,
+        derivedCount,
+        issues,
+    };
+}
+//# sourceMappingURL=timeline.js.map

package/dist/trust/timeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"timeline.js","sourceRoot":"","sources":["../../src/trust/timeline.ts"],"names":[],"mappings":"AAwBA,8EAA8E;AAE9E,yEAAyE;AACzE,MAAM,UAAU,gBAAgB,CAC9B,OAAuB,EACvB,WAAqE,EACrE,UAA6E,EAC7E,OAA8E,EAC9E,YAA+D;IAE/D,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,gFAAgF;IAChF,MAAM,CAAC,IAAI,CAAC;QACV,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,WAAW,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE;QAC9C,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,UAAU,EAAE,eAAe;QAC3B,SAAS,EAAE,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,EAAE;QAChD,IAAI,EAAE;YACJ,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;YACnC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,YAAY;YACzC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO;YAC/B,eAAe,EAAE,OAAO,CAAC,eAAe;SACzC;KACF,CAAC,CAAC;IAEH,4DAA4D;IAC5D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,iBAAiB,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,kBAAkB,CAAC,CAAC;QAC/G,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,YAAY,WAAW,CAAC,SAAS,WAAW,WAAW,CAAC,MAAM,SAAS;YAC9E,SAAS,EAAE,iBAAiB,EAAE,SAAS,IAAI,OAAO,CAAC,SAAS;YAC5D,UAAU,EAAE,eAAe;YAC3B,SAAS,EAAE,UAAU,WAAW,CAAC,QAAQ,EAAE;YAC3C,IAAI,EAAE,WAAW;SAClB,CAAC,CAAC;IACL,CAAC;IAED,2DAA2D;IAC3D,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,gBAAgB,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAC/C,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,gBAAgB,IAAI,CAAC,CAAC,EAAE,KAAK,kBAAkB,CACnF,CAAC;QACF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,WAAW,UAAU,CAAC,SAAS,CAAC,MAAM,kBAAkB;YAC/D,SAAS,EAAE,gBAAgB,EAAE,SAAS,IAAI,OAAO,CAAC,SAAS;YAC3D,UAAU,EAAE,eAAe;YAC3B,SAAS,EAAE,UAAU,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAClD,IAAI,EAAE;gBACJ,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,SAAS,EAAE,UAAU,CAAC,SAAS;gBAC/B,QAAQ,EAAE,UAAU,CAAC,QAAQ;gBAC7B,gBAAgB,EAAE,OAAO,CAAC,oBAAoB,CAAC,MAAM,GAAG,CAAC;aAC1D;SACF,CAAC,CAAC;IACL,CAAC;IAED,8DAA8D;IAC9D,IAAI,OAAO,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,YAAY,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;QACtF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,aAAa,YAAY,CAAC,QAAQ,OAAO,YAAY,CAAC,QAAQ,EAAE;YACvE,SAAS,EAAE,YAAY,CAAC,SAAS;YACjC,UAAU,EAAE,eAAe;YAC3B,SAAS,EAAE,YAAY,OAAO,CAAC,EAAE,EAAE;YACnC,IAAI,EAAE;gBACJ,SAAS,EAAE,OAAO,CAAC,iBAAiB;gBACpC,YAAY,EAAE,OAAO,CAAC,oBAAoB;gBAC1C,YAAY,EAAE,OAAO,CAAC,KAAK,KAAK,kBAAkB,IAAI,OAAO,CAAC,KAAK,KAAK,UAAU;aACnF;SACF,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,OAAO,CAAC,oBAAoB,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;QAClF,uCAAuC;QACvC,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,sBAAsB,CAAC,CAAC;QAChH,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,2CAA2C;gBAClD,SAAS,EAAE,cAAc,CAAC,SAAS;gBACnC,UAAU,EAAE,SAAS;gBACrB,SAAS,EAAE,iBAAiB,OAAO,CAAC,EAAE,EAAE;gBACxC,IAAI,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,EAAE,8CAA8C,EAAE;aACrF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,MAAM,cAAc,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;IAChG,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,yBAAyB,cAAc,CAAC,KAAK,EAAE;YACtD,SAAS,EAAE,cAAc,CAAC,SAAS;YACnC,UAAU,EAAE,eAAe;YAC3B,SAAS,EAAE,aAAa,OAAO,CAAC,EAAE,EAAE;YACpC,IAAI,EAAE;gBACJ,KAAK,EAAE,cAAc,CAAC,KAAK;gBAC3B,mBAAmB,EAAE,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC;gBACrG,OAAO,EAAE,OAAO,IAAI,IAAI;aACzB;SACF,CAAC,CAAC;IACL,CAAC;IAED,0DAA0D;IAC1D,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,YAAY,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE;YAC3C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;YACtC,UAAU,EAAE,eAAe;YAC3B,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU,IAAI,WAAW,OAAO,CAAC,EAAE,EAAE;YAChE,IAAI,EAAE;gBACJ,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;gBAC9B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO;gBAChC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW;gBACxC,oBAAoB,EAAE,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC;aACxG;SACF,CAAC,CAAC;IACL,CAAC;IAED,sDAAsD;IACtD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,qBAAqB,YAAY,CAAC,aAAa,aAAa,YAAY,CAAC,aAAa,EAAE;YAC/F,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,IAAI,OAAO,CAAC,SAAS;YAC5D,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,eAAe,OAAO,CAAC,eAAe,IAAI,OAAO,CAAC,EAAE,EAAE;YACjE,IAAI,EAAE,YAAY;SACnB,CAAC,CAAC;IACL,CAAC;IAED,oBAAoB;IACpB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAgB,EAAE,CAAgB,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAEvH,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAE3E,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,EAAE;QACrB,MAAM;QACN,QAAQ,EAAE,UAAU;QACpB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAiB;KACrD,CAAC;AACJ,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,2BAA2B,CAAC,QAA2B;IAOrE,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IACzG,MAAM,kBAAkB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,eAAe,CAAC,CAAC,MAAM,CAAC;IACjH,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACrG,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,iDAAiD,CAAC,CAAC;IAClF,CAAC;IAED,2BAA2B;IAC3B,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACrE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ;QAAE,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAElH,OAAO;QACL,UAAU,EAAE,cAAc,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC;QACtD,cAAc;QACd,kBAAkB;QAClB,YAAY;QACZ,MAAM;KACP,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@codeledger/engine",
-  "version": "0.7.2",
+  "version": "0.7.3",
   "type": "module",
   "description": "Deterministic Context Orchestration Layer (DCOL) — SCE and IOLE subsystems for CodeLedger v2",
   "license": "MIT",
@@ -33,10 +33,14 @@
     "./license": {
       "types": "./dist/license/index.d.ts",
       "import": "./dist/license/index.js"
+    },
+    "./intervention": {
+      "types": "./dist/intervention/index.d.ts",
+      "import": "./dist/intervention/index.js"
     }
   },
   "dependencies": {
-    "@codeledger/types": "0.7.2"
+    "@codeledger/types": "0.7.3"
   },
   "devDependencies": {
     "typescript": "^5.4.0"