open-multi-agent-kit 0.80.7 → 0.90.0

package/dist/core/session-digest.js

@@ -1,193 +0,0 @@
-import { createHash } from "node:crypto";
-import { sanitizeMemoryPayload, } from "./policy-overlays-runtime.js";
-export const DEFAULT_SESSION_DIGEST_MAX_CHARS = 16_000;
-export const DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS = 2_000;
-export const DEFAULT_DIGEST_HEAD_RATIO = 0.6;
-export const DEFAULT_DIGEST_MARKER = " …[omk-digest:truncated]… ";
-const FIRST_MESSAGE_TRUNCATION_MARKER = " …[omk-first-message:truncated]";
-function fitTruncationMarker(marker, maxChars) {
-    if (maxChars <= 0)
-        return "";
-    if (marker.length < maxChars)
-        return marker;
-    return maxChars >= 3 ? "…" : "";
-}
-function normalizeDigestOptions(options) {
-    const maxChars = Number.isFinite(options.maxChars) ? Math.max(0, Math.floor(options.maxChars)) : 0;
-    const ratioValue = options.headRatio ?? DEFAULT_DIGEST_HEAD_RATIO;
-    const headRatio = Number.isFinite(ratioValue) ? Math.min(1, Math.max(0, ratioValue)) : DEFAULT_DIGEST_HEAD_RATIO;
-    const separator = options.separator ?? " ";
-    const marker = fitTruncationMarker(options.marker ?? DEFAULT_DIGEST_MARKER, maxChars);
-    const sanitize = options.sanitize ?? true;
-    const headBudget = Math.floor(maxChars * headRatio);
-    const tailBudget = Math.max(0, maxChars - headBudget);
-    return { maxChars, headRatio, headBudget, tailBudget, separator, marker, sanitize };
-}
-function sanitizeSessionDigestText(text) {
-    const sanitized = sanitizeMemoryPayload(text, {
-        source: "session-digest",
-        contentTier: "summary",
-        maxChars: DIGEST_SANITIZER_MAX_CHARS,
-        external: false,
-    });
-    return typeof sanitized.payload === "string" ? sanitized.payload : "";
-}
-export class BoundedDigestAccumulator {
-    options;
-    head = "";
-    tail = "";
-    originalChars = 0;
-    wroteAny = false;
-    overflowed = false;
-    constructor(options) {
-        this.options = normalizeDigestOptions(options);
-    }
-    push(segment) {
-        if (segment.length === 0 || this.options.maxChars <= 0) {
-            return;
-        }
-        const safeSegment = this.options.sanitize ? sanitizeSessionDigestText(segment) : segment;
-        if (safeSegment.length === 0)
-            return;
-        const piece = this.wroteAny ? `${this.options.separator}${safeSegment}` : safeSegment;
-        this.wroteAny = true;
-        this.originalChars += piece.length;
-        this.appendToHead(piece);
-    }
-    result() {
-        if (!this.overflowed) {
-            const text = this.head + this.tail;
-            return { text, truncated: false, originalChars: this.originalChars, keptChars: text.length };
-        }
-        const contentBudget = Math.max(0, this.options.maxChars - this.options.marker.length);
-        const headBudget = Math.floor(contentBudget * this.options.headRatio);
-        const tailBudget = Math.max(0, contentBudget - headBudget);
-        const text = `${this.head.slice(0, headBudget)}${this.options.marker}${this.tail.slice(Math.max(0, this.tail.length - tailBudget))}`;
-        return { text, truncated: true, originalChars: this.originalChars, keptChars: text.length };
-    }
-    appendToHead(piece) {
-        const headRemaining = this.options.headBudget - this.head.length;
-        if (headRemaining > 0) {
-            const headPiece = piece.slice(0, headRemaining);
-            this.head += headPiece;
-            const rest = piece.slice(headPiece.length);
-            if (rest.length > 0) {
-                this.appendToTail(rest);
-            }
-            return;
-        }
-        this.appendToTail(piece);
-    }
-    appendToTail(piece) {
-        if (this.options.tailBudget <= 0) {
-            this.overflowed = true;
-            return;
-        }
-        this.tail += piece;
-        if (this.tail.length > this.options.tailBudget) {
-            this.tail = this.tail.slice(this.tail.length - this.options.tailBudget);
-            this.overflowed = true;
-        }
-    }
-}
-export function buildBoundedDigest(segments, options) {
-    const accumulator = new BoundedDigestAccumulator(options);
-    for (const segment of segments) {
-        accumulator.push(segment);
-    }
-    return accumulator.result();
-}
-export function boundConversationTextForSummary(text, maxChars) {
-    if (!Number.isFinite(maxChars) || maxChars <= 0 || text.length <= maxChars) {
-        return text;
-    }
-    return buildBoundedDigest([text], { maxChars, headRatio: 0.5 }).text;
-}
-export function boundSessionFirstMessage(text, maxChars = DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS, sanitize = true) {
-    if (!Number.isFinite(maxChars) || maxChars <= 0)
-        return "";
-    const safeText = sanitize ? sanitizeSessionDigestText(text) : text;
-    if (safeText.length <= maxChars)
-        return safeText;
-    const marker = fitTruncationMarker(FIRST_MESSAGE_TRUNCATION_MARKER, maxChars);
-    const contentBudget = Math.max(0, maxChars - marker.length);
-    return `${safeText.slice(0, contentBudget)}${marker}`;
-}
-// ---------------------------------------------------------------------------
-// Sanitized digest helpers (memory-policy runtime wiring)
-// ---------------------------------------------------------------------------
-/**
- * Generous per-segment sanitizer budget: redaction only, never truncates.
- * The real output budget is enforced by BoundedDigestAccumulator afterwards.
- */
-const DIGEST_SANITIZER_MAX_CHARS = 2_000_000;
-function mergeMemoryCategories(target, source) {
-    for (const category of Object.keys(source)) {
-        const count = source[category];
-        if (count === undefined)
-            continue;
-        target[category] = (target[category] ?? 0) + count;
-    }
-}
-/**
- * Bound a digest of session-derived text segments while redacting secrets, auth
- * tokens, PII-like values, and home paths via the shared memory sanitizer.
- *
- * Sanitization (redaction) is applied per segment with a generous budget so only
- * redaction happens; the configured maxChars ceiling is then enforced by the
- * BoundedDigestAccumulator, preserving head/tail retention semantics.
- */
-export function boundAndSanitizeSessionDigest(segments, options) {
-    const accumulator = new BoundedDigestAccumulator({ ...options, sanitize: false });
-    const categories = {};
-    let redactionCount = 0;
-    let originalInputChars = 0;
-    for (const segment of segments) {
-        if (segment.length === 0)
-            continue;
-        originalInputChars += segment.length;
-        const sanitized = sanitizeMemoryPayload(segment, {
-            source: "session-digest",
-            contentTier: "summary",
-            maxChars: DIGEST_SANITIZER_MAX_CHARS,
-            external: false,
-        });
-        mergeMemoryCategories(categories, sanitized.findings.categories);
-        redactionCount += sanitized.findings.redactionCount;
-        const payload = typeof sanitized.payload === "string" ? sanitized.payload : "";
-        accumulator.push(payload);
-    }
-    const result = accumulator.result();
-    const findings = {
-        sanitized: redactionCount > 0,
-        denied: false,
-        categories,
-        redactionCount,
-        originalChars: originalInputChars,
-        keptChars: result.keptChars,
-        digest: createHash("sha256").update(result.text).digest("hex"),
-    };
-    return { ...result, findings };
-}
-/**
- * Bound the first session message while redacting sanitizer-sensitive values.
- * Mirrors boundSessionFirstMessage() but sanitizes the source first.
- */
-export function boundAndSanitizeFirstMessage(text, maxChars = DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS) {
-    const sanitized = sanitizeMemoryPayload(text, {
-        source: "session-digest",
-        contentTier: "summary",
-        maxChars: DIGEST_SANITIZER_MAX_CHARS,
-        external: false,
-    });
-    const payload = typeof sanitized.payload === "string" ? sanitized.payload : "";
-    const bounded = boundSessionFirstMessage(payload, maxChars, false);
-    return {
-        text: bounded,
-        truncated: bounded.length < payload.length,
-        originalChars: text.length,
-        keptChars: bounded.length,
-        findings: { ...sanitized.findings, keptChars: bounded.length },
-    };
-}
-//# sourceMappingURL=session-digest.js.map

