open-multi-agent-kit 0.80.6 → 0.80.8

package/dist/core/harness-control-replay.js

@@ -1,155 +0,0 @@
-import { hashCanonical, verifyHarnessControlLedger } from "./harness-control-events.js";
-const TERMINAL_STATUSES = new Set([
-    "completed",
-    "failed",
-    "blocked",
-    "rolled_back",
-    "in_doubt",
-]);
-const NON_TERMINAL_STATUS_ORDER = new Map([
-    ["prepared", 0],
-    ["started", 1],
-    ["applying", 2],
-    ["verifying", 3],
-]);
-function isTerminalStatus(status) {
-    return TERMINAL_STATUSES.has(status);
-}
-function createOperationReplay(operationId, events) {
-    const sortedEvents = [...events].sort((a, b) => a.sequence - b.sequence);
-    const terminalEvents = sortedEvents.filter((event) => isTerminalStatus(event.status));
-    const terminal = terminalEvents.at(-1);
-    return {
-        operationId,
-        kind: sortedEvents[0]?.kind ?? "unknown",
-        started: sortedEvents.some((event) => event.status === "started"),
-        terminalStatus: terminal?.status,
-        terminalEventIds: terminalEvents.map((event) => event.eventId),
-        eventIds: sortedEvents.map((event) => event.eventId),
-        sequenceRange: [sortedEvents[0]?.sequence ?? 0, sortedEvents.at(-1)?.sequence ?? 0],
-        stateTransitions: sortedEvents.map((event) => ({
-            beforeStateHash: event.beforeStateHash,
-            afterStateHash: event.afterStateHash,
-        })),
-        finalStateHash: terminal?.afterStateHash ?? sortedEvents.at(-1)?.afterStateHash,
-    };
-}
-function validateUniqueEventIds(events) {
-    const errors = [];
-    const seen = new Set();
-    for (const event of events) {
-        if (seen.has(event.eventId))
-            errors.push(`event ${event.eventId} is duplicated`);
-        seen.add(event.eventId);
-    }
-    return errors;
-}
-function validateCausation(events) {
-    const errors = [];
-    const byId = new Map(events.map((event) => [event.eventId, event]));
-    for (const event of events) {
-        if (!event.causationId)
-            continue;
-        const causationEvent = byId.get(event.causationId);
-        if (!causationEvent ||
-            causationEvent.sequence >= event.sequence ||
-            causationEvent.correlationId !== event.correlationId) {
-            errors.push(`event causation ${event.causationId} for operation ${event.operationId} does not reference an earlier event`);
-        }
-    }
-    return errors;
-}
-function reconstructHarnessStateHash(operations) {
-    return hashCanonical(operations.map((operation) => ({
-        operationId: operation.operationId,
-        kind: operation.kind,
-        finalStateHash: operation.finalStateHash,
-        terminalStatus: operation.terminalStatus,
-    })));
-}
-function validateOperationStateMachine(operation, events) {
-    const errors = [];
-    const sortedEvents = [...events].sort((a, b) => a.sequence - b.sequence);
-    const kinds = new Set(sortedEvents.map((event) => event.kind));
-    const correlations = new Set(sortedEvents.map((event) => event.correlationId));
-    const startedCount = sortedEvents.filter((event) => event.status === "started").length;
-    let lastNonTerminalOrder = -1;
-    let sawTerminal = false;
-    let sawEventAfterTerminal = false;
-    if (kinds.size > 1)
-        errors.push(`operation ${operation.operationId} mixes event kinds`);
-    if (correlations.size > 1)
-        errors.push(`operation ${operation.operationId} mixes correlation ids`);
-    if (startedCount > 1)
-        errors.push(`operation ${operation.operationId} has multiple started events`);
-    if (operation.terminalEventIds.length > 1)
-        errors.push(`operation ${operation.operationId} has multiple terminal events`);
-    for (const event of sortedEvents) {
-        if (sawTerminal) {
-            sawEventAfterTerminal = true;
-            continue;
-        }
-        if (isTerminalStatus(event.status)) {
-            sawTerminal = true;
-            continue;
-        }
-        const order = NON_TERMINAL_STATUS_ORDER.get(event.status);
-        if (order === undefined) {
-            errors.push(`operation ${operation.operationId} has unsupported status ${event.status}`);
-            continue;
-        }
-        if (order < lastNonTerminalOrder) {
-            errors.push(`operation ${operation.operationId} has invalid status transition to ${event.status}`);
-        }
-        lastNonTerminalOrder = order;
-    }
-    if (sawEventAfterTerminal)
-        errors.push(`operation ${operation.operationId} has event after terminal event`);
-    return errors;
-}
-export function replayHarnessControlEvents(events) {
-    const errors = [];
-    const warnings = [];
-    const operationEvents = new Map();
-    for (const event of events) {
-        const group = operationEvents.get(event.operationId) ?? [];
-        group.push(event);
-        operationEvents.set(event.operationId, group);
-    }
-    const operations = [...operationEvents]
-        .sort(([, a], [, b]) => (a[0]?.sequence ?? 0) - (b[0]?.sequence ?? 0))
-        .map(([operationId, groupedEvents]) => createOperationReplay(operationId, groupedEvents));
-    errors.push(...validateUniqueEventIds(events));
-    errors.push(...validateCausation(events));
-    for (const operation of operations) {
-        const groupedEvents = operationEvents.get(operation.operationId) ?? [];
-        errors.push(...validateOperationStateMachine(operation, groupedEvents));
-        if (!operation.started) {
-            warnings.push(`operation ${operation.operationId} has no started event`);
-        }
-        if (!operation.terminalStatus) {
-            errors.push(`operation ${operation.operationId} has no terminal event`);
-        }
-    }
-    return {
-        ok: errors.length === 0,
-        events: [...events],
-        operations,
-        reconstructedStateHash: reconstructHarnessStateHash(operations),
-        errors,
-        warnings,
-    };
-}
-export function verifyHarnessControlReplay(logPath) {
-    const ledger = verifyHarnessControlLedger(logPath);
-    const replay = replayHarnessControlEvents(ledger.events);
-    return {
-        ok: ledger.ok && replay.ok,
-        events: ledger.events,
-        operations: replay.operations,
-        reconstructedStateHash: replay.reconstructedStateHash,
-        errors: [...ledger.errors, ...replay.errors],
-        warnings: replay.warnings,
-    };
-}
-//# sourceMappingURL=harness-control-replay.js.map

