anantham-v2 2.0.0-alpha.1

package/dist/domain/workspace.js

@@ -0,0 +1,159 @@
+import { z } from "zod";
+/**
+ * Execution Workspace lifecycle status.
+ * PRD Part 2 Section 52, Section 56.
+ */
+export const WorkspaceStatusSchema = z.enum([
+    "CREATING",
+    "READY",
+    "ACTIVE",
+    "CHANGES_PRESENT",
+    "VERIFYING",
+    "INTEGRATED",
+    "CONFLICT_DETECTED",
+    "QUARANTINED",
+    "CLEANUP_PENDING",
+    "CLEANED",
+    "FAILED",
+]);
+/**
+ * Workspace cleanup state.
+ */
+export const WorkspaceCleanupStateSchema = z.enum([
+    "NONE",
+    "PENDING",
+    "CLEANED",
+    "QUARANTINED",
+]);
+/**
+ * Execution Workspace contract.
+ * Binds an isolated Git worktree to a task, agent, lease, and monotonic fencing token.
+ * PRD Part 2 Section 52.
+ */
+export const ExecutionWorkspaceSchema = z.object({
+    id: z.string().min(1), // workspaceId (e.g., ws_...)
+    projectId: z.string().min(1),
+    taskId: z.string().min(1),
+    agentId: z.string().min(1),
+    instanceId: z.string().min(1),
+    leaseId: z.string().min(1),
+    generation: z.number().int().positive(), // fencing token (1, 2, 3...)
+    baseCommit: z.string().min(1), // Git SHA
+    baseBranch: z.string().min(1),
+    worktreePath: z.string().min(1), // Absolute or relative filesystem path
+    branchName: z.string().min(1), // e.g. anantham/ws-<id>
+    status: WorkspaceStatusSchema,
+    cleanupState: WorkspaceCleanupStateSchema,
+    quarantineReason: z.string().optional(),
+    metadata: z.record(z.unknown()).optional(),
+    createdAt: z.string().min(1), // ISO timestamp
+    lastVerifiedAt: z.string().min(1), // ISO timestamp
+});
+/**
+ * Change-set metadata capturing exact file mutations and deterministic hashes.
+ * PRD Part 2 Section 54.
+ */
+export const ChangeSetMetadataSchema = z.object({
+    workspaceId: z.string().min(1),
+    baseCommit: z.string().min(1),
+    headCommit: z.string().min(1),
+    targetCommit: z.string().min(1),
+    filesAdded: z.array(z.string()),
+    filesModified: z.array(z.string()),
+    filesDeleted: z.array(z.string()),
+    filesRenamed: z.array(z.object({
+        from: z.string(),
+        to: z.string(),
+    })),
+    fileHashes: z.record(z.string()), // relative path -> SHA-256
+    symbolsModified: z
+        .array(z.object({
+        file: z.string(),
+        symbol: z.string(),
+        kind: z.string(),
+    }))
+        .optional(),
+    patch: z.string(), // unified diff
+    changeSetHash: z.string().min(1), // deterministic SHA-256 of the change set
+    createdAt: z.string().min(1),
+});
+/**
+ * Deterministic conflict classification categories.
+ * PRD Part 2 Section 53.
+ */
+export const ConflictClassificationSchema = z.enum([
+    "NO_CONFLICT",
+    "FILE_CONFLICT", // same file modified concurrently
+    "DELETE_MODIFY_CONFLICT", // one deletes, other modifies
+    "RENAME_CONFLICT", // rename collision
+    "ADD_ADD_CONFLICT", // same file added with different content
+    "BASE_DIVERGENCE", // target branch moved ahead of workspace base commit
+    "CONTRACT_CONFLICT", // shared domain contract modified
+    "MIGRATION_CONFLICT", // database migration conflict
+    "EVENT_SCHEMA_CONFLICT", // event schema conflict
+    "PUBLIC_API_CONFLICT", // index/public export collision
+    "USER_CHANGE_CONFLICT", // uncommitted or external user change on target
+    "UNKNOWN_CONFLICT", // fails closed
+]);
+/**
+ * Detailed conflict report.
+ */
+export const ConflictReportSchema = z.object({
+    id: z.string().min(1),
+    workspaceId: z.string().min(1),
+    conflictingWorkspaceId: z.string().optional(),
+    conflictType: ConflictClassificationSchema,
+    conflictingFiles: z.array(z.string()),
+    conflictingSymbols: z.array(z.string()).optional(),
+    details: z.string().min(1),
+    reconciliationSuggestion: z
+        .enum(["RESERIALIZE", "REBASE", "MANUAL_RECONCILIATION", "REJECT"])
+        .optional(),
+    detectedAt: z.string().min(1),
+});
+/**
+ * Integration request parameters.
+ * PRD Part 2 Section 55.
+ */
+export const IntegrationRequestSchema = z.object({
+    workspaceId: z.string().min(1),
+    taskId: z.string().min(1),
+    agentId: z.string().min(1),
+    instanceId: z.string().min(1),
+    leaseId: z.string().min(1),
+    generation: z.number().int().positive(),
+    targetBranch: z.string().min(1),
+    runVerification: z.boolean().default(true),
+    commitMessage: z.string().optional(),
+});
+/**
+ * Integration result payload.
+ */
+export const IntegrationResultSchema = z.object({
+    success: z.boolean(),
+    workspaceId: z.string().min(1),
+    integratedCommit: z.string().optional(),
+    conflictReport: ConflictReportSchema.optional(),
+    status: z.enum([
+        "INTEGRATED",
+        "CONFLICT_REJECTED",
+        "VERIFICATION_FAILED",
+        "FENCING_VIOLATION",
+        "USER_CHANGE_BLOCKED",
+        "ERROR",
+    ]),
+    errorMessage: z.string().optional(),
+});
+/**
+ * Workspace quarantine record preserving uncommitted changes as patch artifacts.
+ * PRD Part 2 Section 56.
+ */
+export const WorkspaceQuarantineRecordSchema = z.object({
+    id: z.string().min(1),
+    workspaceId: z.string().min(1),
+    reason: z.string().min(1),
+    patch: z.string(),
+    exportedArtifactId: z.string().optional(),
+    createdAt: z.string().min(1),
+});
+//# sourceMappingURL=workspace.js.map