package/dist/core/session-digest.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"session-digest.js","sourceRoot":"","sources":["../../src/core/session-digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAGN,qBAAqB,GACrB,MAAM,8BAA8B,CAAC;AAsBtC,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAM,CAAC;AACvD,MAAM,CAAC,MAAM,uCAAuC,GAAG,KAAK,CAAC;AAC7D,MAAM,CAAC,MAAM,yBAAyB,GAAG,GAAG,CAAC;AAC7C,MAAM,CAAC,MAAM,qBAAqB,GAAG,gCAA4B,CAAC;AAClE,MAAM,+BAA+B,GAAG,mCAAiC,CAAC;AAY1E,SAAS,mBAAmB,CAAC,MAAc,EAAE,QAAgB,EAAU;IACtE,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC7B,IAAI,MAAM,CAAC,MAAM,GAAG,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC5C,OAAO,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,KAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AAAA,CAChC;AAED,SAAS,sBAAsB,CAAC,OAA6B,EAA2B;IACvF,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,IAAI,yBAAyB,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB,CAAC;IACjH,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,GAAG,CAAC;IAC3C,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,MAAM,IAAI,qBAAqB,EAAE,QAAQ,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,IAAI,CAAC;IAC1C,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,SAAS,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,UAAU,CAAC,CAAC;IACtD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAAA,CACpF;AAED,SAAS,yBAAyB,CAAC,IAAY,EAAU;IACxD,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,EAAE;QAC7C,MAAM,EAAE,gBAAgB;QACxB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,KAAK;KACf,CAAC,CAAC;IACH,OAAO,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;AAAA,CACtE;AAED,MAAM,OAAO,wBAAwB;IACnB,OAAO,CAA0B;IAC1C,IAAI,GAAG,EAAE,CAAC;IACV,IAAI,GAAG,EAAE,CAAC;IACV,aAAa,GAAG,CAAC,CAAC;IAClB,QAAQ,GAAG,KAAK,CAAC;IACjB,UAAU,GAAG,KAAK,CAAC;IAE3B,YAAY,OAA6B,EAAE;QAC1C,IAAI,CAAC,OAAO,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;IAAA,CAC/C;IAED,IAAI,CAAC,OAAe,EAAQ;QAC3B,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO;QACR,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACzF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACrC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QACtF,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,aAAa,IAAI,KAAK,CAAC,MAAM,CAAC;QACnC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAAA,CACzB;IAED,MAAM,GAAwB;QAC7B,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9F,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,UAAU,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CACrF,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,UAAU,CAAC,CAC1C,EAAE,CAAC;QACJ,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAAA,CAC5F;IAEO,YAAY,CAAC,KAAa,EAAQ;QACzC,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;QACjE,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;YAChD,IAAI,CAAC,IAAI,IAAI,SAAS,CAAC;YACvB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;YACD,OAAO;QACR,CAAC;QAED,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAAA,CACzB;IAEO,YAAY,CAAC,KAAa,EAAQ;QACzC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;YACvB,OAAO;QACR,CAAC;QAED,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAChD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACxE,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACxB,CAAC;IAAA,CACD;CACD;AAED,MAAM,UAAU,kBAAkB,CAAC,QAA2B,EAAE,OAA6B,EAAuB;IACnH,MAAM,WAAW,GAAG,IAAI,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAC1D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,WAAW,CAAC,MAAM,EAAE,CAAC;AAAA,CAC5B;AAED,MAAM,UAAU,+BAA+B,CAAC,IAAY,EAAE,QAAgB,EAAU;IACvF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC5E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,kBAAkB,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC;AAAA,CACrE;AAED,MAAM,UAAU,wBAAwB,CACvC,IAAY,EACZ,QAAQ,GAAW,uCAAuC,EAC1D,QAAQ,GAAG,IAAI,EACN;IACT,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,+BAA+B,EAAE,QAAQ,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,MAAM,EAAE,CAAC;AAAA,CACtD;AAED,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,0BAA0B,GAAG,SAAS,CAAC;AAM7C,SAAS,qBAAqB,CAC7B,MAAwD,EACxD,MAAwD,EACjD;IACP,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAA8B,EAAE,CAAC;QACzE,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;IACpD,CAAC;AAAA,CACD;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,6BAA6B,CAC5C,QAA2B,EAC3B,OAA6B,EACL;IACxB,MAAM,WAAW,GAAG,IAAI,wBAAwB,CAAC,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IAClF,MAAM,UAAU,GAAqD,EAAE,CAAC;IACxE,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAE3B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAChC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,kBAAkB,IAAI,OAAO,CAAC,MAAM,CAAC;QACrC,MAAM,SAAS,GAAG,qBAAqB,CAAC,OAAO,EAAE;YAChD,MAAM,EAAE,gBAAgB;YACxB,WAAW,EAAE,SAAS;YACtB,QAAQ,EAAE,0BAA0B;YACpC,QAAQ,EAAE,KAAK;SACf,CAAC,CAAC;QACH,qBAAqB,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACjE,cAAc,IAAI,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC;QACpD,MAAM,OAAO,GAAG,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;IACpC,MAAM,QAAQ,GAA4B;QACzC,SAAS,EAAE,cAAc,GAAG,CAAC;QAC7B,MAAM,EAAE,KAAK;QACb,UAAU;QACV,cAAc;QACd,aAAa,EAAE,kBAAkB;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC9D,CAAC;IACF,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,CAAC;AAAA,CAC/B;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC3C,IAAY,EACZ,QAAQ,GAAW,uCAAuC,EAClC;IACxB,MAAM,SAAS,GAAG,qBAAqB,CAAC,IAAI,EAAE;QAC7C,MAAM,EAAE,gBAAgB;QACxB,WAAW,EAAE,SAAS;QACtB,QAAQ,EAAE,0BAA0B;QACpC,QAAQ,EAAE,KAAK;KACf,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/E,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnE,OAAO;QACN,IAAI,EAAE,OAAO;QACb,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM;QAC1C,aAAa,EAAE,IAAI,CAAC,MAAM;QAC1B,SAAS,EAAE,OAAO,CAAC,MAAM;QACzB,QAAQ,EAAE,EAAE,GAAG,SAAS,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,EAAE;KAC9D,CAAC;AAAA,CACF","sourcesContent":["import { createHash } from \"node:crypto\";\nimport {\n\ttype MemorySanitizerCategory,\n\ttype SanitizerFindingSummary,\n\tsanitizeMemoryPayload,\n} from \"./policy-overlays-runtime.ts\";\n\nexport interface BoundedDigestOptions {\n\t/** Hard ceiling on output character length. */\n\tmaxChars: number;\n\t/** Fraction of retained content reserved for the beginning of the stream. */\n\theadRatio?: number;\n\t/** Separator inserted between pushed segments. */\n\tseparator?: string;\n\t/** Marker inserted between retained head and tail when content is omitted. */\n\tmarker?: string;\n\t/** Redact memory-sensitive text before it enters the digest. Defaults to true for runtime session paths. */\n\tsanitize?: boolean;\n}\n\nexport interface BoundedDigestResult {\n\ttext: string;\n\ttruncated: boolean;\n\toriginalChars: number;\n\tkeptChars: number;\n}\n\nexport const DEFAULT_SESSION_DIGEST_MAX_CHARS = 16_000;\nexport const DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS = 2_000;\nexport const DEFAULT_DIGEST_HEAD_RATIO = 0.6;\nexport const DEFAULT_DIGEST_MARKER = \" …[omk-digest:truncated]… \";\nconst FIRST_MESSAGE_TRUNCATION_MARKER = \" …[omk-first-message:truncated]\";\n\ninterface NormalizedDigestOptions {\n\tmaxChars: number;\n\theadRatio: number;\n\theadBudget: number;\n\ttailBudget: number;\n\tseparator: string;\n\tmarker: string;\n\tsanitize: boolean;\n}\n\nfunction fitTruncationMarker(marker: string, maxChars: number): string {\n\tif (maxChars <= 0) return \"\";\n\tif (marker.length < maxChars) return marker;\n\treturn maxChars >= 3 ? \"…\" : \"\";\n}\n\nfunction normalizeDigestOptions(options: BoundedDigestOptions): NormalizedDigestOptions {\n\tconst maxChars = Number.isFinite(options.maxChars) ? Math.max(0, Math.floor(options.maxChars)) : 0;\n\tconst ratioValue = options.headRatio ?? DEFAULT_DIGEST_HEAD_RATIO;\n\tconst headRatio = Number.isFinite(ratioValue) ? Math.min(1, Math.max(0, ratioValue)) : DEFAULT_DIGEST_HEAD_RATIO;\n\tconst separator = options.separator ?? \" \";\n\tconst marker = fitTruncationMarker(options.marker ?? DEFAULT_DIGEST_MARKER, maxChars);\n\tconst sanitize = options.sanitize ?? true;\n\tconst headBudget = Math.floor(maxChars * headRatio);\n\tconst tailBudget = Math.max(0, maxChars - headBudget);\n\treturn { maxChars, headRatio, headBudget, tailBudget, separator, marker, sanitize };\n}\n\nfunction sanitizeSessionDigestText(text: string): string {\n\tconst sanitized = sanitizeMemoryPayload(text, {\n\t\tsource: \"session-digest\",\n\t\tcontentTier: \"summary\",\n\t\tmaxChars: DIGEST_SANITIZER_MAX_CHARS,\n\t\texternal: false,\n\t});\n\treturn typeof sanitized.payload === \"string\" ? sanitized.payload : \"\";\n}\n\nexport class BoundedDigestAccumulator {\n\tprivate readonly options: NormalizedDigestOptions;\n\tprivate head = \"\";\n\tprivate tail = \"\";\n\tprivate originalChars = 0;\n\tprivate wroteAny = false;\n\tprivate overflowed = false;\n\n\tconstructor(options: BoundedDigestOptions) {\n\t\tthis.options = normalizeDigestOptions(options);\n\t}\n\n\tpush(segment: string): void {\n\t\tif (segment.length === 0 || this.options.maxChars <= 0) {\n\t\t\treturn;\n\t\t}\n\n\t\tconst safeSegment = this.options.sanitize ? sanitizeSessionDigestText(segment) : segment;\n\t\tif (safeSegment.length === 0) return;\n\t\tconst piece = this.wroteAny ? `${this.options.separator}${safeSegment}` : safeSegment;\n\t\tthis.wroteAny = true;\n\t\tthis.originalChars += piece.length;\n\t\tthis.appendToHead(piece);\n\t}\n\n\tresult(): BoundedDigestResult {\n\t\tif (!this.overflowed) {\n\t\t\tconst text = this.head + this.tail;\n\t\t\treturn { text, truncated: false, originalChars: this.originalChars, keptChars: text.length };\n\t\t}\n\n\t\tconst contentBudget = Math.max(0, this.options.maxChars - this.options.marker.length);\n\t\tconst headBudget = Math.floor(contentBudget * this.options.headRatio);\n\t\tconst tailBudget = Math.max(0, contentBudget - headBudget);\n\t\tconst text = `${this.head.slice(0, headBudget)}${this.options.marker}${this.tail.slice(\n\t\t\tMath.max(0, this.tail.length - tailBudget),\n\t\t)}`;\n\t\treturn { text, truncated: true, originalChars: this.originalChars, keptChars: text.length };\n\t}\n\n\tprivate appendToHead(piece: string): void {\n\t\tconst headRemaining = this.options.headBudget - this.head.length;\n\t\tif (headRemaining > 0) {\n\t\t\tconst headPiece = piece.slice(0, headRemaining);\n\t\t\tthis.head += headPiece;\n\t\t\tconst rest = piece.slice(headPiece.length);\n\t\t\tif (rest.length > 0) {\n\t\t\t\tthis.appendToTail(rest);\n\t\t\t}\n\t\t\treturn;\n\t\t}\n\n\t\tthis.appendToTail(piece);\n\t}\n\n\tprivate appendToTail(piece: string): void {\n\t\tif (this.options.tailBudget <= 0) {\n\t\t\tthis.overflowed = true;\n\t\t\treturn;\n\t\t}\n\n\t\tthis.tail += piece;\n\t\tif (this.tail.length > this.options.tailBudget) {\n\t\t\tthis.tail = this.tail.slice(this.tail.length - this.options.tailBudget);\n\t\t\tthis.overflowed = true;\n\t\t}\n\t}\n}\n\nexport function buildBoundedDigest(segments: readonly string[], options: BoundedDigestOptions): BoundedDigestResult {\n\tconst accumulator = new BoundedDigestAccumulator(options);\n\tfor (const segment of segments) {\n\t\taccumulator.push(segment);\n\t}\n\treturn accumulator.result();\n}\n\nexport function boundConversationTextForSummary(text: string, maxChars: number): string {\n\tif (!Number.isFinite(maxChars) || maxChars <= 0 || text.length <= maxChars) {\n\t\treturn text;\n\t}\n\treturn buildBoundedDigest([text], { maxChars, headRatio: 0.5 }).text;\n}\n\nexport function boundSessionFirstMessage(\n\ttext: string,\n\tmaxChars: number = DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS,\n\tsanitize = true,\n): string {\n\tif (!Number.isFinite(maxChars) || maxChars <= 0) return \"\";\n\tconst safeText = sanitize ? sanitizeSessionDigestText(text) : text;\n\tif (safeText.length <= maxChars) return safeText;\n\tconst marker = fitTruncationMarker(FIRST_MESSAGE_TRUNCATION_MARKER, maxChars);\n\tconst contentBudget = Math.max(0, maxChars - marker.length);\n\treturn `${safeText.slice(0, contentBudget)}${marker}`;\n}\n\n// ---------------------------------------------------------------------------\n// Sanitized digest helpers (memory-policy runtime wiring)\n// ---------------------------------------------------------------------------\n\n/**\n * Generous per-segment sanitizer budget: redaction only, never truncates.\n * The real output budget is enforced by BoundedDigestAccumulator afterwards.\n */\nconst DIGEST_SANITIZER_MAX_CHARS = 2_000_000;\n\nexport interface SanitizedDigestResult extends BoundedDigestResult {\n\tfindings: SanitizerFindingSummary;\n}\n\nfunction mergeMemoryCategories(\n\ttarget: Partial<Record<MemorySanitizerCategory, number>>,\n\tsource: Partial<Record<MemorySanitizerCategory, number>>,\n): void {\n\tfor (const category of Object.keys(source) as MemorySanitizerCategory[]) {\n\t\tconst count = source[category];\n\t\tif (count === undefined) continue;\n\t\ttarget[category] = (target[category] ?? 0) + count;\n\t}\n}\n\n/**\n * Bound a digest of session-derived text segments while redacting secrets, auth\n * tokens, PII-like values, and home paths via the shared memory sanitizer.\n *\n * Sanitization (redaction) is applied per segment with a generous budget so only\n * redaction happens; the configured maxChars ceiling is then enforced by the\n * BoundedDigestAccumulator, preserving head/tail retention semantics.\n */\nexport function boundAndSanitizeSessionDigest(\n\tsegments: readonly string[],\n\toptions: BoundedDigestOptions,\n): SanitizedDigestResult {\n\tconst accumulator = new BoundedDigestAccumulator({ ...options, sanitize: false });\n\tconst categories: Partial<Record<MemorySanitizerCategory, number>> = {};\n\tlet redactionCount = 0;\n\tlet originalInputChars = 0;\n\n\tfor (const segment of segments) {\n\t\tif (segment.length === 0) continue;\n\t\toriginalInputChars += segment.length;\n\t\tconst sanitized = sanitizeMemoryPayload(segment, {\n\t\t\tsource: \"session-digest\",\n\t\t\tcontentTier: \"summary\",\n\t\t\tmaxChars: DIGEST_SANITIZER_MAX_CHARS,\n\t\t\texternal: false,\n\t\t});\n\t\tmergeMemoryCategories(categories, sanitized.findings.categories);\n\t\tredactionCount += sanitized.findings.redactionCount;\n\t\tconst payload = typeof sanitized.payload === \"string\" ? sanitized.payload : \"\";\n\t\taccumulator.push(payload);\n\t}\n\n\tconst result = accumulator.result();\n\tconst findings: SanitizerFindingSummary = {\n\t\tsanitized: redactionCount > 0,\n\t\tdenied: false,\n\t\tcategories,\n\t\tredactionCount,\n\t\toriginalChars: originalInputChars,\n\t\tkeptChars: result.keptChars,\n\t\tdigest: createHash(\"sha256\").update(result.text).digest(\"hex\"),\n\t};\n\treturn { ...result, findings };\n}\n\n/**\n * Bound the first session message while redacting sanitizer-sensitive values.\n * Mirrors boundSessionFirstMessage() but sanitizes the source first.\n */\nexport function boundAndSanitizeFirstMessage(\n\ttext: string,\n\tmaxChars: number = DEFAULT_SESSION_FIRST_MESSAGE_MAX_CHARS,\n): SanitizedDigestResult {\n\tconst sanitized = sanitizeMemoryPayload(text, {\n\t\tsource: \"session-digest\",\n\t\tcontentTier: \"summary\",\n\t\tmaxChars: DIGEST_SANITIZER_MAX_CHARS,\n\t\texternal: false,\n\t});\n\tconst payload = typeof sanitized.payload === \"string\" ? sanitized.payload : \"\";\n\tconst bounded = boundSessionFirstMessage(payload, maxChars, false);\n\treturn {\n\t\ttext: bounded,\n\t\ttruncated: bounded.length < payload.length,\n\t\toriginalChars: text.length,\n\t\tkeptChars: bounded.length,\n\t\tfindings: { ...sanitized.findings, keptChars: bounded.length },\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"]}