package/dist/core/harness-control-replay.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"harness-control-replay.js","sourceRoot":"","sources":["../../src/core/harness-control-replay.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AAuBxF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAA4B;IAC5D,WAAW;IACX,QAAQ;IACR,SAAS;IACT,aAAa;IACb,UAAU;CACV,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAoC;IAC5E,CAAC,UAAU,EAAE,CAAC,CAAC;IACf,CAAC,SAAS,EAAE,CAAC,CAAC;IACd,CAAC,UAAU,EAAE,CAAC,CAAC;IACf,CAAC,WAAW,EAAE,CAAC,CAAC;CAChB,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,MAAiC,EAAW;IACrE,OAAO,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAAA,CACrC;AAED,SAAS,qBAAqB,CAAC,WAAmB,EAAE,MAA6B,EAAiC;IACjH,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO;QACN,WAAW;QACX,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,SAAS;QACxC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC;QACjE,cAAc,EAAE,QAAQ,EAAE,MAAM;QAChC,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QAC9D,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QACpD,aAAa,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC;QACnF,gBAAgB,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC9C,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,cAAc,EAAE,KAAK,CAAC,cAAc;SACpC,CAAC,CAAC;QACH,cAAc,EAAE,QAAQ,EAAE,cAAc,IAAI,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc;KAC/E,CAAC;AAAA,CACF;AAED,SAAS,sBAAsB,CAAC,MAAsC,EAAY;IACjF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;QACjF,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC;AAAA,CACd;AAED,SAAS,iBAAiB,CAAC,MAAsC,EAAY;IAC5E,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,KAAK,CAAC,WAAW;YAAE,SAAS;QACjC,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACnD,IACC,CAAC,cAAc;YACf,cAAc,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ;YACzC,cAAc,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EACnD,CAAC;YACF,MAAM,CAAC,IAAI,CACV,mBAAmB,KAAK,CAAC,WAAW,kBAAkB,KAAK,CAAC,WAAW,sCAAsC,CAC7G,CAAC;QACH,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AAAA,CACd;AAED,SAAS,2BAA2B,CAAC,UAAoD,EAAU;IAClG,OAAO,aAAa,CACnB,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC9B,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,cAAc,EAAE,SAAS,CAAC,cAAc;QACxC,cAAc,EAAE,SAAS,CAAC,cAAc;KACxC,CAAC,CAAC,CACH,CAAC;AAAA,CACF;AAED,SAAS,6BAA6B,CACrC,SAAwC,EACxC,MAA6B,EAClB;IACX,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/E,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;IACvF,IAAI,oBAAoB,GAAG,CAAC,CAAC,CAAC;IAC9B,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,qBAAqB,GAAG,KAAK,CAAC;IAElC,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,oBAAoB,CAAC,CAAC;IACxF,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,wBAAwB,CAAC,CAAC;IACnG,IAAI,YAAY,GAAG,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,8BAA8B,CAAC,CAAC;IACpG,IAAI,SAAS,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,+BAA+B,CAAC,CAAC;IAEhF,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QAClC,IAAI,WAAW,EAAE,CAAC;YACjB,qBAAqB,GAAG,IAAI,CAAC;YAC7B,SAAS;QACV,CAAC;QACD,IAAI,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,WAAW,GAAG,IAAI,CAAC;YACnB,SAAS;QACV,CAAC;QACD,MAAM,KAAK,GAAG,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,2BAA2B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACzF,SAAS;QACV,CAAC;QACD,IAAI,KAAK,GAAG,oBAAoB,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,qCAAqC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,oBAAoB,GAAG,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,qBAAqB;QAAE,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,iCAAiC,CAAC,CAAC;IAC5G,OAAO,MAAM,CAAC;AAAA,CACd;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAsC,EAA8B;IAC9G,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAiC,CAAC;IACjE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,GAAG,eAAe,CAAC;SACrC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,CAAC,CAAC,CAAC;SACrE,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;IAE3F,MAAM,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IAE1C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QACvE,MAAM,CAAC,IAAI,CAAC,GAAG,6BAA6B,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;QACxE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,uBAAuB,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,WAAW,wBAAwB,CAAC,CAAC;QACzE,CAAC;IACF,CAAC;IAED,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;QACvB,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;QACnB,UAAU;QACV,sBAAsB,EAAE,2BAA2B,CAAC,UAAU,CAAC;QAC/D,MAAM;QACN,QAAQ;KACR,CAAC;AAAA,CACF;AAED,MAAM,UAAU,0BAA0B,CAAC,OAAe,EAA8B;IACvF,MAAM,MAAM,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,0BAA0B,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,OAAO;QACN,EAAE,EAAE,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE;QAC1B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5C,QAAQ,EAAE,MAAM,CAAC,QAAQ;KACzB,CAAC;AAAA,CACF","sourcesContent":["import type { HarnessControlEvent, HarnessControlEventStatus } from \"./harness-control-events.ts\";\nimport { hashCanonical, verifyHarnessControlLedger } from \"./harness-control-events.ts\";\n\nexport interface HarnessControlOperationReplay {\n\toperationId: string;\n\tkind: string;\n\tstarted: boolean;\n\tterminalStatus?: HarnessControlEventStatus;\n\tterminalEventIds: string[];\n\teventIds: string[];\n\tsequenceRange: [number, number];\n\tstateTransitions: Array<{ beforeStateHash: string; afterStateHash: string }>;\n\tfinalStateHash?: string;\n}\n\nexport interface HarnessControlReplayReport {\n\tok: boolean;\n\tevents: HarnessControlEvent[];\n\toperations: HarnessControlOperationReplay[];\n\treconstructedStateHash: string;\n\terrors: string[];\n\twarnings: string[];\n}\n\nconst TERMINAL_STATUSES = new Set<HarnessControlEventStatus>([\n\t\"completed\",\n\t\"failed\",\n\t\"blocked\",\n\t\"rolled_back\",\n\t\"in_doubt\",\n]);\n\nconst NON_TERMINAL_STATUS_ORDER = new Map<HarnessControlEventStatus, number>([\n\t[\"prepared\", 0],\n\t[\"started\", 1],\n\t[\"applying\", 2],\n\t[\"verifying\", 3],\n]);\n\nfunction isTerminalStatus(status: HarnessControlEventStatus): boolean {\n\treturn TERMINAL_STATUSES.has(status);\n}\n\nfunction createOperationReplay(operationId: string, events: HarnessControlEvent[]): HarnessControlOperationReplay {\n\tconst sortedEvents = [...events].sort((a, b) => a.sequence - b.sequence);\n\tconst terminalEvents = sortedEvents.filter((event) => isTerminalStatus(event.status));\n\tconst terminal = terminalEvents.at(-1);\n\treturn {\n\t\toperationId,\n\t\tkind: sortedEvents[0]?.kind ?? \"unknown\",\n\t\tstarted: sortedEvents.some((event) => event.status === \"started\"),\n\t\tterminalStatus: terminal?.status,\n\t\tterminalEventIds: terminalEvents.map((event) => event.eventId),\n\t\teventIds: sortedEvents.map((event) => event.eventId),\n\t\tsequenceRange: [sortedEvents[0]?.sequence ?? 0, sortedEvents.at(-1)?.sequence ?? 0],\n\t\tstateTransitions: sortedEvents.map((event) => ({\n\t\t\tbeforeStateHash: event.beforeStateHash,\n\t\t\tafterStateHash: event.afterStateHash,\n\t\t})),\n\t\tfinalStateHash: terminal?.afterStateHash ?? sortedEvents.at(-1)?.afterStateHash,\n\t};\n}\n\nfunction validateUniqueEventIds(events: readonly HarnessControlEvent[]): string[] {\n\tconst errors: string[] = [];\n\tconst seen = new Set<string>();\n\tfor (const event of events) {\n\t\tif (seen.has(event.eventId)) errors.push(`event ${event.eventId} is duplicated`);\n\t\tseen.add(event.eventId);\n\t}\n\treturn errors;\n}\n\nfunction validateCausation(events: readonly HarnessControlEvent[]): string[] {\n\tconst errors: string[] = [];\n\tconst byId = new Map(events.map((event) => [event.eventId, event]));\n\tfor (const event of events) {\n\t\tif (!event.causationId) continue;\n\t\tconst causationEvent = byId.get(event.causationId);\n\t\tif (\n\t\t\t!causationEvent ||\n\t\t\tcausationEvent.sequence >= event.sequence ||\n\t\t\tcausationEvent.correlationId !== event.correlationId\n\t\t) {\n\t\t\terrors.push(\n\t\t\t\t`event causation ${event.causationId} for operation ${event.operationId} does not reference an earlier event`,\n\t\t\t);\n\t\t}\n\t}\n\treturn errors;\n}\n\nfunction reconstructHarnessStateHash(operations: readonly HarnessControlOperationReplay[]): string {\n\treturn hashCanonical(\n\t\toperations.map((operation) => ({\n\t\t\toperationId: operation.operationId,\n\t\t\tkind: operation.kind,\n\t\t\tfinalStateHash: operation.finalStateHash,\n\t\t\tterminalStatus: operation.terminalStatus,\n\t\t})),\n\t);\n}\n\nfunction validateOperationStateMachine(\n\toperation: HarnessControlOperationReplay,\n\tevents: HarnessControlEvent[],\n): string[] {\n\tconst errors: string[] = [];\n\tconst sortedEvents = [...events].sort((a, b) => a.sequence - b.sequence);\n\tconst kinds = new Set(sortedEvents.map((event) => event.kind));\n\tconst correlations = new Set(sortedEvents.map((event) => event.correlationId));\n\tconst startedCount = sortedEvents.filter((event) => event.status === \"started\").length;\n\tlet lastNonTerminalOrder = -1;\n\tlet sawTerminal = false;\n\tlet sawEventAfterTerminal = false;\n\n\tif (kinds.size > 1) errors.push(`operation ${operation.operationId} mixes event kinds`);\n\tif (correlations.size > 1) errors.push(`operation ${operation.operationId} mixes correlation ids`);\n\tif (startedCount > 1) errors.push(`operation ${operation.operationId} has multiple started events`);\n\tif (operation.terminalEventIds.length > 1)\n\t\terrors.push(`operation ${operation.operationId} has multiple terminal events`);\n\n\tfor (const event of sortedEvents) {\n\t\tif (sawTerminal) {\n\t\t\tsawEventAfterTerminal = true;\n\t\t\tcontinue;\n\t\t}\n\t\tif (isTerminalStatus(event.status)) {\n\t\t\tsawTerminal = true;\n\t\t\tcontinue;\n\t\t}\n\t\tconst order = NON_TERMINAL_STATUS_ORDER.get(event.status);\n\t\tif (order === undefined) {\n\t\t\terrors.push(`operation ${operation.operationId} has unsupported status ${event.status}`);\n\t\t\tcontinue;\n\t\t}\n\t\tif (order < lastNonTerminalOrder) {\n\t\t\terrors.push(`operation ${operation.operationId} has invalid status transition to ${event.status}`);\n\t\t}\n\t\tlastNonTerminalOrder = order;\n\t}\n\tif (sawEventAfterTerminal) errors.push(`operation ${operation.operationId} has event after terminal event`);\n\treturn errors;\n}\n\nexport function replayHarnessControlEvents(events: readonly HarnessControlEvent[]): HarnessControlReplayReport {\n\tconst errors: string[] = [];\n\tconst warnings: string[] = [];\n\tconst operationEvents = new Map<string, HarnessControlEvent[]>();\n\tfor (const event of events) {\n\t\tconst group = operationEvents.get(event.operationId) ?? [];\n\t\tgroup.push(event);\n\t\toperationEvents.set(event.operationId, group);\n\t}\n\n\tconst operations = [...operationEvents]\n\t\t.sort(([, a], [, b]) => (a[0]?.sequence ?? 0) - (b[0]?.sequence ?? 0))\n\t\t.map(([operationId, groupedEvents]) => createOperationReplay(operationId, groupedEvents));\n\n\terrors.push(...validateUniqueEventIds(events));\n\terrors.push(...validateCausation(events));\n\n\tfor (const operation of operations) {\n\t\tconst groupedEvents = operationEvents.get(operation.operationId) ?? [];\n\t\terrors.push(...validateOperationStateMachine(operation, groupedEvents));\n\t\tif (!operation.started) {\n\t\t\twarnings.push(`operation ${operation.operationId} has no started event`);\n\t\t}\n\t\tif (!operation.terminalStatus) {\n\t\t\terrors.push(`operation ${operation.operationId} has no terminal event`);\n\t\t}\n\t}\n\n\treturn {\n\t\tok: errors.length === 0,\n\t\tevents: [...events],\n\t\toperations,\n\t\treconstructedStateHash: reconstructHarnessStateHash(operations),\n\t\terrors,\n\t\twarnings,\n\t};\n}\n\nexport function verifyHarnessControlReplay(logPath: string): HarnessControlReplayReport {\n\tconst ledger = verifyHarnessControlLedger(logPath);\n\tconst replay = replayHarnessControlEvents(ledger.events);\n\treturn {\n\t\tok: ledger.ok && replay.ok,\n\t\tevents: ledger.events,\n\t\toperations: replay.operations,\n\t\treconstructedStateHash: replay.reconstructedStateHash,\n\t\terrors: [...ledger.errors, ...replay.errors],\n\t\twarnings: replay.warnings,\n\t};\n}\n"]}