package/dist/domain/workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../src/domain/workspace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC;IAC1C,UAAU;IACV,OAAO;IACP,QAAQ;IACR,iBAAiB;IACjB,WAAW;IACX,YAAY;IACZ,mBAAmB;IACnB,aAAa;IACb,iBAAiB;IACjB,SAAS;IACT,QAAQ;CACT,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC;IAChD,MAAM;IACN,SAAS;IACT,SAAS;IACT,aAAa;CACd,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,6BAA6B;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,EAAE,6BAA6B;IACtE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU;IACzC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,uCAAuC;IACxE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,wBAAwB;IACvD,MAAM,EAAE,qBAAqB;IAC7B,YAAY,EAAE,2BAA2B;IACzC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC1C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB;IAC9C,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,gBAAgB;CACpD,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,CAAC,CAAC,KAAK,CACnB,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;KACf,CAAC,CACH;IACD,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,2BAA2B;IAC7D,eAAe,EAAE,CAAC;SACf,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;QAClB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;KACjB,CAAC,CACH;SACA,QAAQ,EAAE;IACb,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,eAAe;IAClC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,0CAA0C;IAC5E,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,IAAI,CAAC;IACjD,aAAa;IACb,eAAe,EAAE,kCAAkC;IACnD,wBAAwB,EAAE,8BAA8B;IACxD,iBAAiB,EAAE,mBAAmB;IACtC,kBAAkB,EAAE,yCAAyC;IAC7D,iBAAiB,EAAE,qDAAqD;IACxE,mBAAmB,EAAE,kCAAkC;IACvD,oBAAoB,EAAE,8BAA8B;IACpD,uBAAuB,EAAE,wBAAwB;IACjD,qBAAqB,EAAE,gCAAgC;IACvD,sBAAsB,EAAE,gDAAgD;IACxE,kBAAkB,EAAE,eAAe;CACpC,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7C,YAAY,EAAE,4BAA4B;IAC1C,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACrC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAClD,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,wBAAwB,EAAE,CAAC;SACxB,IAAI,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,uBAAuB,EAAE,QAAQ,CAAC,CAAC;SAClE,QAAQ,EAAE;IACb,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC9B,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACvC,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IAC1C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,cAAc,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IAC/C,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;QACb,YAAY;QACZ,mBAAmB;QACnB,qBAAqB;QACrB,mBAAmB;QACnB,qBAAqB;QACrB,OAAO;KACR,CAAC;IACF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACpC,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACzC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC,CAAC"}

