@adammcarter/use-cases 0.1.0

package/packages/core/dist/errors/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/errors/render.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,8EAA8E;AAC9E,+CAA+C;AAE/C,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAwB,MAAM,eAAe,CAAC;AAE1F,MAAM,cAAc,GAAoC;IACtD,MAAM,EAAE,gBAAgB;IACxB,QAAQ,EAAE,kBAAkB;IAC5B,QAAQ,EAAE,iBAAiB;IAC3B,SAAS,EAAE,gCAAgC;IAC3C,KAAK,EAAE,2BAA2B;IAClC,SAAS,EAAE,kBAAkB;IAC7B,SAAS,EAAE,WAAW;IACtB,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE,aAAa;CACpB,CAAC;AAEF,4CAA4C;AAC5C,MAAM,aAAa,GAAsB;IACvC,QAAQ;IACR,UAAU;IACV,UAAU;IACV,WAAW;IACX,OAAO;IACP,WAAW;IACX,WAAW;IACX,UAAU;IACV,MAAM;CACP,CAAC;AAEF,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,wBAAwB;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CACR,4EAA4E,CAC7E,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,+EAA+E,CAChF,CAAC;IACF,KAAK,CAAC,IAAI,CACR,+EAA+E,CAChF,CAAC;IACF,KAAK,CAAC,IAAI,CACR,gFAAgF,CACjF,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,eAAe,CAAC,MAAM,qBAAqB,aAAa,CAAC,MAAM,cAAc,CAAC,CAAC;IACzG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QAC7F,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC5C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,IAAI,CAAC,QAAQ,MAAM,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACjF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/packages/core/dist/errors.d.ts