package/dist/core/spec-kit/compiler.d.ts

@@ -1,67 +0,0 @@
-export interface SpecRequirement {
-    id: string;
-    title: string;
-    priority: string;
-    acceptance: string[];
-}
-export interface SpecTask {
-    id: string;
-    title: string;
-    completed: boolean;
-    role?: string;
-    deps: string[];
-    lane?: string;
-    files: string[];
-    verify?: string;
-    gate?: string;
-    risk?: string;
-    requirementIds: string[];
-}
-export interface CompiledHarnessDagNode {
-    id: string;
-    title: string;
-    dependsOn: string[];
-    files: string[];
-    verify?: string;
-    gate?: string;
-    requirementIds: string[];
-}
-export interface TraceabilityEntry {
-    requirementId: string;
-    taskIds: string[];
-    verifyCommands: string[];
-    evidenceGates: string[];
-}
-export interface EvidenceManifestEntry {
-    taskId: string;
-    gate?: string;
-    verify?: string;
-    files: string[];
-    evidencePaths: string[];
-}
-export interface CompiledSpecKit {
-    requirements: SpecRequirement[];
-    tasks: SpecTask[];
-    compiledDag: CompiledHarnessDagNode[];
-    traceability: TraceabilityEntry[];
-    evidenceManifest: EvidenceManifestEntry[];
-    specHash: string;
-}
-export interface SpecKitValidationResult {
-    ok: boolean;
-    errors: string[];
-    warnings: string[];
-}
-export interface SpecKitCompileInput {
-    specMarkdown: string;
-    tasksMarkdown: string;
-    planMarkdown?: string;
-    templateMarkdown?: string;
-}
-export declare function parseSpecRequirements(markdown: string): SpecRequirement[];
-export declare function parseSpecTasks(markdown: string): SpecTask[];
-export declare function collectSpecEvidencePaths(tasks: readonly SpecTask[]): string[];
-export declare function validateTaskCompletionDependencies(tasks: readonly SpecTask[]): string[];
-export declare function validateSpecKit(input: SpecKitCompileInput, compiled?: CompiledSpecKit): SpecKitValidationResult;
-export declare function compileSpecKit(input: SpecKitCompileInput): CompiledSpecKit;
-//# sourceMappingURL=compiler.d.ts.map