package/dist/evaluation/assertion-evaluator.d.ts

@@ -0,0 +1,16 @@
+import { type EvaluationAssertion, type AssertionEvaluationResult } from "../domain/evaluation.js";
+import { type CollectedEvidence } from "./evidence-collector.js";
+/**
+ * Objective Assertion Evaluator.
+ * PRD Part 3 Section 94.
+ */
+export declare class AssertionEvaluator {
+    /**
+     * Evaluates an individual assertion against collected objective evidence.
+     */
+    static evaluate(assertion: EvaluationAssertion, evidence: CollectedEvidence, options?: {
+        engine?: any;
+        workspaceRoot?: string;
+    }): AssertionEvaluationResult;
+}
+//# sourceMappingURL=assertion-evaluator.d.ts.map

package/dist/evaluation/assertion-evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-evaluator.d.ts","sourceRoot":"","sources":["../../src/evaluation/assertion-evaluator.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,yBAAyB,EAE/B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAGjE;;;GAGG;AACH,qBAAa,kBAAkB;IAC7B;;OAEG;WACW,QAAQ,CACpB,SAAS,EAAE,mBAAmB,EAC9B,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,CAAC,EAAE;QACR,MAAM,CAAC,EAAE,GAAG,CAAC;QACb,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB,GACA,yBAAyB;CAuJ7B"}

package/dist/evaluation/assertion-evaluator.js