@@ -0,0 +1,5 @@
+export declare class UseCasesPluginError extends Error {
+    readonly code: string;
+    constructor(message: string, code: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/packages/core/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,qBAAa,mBAAoB,SAAQ,KAAK;IAG1C,QAAQ,CAAC,IAAI,EAAE,MAAM;gBADrB,OAAO,EAAE,MAAM,EACN,IAAI,EAAE,MAAM;CAKxB"}

package/packages/core/dist/errors.js

@@ -0,0 +1,9 @@
+export class UseCasesPluginError extends Error {
+    code;
+    constructor(message, code) {
+        super(message);
+        this.code = code;
+        this.name = "UseCasesPluginError";
+    }
+}
+//# sourceMappingURL=errors.js.map

package/packages/core/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAGjC;IAFX,YACE,OAAe,EACN,IAAY;QAErB,KAAK,CAAC,OAAO,CAAC,CAAC;QAFN,SAAI,GAAJ,IAAI,CAAQ;QAGrB,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF"}

package/packages/core/dist/evidence/appendEvidenceEvent.d.ts

@@ -0,0 +1,27 @@
+import type { ResolvedWorkspaceContext } from "../roots.js";
+import type { EvidenceAppendResultData, EvidenceEvent, EvidenceKind, EvidenceResult, EvidenceTarget } from "./types.js";
+export type AppendEvidenceEventOptions = {
+    context: ResolvedWorkspaceContext;
+    idempotencyKey: string;
+    target: EvidenceTarget;
+    kind: EvidenceKind;
+    result: EvidenceResult;
+    summary: string;
+    actorType: "user" | "agent" | "script" | "system";
+    hostSurface: EvidenceEvent["host_surface"];
+};
+export type VoidEvidenceEventOptions = {
+    context: ResolvedWorkspaceContext;
+    evidenceId: string;
+    expectedHeadEventId: string;
+    reason: string;
+    idempotencyKey: string;
+    actorType: "user" | "agent" | "script" | "system";
+    hostSurface: EvidenceEvent["host_surface"];
+};
+export type AppendEvidenceEventResult = EvidenceAppendResultData & {
+    ledgerPath: string;
+};
+export declare function appendEvidenceEvent(options: AppendEvidenceEventOptions): AppendEvidenceEventResult;
+export declare function appendEvidenceVoidEvent(options: VoidEvidenceEventOptions): AppendEvidenceEventResult;
+//# sourceMappingURL=appendEvidenceEvent.d.ts.map

package/packages/core/dist/evidence/appendEvidenceEvent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"appendEvidenceEvent.d.ts","sourceRoot":"","sources":["../../src/evidence/appendEvidenceEvent.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,wBAAwB,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAIxH,MAAM,MAAM,0BAA0B,GAAG;IACvC,OAAO,EAAE,wBAAwB,CAAC;IAClC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAClD,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,OAAO,EAAE,wBAAwB,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAClD,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CAC5C,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG,wBAAwB,GAAG;IACjE,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,0BAA0B,GAAG,yBAAyB,CAOlG;AAED,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,wBAAwB,GAAG,yBAAyB,CAEpG"}

package/packages/core/dist/evidence/appendEvidenceEvent.js

@@ -0,0 +1,218 @@
+import { createHash, randomBytes } from "node:crypto";
+import { closeSync, existsSync, mkdirSync, openSync, readFileSync, rmSync, writeSync } from "node:fs";
+import { dirname, join } from "node:path";
+import { fsyncBestEffortForTemp } from "../durableWrite.js";
+import { canonicalJson } from "../markers/canonicalJson.js";
+import { redactSecrets } from "../redact.js";
+import { UseCasesPluginError } from "../errors.js";
+import { evidenceRelativePath, evidenceRoot } from "./jsonlLedger.js";
+import { replayEvidence } from "./replayEvidence.js";
+export function appendEvidenceEvent(options) {
+    // Redact the free-text summary at the point of persistence so the durable
+    // ledger never holds a leaked secret. Doing it here (before digestIntent and
+    // payload construction) keeps the stored summary and its intent digest in
+    // agreement. Structural fields (ids, hashes, targets) are untouched.
+    const redacted = { ...options, summary: redactSecrets(options.summary) };
+    return withEvidenceAppendLock(redacted.context, () => appendUnderLock(redacted));
+}
+export function appendEvidenceVoidEvent(options) {
+    return withEvidenceAppendLock(options.context, () => voidUnderLock(options));
+}
+function appendUnderLock(options) {
+    const snapshot = replayEvidence({ context: options.context });
+    if (!snapshot.complete) {
+        throw new UseCasesPluginError("Refusing to append to damaged evidence history.", "evidence_ledger_damaged");
+    }
+    const intentDigest = digestIntent(options);
+    const existing = snapshot.events.find((event) => event.idempotency_key === options.idempotencyKey);
+    if (existing) {
+        if (existing.intent_digest === intentDigest) {
+            const ledgerPath = ledgerPathFor(options.context, existing.aggregate_id);
+            return {
+                schema_version: 1,
+                appended: false,
+                event: existing,
+                ledger_path: evidenceRelativePath(options.context, ledgerPath),
+                durability: "file_synced",
+                ledgerPath
+            };
+        }
+        throw new UseCasesPluginError("Idempotency key was reused with different intent.", "evidence_idempotency_conflict");
+    }
+    const eventId = uuidv7();
+    const event = recordedEventFromOptions(options, eventId, intentDigest);
+    const ledgerPath = ledgerPathFor(options.context, event.aggregate_id);
+    mkdirSync(dirname(ledgerPath), { recursive: true });
+    const fd = openSync(ledgerPath, "a");
+    try {
+        writeSync(fd, `${JSON.stringify(event)}\n`);
+        fsyncBestEffortForTemp(fd, ledgerPath);
+    }
+    finally {
+        closeSync(fd);
+    }
+    return {
+        schema_version: 1,
+        appended: true,
+        event,
+        ledger_path: evidenceRelativePath(options.context, ledgerPath),
+        durability: "file_synced",
+        ledgerPath
+    };
+}
+//: @use-case: evidence.ledger.append_only_corrections
+function voidUnderLock(options) {
+    const snapshot = replayEvidence({ context: options.context });
+    if (!snapshot.complete) {
+        throw new UseCasesPluginError("Refusing to append to damaged evidence history.", "evidence_ledger_damaged");
+    }
+    const aggregate = snapshot.aggregates.find((item) => item.evidenceId === options.evidenceId);
+    if (!aggregate || aggregate.status !== "active") {
+        throw new UseCasesPluginError("Evidence aggregate is not active.", "evidence_invalid_transition");
+    }
+    const currentHead = aggregate.eventIds.at(-1);
+    if (currentHead !== options.expectedHeadEventId) {
+        throw new UseCasesPluginError("Expected head event does not match current head.", "evidence_expected_head_mismatch");
+    }
+    const intentDigest = digestIntent({
+        context: options.context,
+        idempotencyKey: options.idempotencyKey,
+        target: {
+            use_case_id: options.evidenceId,
+            use_case_semantic_hash: "sha256:0000000000000000000000000000000000000000000000000000000000000000"
+        },
+        kind: "manual_observation",
+        result: "observed",
+        summary: options.reason,
+        actorType: options.actorType,
+        hostSurface: options.hostSurface
+    });
+    const existing = snapshot.events.find((event) => event.idempotency_key === options.idempotencyKey);
+    if (existing) {
+        if (existing.intent_digest === intentDigest) {
+            const ledgerPath = ledgerPathFor(options.context, existing.aggregate_id);
+            return {
+                schema_version: 1,
+                appended: false,
+                event: existing,
+                ledger_path: evidenceRelativePath(options.context, ledgerPath),
+                durability: "file_synced",
+                ledgerPath
+            };
+        }
+        throw new UseCasesPluginError("Idempotency key was reused with different intent.", "evidence_idempotency_conflict");
+    }
+    const eventId = uuidv7();
+    const event = {
+        schema_version: 1,
+        event_type: "evidence_voided",
+        event_id: eventId,
+        aggregate_id: options.evidenceId,
+        sequence: aggregate.eventIds.length + 1,
+        recorded_at: new Date().toISOString(),
+        actor_type: options.actorType,
+        host_surface: options.hostSurface,
+        idempotency_key: options.idempotencyKey,
+        intent_digest: intentDigest,
+        target_event_id: options.expectedHeadEventId,
+        reason: options.reason
+    };
+    const ledgerPath = ledgerPathFor(options.context, options.evidenceId);
+    const fd = openSync(ledgerPath, "a");
+    try {
+        writeSync(fd, `${JSON.stringify(event)}\n`);
+        fsyncBestEffortForTemp(fd, ledgerPath);
+    }
+    finally {
+        closeSync(fd);
+    }
+    return {
+        schema_version: 1,
+        appended: true,
+        event,
+        ledger_path: evidenceRelativePath(options.context, ledgerPath),
+        durability: "file_synced",
+        ledgerPath
+    };
+}
+//: @use-case: end evidence.ledger.append_only_corrections
+function recordedEventFromOptions(options, eventId, intentDigest) {
+    const now = new Date().toISOString();
+    return {
+        schema_version: 1,
+        event_type: "evidence_recorded",
+        event_id: eventId,
+        aggregate_id: eventId,
+        sequence: 1,
+        recorded_at: now,
+        actor_type: options.actorType,
+        host_surface: options.hostSurface,
+        idempotency_key: options.idempotencyKey,
+        intent_digest: intentDigest,
+        payload: {
+            targets: [options.target],
+            kind: options.kind,
+            captured_at: now,
+            result: options.result,
+            summary: options.summary,
+            producer: { type: options.actorType },
+            method: { type: options.actorType === "script" ? "structured_command" : "reported" },
+            evidence_kind: options.kind,
+            use_case_ids: [options.target.use_case_id],
+            verifier: { type: options.actorType === "system" ? "agent" : options.actorType },
+            verdict: options.result === "inconclusive" || options.result === "observed" ? "partial" : options.result
+        }
+    };
+}
+function ledgerPathFor(context, evidenceId) {
+    const prefix = evidenceId.slice(0, 2);
+    return join(evidenceRoot(context), "by-id", prefix, `${evidenceId}.jsonl`);
+}
+function withEvidenceAppendLock(context, work) {
+    const lockDir = join(evidenceRoot(context), ".locks/append.lock");
+    mkdirSync(dirname(lockDir), { recursive: true });
+    const deadline = Date.now() + 30_000;
+    while (true) {
+        try {
+            mkdirSync(lockDir);
+            break;
+        }
+        catch (error) {
+            if (error.code !== "EEXIST" || Date.now() > deadline) {
+                throw new UseCasesPluginError("Timed out acquiring evidence append lock.", "evidence_lock_timeout");
+            }
+            sleep(25);
+        }
+    }
+    try {
+        return work();
+    }
+    finally {
+        rmSync(lockDir, { recursive: true, force: true });
+    }
+}
+function digestIntent(options) {
+    return `sha256:${createHash("sha256").update(canonicalJson({
+        target: options.target,
+        kind: options.kind,
+        result: options.result,
+        summary: options.summary,
+        actorType: options.actorType,
+        hostSurface: options.hostSurface
+    })).digest("hex")}`;
+}
+function uuidv7() {
+    const timestamp = Date.now().toString(16).padStart(12, "0");
+    const random = randomBytes(10).toString("hex");
+    return [
+        timestamp.slice(0, 8),
+        timestamp.slice(8, 12),
+        `7${random.slice(0, 3)}`,
+        `8${random.slice(3, 6)}`,
+        random.slice(6, 18)
+    ].join("-");
+}
+function sleep(milliseconds) {
+    Atomics.wait(new Int32Array(new SharedArrayBuffer(4)), 0, 0, milliseconds);
+}
+//# sourceMappingURL=appendEvidenceEvent.js.map

package/packages/core/dist/evidence/appendEvidenceEvent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"appendEvidenceEvent.js","sourceRoot":"","sources":["../../src/evidence/appendEvidenceEvent.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACtG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AAGnD,OAAO,EAAE,oBAAoB,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AA2BrD,MAAM,UAAU,mBAAmB,CAAC,OAAmC;IACrE,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,qEAAqE;IACrE,MAAM,QAAQ,GAA+B,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;IACrG,OAAO,sBAAsB,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,OAAiC;IACvE,OAAO,sBAAsB,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,eAAe,CAAC,OAAmC;IAC1D,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,iDAAiD,EAAE,yBAAyB,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;IACnG,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC;YAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;YACzE,OAAO;gBACL,cAAc,EAAE,CAAC;gBACjB,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,QAAQ;gBACf,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;gBAC9D,UAAU,EAAE,aAAa;gBACzB,UAAU;aACX,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,mBAAmB,CAAC,mDAAmD,EAAE,+BAA+B,CAAC,CAAC;IACtH,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IACtE,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,SAAS,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,sBAAsB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IAED,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,IAAI;QACd,KAAK;QACL,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;QAC9D,UAAU,EAAE,aAAa;QACzB,UAAU;KACX,CAAC;AACJ,CAAC;AAED,sDAAsD;AACtD,SAAS,aAAa,CAAC,OAAiC;IACtD,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9D,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvB,MAAM,IAAI,mBAAmB,CAAC,iDAAiD,EAAE,yBAAyB,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7F,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChD,MAAM,IAAI,mBAAmB,CAAC,mCAAmC,EAAE,6BAA6B,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,WAAW,KAAK,OAAO,CAAC,mBAAmB,EAAE,CAAC;QAChD,MAAM,IAAI,mBAAmB,CAAC,kDAAkD,EAAE,iCAAiC,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,YAAY,GAAG,YAAY,CAAC;QAChC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,MAAM,EAAE;YACN,WAAW,EAAE,OAAO,CAAC,UAAU;YAC/B,sBAAsB,EAAE,yEAAyE;SAClG;QACD,IAAI,EAAE,oBAAoB;QAC1B,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,OAAO,CAAC,MAAM;QACvB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;IACnG,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,QAAQ,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC;YAC5C,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;YACzE,OAAO;gBACL,cAAc,EAAE,CAAC;gBACjB,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,QAAQ;gBACf,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;gBAC9D,UAAU,EAAE,aAAa;gBACzB,UAAU;aACX,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,mBAAmB,CAAC,mDAAmD,EAAE,+BAA+B,CAAC,CAAC;IACtH,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;IACzB,MAAM,KAAK,GAAkB;QAC3B,cAAc,EAAE,CAAC;QACjB,UAAU,EAAE,iBAAiB;QAC7B,QAAQ,EAAE,OAAO;QACjB,YAAY,EAAE,OAAO,CAAC,UAAU;QAChC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACvC,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,YAAY,EAAE,OAAO,CAAC,WAAW;QACjC,eAAe,EAAE,OAAO,CAAC,cAAc;QACvC,aAAa,EAAE,YAAY;QAC3B,eAAe,EAAE,OAAO,CAAC,mBAAmB;QAC5C,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC;IACF,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,SAAS,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,sBAAsB,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IACzC,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,QAAQ,EAAE,IAAI;QACd,KAAK;QACL,WAAW,EAAE,oBAAoB,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC;QAC9D,UAAU,EAAE,aAAa;QACzB,UAAU;KACX,CAAC;AACJ,CAAC;AACD,0DAA0D;AAE1D,SAAS,wBAAwB,CAC/B,OAAmC,EACnC,OAAe,EACf,YAAoB;IAEpB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACrC,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,UAAU,EAAE,mBAAmB;QAC/B,QAAQ,EAAE,OAAO;QACjB,YAAY,EAAE,OAAO;QACrB,QAAQ,EAAE,CAAC;QACX,WAAW,EAAE,GAAG;QAChB,UAAU,EAAE,OAAO,CAAC,SAAS;QAC7B,YAAY,EAAE,OAAO,CAAC,WAAW;QACjC,eAAe,EAAE,OAAO,CAAC,cAAc;QACvC,aAAa,EAAE,YAAY;QAC3B,OAAO,EAAE;YACP,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;YACzB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,GAAG;YAChB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE;YACrC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,EAAE;YACpF,aAAa,EAAE,OAAO,CAAC,IAAI;YAC3B,YAAY,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;YAC1C,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE;YAChF,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,cAAc,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM;SACzG;KACF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,OAAiC,EAAE,UAAkB;IAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,UAAU,QAAQ,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,sBAAsB,CAAI,OAAiC,EAAE,IAAa;IACjF,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAClE,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC;IACrC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,SAAS,CAAC,OAAO,CAAC,CAAC;YACnB,MAAM;QACR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC;gBAChF,MAAM,IAAI,mBAAmB,CAAC,2CAA2C,EAAE,uBAAuB,CAAC,CAAC;YACtG,CAAC;YACD,KAAK,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,EAAE,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,OAAmC;IACvD,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;QACzD,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;KACjC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,MAAM;IACb,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO;QACL,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACrB,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACtB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACxB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACxB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;KACpB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAC,YAAoB;IACjC,OAAO,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;AAC7E,CAAC"}

package/packages/core/dist/evidence/assurance.d.ts

@@ -0,0 +1,18 @@
+import type { EvidenceAssurance, EvidenceFreshnessResult, EvidenceKind } from "./types.js";
+export type EvidenceAssuranceInput = {
+    kind: EvidenceKind;
+    origin: EvidenceAssurance["origin"];
+    captureMethod: "reported" | "observed" | "executed" | "imported";
+    executionMethod?: EvidenceAssurance["execution_method"];
+    exitStatus?: number;
+    digestComputedByTool?: boolean;
+};
+export declare function deriveEvidenceAssurance(input: EvidenceAssuranceInput): EvidenceAssurance;
+export declare function evaluateEvidenceFreshness(input: {
+    explicitInvalidation?: boolean;
+    semanticHashMatches?: boolean;
+    policy?: {
+        semanticHashMismatch: "needs_review" | "stale";
+    };
+}): EvidenceFreshnessResult;
+//# sourceMappingURL=assurance.d.ts.map

package/packages/core/dist/evidence/assurance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assurance.d.ts","sourceRoot":"","sources":["../../src/evidence/assurance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE3F,MAAM,MAAM,sBAAsB,GAAG;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACpC,aAAa,EAAE,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,CAAC;IACjE,eAAe,CAAC,EAAE,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAGF,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,sBAAsB,GAAG,iBAAiB,CAsBxF;AAGD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE;IAC/C,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,MAAM,CAAC,EAAE;QAAE,oBAAoB,EAAE,cAAc,GAAG,OAAO,CAAA;KAAE,CAAC;CAC7D,GAAG,uBAAuB,CAc1B"}

package/packages/core/dist/evidence/assurance.js

@@ -0,0 +1,38 @@
+//: @use-case: evidence.ledger.assurance_and_freshness
+export function deriveEvidenceAssurance(input) {
+    const executionMethod = input.executionMethod ??
+        (input.kind === "test_result" ? "test" : input.kind === "command_result" ? "command" : "none");
+    const assuranceClass = input.kind === "url"
+        ? "reference"
+        : input.captureMethod === "executed" && (executionMethod === "command" || executionMethod === "test")
+            ? "reproducible"
+            : input.captureMethod === "observed"
+                ? "observed"
+                : "reported";
+    return {
+        origin: input.origin,
+        capture_method: input.captureMethod,
+        execution_method: executionMethod,
+        integrity: input.digestComputedByTool ? "tool_computed_digest" : "none",
+        reproducibility: assuranceClass === "reproducible" ? "structured_command" : "none",
+        result: input.exitStatus === undefined || input.exitStatus === 0 ? "pass" : "fail",
+        class: assuranceClass
+    };
+}
+//: @use-case: end evidence.ledger.assurance_and_freshness
+export function evaluateEvidenceFreshness(input) {
+    if (input.explicitInvalidation) {
+        return { state: "invalidated", basis: "explicit_invalidation" };
+    }
+    if (!input.policy) {
+        return { state: "unknown", basis: "missing_evaluation_context" };
+    }
+    if (input.semanticHashMatches === false) {
+        return {
+            state: input.policy.semanticHashMismatch,
+            basis: "use_case_semantic_hash_mismatch"
+        };
+    }
+    return { state: "current", basis: "policy_match" };
+}
+//# sourceMappingURL=assurance.js.map

package/packages/core/dist/evidence/assurance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assurance.js","sourceRoot":"","sources":["../../src/evidence/assurance.ts"],"names":[],"mappings":"AAWA,sDAAsD;AACtD,MAAM,UAAU,uBAAuB,CAAC,KAA6B;IACnE,MAAM,eAAe,GACnB,KAAK,CAAC,eAAe;QACrB,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjG,MAAM,cAAc,GAClB,KAAK,CAAC,IAAI,KAAK,KAAK;QAClB,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,KAAK,CAAC,aAAa,KAAK,UAAU,IAAI,CAAC,eAAe,KAAK,SAAS,IAAI,eAAe,KAAK,MAAM,CAAC;YACnG,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,KAAK,CAAC,aAAa,KAAK,UAAU;gBAClC,CAAC,CAAC,UAAU;gBACZ,CAAC,CAAC,UAAU,CAAC;IAErB,OAAO;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,cAAc,EAAE,KAAK,CAAC,aAAa;QACnC,gBAAgB,EAAE,eAAe;QACjC,SAAS,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,MAAM;QACvE,eAAe,EAAE,cAAc,KAAK,cAAc,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM;QAClF,MAAM,EAAE,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QAClF,KAAK,EAAE,cAAc;KACtB,CAAC;AACJ,CAAC;AACD,0DAA0D;AAE1D,MAAM,UAAU,yBAAyB,CAAC,KAIzC;IACC,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,4BAA4B,EAAE,CAAC;IACnE,CAAC;IACD,IAAI,KAAK,CAAC,mBAAmB,KAAK,KAAK,EAAE,CAAC;QACxC,OAAO;YACL,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,oBAAoB;YACxC,KAAK,EAAE,iCAAiC;SACzC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;AACrD,CAAC"}

package/packages/core/dist/evidence/index.d.ts

@@ -0,0 +1,8 @@
+export * from "./appendEvidenceEvent.js";
+export * from "./assurance.js";
+export * from "./jsonlLedger.js";
+export * from "./linkEvidence.js";
+export * from "./replayEvidence.js";
+export * from "./results.js";
+export * from "./types.js";
+//# sourceMappingURL=index.d.ts.map

package/packages/core/dist/evidence/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/evidence/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/packages/core/dist/evidence/index.js

@@ -0,0 +1,8 @@
+export * from "./appendEvidenceEvent.js";
+export * from "./assurance.js";
+export * from "./jsonlLedger.js";
+export * from "./linkEvidence.js";
+export * from "./replayEvidence.js";
+export * from "./results.js";
+export * from "./types.js";
+//# sourceMappingURL=index.js.map

package/packages/core/dist/evidence/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/evidence/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/packages/core/dist/evidence/jsonlLedger.d.ts

@@ -0,0 +1,13 @@
+import { diagnostic, type Diagnostic } from "../schema/index.js";
+import type { ResolvedWorkspaceContext } from "../roots.js";
+import type { EvidenceEvent, EvidenceLedgerResult } from "./types.js";
+export { diagnostic };
+export type ReadEvidenceLedgerResult = {
+    ledgers: EvidenceLedgerResult[];
+    events: EvidenceEvent[];
+    diagnostics: Diagnostic[];
+};
+export declare function evidenceRoot(context: ResolvedWorkspaceContext): string;
+export declare function evidenceRelativePath(context: ResolvedWorkspaceContext, path: string): string;
+export declare function readEvidenceLedgers(context: ResolvedWorkspaceContext): ReadEvidenceLedgerResult;
+//# sourceMappingURL=jsonlLedger.d.ts.map

package/packages/core/dist/evidence/jsonlLedger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonlLedger.d.ts","sourceRoot":"","sources":["../../src/evidence/jsonlLedger.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAItE,OAAO,EAAE,UAAU,EAAE,CAAC;AAEtB,MAAM,MAAM,wBAAwB,GAAG;IACrC,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,MAAM,EAAE,aAAa,EAAE,CAAC;IACxB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,CAAC;AAEF,wBAAgB,YAAY,CAAC,OAAO,EAAE,wBAAwB,GAAG,MAAM,CAEtE;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,wBAAwB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE5F;AAED,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,wBAAwB,GAAG,wBAAwB,CAqB/F"}

package/packages/core/dist/evidence/jsonlLedger.js

@@ -0,0 +1,171 @@
+import { existsSync, lstatSync, readdirSync, readFileSync, realpathSync } from "node:fs";
+import { extname, isAbsolute, join, relative, sep } from "node:path";
+import { TextDecoder } from "node:util";
+import { diagnostic } from "../schema/index.js";
+// Re-exported for backwards compatibility: callers (and the evidence barrel)
+// historically imported `diagnostic` from this module.
+export { diagnostic };
+export function evidenceRoot(context) {
+    return join(context.data_root, "evidence");
+}
+export function evidenceRelativePath(context, path) {
+    return relative(context.data_root, path).split(sep).join("/");
+}
+export function readEvidenceLedgers(context) {
+    const root = evidenceRoot(context);
+    if (!existsSync(root)) {
+        return { ledgers: [], events: [], diagnostics: [] };
+    }
+    const rootReal = realpathSync(root);
+    const ledgerPaths = listJsonlFiles(root, rootReal).sort();
+    const ledgers = [];
+    const events = [];
+    const diagnostics = [];
+    for (const path of ledgerPaths) {
+        const relPath = evidenceRelativePath(context, path);
+        const read = readLedgerFile(path, relPath);
+        ledgers.push(read.ledger);
+        events.push(...read.events);
+        diagnostics.push(...read.diagnostics);
+    }
+    return { ledgers, events, diagnostics };
+}
+function listJsonlFiles(root, rootReal) {
+    const results = [];
+    for (const entry of readdirSync(root, { withFileTypes: true }).sort((left, right) => left.name.localeCompare(right.name))) {
+        const fullPath = join(root, entry.name);
+        const stat = lstatSync(fullPath);
+        if (stat.isSymbolicLink()) {
+            continue;
+        }
+        if (stat.isDirectory()) {
+            results.push(...listJsonlFiles(fullPath, rootReal));
+            continue;
+        }
+        if (!stat.isFile() || extname(fullPath) !== ".jsonl") {
+            continue;
+        }
+        const realPath = realpathSync(fullPath);
+        const rel = relative(rootReal, realPath);
+        if (rel === "" || (!rel.startsWith("..") && !isAbsolute(rel))) {
+            results.push(fullPath);
+        }
+    }
+    return results;
+}
+//: @use-case: evidence.ledger.damaged_ledger_replay
+function readLedgerFile(path, relPath) {
+    const bytes = readFileSync(path);
+    const source = new TextDecoder("utf-8", { fatal: true }).decode(bytes);
+    const normalized = source.replaceAll("\r\n", "\n");
+    const endsWithNewline = normalized.endsWith("\n");
+    const rawLines = normalized.split("\n");
+    if (endsWithNewline) {
+        rawLines.pop();
+    }
+    const diagnostics = [];
+    const events = [];
+    let tornTail = false;
+    let unknownScopeDamage = false;
+    for (const [index, line] of rawLines.entries()) {
+        const lineNumber = index + 1;
+        if (line.trim() === "") {
+            continue;
+        }
+        if (!endsWithNewline && index === rawLines.length - 1) {
+            tornTail = true;
+            diagnostics.push(diagnostic("evidence_torn_tail", "Evidence ledger has an unterminated final line.", `${relPath}:${lineNumber}`));
+            continue;
+        }
+        if (hasDuplicateJsonKeys(line)) {
+            unknownScopeDamage = true;
+            diagnostics.push(diagnostic("evidence_parse_error", "Duplicate JSON keys are not allowed.", `${relPath}:${lineNumber}`));
+            continue;
+        }
+        let value;
+        try {
+            value = JSON.parse(line);
+        }
+        catch (error) {
+            unknownScopeDamage = true;
+            diagnostics.push(diagnostic("evidence_parse_error", error instanceof Error ? error.message : String(error), `${relPath}:${lineNumber}`));
+            continue;
+        }
+        if (!isEvidenceEventShape(value)) {
+            // Valid JSON but not an evidence event (e.g. a stray verify --out results
+            // file dropped into the evidence dir). Skip it with a diagnostic instead of
+            // letting a missing event_id/aggregate_id crash replay downstream.
+            unknownScopeDamage = true;
+            diagnostics.push(diagnostic("evidence_foreign_event", "Line is valid JSON but is not an evidence event and was skipped.", `${relPath}:${lineNumber}`));
+            continue;
+        }
+        events.push(value);
+    }
+    return {
+        ledger: {
+            path: relPath,
+            complete: !tornTail && !unknownScopeDamage,
+            events_loaded: events.length,
+            torn_tail: tornTail,
+            unknown_scope_damage: unknownScopeDamage
+        },
+        events,
+        diagnostics
+    };
+}
+//: @use-case: end evidence.ledger.damaged_ledger_replay
+function isEvidenceEventShape(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        return false;
+    }
+    const candidate = value;
+    return (typeof candidate.event_type === "string" &&
+        typeof candidate.event_id === "string" &&
+        typeof candidate.aggregate_id === "string" &&
+        typeof candidate.sequence === "number");
+}
+function hasDuplicateJsonKeys(source) {
+    const stack = [];
+    let inString = false;
+    let escaped = false;
+    let token = "";
+    for (let index = 0; index < source.length; index += 1) {
+        const char = source[index];
+        if (inString) {
+            if (escaped) {
+                escaped = false;
+            }
+            else if (char === "\\") {
+                escaped = true;
+            }
+            else if (char === "\"") {
+                inString = false;
+                const rest = source.slice(index + 1).trimStart();
+                if (rest.startsWith(":") && stack.length > 0) {
+                    const keys = stack[stack.length - 1];
+                    if (keys.has(token)) {
+                        return true;
+                    }
+                    keys.add(token);
+                }
+                token = "";
+            }
+            else {
+                token += char;
+            }
+            continue;
+        }
+        if (char === "\"") {
+            inString = true;
+            token = "";
+        }
+        else if (char === "{") {
+            stack.push(new Set());
+        }
+        else if (char === "}") {
+            stack.pop();
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=jsonlLedger.js.map

package/packages/core/dist/evidence/jsonlLedger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonlLedger.js","sourceRoot":"","sources":["../../src/evidence/jsonlLedger.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACzF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,UAAU,EAAmB,MAAM,oBAAoB,CAAC;AAIjE,6EAA6E;AAC7E,uDAAuD;AACvD,OAAO,EAAE,UAAU,EAAE,CAAC;AAQtB,MAAM,UAAU,YAAY,CAAC,OAAiC;IAC5D,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAiC,EAAE,IAAY;IAClF,OAAO,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,OAAiC;IACnE,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,QAAgB;IACpD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC1H,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACvB,OAAO,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC9D,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,oDAAoD;AACpD,SAAS,cAAc,CAAC,IAAY,EAAE,OAAe;IAKnD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,eAAe,EAAE,CAAC;QACpB,QAAQ,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC;IAED,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAE/B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC;QAC7B,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,eAAe,IAAI,KAAK,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtD,QAAQ,GAAG,IAAI,CAAC;YAChB,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,iDAAiD,EAAE,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;YAClI,SAAS;QACX,CAAC;QACD,IAAI,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,kBAAkB,GAAG,IAAI,CAAC;YAC1B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,EAAE,sCAAsC,EAAE,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;YACzH,SAAS;QACX,CAAC;QACD,IAAI,KAAc,CAAC;QACnB,IAAI,CAAC;YACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,kBAAkB,GAAG,IAAI,CAAC;YAC1B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,sBAAsB,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;YACzI,SAAS;QACX,CAAC;QACD,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,0EAA0E;YAC1E,4EAA4E;YAC5E,mEAAmE;YACnE,kBAAkB,GAAG,IAAI,CAAC;YAC1B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,wBAAwB,EAAE,kEAAkE,EAAE,GAAG,OAAO,IAAI,UAAU,EAAE,CAAC,CAAC,CAAC;YACvJ,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,OAAO;QACL,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,QAAQ,IAAI,CAAC,kBAAkB;YAC1C,aAAa,EAAE,MAAM,CAAC,MAAM;YAC5B,SAAS,EAAE,QAAQ;YACnB,oBAAoB,EAAE,kBAAkB;SACzC;QACD,MAAM;QACN,WAAW;KACZ,CAAC;AACJ,CAAC;AACD,wDAAwD;AAExD,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,KAAgC,CAAC;IACnD,OAAO,CACL,OAAO,SAAS,CAAC,UAAU,KAAK,QAAQ;QACxC,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ;QACtC,OAAO,SAAS,CAAC,YAAY,KAAK,QAAQ;QAC1C,OAAO,SAAS,CAAC,QAAQ,KAAK,QAAQ,CACvC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,GAAG,KAAK,CAAC;YAClB,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,QAAQ,GAAG,KAAK,CAAC;gBACjB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;gBACjD,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACpB,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClB,CAAC;gBACD,KAAK,GAAG,EAAE,CAAC;YACb,CAAC;iBAAM,CAAC;gBACN,KAAK,IAAI,IAAI,CAAC;YAChB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,QAAQ,GAAG,IAAI,CAAC;YAChB,KAAK,GAAG,EAAE,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;QACxB,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,CAAC,GAAG,EAAE,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/packages/core/dist/evidence/linkEvidence.d.ts

@@ -0,0 +1,4 @@
+import type { MatrixSnapshot } from "../useCases/types.js";
+import type { EvidenceMatrixLink, EvidenceSnapshot } from "./types.js";
+export declare function linkEvidenceToMatrix(evidence: EvidenceSnapshot, matrix: MatrixSnapshot): EvidenceMatrixLink[];
+//# sourceMappingURL=linkEvidence.d.ts.map

package/packages/core/dist/evidence/linkEvidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"linkEvidence.d.ts","sourceRoot":"","sources":["../../src/evidence/linkEvidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAGvE,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,cAAc,GACrB,kBAAkB,EAAE,CAoDtB"}