package/dist/core/spec-kit/compiler.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../../src/core/spec-kit/compiler.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,eAAe;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,sBAAsB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC/B,YAAY,EAAE,eAAe,EAAE,CAAC;IAChC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,WAAW,EAAE,sBAAsB,EAAE,CAAC;IACtC,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,gBAAgB,EAAE,qBAAqB,EAAE,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACvC,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC1B;AAwCD,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,MAAM,GAAG,eAAe,EAAE,CAkBzE;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,EAAE,CAmD3D;AA4CD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,MAAM,EAAE,CAc7E;AAED,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,MAAM,EAAE,CAavF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,mBAAmB,EAAE,QAAQ,CAAC,EAAE,eAAe,GAAG,uBAAuB,CAgC/G;AAED,wBAAgB,cAAc,CAAC,KAAK,EAAE,mBAAmB,GAAG,eAAe,CAqC1E","sourcesContent":["import { createHash } from \"node:crypto\";\n\nexport interface SpecRequirement {\n\tid: string;\n\ttitle: string;\n\tpriority: string;\n\tacceptance: string[];\n}\n\nexport interface SpecTask {\n\tid: string;\n\ttitle: string;\n\tcompleted: boolean;\n\trole?: string;\n\tdeps: string[];\n\tlane?: string;\n\tfiles: string[];\n\tverify?: string;\n\tgate?: string;\n\trisk?: string;\n\trequirementIds: string[];\n}\n\nexport interface CompiledHarnessDagNode {\n\tid: string;\n\ttitle: string;\n\tdependsOn: string[];\n\tfiles: string[];\n\tverify?: string;\n\tgate?: string;\n\trequirementIds: string[];\n}\n\nexport interface TraceabilityEntry {\n\trequirementId: string;\n\ttaskIds: string[];\n\tverifyCommands: string[];\n\tevidenceGates: string[];\n}\n\nexport interface EvidenceManifestEntry {\n\ttaskId: string;\n\tgate?: string;\n\tverify?: string;\n\tfiles: string[];\n\tevidencePaths: string[];\n}\n\nexport interface CompiledSpecKit {\n\trequirements: SpecRequirement[];\n\ttasks: SpecTask[];\n\tcompiledDag: CompiledHarnessDagNode[];\n\ttraceability: TraceabilityEntry[];\n\tevidenceManifest: EvidenceManifestEntry[];\n\tspecHash: string;\n}\n\nexport interface SpecKitValidationResult {\n\tok: boolean;\n\terrors: string[];\n\twarnings: string[];\n}\n\nexport interface SpecKitCompileInput {\n\tspecMarkdown: string;\n\ttasksMarkdown: string;\n\tplanMarkdown?: string;\n\ttemplateMarkdown?: string;\n}\n\nfunction stableJson(value: unknown): string {\n\tif (value === null || typeof value !== \"object\") return JSON.stringify(value);\n\tif (Array.isArray(value)) return `[${value.map(stableJson).join(\",\")}]`;\n\treturn `{${Object.keys(value)\n\t\t.sort()\n\t\t.map((key) => `${JSON.stringify(key)}:${stableJson((value as Record<string, unknown>)[key])}`)\n\t\t.join(\",\")}}`;\n}\n\nfunction hashText(value: string): string {\n\treturn createHash(\"sha256\").update(value).digest(\"hex\");\n}\n\nfunction parseBracketList(value: string | undefined): string[] {\n\tif (!value) return [];\n\tconst trimmed = value.trim();\n\tif (trimmed === \"none\" || trimmed === \"[]\") return [];\n\tif (!trimmed.startsWith(\"[\") || !trimmed.endsWith(\"]\")) {\n\t\treturn trimmed\n\t\t\t.split(\",\")\n\t\t\t.map((entry) => entry.trim())\n\t\t\t.filter(Boolean);\n\t}\n\treturn trimmed\n\t\t.slice(1, -1)\n\t\t.split(\",\")\n\t\t.map((entry) => entry.trim().replace(/^`|`$/g, \"\"))\n\t\t.filter(Boolean);\n}\n\nfunction extractSection(markdown: string, heading: string): string {\n\tconst start = markdown.indexOf(heading);\n\tif (start < 0) return \"\";\n\tconst rest = markdown.slice(start + heading.length);\n\tconst next = rest.search(/\\n#{2,3}\\s/);\n\treturn next < 0 ? rest : rest.slice(0, next);\n}\n\nexport function parseSpecRequirements(markdown: string): SpecRequirement[] {\n\tconst matches = [...markdown.matchAll(/^###\\s+(R\\d+)\\s+[—-]\\s+(.+?)(?:\\s+\\((P\\d+)\\))?\\s*$/gm)];\n\treturn matches.map((match, index) => {\n\t\tconst id = match[1]!;\n\t\tconst nextIndex = index + 1 < matches.length ? matches[index + 1]!.index! : markdown.length;\n\t\tconst body = markdown.slice(match.index!, nextIndex);\n\t\tconst acceptance = extractSection(body, \"**Acceptance**\")\n\t\t\t.split(\"\\n\")\n\t\t\t.map((line) => line.trim())\n\t\t\t.filter((line) => /^\\d+\\./.test(line))\n\t\t\t.map((line) => line.replace(/^\\d+\\.\\s*/, \"\"));\n\t\treturn {\n\t\t\tid,\n\t\t\ttitle: match[2]!.trim(),\n\t\t\tpriority: match[3] ?? \"P0\",\n\t\t\tacceptance,\n\t\t};\n\t});\n}\n\nexport function parseSpecTasks(markdown: string): SpecTask[] {\n\tconst lines = markdown.split(\"\\n\");\n\tconst tasks: SpecTask[] = [];\n\tlet current: SpecTask | undefined;\n\tfor (const line of lines) {\n\t\tconst taskMatch = line.match(/^- \\[([ xX])] (HCP-\\d+)\\s+(.+)$/);\n\t\tif (taskMatch) {\n\t\t\tcurrent = {\n\t\t\t\tid: taskMatch[2]!,\n\t\t\t\ttitle: taskMatch[3]!.trim(),\n\t\t\t\tcompleted: taskMatch[1]!.toLowerCase() === \"x\",\n\t\t\t\tdeps: [],\n\t\t\t\tfiles: [],\n\t\t\t\trequirementIds: [],\n\t\t\t};\n\t\t\ttasks.push(current);\n\t\t\tcontinue;\n\t\t}\n\t\tif (!current) continue;\n\t\tconst metaMatch = line.match(/^\\s*>\\s*([A-Za-z]+):\\s*(.+)$/);\n\t\tif (!metaMatch) continue;\n\t\tconst key = metaMatch[1]!;\n\t\tconst value = metaMatch[2]!.trim();\n\t\tswitch (key) {\n\t\t\tcase \"role\":\n\t\t\t\tcurrent.role = value;\n\t\t\t\tbreak;\n\t\t\tcase \"deps\":\n\t\t\t\tcurrent.deps = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t\tcase \"lane\":\n\t\t\t\tcurrent.lane = value;\n\t\t\t\tbreak;\n\t\t\tcase \"files\":\n\t\t\t\tcurrent.files = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t\tcase \"verify\":\n\t\t\t\tcurrent.verify = value.replace(/^`|`$/g, \"\");\n\t\t\t\tbreak;\n\t\t\tcase \"gate\":\n\t\t\t\tcurrent.gate = value;\n\t\t\t\tbreak;\n\t\t\tcase \"risk\":\n\t\t\t\tcurrent.risk = value;\n\t\t\t\tbreak;\n\t\t\tcase \"requirementIds\":\n\t\t\t\tcurrent.requirementIds = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t}\n\t}\n\treturn tasks;\n}\n\nfunction detectCycle(tasks: SpecTask[]): string | undefined {\n\tconst byId = new Map(tasks.map((task) => [task.id, task]));\n\tconst visiting = new Set<string>();\n\tconst visited = new Set<string>();\n\tconst visit = (id: string, path: string[]): string | undefined => {\n\t\tif (visiting.has(id)) return [...path, id].join(\" -> \");\n\t\tif (visited.has(id)) return undefined;\n\t\tvisiting.add(id);\n\t\tfor (const dep of byId.get(id)?.deps ?? []) {\n\t\t\tconst cycle = visit(dep, [...path, id]);\n\t\t\tif (cycle) return cycle;\n\t\t}\n\t\tvisiting.delete(id);\n\t\tvisited.add(id);\n\t\treturn undefined;\n\t};\n\tfor (const task of tasks) {\n\t\tconst cycle = visit(task.id, []);\n\t\tif (cycle) return cycle;\n\t}\n\treturn undefined;\n}\n\nfunction findHardcodedAuthority(input: SpecKitCompileInput): string[] {\n\tconst combined = [\n\t\tinput.specMarkdown,\n\t\tinput.tasksMarkdown,\n\t\tinput.planMarkdown ?? \"\",\n\t\tinput.templateMarkdown ?? \"\",\n\t].join(\"\\n\");\n\tconst violations: string[] = [];\n\tif (/^\\s*-\\s+\\*\\*Authority\\*\\*:\\s*.*Kimi is final writer/im.test(combined)) {\n\t\tviolations.push(\"Provider-hardcoded authority: Kimi is final writer\");\n\t}\n\treturn violations;\n}\n\nfunction extractEvidencePathsFromText(value: string | undefined): string[] {\n\tif (!value) return [];\n\treturn [...value.matchAll(/\\.omk\\/[\\w./-]+/g)].map((match) => match[0]!.replace(/[),.;:]+$/, \"\"));\n}\n\nexport function collectSpecEvidencePaths(tasks: readonly SpecTask[]): string[] {\n\tconst paths: string[] = [];\n\tconst seen = new Set<string>();\n\tfor (const task of tasks) {\n\t\tfor (const path of [\n\t\t\t...task.files.filter((file) => file.startsWith(\".omk/\")),\n\t\t\t...extractEvidencePathsFromText(task.verify),\n\t\t]) {\n\t\t\tif (seen.has(path)) continue;\n\t\t\tseen.add(path);\n\t\t\tpaths.push(path);\n\t\t}\n\t}\n\treturn paths;\n}\n\nexport function validateTaskCompletionDependencies(tasks: readonly SpecTask[]): string[] {\n\tconst errors: string[] = [];\n\tconst byId = new Map(tasks.map((task) => [task.id, task]));\n\tfor (const task of tasks) {\n\t\tif (!task.completed) continue;\n\t\tfor (const dep of task.deps) {\n\t\t\tconst dependency = byId.get(dep);\n\t\t\tif (dependency && !dependency.completed) {\n\t\t\t\terrors.push(`Task ${task.id} is completed but dependency ${dep} is incomplete`);\n\t\t\t}\n\t\t}\n\t}\n\treturn errors;\n}\n\nexport function validateSpecKit(input: SpecKitCompileInput, compiled?: CompiledSpecKit): SpecKitValidationResult {\n\tconst spec = compiled ?? compileSpecKit(input);\n\tconst errors: string[] = [];\n\tconst warnings: string[] = [];\n\tconst requirementIds = new Set(spec.requirements.map((requirement) => requirement.id));\n\tconst taskIds = new Set<string>();\n\tfor (const hardcoded of findHardcodedAuthority(input)) errors.push(hardcoded);\n\tfor (const task of spec.tasks) {\n\t\tif (taskIds.has(task.id)) errors.push(`Duplicate task id: ${task.id}`);\n\t\ttaskIds.add(task.id);\n\t\tif (!task.gate) errors.push(`Task ${task.id} missing evidence gate`);\n\t\tif (!task.verify) errors.push(`Task ${task.id} missing verify command`);\n\t\tif (task.requirementIds.length === 0) errors.push(`Task ${task.id} missing requirementIds`);\n\t\tfor (const dep of task.deps) {\n\t\t\tif (!taskIds.has(dep) && !spec.tasks.some((candidate) => candidate.id === dep)) {\n\t\t\t\terrors.push(`Task ${task.id} depends on missing task ${dep}`);\n\t\t\t}\n\t\t}\n\t\tfor (const requirementId of task.requirementIds) {\n\t\t\tif (!requirementIds.has(requirementId)) errors.push(`Task ${task.id} references missing ${requirementId}`);\n\t\t}\n\t}\n\terrors.push(...validateTaskCompletionDependencies(spec.tasks));\n\tconst cycle = detectCycle(spec.tasks);\n\tif (cycle) errors.push(`Task DAG has cycle: ${cycle}`);\n\tfor (const requirement of spec.requirements) {\n\t\tconst linked = spec.tasks.filter((task) => task.requirementIds.includes(requirement.id));\n\t\tif (linked.length === 0) errors.push(`Requirement ${requirement.id} has no linked task`);\n\t\tif (requirement.acceptance.length === 0)\n\t\t\twarnings.push(`Requirement ${requirement.id} has no parsed acceptance items`);\n\t}\n\treturn { ok: errors.length === 0, errors, warnings };\n}\n\nexport function compileSpecKit(input: SpecKitCompileInput): CompiledSpecKit {\n\tconst requirements = parseSpecRequirements(input.specMarkdown);\n\tconst tasks = parseSpecTasks(input.tasksMarkdown);\n\tconst compiledDag = tasks.map((task) => ({\n\t\tid: task.id,\n\t\ttitle: task.title,\n\t\tdependsOn: task.deps,\n\t\tfiles: task.files,\n\t\tverify: task.verify,\n\t\tgate: task.gate,\n\t\trequirementIds: task.requirementIds,\n\t}));\n\tconst traceability = requirements.map((requirement) => {\n\t\tconst linkedTasks = tasks.filter((task) => task.requirementIds.includes(requirement.id));\n\t\treturn {\n\t\t\trequirementId: requirement.id,\n\t\t\ttaskIds: linkedTasks.map((task) => task.id),\n\t\t\tverifyCommands: linkedTasks.flatMap((task) => (task.verify ? [task.verify] : [])),\n\t\t\tevidenceGates: linkedTasks.flatMap((task) => (task.gate ? [task.gate] : [])),\n\t\t};\n\t});\n\tconst evidenceManifest = tasks.map((task) => ({\n\t\ttaskId: task.id,\n\t\tgate: task.gate,\n\t\tverify: task.verify,\n\t\tfiles: task.files,\n\t\tevidencePaths: collectSpecEvidencePaths([task]),\n\t}));\n\tconst hashInput = stableJson({ requirements, compiledDag, traceability, evidenceManifest });\n\treturn {\n\t\trequirements,\n\t\ttasks,\n\t\tcompiledDag,\n\t\ttraceability,\n\t\tevidenceManifest,\n\t\tspecHash: hashText(hashInput),\n\t};\n}\n"]}