@@ -0,0 +1,154 @@
+import * as fs from "node:fs";
+import { AssertionEvaluationResultSchema, } from "../domain/evaluation.js";
+/**
+ * Objective Assertion Evaluator.
+ * PRD Part 3 Section 94.
+ */
+export class AssertionEvaluator {
+    /**
+     * Evaluates an individual assertion against collected objective evidence.
+     */
+    static evaluate(assertion, evidence, options) {
+        let passed = false;
+        let observed = undefined;
+        let evidenceStr = "";
+        switch (assertion.type) {
+            case "STATE_EQUALS": {
+                let physicalVal = undefined;
+                if (options?.engine && assertion.target.includes(".")) {
+                    try {
+                        const [table, col] = assertion.target.split(".");
+                        const safeTable = table === "task" || table === "tasks" ? "tasks" : table === "session" || table === "sessions" ? "sessions" : null;
+                        if (safeTable && (col === "status" || col === "priority")) {
+                            const row = options.engine.raw.prepare(`SELECT ${col} as val FROM ${safeTable} LIMIT 1;`).get();
+                            if (row)
+                                physicalVal = row.val;
+                        }
+                    }
+                    catch {
+                        // Fall back to evidence snapshots
+                    }
+                }
+                observed = physicalVal !== undefined ? physicalVal : evidence.stateSnapshots[assertion.target];
+                passed = observed === assertion.expected;
+                evidenceStr = `Observed state '${assertion.target}' = '${String(observed)}' (expected: '${String(assertion.expected)}')`;
+                break;
+            }
+            case "EVENT_EXISTS": {
+                const matchingEvents = evidence.events.filter((e) => e.type === assertion.target);
+                observed = matchingEvents.length > 0;
+                passed = observed === Boolean(assertion.expected);
+                evidenceStr = `Found ${matchingEvents.length} event(s) of type '${assertion.target}'`;
+                break;
+            }
+            case "ARTIFACT_EXISTS": {
+                const found = evidence.artifacts.find((a) => a.path === assertion.target || a.id === assertion.target);
+                let physicalFileOk = true;
+                if (found && options?.workspaceRoot && found.path) {
+                    try {
+                        physicalFileOk = fs.existsSync(found.path);
+                    }
+                    catch {
+                        physicalFileOk = false;
+                    }
+                }
+                observed = found !== undefined && physicalFileOk;
+                passed = observed === Boolean(assertion.expected);
+                evidenceStr = found
+                    ? `Artifact '${assertion.target}' found (physical: ${physicalFileOk}, hash: ${found.hash ?? "none"})`
+                    : `Artifact '${assertion.target}' not found`;
+                break;
+            }
+            case "POLICY_DECISION": {
+                observed = evidence.policyDecisions[evidence.policyDecisions.length - 1] ?? "NONE";
+                passed = observed === assertion.expected;
+                evidenceStr = `Observed policy decision: '${String(observed)}' (expected: '${String(assertion.expected)}')`;
+                break;
+            }
+            case "TOOL_COUNT_LIMIT": {
+                const toolEvents = evidence.events.filter((e) => e.type.includes("tool"));
+                const limit = Number(assertion.expected);
+                observed = toolEvents.length;
+                passed = toolEvents.length <= limit;
+                evidenceStr = `Observed ${toolEvents.length} tool call(s) (limit: ${limit})`;
+                break;
+            }
+            case "RESOURCE_LIMIT": {
+                const metricVal = evidence.metrics[assertion.target] ?? 0;
+                const limit = Number(assertion.expected);
+                observed = metricVal;
+                passed = metricVal <= limit;
+                evidenceStr = `Observed metric '${assertion.target}' = ${metricVal} (limit: ${limit})`;
+                break;
+            }
+            case "SECRET_ABSENT": {
+                const sensitiveRegex = /(sk-[a-zA-Z0-9_\-]{20,}|Bearer\s+[a-zA-Z0-9_\-\.]{25,}|AKIA[0-9A-Z]{16})/i;
+                let leaked = false;
+                for (const ev of evidence.events) {
+                    const payloadStr = JSON.stringify(ev.payload ?? {});
+                    if (sensitiveRegex.test(payloadStr)) {
+                        leaked = true;
+                        break;
+                    }
+                }
+                for (const val of Object.values(evidence.stateSnapshots)) {
+                    if (sensitiveRegex.test(JSON.stringify(val))) {
+                        leaked = true;
+                        break;
+                    }
+                }
+                observed = !leaked;
+                passed = observed === Boolean(assertion.expected);
+                evidenceStr = leaked ? "Raw credential pattern detected in evidence" : "No raw credentials detected";
+                break;
+            }
+            case "PROJECT_CONTAINMENT": {
+                // Physical database project check if engine available
+                let physicalOk = true;
+                if (options?.engine) {
+                    try {
+                        const row = options.engine.raw.prepare("SELECT COUNT(*) as count FROM tasks WHERE project_id IS NULL OR project_id = '';").get();
+                        if (row && row.count > 0)
+                            physicalOk = false;
+                    }
+                    catch {
+                        // Ignore if schema not present
+                    }
+                }
+                observed = (evidence.stateSnapshots[assertion.target] ?? true) && physicalOk;
+                passed = observed === Boolean(assertion.expected);
+                evidenceStr = `Project containment verified: ${String(observed)}`;
+                break;
+            }
+            case "RECOVERY_SURVIVED": {
+                let physicalOk = true;
+                if (options?.engine) {
+                    try {
+                        const integrityRow = options.engine.raw.prepare("PRAGMA integrity_check;").get();
+                        if (!integrityRow || integrityRow.integrity_check !== "ok")
+                            physicalOk = false;
+                    }
+                    catch {
+                        physicalOk = false;
+                    }
+                }
+                observed = (evidence.stateSnapshots[assertion.target] ?? true) && physicalOk;
+                passed = observed === Boolean(assertion.expected);
+                evidenceStr = `Recovery state verification: ${String(observed)}`;
+                break;
+            }
+            default:
+                passed = false;
+                evidenceStr = `Unknown assertion type '${assertion.type}'`;
+        }
+        return AssertionEvaluationResultSchema.parse({
+            assertionId: assertion.id,
+            passed,
+            expected: assertion.expected,
+            observed,
+            evidence: evidenceStr,
+            criticality: assertion.criticality,
+        });
+    }
+}
+//# sourceMappingURL=assertion-evaluator.js.map