package/dist/core/spec-kit/compiler.js

@@ -1,268 +0,0 @@
-import { createHash } from "node:crypto";
-function stableJson(value) {
-    if (value === null || typeof value !== "object")
-        return JSON.stringify(value);
-    if (Array.isArray(value))
-        return `[${value.map(stableJson).join(",")}]`;
-    return `{${Object.keys(value)
-        .sort()
-        .map((key) => `${JSON.stringify(key)}:${stableJson(value[key])}`)
-        .join(",")}}`;
-}
-function hashText(value) {
-    return createHash("sha256").update(value).digest("hex");
-}
-function parseBracketList(value) {
-    if (!value)
-        return [];
-    const trimmed = value.trim();
-    if (trimmed === "none" || trimmed === "[]")
-        return [];
-    if (!trimmed.startsWith("[") || !trimmed.endsWith("]")) {
-        return trimmed
-            .split(",")
-            .map((entry) => entry.trim())
-            .filter(Boolean);
-    }
-    return trimmed
-        .slice(1, -1)
-        .split(",")
-        .map((entry) => entry.trim().replace(/^`|`$/g, ""))
-        .filter(Boolean);
-}
-function extractSection(markdown, heading) {
-    const start = markdown.indexOf(heading);
-    if (start < 0)
-        return "";
-    const rest = markdown.slice(start + heading.length);
-    const next = rest.search(/\n#{2,3}\s/);
-    return next < 0 ? rest : rest.slice(0, next);
-}
-export function parseSpecRequirements(markdown) {
-    const matches = [...markdown.matchAll(/^###\s+(R\d+)\s+[—-]\s+(.+?)(?:\s+\((P\d+)\))?\s*$/gm)];
-    return matches.map((match, index) => {
-        const id = match[1];
-        const nextIndex = index + 1 < matches.length ? matches[index + 1].index : markdown.length;
-        const body = markdown.slice(match.index, nextIndex);
-        const acceptance = extractSection(body, "**Acceptance**")
-            .split("\n")
-            .map((line) => line.trim())
-            .filter((line) => /^\d+\./.test(line))
-            .map((line) => line.replace(/^\d+\.\s*/, ""));
-        return {
-            id,
-            title: match[2].trim(),
-            priority: match[3] ?? "P0",
-            acceptance,
-        };
-    });
-}
-export function parseSpecTasks(markdown) {
-    const lines = markdown.split("\n");
-    const tasks = [];
-    let current;
-    for (const line of lines) {
-        const taskMatch = line.match(/^- \[([ xX])] (HCP-\d+)\s+(.+)$/);
-        if (taskMatch) {
-            current = {
-                id: taskMatch[2],
-                title: taskMatch[3].trim(),
-                completed: taskMatch[1].toLowerCase() === "x",
-                deps: [],
-                files: [],
-                requirementIds: [],
-            };
-            tasks.push(current);
-            continue;
-        }
-        if (!current)
-            continue;
-        const metaMatch = line.match(/^\s*>\s*([A-Za-z]+):\s*(.+)$/);
-        if (!metaMatch)
-            continue;
-        const key = metaMatch[1];
-        const value = metaMatch[2].trim();
-        switch (key) {
-            case "role":
-                current.role = value;
-                break;
-            case "deps":
-                current.deps = parseBracketList(value);
-                break;
-            case "lane":
-                current.lane = value;
-                break;
-            case "files":
-                current.files = parseBracketList(value);
-                break;
-            case "verify":
-                current.verify = value.replace(/^`|`$/g, "");
-                break;
-            case "gate":
-                current.gate = value;
-                break;
-            case "risk":
-                current.risk = value;
-                break;
-            case "requirementIds":
-                current.requirementIds = parseBracketList(value);
-                break;
-        }
-    }
-    return tasks;
-}
-function detectCycle(tasks) {
-    const byId = new Map(tasks.map((task) => [task.id, task]));
-    const visiting = new Set();
-    const visited = new Set();
-    const visit = (id, path) => {
-        if (visiting.has(id))
-            return [...path, id].join(" -> ");
-        if (visited.has(id))
-            return undefined;
-        visiting.add(id);
-        for (const dep of byId.get(id)?.deps ?? []) {
-            const cycle = visit(dep, [...path, id]);
-            if (cycle)
-                return cycle;
-        }
-        visiting.delete(id);
-        visited.add(id);
-        return undefined;
-    };
-    for (const task of tasks) {
-        const cycle = visit(task.id, []);
-        if (cycle)
-            return cycle;
-    }
-    return undefined;
-}
-function findHardcodedAuthority(input) {
-    const combined = [
-        input.specMarkdown,
-        input.tasksMarkdown,
-        input.planMarkdown ?? "",
-        input.templateMarkdown ?? "",
-    ].join("\n");
-    const violations = [];
-    if (/^\s*-\s+\*\*Authority\*\*:\s*.*Kimi is final writer/im.test(combined)) {
-        violations.push("Provider-hardcoded authority: Kimi is final writer");
-    }
-    return violations;
-}
-function extractEvidencePathsFromText(value) {
-    if (!value)
-        return [];
-    return [...value.matchAll(/\.omk\/[\w./-]+/g)].map((match) => match[0].replace(/[),.;:]+$/, ""));
-}
-export function collectSpecEvidencePaths(tasks) {
-    const paths = [];
-    const seen = new Set();
-    for (const task of tasks) {
-        for (const path of [
-            ...task.files.filter((file) => file.startsWith(".omk/")),
-            ...extractEvidencePathsFromText(task.verify),
-        ]) {
-            if (seen.has(path))
-                continue;
-            seen.add(path);
-            paths.push(path);
-        }
-    }
-    return paths;
-}
-export function validateTaskCompletionDependencies(tasks) {
-    const errors = [];
-    const byId = new Map(tasks.map((task) => [task.id, task]));
-    for (const task of tasks) {
-        if (!task.completed)
-            continue;
-        for (const dep of task.deps) {
-            const dependency = byId.get(dep);
-            if (dependency && !dependency.completed) {
-                errors.push(`Task ${task.id} is completed but dependency ${dep} is incomplete`);
-            }
-        }
-    }
-    return errors;
-}
-export function validateSpecKit(input, compiled) {
-    const spec = compiled ?? compileSpecKit(input);
-    const errors = [];
-    const warnings = [];
-    const requirementIds = new Set(spec.requirements.map((requirement) => requirement.id));
-    const taskIds = new Set();
-    for (const hardcoded of findHardcodedAuthority(input))
-        errors.push(hardcoded);
-    for (const task of spec.tasks) {
-        if (taskIds.has(task.id))
-            errors.push(`Duplicate task id: ${task.id}`);
-        taskIds.add(task.id);
-        if (!task.gate)
-            errors.push(`Task ${task.id} missing evidence gate`);
-        if (!task.verify)
-            errors.push(`Task ${task.id} missing verify command`);
-        if (task.requirementIds.length === 0)
-            errors.push(`Task ${task.id} missing requirementIds`);
-        for (const dep of task.deps) {
-            if (!taskIds.has(dep) && !spec.tasks.some((candidate) => candidate.id === dep)) {
-                errors.push(`Task ${task.id} depends on missing task ${dep}`);
-            }
-        }
-        for (const requirementId of task.requirementIds) {
-            if (!requirementIds.has(requirementId))
-                errors.push(`Task ${task.id} references missing ${requirementId}`);
-        }
-    }
-    errors.push(...validateTaskCompletionDependencies(spec.tasks));
-    const cycle = detectCycle(spec.tasks);
-    if (cycle)
-        errors.push(`Task DAG has cycle: ${cycle}`);
-    for (const requirement of spec.requirements) {
-        const linked = spec.tasks.filter((task) => task.requirementIds.includes(requirement.id));
-        if (linked.length === 0)
-            errors.push(`Requirement ${requirement.id} has no linked task`);
-        if (requirement.acceptance.length === 0)
-            warnings.push(`Requirement ${requirement.id} has no parsed acceptance items`);
-    }
-    return { ok: errors.length === 0, errors, warnings };
-}
-export function compileSpecKit(input) {
-    const requirements = parseSpecRequirements(input.specMarkdown);
-    const tasks = parseSpecTasks(input.tasksMarkdown);
-    const compiledDag = tasks.map((task) => ({
-        id: task.id,
-        title: task.title,
-        dependsOn: task.deps,
-        files: task.files,
-        verify: task.verify,
-        gate: task.gate,
-        requirementIds: task.requirementIds,
-    }));
-    const traceability = requirements.map((requirement) => {
-        const linkedTasks = tasks.filter((task) => task.requirementIds.includes(requirement.id));
-        return {
-            requirementId: requirement.id,
-            taskIds: linkedTasks.map((task) => task.id),
-            verifyCommands: linkedTasks.flatMap((task) => (task.verify ? [task.verify] : [])),
-            evidenceGates: linkedTasks.flatMap((task) => (task.gate ? [task.gate] : [])),
-        };
-    });
-    const evidenceManifest = tasks.map((task) => ({
-        taskId: task.id,
-        gate: task.gate,
-        verify: task.verify,
-        files: task.files,
-        evidencePaths: collectSpecEvidencePaths([task]),
-    }));
-    const hashInput = stableJson({ requirements, compiledDag, traceability, evidenceManifest });
-    return {
-        requirements,
-        tasks,
-        compiledDag,
-        traceability,
-        evidenceManifest,
-        specHash: hashText(hashInput),
-    };
-}
-//# sourceMappingURL=compiler.js.map

package/dist/core/spec-kit/compiler.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../../src/core/spec-kit/compiler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAsEzC,SAAS,UAAU,CAAC,KAAc,EAAU;IAC3C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACxE,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SAC3B,IAAI,EAAE;SACN,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,UAAU,CAAE,KAAiC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;SAC7F,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAAA,CACf;AAED,SAAS,QAAQ,CAAC,KAAa,EAAU;IACxC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAAA,CACxD;AAED,SAAS,gBAAgB,CAAC,KAAyB,EAAY;IAC9D,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACtD,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO,OAAO;aACZ,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,OAAO;SACZ,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SACZ,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;SAClD,MAAM,CAAC,OAAO,CAAC,CAAC;AAAA,CAClB;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,OAAe,EAAU;IAClE,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACvC,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAAA,CAC7C;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAgB,EAAqB;IAC1E,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,wDAAsD,CAAC,CAAC,CAAC;IAC/F,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACrB,MAAM,SAAS,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,KAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5F,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,KAAM,EAAE,SAAS,CAAC,CAAC;QACrD,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,gBAAgB,CAAC;aACvD,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;aAC1B,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACrC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/C,OAAO;YACN,EAAE;YACF,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE;YACvB,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI;YAC1B,UAAU;SACV,CAAC;IAAA,CACF,CAAC,CAAC;AAAA,CACH;AAED,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAc;IAC5D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,OAA6B,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAChE,IAAI,SAAS,EAAE,CAAC;YACf,OAAO,GAAG;gBACT,EAAE,EAAE,SAAS,CAAC,CAAC,CAAE;gBACjB,KAAK,EAAE,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE;gBAC3B,SAAS,EAAE,SAAS,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,KAAK,GAAG;gBAC9C,IAAI,EAAE,EAAE;gBACR,KAAK,EAAE,EAAE;gBACT,cAAc,EAAE,EAAE;aAClB,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,SAAS;QACV,CAAC;QACD,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC7D,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;QACnC,QAAQ,GAAG,EAAE,CAAC;YACb,KAAK,MAAM;gBACV,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;gBACrB,MAAM;YACP,KAAK,MAAM;gBACV,OAAO,CAAC,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM;YACP,KAAK,MAAM;gBACV,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;gBACrB,MAAM;YACP,KAAK,OAAO;gBACX,OAAO,CAAC,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBACxC,MAAM;YACP,KAAK,QAAQ;gBACZ,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC7C,MAAM;YACP,KAAK,MAAM;gBACV,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;gBACrB,MAAM;YACP,KAAK,MAAM;gBACV,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;gBACrB,MAAM;YACP,KAAK,gBAAgB;gBACpB,OAAO,CAAC,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;gBACjD,MAAM;QACR,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,WAAW,CAAC,KAAiB,EAAsB;IAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAc,EAAsB,EAAE,CAAC;QACjE,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,SAAS,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,EAAE,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACxC,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QACzB,CAAC;QACD,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,OAAO,SAAS,CAAC;IAAA,CACjB,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IACzB,CAAC;IACD,OAAO,SAAS,CAAC;AAAA,CACjB;AAED,SAAS,sBAAsB,CAAC,KAA0B,EAAY;IACrE,MAAM,QAAQ,GAAG;QAChB,KAAK,CAAC,YAAY;QAClB,KAAK,CAAC,aAAa;QACnB,KAAK,CAAC,YAAY,IAAI,EAAE;QACxB,KAAK,CAAC,gBAAgB,IAAI,EAAE;KAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,uDAAuD,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5E,UAAU,CAAC,IAAI,CAAC,oDAAoD,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,UAAU,CAAC;AAAA,CAClB;AAED,SAAS,4BAA4B,CAAC,KAAyB,EAAY;IAC1E,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;AAAA,CAClG;AAED,MAAM,UAAU,wBAAwB,CAAC,KAA0B,EAAY;IAC9E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI;YAClB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YACxD,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC;SAC5C,EAAE,CAAC;YACH,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,MAAM,UAAU,kCAAkC,CAAC,KAA0B,EAAY;IACxF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,SAAS;YAAE,SAAS;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,UAAU,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;gBACzC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,gCAAgC,GAAG,gBAAgB,CAAC,CAAC;YACjF,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC;AAAA,CACd;AAED,MAAM,UAAU,eAAe,CAAC,KAA0B,EAAE,QAA0B,EAA2B;IAChH,MAAM,IAAI,GAAG,QAAQ,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,SAAS,IAAI,sBAAsB,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACvE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACrE,IAAI,CAAC,IAAI,CAAC,MAAM;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAC5F,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC;gBAChF,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,4BAA4B,GAAG,EAAE,CAAC,CAAC;YAC/D,CAAC;QACF,CAAC;QACD,KAAK,MAAM,aAAa,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;YACjD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,aAAa,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,uBAAuB,aAAa,EAAE,CAAC,CAAC;QAC5G,CAAC;IACF,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,KAAK;QAAE,MAAM,CAAC,IAAI,CAAC,uBAAuB,KAAK,EAAE,CAAC,CAAC;IACvD,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;QACzF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,qBAAqB,CAAC,CAAC;QACzF,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YACtC,QAAQ,CAAC,IAAI,CAAC,eAAe,WAAW,CAAC,EAAE,iCAAiC,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAAA,CACrD;AAED,MAAM,UAAU,cAAc,CAAC,KAA0B,EAAmB;IAC3E,MAAM,YAAY,GAAG,qBAAqB,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,CAAC,IAAI;QACpB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,cAAc,EAAE,IAAI,CAAC,cAAc;KACnC,CAAC,CAAC,CAAC;IACJ,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QACtD,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;QACzF,OAAO;YACN,aAAa,EAAE,WAAW,CAAC,EAAE;YAC7B,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,cAAc,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACjF,aAAa,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5E,CAAC;IAAA,CACF,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,aAAa,EAAE,wBAAwB,CAAC,CAAC,IAAI,CAAC,CAAC;KAC/C,CAAC,CAAC,CAAC;IACJ,MAAM,SAAS,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC5F,OAAO;QACN,YAAY;QACZ,KAAK;QACL,WAAW;QACX,YAAY;QACZ,gBAAgB;QAChB,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC;KAC7B,CAAC;AAAA,CACF","sourcesContent":["import { createHash } from \"node:crypto\";\n\nexport interface SpecRequirement {\n\tid: string;\n\ttitle: string;\n\tpriority: string;\n\tacceptance: string[];\n}\n\nexport interface SpecTask {\n\tid: string;\n\ttitle: string;\n\tcompleted: boolean;\n\trole?: string;\n\tdeps: string[];\n\tlane?: string;\n\tfiles: string[];\n\tverify?: string;\n\tgate?: string;\n\trisk?: string;\n\trequirementIds: string[];\n}\n\nexport interface CompiledHarnessDagNode {\n\tid: string;\n\ttitle: string;\n\tdependsOn: string[];\n\tfiles: string[];\n\tverify?: string;\n\tgate?: string;\n\trequirementIds: string[];\n}\n\nexport interface TraceabilityEntry {\n\trequirementId: string;\n\ttaskIds: string[];\n\tverifyCommands: string[];\n\tevidenceGates: string[];\n}\n\nexport interface EvidenceManifestEntry {\n\ttaskId: string;\n\tgate?: string;\n\tverify?: string;\n\tfiles: string[];\n\tevidencePaths: string[];\n}\n\nexport interface CompiledSpecKit {\n\trequirements: SpecRequirement[];\n\ttasks: SpecTask[];\n\tcompiledDag: CompiledHarnessDagNode[];\n\ttraceability: TraceabilityEntry[];\n\tevidenceManifest: EvidenceManifestEntry[];\n\tspecHash: string;\n}\n\nexport interface SpecKitValidationResult {\n\tok: boolean;\n\terrors: string[];\n\twarnings: string[];\n}\n\nexport interface SpecKitCompileInput {\n\tspecMarkdown: string;\n\ttasksMarkdown: string;\n\tplanMarkdown?: string;\n\ttemplateMarkdown?: string;\n}\n\nfunction stableJson(value: unknown): string {\n\tif (value === null || typeof value !== \"object\") return JSON.stringify(value);\n\tif (Array.isArray(value)) return `[${value.map(stableJson).join(\",\")}]`;\n\treturn `{${Object.keys(value)\n\t\t.sort()\n\t\t.map((key) => `${JSON.stringify(key)}:${stableJson((value as Record<string, unknown>)[key])}`)\n\t\t.join(\",\")}}`;\n}\n\nfunction hashText(value: string): string {\n\treturn createHash(\"sha256\").update(value).digest(\"hex\");\n}\n\nfunction parseBracketList(value: string | undefined): string[] {\n\tif (!value) return [];\n\tconst trimmed = value.trim();\n\tif (trimmed === \"none\" || trimmed === \"[]\") return [];\n\tif (!trimmed.startsWith(\"[\") || !trimmed.endsWith(\"]\")) {\n\t\treturn trimmed\n\t\t\t.split(\",\")\n\t\t\t.map((entry) => entry.trim())\n\t\t\t.filter(Boolean);\n\t}\n\treturn trimmed\n\t\t.slice(1, -1)\n\t\t.split(\",\")\n\t\t.map((entry) => entry.trim().replace(/^`|`$/g, \"\"))\n\t\t.filter(Boolean);\n}\n\nfunction extractSection(markdown: string, heading: string): string {\n\tconst start = markdown.indexOf(heading);\n\tif (start < 0) return \"\";\n\tconst rest = markdown.slice(start + heading.length);\n\tconst next = rest.search(/\\n#{2,3}\\s/);\n\treturn next < 0 ? rest : rest.slice(0, next);\n}\n\nexport function parseSpecRequirements(markdown: string): SpecRequirement[] {\n\tconst matches = [...markdown.matchAll(/^###\\s+(R\\d+)\\s+[—-]\\s+(.+?)(?:\\s+\\((P\\d+)\\))?\\s*$/gm)];\n\treturn matches.map((match, index) => {\n\t\tconst id = match[1]!;\n\t\tconst nextIndex = index + 1 < matches.length ? matches[index + 1]!.index! : markdown.length;\n\t\tconst body = markdown.slice(match.index!, nextIndex);\n\t\tconst acceptance = extractSection(body, \"**Acceptance**\")\n\t\t\t.split(\"\\n\")\n\t\t\t.map((line) => line.trim())\n\t\t\t.filter((line) => /^\\d+\\./.test(line))\n\t\t\t.map((line) => line.replace(/^\\d+\\.\\s*/, \"\"));\n\t\treturn {\n\t\t\tid,\n\t\t\ttitle: match[2]!.trim(),\n\t\t\tpriority: match[3] ?? \"P0\",\n\t\t\tacceptance,\n\t\t};\n\t});\n}\n\nexport function parseSpecTasks(markdown: string): SpecTask[] {\n\tconst lines = markdown.split(\"\\n\");\n\tconst tasks: SpecTask[] = [];\n\tlet current: SpecTask | undefined;\n\tfor (const line of lines) {\n\t\tconst taskMatch = line.match(/^- \\[([ xX])] (HCP-\\d+)\\s+(.+)$/);\n\t\tif (taskMatch) {\n\t\t\tcurrent = {\n\t\t\t\tid: taskMatch[2]!,\n\t\t\t\ttitle: taskMatch[3]!.trim(),\n\t\t\t\tcompleted: taskMatch[1]!.toLowerCase() === \"x\",\n\t\t\t\tdeps: [],\n\t\t\t\tfiles: [],\n\t\t\t\trequirementIds: [],\n\t\t\t};\n\t\t\ttasks.push(current);\n\t\t\tcontinue;\n\t\t}\n\t\tif (!current) continue;\n\t\tconst metaMatch = line.match(/^\\s*>\\s*([A-Za-z]+):\\s*(.+)$/);\n\t\tif (!metaMatch) continue;\n\t\tconst key = metaMatch[1]!;\n\t\tconst value = metaMatch[2]!.trim();\n\t\tswitch (key) {\n\t\t\tcase \"role\":\n\t\t\t\tcurrent.role = value;\n\t\t\t\tbreak;\n\t\t\tcase \"deps\":\n\t\t\t\tcurrent.deps = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t\tcase \"lane\":\n\t\t\t\tcurrent.lane = value;\n\t\t\t\tbreak;\n\t\t\tcase \"files\":\n\t\t\t\tcurrent.files = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t\tcase \"verify\":\n\t\t\t\tcurrent.verify = value.replace(/^`|`$/g, \"\");\n\t\t\t\tbreak;\n\t\t\tcase \"gate\":\n\t\t\t\tcurrent.gate = value;\n\t\t\t\tbreak;\n\t\t\tcase \"risk\":\n\t\t\t\tcurrent.risk = value;\n\t\t\t\tbreak;\n\t\t\tcase \"requirementIds\":\n\t\t\t\tcurrent.requirementIds = parseBracketList(value);\n\t\t\t\tbreak;\n\t\t}\n\t}\n\treturn tasks;\n}\n\nfunction detectCycle(tasks: SpecTask[]): string | undefined {\n\tconst byId = new Map(tasks.map((task) => [task.id, task]));\n\tconst visiting = new Set<string>();\n\tconst visited = new Set<string>();\n\tconst visit = (id: string, path: string[]): string | undefined => {\n\t\tif (visiting.has(id)) return [...path, id].join(\" -> \");\n\t\tif (visited.has(id)) return undefined;\n\t\tvisiting.add(id);\n\t\tfor (const dep of byId.get(id)?.deps ?? []) {\n\t\t\tconst cycle = visit(dep, [...path, id]);\n\t\t\tif (cycle) return cycle;\n\t\t}\n\t\tvisiting.delete(id);\n\t\tvisited.add(id);\n\t\treturn undefined;\n\t};\n\tfor (const task of tasks) {\n\t\tconst cycle = visit(task.id, []);\n\t\tif (cycle) return cycle;\n\t}\n\treturn undefined;\n}\n\nfunction findHardcodedAuthority(input: SpecKitCompileInput): string[] {\n\tconst combined = [\n\t\tinput.specMarkdown,\n\t\tinput.tasksMarkdown,\n\t\tinput.planMarkdown ?? \"\",\n\t\tinput.templateMarkdown ?? \"\",\n\t].join(\"\\n\");\n\tconst violations: string[] = [];\n\tif (/^\\s*-\\s+\\*\\*Authority\\*\\*:\\s*.*Kimi is final writer/im.test(combined)) {\n\t\tviolations.push(\"Provider-hardcoded authority: Kimi is final writer\");\n\t}\n\treturn violations;\n}\n\nfunction extractEvidencePathsFromText(value: string | undefined): string[] {\n\tif (!value) return [];\n\treturn [...value.matchAll(/\\.omk\\/[\\w./-]+/g)].map((match) => match[0]!.replace(/[),.;:]+$/, \"\"));\n}\n\nexport function collectSpecEvidencePaths(tasks: readonly SpecTask[]): string[] {\n\tconst paths: string[] = [];\n\tconst seen = new Set<string>();\n\tfor (const task of tasks) {\n\t\tfor (const path of [\n\t\t\t...task.files.filter((file) => file.startsWith(\".omk/\")),\n\t\t\t...extractEvidencePathsFromText(task.verify),\n\t\t]) {\n\t\t\tif (seen.has(path)) continue;\n\t\t\tseen.add(path);\n\t\t\tpaths.push(path);\n\t\t}\n\t}\n\treturn paths;\n}\n\nexport function validateTaskCompletionDependencies(tasks: readonly SpecTask[]): string[] {\n\tconst errors: string[] = [];\n\tconst byId = new Map(tasks.map((task) => [task.id, task]));\n\tfor (const task of tasks) {\n\t\tif (!task.completed) continue;\n\t\tfor (const dep of task.deps) {\n\t\t\tconst dependency = byId.get(dep);\n\t\t\tif (dependency && !dependency.completed) {\n\t\t\t\terrors.push(`Task ${task.id} is completed but dependency ${dep} is incomplete`);\n\t\t\t}\n\t\t}\n\t}\n\treturn errors;\n}\n\nexport function validateSpecKit(input: SpecKitCompileInput, compiled?: CompiledSpecKit): SpecKitValidationResult {\n\tconst spec = compiled ?? compileSpecKit(input);\n\tconst errors: string[] = [];\n\tconst warnings: string[] = [];\n\tconst requirementIds = new Set(spec.requirements.map((requirement) => requirement.id));\n\tconst taskIds = new Set<string>();\n\tfor (const hardcoded of findHardcodedAuthority(input)) errors.push(hardcoded);\n\tfor (const task of spec.tasks) {\n\t\tif (taskIds.has(task.id)) errors.push(`Duplicate task id: ${task.id}`);\n\t\ttaskIds.add(task.id);\n\t\tif (!task.gate) errors.push(`Task ${task.id} missing evidence gate`);\n\t\tif (!task.verify) errors.push(`Task ${task.id} missing verify command`);\n\t\tif (task.requirementIds.length === 0) errors.push(`Task ${task.id} missing requirementIds`);\n\t\tfor (const dep of task.deps) {\n\t\t\tif (!taskIds.has(dep) && !spec.tasks.some((candidate) => candidate.id === dep)) {\n\t\t\t\terrors.push(`Task ${task.id} depends on missing task ${dep}`);\n\t\t\t}\n\t\t}\n\t\tfor (const requirementId of task.requirementIds) {\n\t\t\tif (!requirementIds.has(requirementId)) errors.push(`Task ${task.id} references missing ${requirementId}`);\n\t\t}\n\t}\n\terrors.push(...validateTaskCompletionDependencies(spec.tasks));\n\tconst cycle = detectCycle(spec.tasks);\n\tif (cycle) errors.push(`Task DAG has cycle: ${cycle}`);\n\tfor (const requirement of spec.requirements) {\n\t\tconst linked = spec.tasks.filter((task) => task.requirementIds.includes(requirement.id));\n\t\tif (linked.length === 0) errors.push(`Requirement ${requirement.id} has no linked task`);\n\t\tif (requirement.acceptance.length === 0)\n\t\t\twarnings.push(`Requirement ${requirement.id} has no parsed acceptance items`);\n\t}\n\treturn { ok: errors.length === 0, errors, warnings };\n}\n\nexport function compileSpecKit(input: SpecKitCompileInput): CompiledSpecKit {\n\tconst requirements = parseSpecRequirements(input.specMarkdown);\n\tconst tasks = parseSpecTasks(input.tasksMarkdown);\n\tconst compiledDag = tasks.map((task) => ({\n\t\tid: task.id,\n\t\ttitle: task.title,\n\t\tdependsOn: task.deps,\n\t\tfiles: task.files,\n\t\tverify: task.verify,\n\t\tgate: task.gate,\n\t\trequirementIds: task.requirementIds,\n\t}));\n\tconst traceability = requirements.map((requirement) => {\n\t\tconst linkedTasks = tasks.filter((task) => task.requirementIds.includes(requirement.id));\n\t\treturn {\n\t\t\trequirementId: requirement.id,\n\t\t\ttaskIds: linkedTasks.map((task) => task.id),\n\t\t\tverifyCommands: linkedTasks.flatMap((task) => (task.verify ? [task.verify] : [])),\n\t\t\tevidenceGates: linkedTasks.flatMap((task) => (task.gate ? [task.gate] : [])),\n\t\t};\n\t});\n\tconst evidenceManifest = tasks.map((task) => ({\n\t\ttaskId: task.id,\n\t\tgate: task.gate,\n\t\tverify: task.verify,\n\t\tfiles: task.files,\n\t\tevidencePaths: collectSpecEvidencePaths([task]),\n\t}));\n\tconst hashInput = stableJson({ requirements, compiledDag, traceability, evidenceManifest });\n\treturn {\n\t\trequirements,\n\t\ttasks,\n\t\tcompiledDag,\n\t\ttraceability,\n\t\tevidenceManifest,\n\t\tspecHash: hashText(hashInput),\n\t};\n}\n"]}

package/dist/core/transaction-coordinator.d.ts

@@ -1,30 +0,0 @@
-import { type HarnessControlEventKind, type HarnessControlEventOptions, type HarnessControlEventWriteResult } from "./harness-control-events.ts";
-export type HarnessControlTransactionStatus = "completed" | "rolled_back" | "failed" | "in_doubt";
-export type HarnessControlTransactionPhase = "prepare" | "apply" | "verify";
-export interface HarnessControlRollbackContext<T, Prepared = unknown> {
-    phase: HarnessControlTransactionPhase;
-    prepared?: Prepared;
-    value?: T;
-}
-export interface HarnessControlTransactionOptions<T, Prepared = unknown> {
-    kind: HarnessControlEventKind;
-    data?: Record<string, unknown>;
-    beforeState?: unknown;
-    afterState?: (value: T) => unknown;
-    prepare?: () => Prepared | Promise<Prepared>;
-    commit: (prepared?: Prepared) => T | Promise<T>;
-    verify?: (value: T, prepared?: Prepared) => void | Promise<void>;
-    rollback?: (error: unknown, context?: HarnessControlRollbackContext<T, Prepared>) => void | Promise<void>;
-    eventOptions?: HarnessControlEventOptions;
-}
-export interface HarnessControlTransactionResult<T> {
-    status: HarnessControlTransactionStatus;
-    operationId: string;
-    value?: T;
-    error?: unknown;
-    rollbackError?: unknown;
-    events: HarnessControlEventWriteResult[];
-}
-export declare function runHarnessControlTransactionSync<T, Prepared = unknown>(options: HarnessControlTransactionOptions<T, Prepared>): HarnessControlTransactionResult<T>;
-export declare function runHarnessControlTransaction<T, Prepared = unknown>(options: HarnessControlTransactionOptions<T, Prepared>): Promise<HarnessControlTransactionResult<T>>;
-//# sourceMappingURL=transaction-coordinator.d.ts.map