package/dist/evaluation/assertion-evaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-evaluator.js","sourceRoot":"","sources":["../../src/evaluation/assertion-evaluator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,SAAS,CAAC;AAC9B,OAAO,EAGL,+BAA+B,GAChC,MAAM,yBAAyB,CAAC;AAIjC;;;GAGG;AACH,MAAM,OAAO,kBAAkB;IAC7B;;OAEG;IACI,MAAM,CAAC,QAAQ,CACpB,SAA8B,EAC9B,QAA2B,EAC3B,OAGC;QAED,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,QAAQ,GAAY,SAAS,CAAC;QAClC,IAAI,WAAW,GAAG,EAAE,CAAC;QAErB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,IAAI,WAAW,GAAY,SAAS,CAAC;gBACrC,IAAI,OAAO,EAAE,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBACtD,IAAI,CAAC;wBACH,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;wBACjD,MAAM,SAAS,GAAG,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;wBACpI,IAAI,SAAS,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,UAAU,CAAC,EAAE,CAAC;4BAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,GAAG,gBAAgB,SAAS,WAAW,CAAC,CAAC,GAAG,EAAkC,CAAC;4BAChI,IAAI,GAAG;gCAAE,WAAW,GAAG,GAAG,CAAC,GAAG,CAAC;wBACjC,CAAC;oBACH,CAAC;oBAAC,MAAM,CAAC;wBACP,kCAAkC;oBACpC,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gBAC/F,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,QAAQ,CAAC;gBACzC,WAAW,GAAG,mBAAmB,SAAS,CAAC,MAAM,QAAQ,MAAM,CAAC,QAAQ,CAAC,iBAAiB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACzH,MAAM;YACR,CAAC;YAED,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;gBAClF,QAAQ,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC;gBACrC,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAClD,WAAW,GAAG,SAAS,cAAc,CAAC,MAAM,sBAAsB,SAAS,CAAC,MAAM,GAAG,CAAC;gBACtF,MAAM;YACR,CAAC;YAED,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;gBACvG,IAAI,cAAc,GAAG,IAAI,CAAC;gBAC1B,IAAI,KAAK,IAAI,OAAO,EAAE,aAAa,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;oBAClD,IAAI,CAAC;wBACH,cAAc,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC7C,CAAC;oBAAC,MAAM,CAAC;wBACP,cAAc,GAAG,KAAK,CAAC;oBACzB,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,KAAK,KAAK,SAAS,IAAI,cAAc,CAAC;gBACjD,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAClD,WAAW,GAAG,KAAK;oBACjB,CAAC,CAAC,aAAa,SAAS,CAAC,MAAM,sBAAsB,cAAc,WAAW,KAAK,CAAC,IAAI,IAAI,MAAM,GAAG;oBACrG,CAAC,CAAC,aAAa,SAAS,CAAC,MAAM,aAAa,CAAC;gBAC/C,MAAM;YACR,CAAC;YAGD,KAAK,iBAAiB,CAAC,CAAC,CAAC;gBACvB,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC;gBACnF,MAAM,GAAG,QAAQ,KAAK,SAAS,CAAC,QAAQ,CAAC;gBACzC,WAAW,GAAG,8BAA8B,MAAM,CAAC,QAAQ,CAAC,iBAAiB,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAC5G,MAAM;YACR,CAAC;YAED,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC1E,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBACzC,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC;gBAC7B,MAAM,GAAG,UAAU,CAAC,MAAM,IAAI,KAAK,CAAC;gBACpC,WAAW,GAAG,YAAY,UAAU,CAAC,MAAM,yBAAyB,KAAK,GAAG,CAAC;gBAC7E,MAAM;YACR,CAAC;YAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBACzC,QAAQ,GAAG,SAAS,CAAC;gBACrB,MAAM,GAAG,SAAS,IAAI,KAAK,CAAC;gBAC5B,WAAW,GAAG,oBAAoB,SAAS,CAAC,MAAM,OAAO,SAAS,YAAY,KAAK,GAAG,CAAC;gBACvF,MAAM;YACR,CAAC;YAED,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,cAAc,GAAG,2EAA2E,CAAC;gBACnG,IAAI,MAAM,GAAG,KAAK,CAAC;gBAEnB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;oBACjC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;oBACpD,IAAI,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;wBACpC,MAAM,GAAG,IAAI,CAAC;wBACd,MAAM;oBACR,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;oBACzD,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;wBAC7C,MAAM,GAAG,IAAI,CAAC;wBACd,MAAM;oBACR,CAAC;gBACH,CAAC;gBAED,QAAQ,GAAG,CAAC,MAAM,CAAC;gBACnB,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAClD,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,CAAC,6BAA6B,CAAC;gBACrG,MAAM;YACR,CAAC;YAED,KAAK,qBAAqB,CAAC,CAAC,CAAC;gBAC3B,sDAAsD;gBACtD,IAAI,UAAU,GAAG,IAAI,CAAC;gBACtB,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;oBACpB,IAAI,CAAC;wBACH,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CACpC,kFAAkF,CACnF,CAAC,GAAG,EAAmC,CAAC;wBACzC,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC;4BAAE,UAAU,GAAG,KAAK,CAAC;oBAC/C,CAAC;oBAAC,MAAM,CAAC;wBACP,+BAA+B;oBACjC,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC;gBAC7E,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAClD,WAAW,GAAG,iCAAiC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClE,MAAM;YACR,CAAC;YAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,IAAI,UAAU,GAAG,IAAI,CAAC;gBACtB,IAAI,OAAO,EAAE,MAAM,EAAE,CAAC;oBACpB,IAAI,CAAC;wBACH,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,GAAG,EAA8C,CAAC;wBAC7H,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,eAAe,KAAK,IAAI;4BAAE,UAAU,GAAG,KAAK,CAAC;oBACjF,CAAC;oBAAC,MAAM,CAAC;wBACP,UAAU,GAAG,KAAK,CAAC;oBACrB,CAAC;gBACH,CAAC;gBACD,QAAQ,GAAG,CAAC,QAAQ,CAAC,cAAc,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC;gBAC7E,MAAM,GAAG,QAAQ,KAAK,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAClD,WAAW,GAAG,gCAAgC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACjE,MAAM;YACR,CAAC;YAED;gBACE,MAAM,GAAG,KAAK,CAAC;gBACf,WAAW,GAAG,2BAA2B,SAAS,CAAC,IAAI,GAAG,CAAC;QAC/D,CAAC;QAED,OAAO,+BAA+B,CAAC,KAAK,CAAC;YAC3C,WAAW,EAAE,SAAS,CAAC,EAAE;YACzB,MAAM;YACN,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,QAAQ;YACR,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,SAAS,CAAC,WAAW;SACnC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/evaluation/benchmark-registry.d.ts

@@ -0,0 +1,10 @@
+import { type BenchmarkDataset, type BenchmarkCase } from "../domain/evaluation.js";
+export declare class BenchmarkRegistry {
+    private readonly datasets;
+    constructor();
+    registerDataset(dataset: BenchmarkDataset): void;
+    getDataset(datasetId: string, version?: string): BenchmarkDataset | null;
+    listDatasets(): BenchmarkDataset[];
+    getCase(datasetId: string, caseId: string, version?: string): BenchmarkCase | null;
+}
+//# sourceMappingURL=benchmark-registry.d.ts.map

package/dist/evaluation/benchmark-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"benchmark-registry.d.ts","sourceRoot":"","sources":["../../src/evaluation/benchmark-registry.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAEnB,MAAM,yBAAyB,CAAC;AA+cjC,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAuC;;IAUzD,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,IAAI;IAMhD,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI;IAUxE,YAAY,IAAI,gBAAgB,EAAE;IAIlC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,IAAI;CAK1F"}