open-multi-agent-kit 0.80.7 → 0.80.8

package/dist/core/loop-gates.js

@@ -0,0 +1,352 @@
+const TOKEN_STOP_WORDS = new Set([
+    "a",
+    "an",
+    "and",
+    "are",
+    "as",
+    "for",
+    "in",
+    "inside",
+    "is",
+    "of",
+    "on",
+    "or",
+    "the",
+    "to",
+    "with",
+]);
+export function evaluateLoopSafetyGates(definition, state, item, evidence) {
+    const diagnostics = [];
+    if (state.killSwitch) {
+        diagnostics.push({ code: "loop-kill-switch", message: "Loop kill switch is active." });
+    }
+    if (state.status === "paused" || state.status === "retired") {
+        diagnostics.push({ code: "loop-not-active", message: `Loop status ${state.status} cannot take action.` });
+    }
+    if (item.attemptCount >= definition.budget.maxAttemptsPerItem) {
+        diagnostics.push({
+            code: "max-attempts-exceeded",
+            message: `Item ${item.id} reached maxAttemptsPerItem=${definition.budget.maxAttemptsPerItem}.`,
+        });
+    }
+    if (!evidence.writeScope) {
+        diagnostics.push({ code: "write-scope-missing", message: "Exact writeScope evidence is required." });
+    }
+    else {
+        diagnostics.push(...validateLoopWriteScope(definition, evidence.writeScope).diagnostics);
+        diagnostics.push(...validateRequestedWriteScopeDoesNotOverlapDenied(definition, evidence.writeScope));
+    }
+    if (evidence.writeScope && evidence.changedFiles) {
+        diagnostics.push(...validateChangedFilesWithinRequestedScope(evidence.writeScope, evidence.changedFiles));
+    }
+    if (requiresWorktreeIsolation(definition)) {
+        diagnostics.push(...validateWorktreeEvidence(definition, evidence.worktree));
+    }
+    if (definition.durableState?.requireReplayableEvidence === true) {
+        diagnostics.push(...validateDurableStateEvidence(evidence.durableState));
+    }
+    if (requiresHumanApproval(definition, item)) {
+        const approvalRef = evidence.humanGate?.approvalRef?.trim();
+        const approvalRefSatisfied = definition.humanGates?.approvalRefsRequired === false || Boolean(approvalRef);
+        if (evidence.humanGate?.approved !== true || !approvalRefSatisfied) {
+            diagnostics.push({
+                code: "human-gate-required",
+                message: "High-risk work item requires human approval evidence.",
+            });
+        }
+    }
+    if (!hasEvidenceRefs(evidence.evidenceRefs)) {
+        diagnostics.push({ code: "evidence-refs-missing", message: "Completion evidenceRefs are required." });
+    }
+    if (requiresIndependentVerifier(definition)) {
+        diagnostics.push(...validateIndependentVerifier(evidence.verifier));
+    }
+    return safetyGateResult(diagnostics);
+}
+export function calculateLoopDriftScore(definition, item) {
+    const itemTokens = tokenize([item.title, item.sourceRef, item.actingOn].join(" "));
+    const objectiveTokens = tokenize(definition.objective);
+    const objectiveOverlap = overlapRatio(itemTokens, objectiveTokens);
+    const nonGoalOverlap = Math.max(0, ...definition.nonGoals.map((nonGoal) => overlapRatio(itemTokens, tokenize(nonGoal))));
+    const scopeMatched = matchesWatchedScope(definition, item);
+    let score = 0.45;
+    score -= objectiveOverlap * 0.25;
+    score += objectiveOverlap === 0 ? 0.2 : 0;
+    score += scopeMatched ? -0.2 : 0.2;
+    score += nonGoalOverlap * 0.7;
+    return clamp01(score);
+}
+export function validateLoopWriteScope(definition, paths) {
+    const diagnostics = [];
+    if (paths.length === 0 && (definition.level === "L2" || definition.level === "L3")) {
+        diagnostics.push({
+            code: "write-scope-empty",
+            message: `${definition.level} loops require explicit write paths.`,
+        });
+    }
+    if (definition.safety.maxWriteScopeCount !== undefined && paths.length > definition.safety.maxWriteScopeCount) {
+        diagnostics.push({
+            code: "write-scope-count-exceeded",
+            message: `Write scope count ${paths.length} exceeds maxWriteScopeCount=${definition.safety.maxWriteScopeCount}.`,
+        });
+    }
+    for (const path of paths) {
+        const normalizedPath = normalizePath(path);
+        if (!normalizedPath) {
+            diagnostics.push({ code: "write-scope-empty-path", message: "Write scope contains an empty path." });
+            continue;
+        }
+        if (!matchesAnyScope(normalizedPath, definition.safety.allowedWriteScopes)) {
+            diagnostics.push({
+                code: "write-scope-outside-allowed",
+                message: `Path ${normalizedPath} is outside allowedWriteScopes.`,
+                path: normalizedPath,
+            });
+        }
+        if (matchesAnyScope(normalizedPath, definition.safety.deniedWriteScopes ?? [])) {
+            diagnostics.push({
+                code: "write-scope-denied",
+                message: `Path ${normalizedPath} is inside deniedWriteScopes.`,
+                path: normalizedPath,
+            });
+        }
+    }
+    return { passed: diagnostics.length === 0, diagnostics };
+}
+function safetyGateResult(diagnostics) {
+    if (diagnostics.length === 0) {
+        return { passed: true, action: "allow", diagnostics: [] };
+    }
+    if (hasDiagnostic(diagnostics, "loop-kill-switch")) {
+        return { passed: false, action: "block", outcome: "killed", diagnostics };
+    }
+    if (hasDiagnostic(diagnostics, "max-attempts-exceeded")) {
+        return { passed: false, action: "escalate", outcome: "escalated", diagnostics };
+    }
+    if (hasDiagnostic(diagnostics, "human-gate-required")) {
+        return { passed: false, action: "human-gate", outcome: "escalated", diagnostics };
+    }
+    return { passed: false, action: "block", outcome: "verifier-failed", diagnostics };
+}
+function hasDiagnostic(diagnostics, code) {
+    return diagnostics.some((diagnostic) => diagnostic.code === code);
+}
+function requiresIndependentVerifier(definition) {
+    return definition.level === "L2" || definition.level === "L3" || definition.safety.requireIndependentVerifier;
+}
+function validateIndependentVerifier(verifier) {
+    if (!verifier) {
+        return [{ code: "independent-verifier-required", message: "L2/L3 actions require an independent verifier." }];
+    }
+    const diagnostics = [];
+    const sameActor = Boolean(verifier.verifierId && verifier.implementerId && verifier.verifierId.trim() === verifier.implementerId.trim());
+    if (!verifier.independent || sameActor) {
+        diagnostics.push({ code: "independent-verifier-required", message: "Verifier must be independent." });
+    }
+    if (verifier.status && verifier.status !== "pass") {
+        diagnostics.push({ code: "verifier-failed", message: `Verifier status is ${verifier.status}.` });
+    }
+    if (!hasEvidenceRefs(verifier.evidenceRefs)) {
+        diagnostics.push({ code: "verifier-evidence-missing", message: "Verifier evidenceRefs are required." });
+    }
+    return diagnostics;
+}
+function requiresWorktreeIsolation(definition) {
+    return definition.worktree?.mode === "per-run" || definition.worktree?.mode === "per-item";
+}
+function validateWorktreeEvidence(definition, worktree) {
+    if (!worktree) {
+        return [
+            {
+                code: "worktree-isolation-required",
+                message: "Isolated loop actions require worktree evidence.",
+            },
+        ];
+    }
+    const diagnostics = [];
+    if (worktree.isolated !== true) {
+        diagnostics.push({
+            code: "worktree-isolation-required",
+            message: "Loop worktree evidence must confirm isolation.",
+        });
+    }
+    if (!worktree.worktreeId?.trim()) {
+        diagnostics.push({
+            code: "worktree-id-required",
+            message: "Loop worktree evidence must include a worktreeId.",
+        });
+    }
+    if (definition.worktree?.requireCleanCheckout === true && worktree.cleanCheckout !== true) {
+        diagnostics.push({
+            code: "worktree-clean-checkout-required",
+            message: "Loop worktree must start from a clean checkout.",
+        });
+    }
+    const branchPrefix = definition.worktree?.branchPrefix;
+    if (branchPrefix &&
+        worktree.branch &&
+        !pathHasScopePrefix(normalizePath(worktree.branch), normalizePath(branchPrefix))) {
+        diagnostics.push({
+            code: "worktree-branch-prefix-mismatch",
+            message: `Loop worktree branch must use prefix ${branchPrefix}.`,
+            path: worktree.branch,
+        });
+    }
+    return diagnostics;
+}
+function validateDurableStateEvidence(durableState) {
+    const diagnostics = [];
+    if (!durableState?.stateRevision?.trim()) {
+        diagnostics.push({
+            code: "state-revision-missing",
+            message: "Replayable loop actions require a stateRevision.",
+        });
+    }
+    if (!durableState?.runLogRef?.trim()) {
+        diagnostics.push({
+            code: "run-log-ref-missing",
+            message: "Replayable loop actions require a runLogRef.",
+        });
+    }
+    if (!durableState?.budgetReservationId?.trim()) {
+        diagnostics.push({
+            code: "budget-reservation-missing",
+            message: "Replayable loop actions require a budgetReservationId.",
+        });
+    }
+    return diagnostics;
+}
+function requiresHumanApproval(definition, item) {
+    const gatedRisks = definition.humanGates?.requiredForRisks;
+    if (gatedRisks !== undefined) {
+        return gatedRisks.includes(item.risk);
+    }
+    return definition.safety.requireHumanGateForHighRisk && item.risk === "high";
+}
+function validateRequestedWriteScopeDoesNotOverlapDenied(definition, requestedScopes) {
+    const deniedScopes = definition.safety.deniedWriteScopes ?? [];
+    const diagnostics = [];
+    for (const requestedScope of requestedScopes) {
+        const normalizedRequested = normalizePath(requestedScope);
+        if (!normalizedRequested) {
+            continue;
+        }
+        for (const deniedScope of deniedScopes) {
+            const normalizedDenied = normalizePath(deniedScope);
+            if (normalizedDenied && scopesOverlap(normalizedRequested, normalizedDenied)) {
+                diagnostics.push({
+                    code: "write-scope-denied-overlap",
+                    message: `Requested writeScope ${normalizedRequested} overlaps deniedWriteScope ${normalizedDenied}.`,
+                    path: normalizedRequested,
+                });
+            }
+        }
+    }
+    return diagnostics;
+}
+function validateChangedFilesWithinRequestedScope(writeScope, changedFiles) {
+    const diagnostics = [];
+    for (const changedFile of changedFiles) {
+        const normalizedFile = normalizePath(changedFile);
+        if (!normalizedFile) {
+            continue;
+        }
+        if (!matchesAnyScope(normalizedFile, writeScope)) {
+            diagnostics.push({
+                code: "changed-file-outside-write-scope",
+                message: `Changed file ${normalizedFile} is outside the requested writeScope.`,
+                path: normalizedFile,
+            });
+        }
+    }
+    return diagnostics;
+}
+function hasEvidenceRefs(refs) {
+    return Boolean(refs?.some((ref) => ref.trim().length > 0));
+}
+function matchesWatchedScope(definition, item) {
+    const haystack = normalizePath([item.actingOn, item.sourceRef, item.title].join(" "));
+    const watchedPaths = definition.watchedScope.paths ?? [];
+    if (watchedPaths.some((scope) => pathHasScopePrefix(normalizePath(item.actingOn), normalizePath(scope)))) {
+        return true;
+    }
+    const watchedTickets = definition.watchedScope.tickets ?? [];
+    if (watchedTickets.some((ticket) => haystack.includes(normalizePath(ticket)))) {
+        return true;
+    }
+    const watchedBranches = definition.watchedScope.branches ?? [];
+    if (watchedBranches.some((branch) => haystack.includes(normalizePath(branch)))) {
+        return true;
+    }
+    return definition.watchedScope.repos.some((repo) => haystack.includes(normalizePath(repo)));
+}
+function tokenize(text) {
+    const matches = text.toLowerCase().match(/[a-z0-9][a-z0-9_-]*/g) ?? [];
+    return new Set(matches.filter((token) => token.length > 1 && !TOKEN_STOP_WORDS.has(token)));
+}
+function overlapRatio(source, target) {
+    if (target.size === 0) {
+        return 0;
+    }
+    let overlap = 0;
+    for (const token of target) {
+        if (source.has(token)) {
+            overlap++;
+        }
+    }
+    return overlap / target.size;
+}
+function clamp01(value) {
+    if (value < 0) {
+        return 0;
+    }
+    if (value > 1) {
+        return 1;
+    }
+    return value;
+}
+function matchesAnyScope(path, scopes) {
+    return scopes.some((scope) => scopeMatchesPath(path, scope));
+}
+function scopesOverlap(first, second) {
+    return scopeMatchesPath(first, second) || scopeMatchesPath(second, first);
+}
+function scopeMatchesPath(path, scope) {
+    const normalizedPath = normalizePath(path);
+    const normalizedScope = normalizePath(scope);
+    if (!normalizedPath || !normalizedScope) {
+        return false;
+    }
+    if (normalizedScope.includes("*")) {
+        return globToRegExp(normalizedScope).test(normalizedPath);
+    }
+    return pathHasScopePrefix(normalizedPath, normalizedScope);
+}
+function pathHasScopePrefix(path, scope) {
+    return path === scope || path.startsWith(`${scope}/`);
+}
+function normalizePath(path) {
+    return path.trim().replace(/\\/g, "/").replace(/\/+/g, "/").replace(/^\.\//, "").replace(/\/$/, "");
+}
+function globToRegExp(glob) {
+    let pattern = "^";
+    for (let index = 0; index < glob.length; index++) {
+        const char = glob[index];
+        const nextChar = glob[index + 1];
+        if (char === "*" && nextChar === "*") {
+            pattern += ".*";
+            index++;
+        }
+        else if (char === "*") {
+            pattern += "[^/]*";
+        }
+        else {
+            pattern += escapeRegExp(char);
+        }
+    }
+    return new RegExp(`${pattern}$`);
+}
+function escapeRegExp(char) {
+    return char.replace(/[|\\{}()[\]^$+?.]/g, "\\$&");
+}
+//# sourceMappingURL=loop-gates.js.map

package/dist/core/loop-gates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-gates.js","sourceRoot":"","sources":["../../src/core/loop-gates.ts"],"names":[],"mappings":"AA4DA,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAChC,GAAG;IACH,IAAI;IACJ,KAAK;IACL,KAAK;IACL,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,IAAI;IACJ,MAAM;CACN,CAAC,CAAC;AAEH,MAAM,UAAU,uBAAuB,CACtC,UAA0B,EAC1B,KAAgB,EAChB,IAAkB,EAClB,QAA0B,EACH;IACvB,MAAM,WAAW,GAA+B,EAAE,CAAC;IAEnD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC7D,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,eAAe,KAAK,CAAC,MAAM,sBAAsB,EAAE,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,IAAI,UAAU,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC/D,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,QAAQ,IAAI,CAAC,EAAE,+BAA+B,UAAU,CAAC,MAAM,CAAC,kBAAkB,GAAG;SAC9F,CAAC,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACtG,CAAC;SAAM,CAAC;QACP,WAAW,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,WAAW,CAAC,CAAC;QACzF,WAAW,CAAC,IAAI,CAAC,GAAG,+CAA+C,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACvG,CAAC;IAED,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAClD,WAAW,CAAC,IAAI,CAAC,GAAG,wCAAwC,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,WAAW,CAAC,IAAI,CAAC,GAAG,wBAAwB,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,UAAU,CAAC,YAAY,EAAE,yBAAyB,KAAK,IAAI,EAAE,CAAC;QACjE,WAAW,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1E,CAAC;IAED,IAAI,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7C,MAAM,WAAW,GAAG,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QAC5D,MAAM,oBAAoB,GAAG,UAAU,CAAC,UAAU,EAAE,oBAAoB,KAAK,KAAK,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC;QAC3G,IAAI,QAAQ,CAAC,SAAS,EAAE,QAAQ,KAAK,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACpE,WAAW,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,uDAAuD;aAChE,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7C,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,uCAAuC,EAAE,CAAC,CAAC;IACvG,CAAC;IAED,IAAI,2BAA2B,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,WAAW,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrE,CAAC;IAED,OAAO,gBAAgB,CAAC,WAAW,CAAC,CAAC;AAAA,CACrC;AAED,MAAM,UAAU,uBAAuB,CAAC,UAA0B,EAAE,IAAkB,EAAU;IAC/F,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,eAAe,GAAG,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,YAAY,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IACnE,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAC9B,CAAC,EACD,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CACpF,CAAC;IACF,MAAM,YAAY,GAAG,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAE3D,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,IAAI,gBAAgB,GAAG,IAAI,CAAC;IACjC,KAAK,IAAI,gBAAgB,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IACnC,KAAK,IAAI,cAAc,GAAG,GAAG,CAAC;IAE9B,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AAAA,CACtB;AAED,MAAM,UAAU,sBAAsB,CACrC,UAA0B,EAC1B,KAAwB,EACS;IACjC,MAAM,WAAW,GAA+B,EAAE,CAAC;IAEnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,CAAC,EAAE,CAAC;QACpF,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,mBAAmB;YACzB,OAAO,EAAE,GAAG,UAAU,CAAC,KAAK,sCAAsC;SAClE,CAAC,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,CAAC,kBAAkB,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;QAC/G,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,qBAAqB,KAAK,CAAC,MAAM,+BAA+B,UAAU,CAAC,MAAM,CAAC,kBAAkB,GAAG;SAChH,CAAC,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,cAAc,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CAAC;YACrG,SAAS;QACV,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC;YAC5E,WAAW,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,QAAQ,cAAc,iCAAiC;gBAChE,IAAI,EAAE,cAAc;aACpB,CAAC,CAAC;QACJ,CAAC;QACD,IAAI,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,CAAC;YAChF,WAAW,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,QAAQ,cAAc,+BAA+B;gBAC9D,IAAI,EAAE,cAAc;aACpB,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;AAAA,CACzD;AAED,SAAS,gBAAgB,CAAC,WAAgD,EAAwB;IACjG,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;IAC3D,CAAC;IAED,IAAI,aAAa,CAAC,WAAW,EAAE,kBAAkB,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,aAAa,CAAC,WAAW,EAAE,uBAAuB,CAAC,EAAE,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,aAAa,CAAC,WAAW,EAAE,qBAAqB,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;IACnF,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,CAAC;AAAA,CACnF;AAED,SAAS,aAAa,CAAC,WAAgD,EAAE,IAAY,EAAW;IAC/F,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAAA,CAClE;AAED,SAAS,2BAA2B,CAAC,UAA0B,EAAW;IACzE,OAAO,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,0BAA0B,CAAC;AAAA,CAC9G;AAED,SAAS,2BAA2B,CAAC,QAA0C,EAA8B;IAC5G,IAAI,CAAC,QAAQ,EAAE,CAAC;QACf,OAAO,CAAC,EAAE,IAAI,EAAE,+BAA+B,EAAE,OAAO,EAAE,gDAAgD,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,MAAM,SAAS,GAAG,OAAO,CACxB,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,QAAQ,CAAC,aAAa,CAAC,IAAI,EAAE,CAC7G,CAAC;IACF,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,SAAS,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,+BAA+B,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QACnD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,sBAAsB,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7C,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,2BAA2B,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,WAAW,CAAC;AAAA,CACnB;AAED,SAAS,yBAAyB,CAAC,UAA0B,EAAW;IACvE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,KAAK,UAAU,CAAC;AAAA,CAC3F;AAED,SAAS,wBAAwB,CAChC,UAA0B,EAC1B,QAA0C,EACb;IAC7B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACf,OAAO;YACN;gBACC,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,kDAAkD;aAC3D;SACD,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,gDAAgD;SACzD,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC;QAClC,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,mDAAmD;SAC5D,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,EAAE,oBAAoB,KAAK,IAAI,IAAI,QAAQ,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3F,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,kCAAkC;YACxC,OAAO,EAAE,iDAAiD;SAC1D,CAAC,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,EAAE,YAAY,CAAC;IACvD,IACC,YAAY;QACZ,QAAQ,CAAC,MAAM;QACf,CAAC,kBAAkB,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,EAC/E,CAAC;QACF,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,iCAAiC;YACvC,OAAO,EAAE,wCAAwC,YAAY,GAAG;YAChE,IAAI,EAAE,QAAQ,CAAC,MAAM;SACrB,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AAAA,CACnB;AAED,SAAS,4BAA4B,CAAC,YAAkD,EAA8B;IACrH,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,IAAI,CAAC,YAAY,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,wBAAwB;YAC9B,OAAO,EAAE,kDAAkD;SAC3D,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,8CAA8C;SACvD,CAAC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,YAAY,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC;QAChD,WAAW,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,wDAAwD;SACjE,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AAAA,CACnB;AAED,SAAS,qBAAqB,CAAC,UAA0B,EAAE,IAAkB,EAAW;IACvF,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,EAAE,gBAAgB,CAAC;IAC3D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,CAAC,2BAA2B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAAA,CAC7E;AAED,SAAS,+CAA+C,CACvD,UAA0B,EAC1B,eAAkC,EACL;IAC7B,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAC/D,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC9C,MAAM,mBAAmB,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;QAC1D,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC1B,SAAS;QACV,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;YACxC,MAAM,gBAAgB,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YACpD,IAAI,gBAAgB,IAAI,aAAa,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,EAAE,CAAC;gBAC9E,WAAW,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,wBAAwB,mBAAmB,8BAA8B,gBAAgB,GAAG;oBACrG,IAAI,EAAE,mBAAmB;iBACzB,CAAC,CAAC;YACJ,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,WAAW,CAAC;AAAA,CACnB;AAED,SAAS,wCAAwC,CAChD,UAA6B,EAC7B,YAA+B,EACF;IAC7B,MAAM,WAAW,GAA+B,EAAE,CAAC;IACnD,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACxC,MAAM,cAAc,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;QAClD,IAAI,CAAC,cAAc,EAAE,CAAC;YACrB,SAAS;QACV,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;YAClD,WAAW,CAAC,IAAI,CAAC;gBAChB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,gBAAgB,cAAc,uCAAuC;gBAC9E,IAAI,EAAE,cAAc;aACpB,CAAC,CAAC;QACJ,CAAC;IACF,CAAC;IACD,OAAO,WAAW,CAAC;AAAA,CACnB;AAED,SAAS,eAAe,CAAC,IAAmC,EAAW;IACtE,OAAO,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;AAAA,CAC3D;AAED,SAAS,mBAAmB,CAAC,UAA0B,EAAE,IAAkB,EAAW;IACrF,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtF,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC;IACzD,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1G,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC;IAC7D,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,IAAI,CAAC;IACb,CAAC;IACD,MAAM,eAAe,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC/D,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC;IACb,CAAC;IACD,OAAO,UAAU,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAAA,CAC5F;AAED,SAAS,QAAQ,CAAC,IAAY,EAAe;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAAA,CAC5F;AAED,SAAS,YAAY,CAAC,MAAmB,EAAE,MAAmB,EAAU;IACvE,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC;IACV,CAAC;IACD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,CAAC;QACX,CAAC;IACF,CAAC;IACD,OAAO,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC;AAAA,CAC7B;AAED,SAAS,OAAO,CAAC,KAAa,EAAU;IACvC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACf,OAAO,CAAC,CAAC;IACV,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACf,OAAO,CAAC,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AAAA,CACb;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,MAAyB,EAAW;IAC1E,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAAA,CAC7D;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,MAAc,EAAW;IAC9D,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAAA,CAC1E;AAED,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa,EAAW;IAC/D,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,eAAe,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,CAAC,cAAc,IAAI,CAAC,eAAe,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACd,CAAC;IACD,IAAI,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,OAAO,YAAY,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,kBAAkB,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;AAAA,CAC3D;AAED,SAAS,kBAAkB,CAAC,IAAY,EAAE,KAAa,EAAW;IACjE,OAAO,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAAA,CACtD;AAED,SAAS,aAAa,CAAC,IAAY,EAAU;IAC5C,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAAA,CACpG;AAED,SAAS,YAAY,CAAC,IAAY,EAAU;IAC3C,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;YACtC,OAAO,IAAI,IAAI,CAAC;YAChB,KAAK,EAAE,CAAC;QACT,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACzB,OAAO,IAAI,OAAO,CAAC;QACpB,CAAC;aAAM,CAAC;YACP,OAAO,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;IACF,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC;AAAA,CACjC;AAED,SAAS,YAAY,CAAC,IAAY,EAAU;IAC3C,OAAO,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,MAAM,CAAC,CAAC;AAAA,CAClD","sourcesContent":["import type {\n\tLoopDefinition,\n\tLoopRunOutcome,\n\tLoopState,\n\tLoopValidationDiagnostic,\n\tLoopWorkItem,\n} from \"./loop-types.ts\";\n\nexport type LoopGateAction = \"allow\" | \"block\" | \"human-gate\" | \"escalate\";\n\nexport type LoopVerifierStatus = \"pass\" | \"fail\" | \"blocked\";\n\nexport interface LoopVerifierEvidence {\n\treadonly independent: boolean;\n\treadonly status?: LoopVerifierStatus;\n\treadonly evidenceRefs?: readonly string[];\n\treadonly verifierId?: string;\n\treadonly implementerId?: string;\n}\n\nexport interface LoopHumanGateEvidence {\n\treadonly approved: boolean;\n\treadonly approvalRef?: string;\n}\n\nexport interface LoopWorktreeEvidence {\n\treadonly isolated: boolean;\n\treadonly worktreeId?: string;\n\treadonly branch?: string;\n\treadonly cleanCheckout?: boolean;\n}\n\nexport interface LoopDurableStateEvidence {\n\treadonly stateRevision?: string;\n\treadonly runLogRef?: string;\n\treadonly budgetReservationId?: string;\n}\n\nexport interface LoopGateEvidence {\n\treadonly writeScope?: readonly string[];\n\treadonly changedFiles?: readonly string[];\n\treadonly evidenceRefs?: readonly string[];\n\treadonly verifier?: LoopVerifierEvidence;\n\treadonly humanGate?: LoopHumanGateEvidence;\n\treadonly worktree?: LoopWorktreeEvidence;\n\treadonly durableState?: LoopDurableStateEvidence;\n}\n\nexport interface LoopSafetyGateResult {\n\treadonly passed: boolean;\n\treadonly action: LoopGateAction;\n\treadonly outcome?: LoopRunOutcome;\n\treadonly diagnostics: readonly LoopValidationDiagnostic[];\n}\n\nexport interface LoopWriteScopeValidationResult {\n\treadonly passed: boolean;\n\treadonly diagnostics: readonly LoopValidationDiagnostic[];\n}\n\nconst TOKEN_STOP_WORDS = new Set([\n\t\"a\",\n\t\"an\",\n\t\"and\",\n\t\"are\",\n\t\"as\",\n\t\"for\",\n\t\"in\",\n\t\"inside\",\n\t\"is\",\n\t\"of\",\n\t\"on\",\n\t\"or\",\n\t\"the\",\n\t\"to\",\n\t\"with\",\n]);\n\nexport function evaluateLoopSafetyGates(\n\tdefinition: LoopDefinition,\n\tstate: LoopState,\n\titem: LoopWorkItem,\n\tevidence: LoopGateEvidence,\n): LoopSafetyGateResult {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\n\tif (state.killSwitch) {\n\t\tdiagnostics.push({ code: \"loop-kill-switch\", message: \"Loop kill switch is active.\" });\n\t}\n\tif (state.status === \"paused\" || state.status === \"retired\") {\n\t\tdiagnostics.push({ code: \"loop-not-active\", message: `Loop status ${state.status} cannot take action.` });\n\t}\n\n\tif (item.attemptCount >= definition.budget.maxAttemptsPerItem) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"max-attempts-exceeded\",\n\t\t\tmessage: `Item ${item.id} reached maxAttemptsPerItem=${definition.budget.maxAttemptsPerItem}.`,\n\t\t});\n\t}\n\n\tif (!evidence.writeScope) {\n\t\tdiagnostics.push({ code: \"write-scope-missing\", message: \"Exact writeScope evidence is required.\" });\n\t} else {\n\t\tdiagnostics.push(...validateLoopWriteScope(definition, evidence.writeScope).diagnostics);\n\t\tdiagnostics.push(...validateRequestedWriteScopeDoesNotOverlapDenied(definition, evidence.writeScope));\n\t}\n\n\tif (evidence.writeScope && evidence.changedFiles) {\n\t\tdiagnostics.push(...validateChangedFilesWithinRequestedScope(evidence.writeScope, evidence.changedFiles));\n\t}\n\n\tif (requiresWorktreeIsolation(definition)) {\n\t\tdiagnostics.push(...validateWorktreeEvidence(definition, evidence.worktree));\n\t}\n\n\tif (definition.durableState?.requireReplayableEvidence === true) {\n\t\tdiagnostics.push(...validateDurableStateEvidence(evidence.durableState));\n\t}\n\n\tif (requiresHumanApproval(definition, item)) {\n\t\tconst approvalRef = evidence.humanGate?.approvalRef?.trim();\n\t\tconst approvalRefSatisfied = definition.humanGates?.approvalRefsRequired === false || Boolean(approvalRef);\n\t\tif (evidence.humanGate?.approved !== true || !approvalRefSatisfied) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"human-gate-required\",\n\t\t\t\tmessage: \"High-risk work item requires human approval evidence.\",\n\t\t\t});\n\t\t}\n\t}\n\n\tif (!hasEvidenceRefs(evidence.evidenceRefs)) {\n\t\tdiagnostics.push({ code: \"evidence-refs-missing\", message: \"Completion evidenceRefs are required.\" });\n\t}\n\n\tif (requiresIndependentVerifier(definition)) {\n\t\tdiagnostics.push(...validateIndependentVerifier(evidence.verifier));\n\t}\n\n\treturn safetyGateResult(diagnostics);\n}\n\nexport function calculateLoopDriftScore(definition: LoopDefinition, item: LoopWorkItem): number {\n\tconst itemTokens = tokenize([item.title, item.sourceRef, item.actingOn].join(\" \"));\n\tconst objectiveTokens = tokenize(definition.objective);\n\tconst objectiveOverlap = overlapRatio(itemTokens, objectiveTokens);\n\tconst nonGoalOverlap = Math.max(\n\t\t0,\n\t\t...definition.nonGoals.map((nonGoal) => overlapRatio(itemTokens, tokenize(nonGoal))),\n\t);\n\tconst scopeMatched = matchesWatchedScope(definition, item);\n\n\tlet score = 0.45;\n\tscore -= objectiveOverlap * 0.25;\n\tscore += objectiveOverlap === 0 ? 0.2 : 0;\n\tscore += scopeMatched ? -0.2 : 0.2;\n\tscore += nonGoalOverlap * 0.7;\n\n\treturn clamp01(score);\n}\n\nexport function validateLoopWriteScope(\n\tdefinition: LoopDefinition,\n\tpaths: readonly string[],\n): LoopWriteScopeValidationResult {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\n\tif (paths.length === 0 && (definition.level === \"L2\" || definition.level === \"L3\")) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"write-scope-empty\",\n\t\t\tmessage: `${definition.level} loops require explicit write paths.`,\n\t\t});\n\t}\n\n\tif (definition.safety.maxWriteScopeCount !== undefined && paths.length > definition.safety.maxWriteScopeCount) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"write-scope-count-exceeded\",\n\t\t\tmessage: `Write scope count ${paths.length} exceeds maxWriteScopeCount=${definition.safety.maxWriteScopeCount}.`,\n\t\t});\n\t}\n\n\tfor (const path of paths) {\n\t\tconst normalizedPath = normalizePath(path);\n\t\tif (!normalizedPath) {\n\t\t\tdiagnostics.push({ code: \"write-scope-empty-path\", message: \"Write scope contains an empty path.\" });\n\t\t\tcontinue;\n\t\t}\n\t\tif (!matchesAnyScope(normalizedPath, definition.safety.allowedWriteScopes)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"write-scope-outside-allowed\",\n\t\t\t\tmessage: `Path ${normalizedPath} is outside allowedWriteScopes.`,\n\t\t\t\tpath: normalizedPath,\n\t\t\t});\n\t\t}\n\t\tif (matchesAnyScope(normalizedPath, definition.safety.deniedWriteScopes ?? [])) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"write-scope-denied\",\n\t\t\t\tmessage: `Path ${normalizedPath} is inside deniedWriteScopes.`,\n\t\t\t\tpath: normalizedPath,\n\t\t\t});\n\t\t}\n\t}\n\n\treturn { passed: diagnostics.length === 0, diagnostics };\n}\n\nfunction safetyGateResult(diagnostics: readonly LoopValidationDiagnostic[]): LoopSafetyGateResult {\n\tif (diagnostics.length === 0) {\n\t\treturn { passed: true, action: \"allow\", diagnostics: [] };\n\t}\n\n\tif (hasDiagnostic(diagnostics, \"loop-kill-switch\")) {\n\t\treturn { passed: false, action: \"block\", outcome: \"killed\", diagnostics };\n\t}\n\tif (hasDiagnostic(diagnostics, \"max-attempts-exceeded\")) {\n\t\treturn { passed: false, action: \"escalate\", outcome: \"escalated\", diagnostics };\n\t}\n\tif (hasDiagnostic(diagnostics, \"human-gate-required\")) {\n\t\treturn { passed: false, action: \"human-gate\", outcome: \"escalated\", diagnostics };\n\t}\n\treturn { passed: false, action: \"block\", outcome: \"verifier-failed\", diagnostics };\n}\n\nfunction hasDiagnostic(diagnostics: readonly LoopValidationDiagnostic[], code: string): boolean {\n\treturn diagnostics.some((diagnostic) => diagnostic.code === code);\n}\n\nfunction requiresIndependentVerifier(definition: LoopDefinition): boolean {\n\treturn definition.level === \"L2\" || definition.level === \"L3\" || definition.safety.requireIndependentVerifier;\n}\n\nfunction validateIndependentVerifier(verifier: LoopVerifierEvidence | undefined): LoopValidationDiagnostic[] {\n\tif (!verifier) {\n\t\treturn [{ code: \"independent-verifier-required\", message: \"L2/L3 actions require an independent verifier.\" }];\n\t}\n\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tconst sameActor = Boolean(\n\t\tverifier.verifierId && verifier.implementerId && verifier.verifierId.trim() === verifier.implementerId.trim(),\n\t);\n\tif (!verifier.independent || sameActor) {\n\t\tdiagnostics.push({ code: \"independent-verifier-required\", message: \"Verifier must be independent.\" });\n\t}\n\tif (verifier.status && verifier.status !== \"pass\") {\n\t\tdiagnostics.push({ code: \"verifier-failed\", message: `Verifier status is ${verifier.status}.` });\n\t}\n\tif (!hasEvidenceRefs(verifier.evidenceRefs)) {\n\t\tdiagnostics.push({ code: \"verifier-evidence-missing\", message: \"Verifier evidenceRefs are required.\" });\n\t}\n\treturn diagnostics;\n}\n\nfunction requiresWorktreeIsolation(definition: LoopDefinition): boolean {\n\treturn definition.worktree?.mode === \"per-run\" || definition.worktree?.mode === \"per-item\";\n}\n\nfunction validateWorktreeEvidence(\n\tdefinition: LoopDefinition,\n\tworktree: LoopWorktreeEvidence | undefined,\n): LoopValidationDiagnostic[] {\n\tif (!worktree) {\n\t\treturn [\n\t\t\t{\n\t\t\t\tcode: \"worktree-isolation-required\",\n\t\t\t\tmessage: \"Isolated loop actions require worktree evidence.\",\n\t\t\t},\n\t\t];\n\t}\n\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tif (worktree.isolated !== true) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-isolation-required\",\n\t\t\tmessage: \"Loop worktree evidence must confirm isolation.\",\n\t\t});\n\t}\n\tif (!worktree.worktreeId?.trim()) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-id-required\",\n\t\t\tmessage: \"Loop worktree evidence must include a worktreeId.\",\n\t\t});\n\t}\n\tif (definition.worktree?.requireCleanCheckout === true && worktree.cleanCheckout !== true) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-clean-checkout-required\",\n\t\t\tmessage: \"Loop worktree must start from a clean checkout.\",\n\t\t});\n\t}\n\tconst branchPrefix = definition.worktree?.branchPrefix;\n\tif (\n\t\tbranchPrefix &&\n\t\tworktree.branch &&\n\t\t!pathHasScopePrefix(normalizePath(worktree.branch), normalizePath(branchPrefix))\n\t) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-branch-prefix-mismatch\",\n\t\t\tmessage: `Loop worktree branch must use prefix ${branchPrefix}.`,\n\t\t\tpath: worktree.branch,\n\t\t});\n\t}\n\treturn diagnostics;\n}\n\nfunction validateDurableStateEvidence(durableState: LoopDurableStateEvidence | undefined): LoopValidationDiagnostic[] {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tif (!durableState?.stateRevision?.trim()) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"state-revision-missing\",\n\t\t\tmessage: \"Replayable loop actions require a stateRevision.\",\n\t\t});\n\t}\n\tif (!durableState?.runLogRef?.trim()) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"run-log-ref-missing\",\n\t\t\tmessage: \"Replayable loop actions require a runLogRef.\",\n\t\t});\n\t}\n\tif (!durableState?.budgetReservationId?.trim()) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"budget-reservation-missing\",\n\t\t\tmessage: \"Replayable loop actions require a budgetReservationId.\",\n\t\t});\n\t}\n\treturn diagnostics;\n}\n\nfunction requiresHumanApproval(definition: LoopDefinition, item: LoopWorkItem): boolean {\n\tconst gatedRisks = definition.humanGates?.requiredForRisks;\n\tif (gatedRisks !== undefined) {\n\t\treturn gatedRisks.includes(item.risk);\n\t}\n\treturn definition.safety.requireHumanGateForHighRisk && item.risk === \"high\";\n}\n\nfunction validateRequestedWriteScopeDoesNotOverlapDenied(\n\tdefinition: LoopDefinition,\n\trequestedScopes: readonly string[],\n): LoopValidationDiagnostic[] {\n\tconst deniedScopes = definition.safety.deniedWriteScopes ?? [];\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tfor (const requestedScope of requestedScopes) {\n\t\tconst normalizedRequested = normalizePath(requestedScope);\n\t\tif (!normalizedRequested) {\n\t\t\tcontinue;\n\t\t}\n\t\tfor (const deniedScope of deniedScopes) {\n\t\t\tconst normalizedDenied = normalizePath(deniedScope);\n\t\t\tif (normalizedDenied && scopesOverlap(normalizedRequested, normalizedDenied)) {\n\t\t\t\tdiagnostics.push({\n\t\t\t\t\tcode: \"write-scope-denied-overlap\",\n\t\t\t\t\tmessage: `Requested writeScope ${normalizedRequested} overlaps deniedWriteScope ${normalizedDenied}.`,\n\t\t\t\t\tpath: normalizedRequested,\n\t\t\t\t});\n\t\t\t}\n\t\t}\n\t}\n\treturn diagnostics;\n}\n\nfunction validateChangedFilesWithinRequestedScope(\n\twriteScope: readonly string[],\n\tchangedFiles: readonly string[],\n): LoopValidationDiagnostic[] {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tfor (const changedFile of changedFiles) {\n\t\tconst normalizedFile = normalizePath(changedFile);\n\t\tif (!normalizedFile) {\n\t\t\tcontinue;\n\t\t}\n\t\tif (!matchesAnyScope(normalizedFile, writeScope)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"changed-file-outside-write-scope\",\n\t\t\t\tmessage: `Changed file ${normalizedFile} is outside the requested writeScope.`,\n\t\t\t\tpath: normalizedFile,\n\t\t\t});\n\t\t}\n\t}\n\treturn diagnostics;\n}\n\nfunction hasEvidenceRefs(refs: readonly string[] | undefined): boolean {\n\treturn Boolean(refs?.some((ref) => ref.trim().length > 0));\n}\n\nfunction matchesWatchedScope(definition: LoopDefinition, item: LoopWorkItem): boolean {\n\tconst haystack = normalizePath([item.actingOn, item.sourceRef, item.title].join(\" \"));\n\tconst watchedPaths = definition.watchedScope.paths ?? [];\n\tif (watchedPaths.some((scope) => pathHasScopePrefix(normalizePath(item.actingOn), normalizePath(scope)))) {\n\t\treturn true;\n\t}\n\tconst watchedTickets = definition.watchedScope.tickets ?? [];\n\tif (watchedTickets.some((ticket) => haystack.includes(normalizePath(ticket)))) {\n\t\treturn true;\n\t}\n\tconst watchedBranches = definition.watchedScope.branches ?? [];\n\tif (watchedBranches.some((branch) => haystack.includes(normalizePath(branch)))) {\n\t\treturn true;\n\t}\n\treturn definition.watchedScope.repos.some((repo) => haystack.includes(normalizePath(repo)));\n}\n\nfunction tokenize(text: string): Set<string> {\n\tconst matches = text.toLowerCase().match(/[a-z0-9][a-z0-9_-]*/g) ?? [];\n\treturn new Set(matches.filter((token) => token.length > 1 && !TOKEN_STOP_WORDS.has(token)));\n}\n\nfunction overlapRatio(source: Set<string>, target: Set<string>): number {\n\tif (target.size === 0) {\n\t\treturn 0;\n\t}\n\tlet overlap = 0;\n\tfor (const token of target) {\n\t\tif (source.has(token)) {\n\t\t\toverlap++;\n\t\t}\n\t}\n\treturn overlap / target.size;\n}\n\nfunction clamp01(value: number): number {\n\tif (value < 0) {\n\t\treturn 0;\n\t}\n\tif (value > 1) {\n\t\treturn 1;\n\t}\n\treturn value;\n}\n\nfunction matchesAnyScope(path: string, scopes: readonly string[]): boolean {\n\treturn scopes.some((scope) => scopeMatchesPath(path, scope));\n}\n\nfunction scopesOverlap(first: string, second: string): boolean {\n\treturn scopeMatchesPath(first, second) || scopeMatchesPath(second, first);\n}\n\nfunction scopeMatchesPath(path: string, scope: string): boolean {\n\tconst normalizedPath = normalizePath(path);\n\tconst normalizedScope = normalizePath(scope);\n\tif (!normalizedPath || !normalizedScope) {\n\t\treturn false;\n\t}\n\tif (normalizedScope.includes(\"*\")) {\n\t\treturn globToRegExp(normalizedScope).test(normalizedPath);\n\t}\n\treturn pathHasScopePrefix(normalizedPath, normalizedScope);\n}\n\nfunction pathHasScopePrefix(path: string, scope: string): boolean {\n\treturn path === scope || path.startsWith(`${scope}/`);\n}\n\nfunction normalizePath(path: string): string {\n\treturn path.trim().replace(/\\\\/g, \"/\").replace(/\\/+/g, \"/\").replace(/^\\.\\//, \"\").replace(/\\/$/, \"\");\n}\n\nfunction globToRegExp(glob: string): RegExp {\n\tlet pattern = \"^\";\n\tfor (let index = 0; index < glob.length; index++) {\n\t\tconst char = glob[index];\n\t\tconst nextChar = glob[index + 1];\n\t\tif (char === \"*\" && nextChar === \"*\") {\n\t\t\tpattern += \".*\";\n\t\t\tindex++;\n\t\t} else if (char === \"*\") {\n\t\t\tpattern += \"[^/]*\";\n\t\t} else {\n\t\t\tpattern += escapeRegExp(char);\n\t\t}\n\t}\n\treturn new RegExp(`${pattern}$`);\n}\n\nfunction escapeRegExp(char: string): string {\n\treturn char.replace(/[|\\\\{}()[\\]^$+?.]/g, \"\\\\$&\");\n}\n"]}

package/dist/core/loop-registry.d.ts

@@ -0,0 +1,77 @@
+import type { LoopBudgetPolicy, LoopConnectorBinding, LoopDefinition, LoopDurableStatePolicy, LoopHumanGatePolicy, LoopLevel, LoopSafetyPolicy, LoopSchedulePolicy, LoopSkillBinding, LoopSubagentPolicy, LoopValidationDiagnostic, LoopWatchedScope, LoopWorktreeIsolationPolicy } from "./loop-types.ts";
+export type LoopPatternRisk = "low" | "medium" | "high";
+export type LoopPatternTool = "grok" | "claude-code" | "codex" | "github-actions" | "cursor" | "windsurf" | "aider";
+export type LoopPatternTokenCost = "low" | "medium" | "high" | "very-high";
+export interface LoopPatternCost {
+    readonly tokensNoop?: number;
+    readonly tokensReport?: number;
+    readonly tokensAction?: number;
+    readonly suggestedDailyCap?: number;
+    readonly earlyExitRequired?: boolean;
+    readonly tokens_noop?: number;
+    readonly tokens_report?: number;
+    readonly tokens_action?: number;
+    readonly suggested_daily_cap?: number;
+    readonly early_exit_required?: boolean;
+}
+export interface LoopPatternRegistryEntry {
+    readonly id: string;
+    readonly name: string;
+    readonly file: string;
+    readonly goal: string;
+    readonly cadence: string;
+    readonly risk: LoopPatternRisk;
+    readonly tools: readonly LoopPatternTool[];
+    readonly skills: readonly string[];
+    readonly state: string;
+    readonly phases: readonly string[];
+    readonly humanGates?: readonly string[];
+    readonly human_gates?: readonly string[];
+    readonly starter: string;
+    readonly weekOneMode?: LoopLevel;
+    readonly week_one_mode?: LoopLevel;
+    readonly tokenCost?: LoopPatternTokenCost;
+    readonly token_cost?: LoopPatternTokenCost;
+    readonly cost: LoopPatternCost;
+    readonly nonGoals?: readonly string[];
+    readonly non_goals?: readonly string[];
+    readonly triggerKeywords?: readonly string[];
+    readonly trigger_keywords?: readonly string[];
+    readonly skillTriggers?: Readonly<Record<string, readonly string[]>>;
+    readonly skill_triggers?: Readonly<Record<string, readonly string[]>>;
+    readonly connectors?: readonly LoopConnectorBinding[];
+    readonly worktree?: Partial<LoopWorktreeIsolationPolicy>;
+    readonly subagents?: Partial<LoopSubagentPolicy>;
+    readonly durableState?: Partial<LoopDurableStatePolicy>;
+    readonly durable_state?: Partial<LoopDurableStatePolicy>;
+    readonly humanGatePolicy?: Partial<LoopHumanGatePolicy>;
+    readonly human_gate_policy?: Partial<LoopHumanGatePolicy>;
+}
+export interface LoopPatternRegistryValidationResult {
+    readonly valid: boolean;
+    readonly diagnostics: readonly LoopValidationDiagnostic[];
+}
+export interface CompileLoopDefinitionOptions {
+    readonly id?: string;
+    readonly repo: string;
+    readonly scope?: Partial<LoopWatchedScope>;
+    readonly level?: LoopLevel;
+    readonly statePath?: string;
+    readonly runLogPath?: string;
+    readonly allowedWriteScopes?: readonly string[];
+    readonly deniedWriteScopes?: readonly string[];
+    readonly budget?: Partial<LoopBudgetPolicy>;
+    readonly safety?: Partial<LoopSafetyPolicy>;
+    readonly schedule?: Partial<LoopSchedulePolicy>;
+    readonly worktree?: Partial<LoopWorktreeIsolationPolicy>;
+    readonly skills?: readonly LoopSkillBinding[];
+    readonly connectors?: readonly LoopConnectorBinding[];
+    readonly subagents?: Partial<LoopSubagentPolicy>;
+    readonly durableState?: Partial<LoopDurableStatePolicy>;
+    readonly humanGates?: Partial<LoopHumanGatePolicy>;
+}
+export declare const OMK_LOOP_SKELETONS: readonly LoopPatternRegistryEntry[];
+export declare function validateLoopPatternRegistry(entries: readonly LoopPatternRegistryEntry[]): LoopPatternRegistryValidationResult;
+export declare function compileLoopDefinitionFromPattern(entry: LoopPatternRegistryEntry, options: CompileLoopDefinitionOptions): LoopDefinition;
+export declare function detectStarterDrift(entry: LoopPatternRegistryEntry, availableStarterIds: readonly string[]): LoopPatternRegistryValidationResult;
+//# sourceMappingURL=loop-registry.d.ts.map

package/dist/core/loop-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loop-registry.d.ts","sourceRoot":"","sources":["../../src/core/loop-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACX,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,sBAAsB,EACtB,mBAAmB,EACnB,SAAS,EACT,gBAAgB,EAChB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,wBAAwB,EACxB,gBAAgB,EAChB,2BAA2B,EAC3B,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,eAAe,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;AAExD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,aAAa,GAAG,OAAO,GAAG,gBAAgB,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,CAAC;AAEpH,MAAM,MAAM,oBAAoB,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;AAE3E,MAAM,WAAW,eAAe;IAC/B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACvC;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,eAAe,EAAE,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC;IACjC,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzD,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACxD,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACzD,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;CAC1D;AAED,MAAM,WAAW,mCAAmC;IACnD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,4BAA4B;IAC5C,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC5C,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACxD,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;CACnD;AAwBD,eAAO,MAAM,kBAAkB,EAAE,SAAS,wBAAwB,EAsLjE,CAAC;AAEF,wBAAgB,2BAA2B,CAC1C,OAAO,EAAE,SAAS,wBAAwB,EAAE,GAC1C,mCAAmC,CAwFrC;AAED,wBAAgB,gCAAgC,CAC/C,KAAK,EAAE,wBAAwB,EAC/B,OAAO,EAAE,4BAA4B,GACnC,cAAc,CA0EhB;AAED,wBAAgB,kBAAkB,CACjC,KAAK,EAAE,wBAAwB,EAC/B,mBAAmB,EAAE,SAAS,MAAM,EAAE,GACpC,mCAAmC,CAuBrC","sourcesContent":["import type {\n\tLoopBudgetPolicy,\n\tLoopConnectorBinding,\n\tLoopDefinition,\n\tLoopDurableStatePolicy,\n\tLoopHumanGatePolicy,\n\tLoopLevel,\n\tLoopSafetyPolicy,\n\tLoopSchedulePolicy,\n\tLoopSkillBinding,\n\tLoopSubagentPolicy,\n\tLoopValidationDiagnostic,\n\tLoopWatchedScope,\n\tLoopWorktreeIsolationPolicy,\n} from \"./loop-types.ts\";\n\nexport type LoopPatternRisk = \"low\" | \"medium\" | \"high\";\n\nexport type LoopPatternTool = \"grok\" | \"claude-code\" | \"codex\" | \"github-actions\" | \"cursor\" | \"windsurf\" | \"aider\";\n\nexport type LoopPatternTokenCost = \"low\" | \"medium\" | \"high\" | \"very-high\";\n\nexport interface LoopPatternCost {\n\treadonly tokensNoop?: number;\n\treadonly tokensReport?: number;\n\treadonly tokensAction?: number;\n\treadonly suggestedDailyCap?: number;\n\treadonly earlyExitRequired?: boolean;\n\treadonly tokens_noop?: number;\n\treadonly tokens_report?: number;\n\treadonly tokens_action?: number;\n\treadonly suggested_daily_cap?: number;\n\treadonly early_exit_required?: boolean;\n}\n\nexport interface LoopPatternRegistryEntry {\n\treadonly id: string;\n\treadonly name: string;\n\treadonly file: string;\n\treadonly goal: string;\n\treadonly cadence: string;\n\treadonly risk: LoopPatternRisk;\n\treadonly tools: readonly LoopPatternTool[];\n\treadonly skills: readonly string[];\n\treadonly state: string;\n\treadonly phases: readonly string[];\n\treadonly humanGates?: readonly string[];\n\treadonly human_gates?: readonly string[];\n\treadonly starter: string;\n\treadonly weekOneMode?: LoopLevel;\n\treadonly week_one_mode?: LoopLevel;\n\treadonly tokenCost?: LoopPatternTokenCost;\n\treadonly token_cost?: LoopPatternTokenCost;\n\treadonly cost: LoopPatternCost;\n\treadonly nonGoals?: readonly string[];\n\treadonly non_goals?: readonly string[];\n\treadonly triggerKeywords?: readonly string[];\n\treadonly trigger_keywords?: readonly string[];\n\treadonly skillTriggers?: Readonly<Record<string, readonly string[]>>;\n\treadonly skill_triggers?: Readonly<Record<string, readonly string[]>>;\n\treadonly connectors?: readonly LoopConnectorBinding[];\n\treadonly worktree?: Partial<LoopWorktreeIsolationPolicy>;\n\treadonly subagents?: Partial<LoopSubagentPolicy>;\n\treadonly durableState?: Partial<LoopDurableStatePolicy>;\n\treadonly durable_state?: Partial<LoopDurableStatePolicy>;\n\treadonly humanGatePolicy?: Partial<LoopHumanGatePolicy>;\n\treadonly human_gate_policy?: Partial<LoopHumanGatePolicy>;\n}\n\nexport interface LoopPatternRegistryValidationResult {\n\treadonly valid: boolean;\n\treadonly diagnostics: readonly LoopValidationDiagnostic[];\n}\n\nexport interface CompileLoopDefinitionOptions {\n\treadonly id?: string;\n\treadonly repo: string;\n\treadonly scope?: Partial<LoopWatchedScope>;\n\treadonly level?: LoopLevel;\n\treadonly statePath?: string;\n\treadonly runLogPath?: string;\n\treadonly allowedWriteScopes?: readonly string[];\n\treadonly deniedWriteScopes?: readonly string[];\n\treadonly budget?: Partial<LoopBudgetPolicy>;\n\treadonly safety?: Partial<LoopSafetyPolicy>;\n\treadonly schedule?: Partial<LoopSchedulePolicy>;\n\treadonly worktree?: Partial<LoopWorktreeIsolationPolicy>;\n\treadonly skills?: readonly LoopSkillBinding[];\n\treadonly connectors?: readonly LoopConnectorBinding[];\n\treadonly subagents?: Partial<LoopSubagentPolicy>;\n\treadonly durableState?: Partial<LoopDurableStatePolicy>;\n\treadonly humanGates?: Partial<LoopHumanGatePolicy>;\n}\n\ninterface NormalizedCost {\n\treadonly tokensNoop: number;\n\treadonly tokensReport: number;\n\treadonly tokensAction: number;\n\treadonly suggestedDailyCap: number;\n\treadonly earlyExitRequired: boolean;\n}\n\ninterface ParsedCadence {\n\treadonly shortestMinutes: number;\n}\n\nconst WARNING_DIAGNOSTIC_CODES = new Set([\"trigger-overlap\", \"ambiguous-skill-trigger\"]);\n\nconst DENIED_WRITE_SCOPES = [\"**/.env*\", \"**/*secret*\", \"**/*key*\"] as const;\nconst WORKTREE_ISOLATION_MODES: readonly string[] = [\"none\", \"per-run\", \"per-item\"];\nconst WORKTREE_CLEANUP_POLICIES: readonly string[] = [\"after-run\", \"after-merge\", \"manual\"];\nconst CONNECTOR_KINDS: readonly string[] = [\"mcp\", \"connector\"];\nconst CAPABILITY_ACCESS_MODES: readonly string[] = [\"required\", \"optional\"];\nconst SUBAGENT_ROLES: readonly string[] = [\"maker\", \"checker\", \"scout\", \"planner\"];\nconst WORK_ITEM_RISKS: readonly string[] = [\"low\", \"medium\", \"high\"];\n\nexport const OMK_LOOP_SKELETONS: readonly LoopPatternRegistryEntry[] = [\n\t{\n\t\tid: \"omk-daily-triage\",\n\t\tname: \"OMK Daily Triage\",\n\t\tfile: \"omk-daily-triage.md\",\n\t\tgoal: \"Scan CI, issues, PRs, and run state, then report prioritized loop work.\",\n\t\tcadence: \"1d\",\n\t\trisk: \"low\",\n\t\ttools: [\"codex\", \"github-actions\"],\n\t\tskills: [\"loop-triage\", \"evidence-summary\"],\n\t\tstate: \".omk/loops/omk-daily-triage/state.json\",\n\t\tphases: [\"scan\", \"rank\", \"report\", \"escalate\"],\n\t\thumanGates: [\"priority-change\", \"cross-repo-action\"],\n\t\tstarter: \"starters/omk-daily-triage\",\n\t\tweekOneMode: \"L1\",\n\t\ttokenCost: \"medium\",\n\t\tcost: {\n\t\t\ttokensNoop: 5_000,\n\t\t\ttokensReport: 40_000,\n\t\t\ttokensAction: 80_000,\n\t\t\tsuggestedDailyCap: 120_000,\n\t\t\tearlyExitRequired: true,\n\t\t},\n\t\tnonGoals: [\"write code\", \"open pull requests\", \"modify release state\"],\n\t\ttriggerKeywords: [\"daily triage\", \"morning scan\", \"status sweep\"],\n\t\tskillTriggers: {\n\t\t\t\"loop-triage\": [\"ci red\", \"stale pr\", \"untriaged issue\"],\n\t\t\t\"evidence-summary\": [\"run log\", \"state diff\"],\n\t\t},\n\t\tconnectors: [\n\t\t\t{\n\t\t\t\tid: \"github\",\n\t\t\t\tkind: \"connector\",\n\t\t\t\tpurpose: \"Read issues, pull requests, and workflow status.\",\n\t\t\t\taccess: \"required\",\n\t\t\t\ttools: [\"issues\", \"pull-requests\", \"actions\"],\n\t\t\t},\n\t\t],\n\t\tworktree: {\n\t\t\tmode: \"none\",\n\t\t\tcleanup: \"manual\",\n\t\t\trequireCleanCheckout: false,\n\t\t},\n\t\tsubagents: {\n\t\t\trequireMakerChecker: false,\n\t\t\tmakerRole: \"triage-reporter\",\n\t\t\tmaxParallel: 1,\n\t\t},\n\t\thumanGatePolicy: {\n\t\t\trequiredForRisks: [\"high\"],\n\t\t\tgates: [\"priority-change\", \"cross-repo-action\"],\n\t\t\tapprovalRefsRequired: true,\n\t\t},\n\t},\n\t{\n\t\tid: \"omk-isolated-fix\",\n\t\tname: \"OMK Isolated Fix\",\n\t\tfile: \"omk-isolated-fix.md\",\n\t\tgoal: \"Claim one bounded work item, isolate it in a worktree, implement, and verify with maker/checker roles.\",\n\t\tcadence: \"2h-6h\",\n\t\trisk: \"medium\",\n\t\ttools: [\"codex\", \"github-actions\"],\n\t\tskills: [\"focused-implementation\", \"test-debug-loop\", \"code-review\"],\n\t\tstate: \".omk/loops/omk-isolated-fix/state.json\",\n\t\tphases: [\"claim\", \"isolate\", \"implement\", \"check\", \"record\"],\n\t\thumanGates: [\"high-risk-change\", \"scope-expansion\", \"release-impact\"],\n\t\tstarter: \"starters/omk-isolated-fix\",\n\t\tweekOneMode: \"L2\",\n\t\ttokenCost: \"high\",\n\t\tcost: {\n\t\t\ttokensNoop: 8_000,\n\t\t\ttokensReport: 50_000,\n\t\t\ttokensAction: 180_000,\n\t\t\tsuggestedDailyCap: 400_000,\n\t\t\tearlyExitRequired: true,\n\t\t},\n\t\tnonGoals: [\"large refactors\", \"dependency upgrades\", \"release automation\"],\n\t\ttriggerKeywords: [\"bounded fix\", \"loop regression\", \"failing focused test\"],\n\t\tskillTriggers: {\n\t\t\t\"focused-implementation\": [\"implement\", \"fix\", \"migrate\"],\n\t\t\t\"test-debug-loop\": [\"failing test\", \"regression\"],\n\t\t\t\"code-review\": [\"checker\", \"review\"],\n\t\t},\n\t\tconnectors: [\n\t\t\t{\n\t\t\t\tid: \"github\",\n\t\t\t\tkind: \"connector\",\n\t\t\t\tpurpose: \"Read linked issues, PR context, and workflow status.\",\n\t\t\t\taccess: \"required\",\n\t\t\t\ttools: [\"issues\", \"pull-requests\", \"actions\"],\n\t\t\t},\n\t\t\t{\n\t\t\t\tid: \"context7\",\n\t\t\t\tkind: \"mcp\",\n\t\t\t\tpurpose: \"Fetch current library documentation when implementation touches external APIs.\",\n\t\t\t\taccess: \"optional\",\n\t\t\t\ttools: [\"resolve-library-id\", \"get-library-docs\"],\n\t\t\t},\n\t\t],\n\t\tworktree: {\n\t\t\tmode: \"per-item\",\n\t\t\tbranchPrefix: \"omk/loops/isolated-fix/\",\n\t\t\tcleanup: \"after-run\",\n\t\t\trequireCleanCheckout: true,\n\t\t\tmaxConcurrentWorktrees: 1,\n\t\t},\n\t\tsubagents: {\n\t\t\trequireMakerChecker: true,\n\t\t\tmakerRole: \"implementation-worker\",\n\t\t\tcheckerRole: \"independent-checker\",\n\t\t\tmaxParallel: 2,\n\t\t},\n\t\thumanGatePolicy: {\n\t\t\trequiredForRisks: [\"high\"],\n\t\t\tgates: [\"high-risk-change\", \"scope-expansion\", \"release-impact\"],\n\t\t\tapprovalRefsRequired: true,\n\t\t},\n\t},\n\t{\n\t\tid: \"omk-release-guardian\",\n\t\tname: \"OMK Release Guardian\",\n\t\tfile: \"omk-release-guardian.md\",\n\t\tgoal: \"Guard release readiness with durable run logs, budget ceilings, human approvals, and independent checks.\",\n\t\tcadence: \"6h-1d\",\n\t\trisk: \"high\",\n\t\ttools: [\"codex\", \"github-actions\"],\n\t\tskills: [\"release-audit\", \"security-review\", \"verification-gates\"],\n\t\tstate: \".omk/loops/omk-release-guardian/state.json\",\n\t\tphases: [\"snapshot\", \"audit\", \"gate\", \"escalate\", \"record\"],\n\t\thumanGates: [\"release-cut\", \"publish\", \"security-exception\"],\n\t\tstarter: \"starters/omk-release-guardian\",\n\t\tweekOneMode: \"L3\",\n\t\ttokenCost: \"very-high\",\n\t\tcost: {\n\t\t\ttokensNoop: 12_000,\n\t\t\ttokensReport: 90_000,\n\t\t\ttokensAction: 240_000,\n\t\t\tsuggestedDailyCap: 600_000,\n\t\t\tearlyExitRequired: true,\n\t\t},\n\t\tnonGoals: [\"publish without approval\", \"skip changelog audit\", \"bypass failing verification\"],\n\t\ttriggerKeywords: [\"release\", \"publish\", \"release gate\"],\n\t\tskillTriggers: {\n\t\t\t\"release-audit\": [\"changelog\", \"version\", \"publish\"],\n\t\t\t\"security-review\": [\"secret\", \"credential\", \"security\"],\n\t\t\t\"verification-gates\": [\"smoke test\", \"release blocker\"],\n\t\t},\n\t\tconnectors: [\n\t\t\t{\n\t\t\t\tid: \"github\",\n\t\t\t\tkind: \"connector\",\n\t\t\t\tpurpose: \"Read release branches, workflow status, tags, and pull request approvals.\",\n\t\t\t\taccess: \"required\",\n\t\t\t\ttools: [\"branches\", \"pull-requests\", \"actions\", \"releases\"],\n\t\t\t},\n\t\t\t{\n\t\t\t\tid: \"playwright\",\n\t\t\t\tkind: \"mcp\",\n\t\t\t\tpurpose: \"Collect browser smoke evidence for release readiness.\",\n\t\t\t\taccess: \"optional\",\n\t\t\t\ttools: [\"navigate\", \"screenshot\", \"assert\"],\n\t\t\t},\n\t\t],\n\t\tworktree: {\n\t\t\tmode: \"per-run\",\n\t\t\tbranchPrefix: \"omk/loops/release-guardian/\",\n\t\t\tcleanup: \"manual\",\n\t\t\trequireCleanCheckout: true,\n\t\t\tmaxConcurrentWorktrees: 1,\n\t\t},\n\t\tsubagents: {\n\t\t\trequireMakerChecker: true,\n\t\t\tmakerRole: \"release-auditor\",\n\t\t\tcheckerRole: \"release-checker\",\n\t\t\tmaxParallel: 3,\n\t\t},\n\t\thumanGatePolicy: {\n\t\t\trequiredForRisks: [\"medium\", \"high\"],\n\t\t\tgates: [\"release-cut\", \"publish\", \"security-exception\"],\n\t\t\tapprovalRefsRequired: true,\n\t\t},\n\t},\n];\n\nexport function validateLoopPatternRegistry(\n\tentries: readonly LoopPatternRegistryEntry[],\n): LoopPatternRegistryValidationResult {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tconst ids = new Map<string, number>();\n\tconst triggerOwners = new Map<string, { readonly id: string; readonly index: number }>();\n\tconst skillTriggerOwners = new Map<\n\t\tstring,\n\t\t{ readonly id: string; readonly skill: string; readonly index: number }\n\t>();\n\n\tfor (const [index, entry] of entries.entries()) {\n\t\tconst priorIndex = ids.get(entry.id);\n\t\tif (priorIndex !== undefined) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"duplicate-id\",\n\t\t\t\tmessage: `Duplicate loop pattern id '${entry.id}' also appears at index ${priorIndex}.`,\n\t\t\t\tpath: `[${index}].id`,\n\t\t\t});\n\t\t} else {\n\t\t\tids.set(entry.id, index);\n\t\t}\n\n\t\tif (!isSafeStarterPath(entry.starter)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"invalid-starter-path\",\n\t\t\t\tmessage: `Starter path for '${entry.id}' must be a relative, non-traversing path.`,\n\t\t\t\tpath: `[${index}].starter`,\n\t\t\t});\n\t\t}\n\n\t\tif (parseCadence(entry.cadence) === undefined) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"invalid-cadence\",\n\t\t\t\tmessage: `Cadence for '${entry.id}' must be a positive duration or duration range.`,\n\t\t\t\tpath: `[${index}].cadence`,\n\t\t\t});\n\t\t}\n\n\t\tconst normalizedCost = normalizeCost(entry.cost);\n\t\tif (normalizedCost === undefined) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"invalid-cost\",\n\t\t\t\tmessage: `Cost for '${entry.id}' must include positive integer noop/report/action token estimates.`,\n\t\t\t\tpath: `[${index}].cost`,\n\t\t\t});\n\t\t} else if (\n\t\t\tnormalizedCost.tokensNoop > normalizedCost.tokensReport ||\n\t\t\tnormalizedCost.tokensReport > normalizedCost.tokensAction\n\t\t) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"non-monotonic-cost\",\n\t\t\t\tmessage: `Cost for '${entry.id}' must satisfy noop <= report <= action.`,\n\t\t\t\tpath: `[${index}].cost`,\n\t\t\t});\n\t\t}\n\n\t\tdiagnostics.push(...validatePatternPrimitives(entry, index));\n\n\t\tfor (const trigger of normalizedTriggerKeywords(entry)) {\n\t\t\tconst priorOwner = triggerOwners.get(trigger);\n\t\t\tif (priorOwner !== undefined && priorOwner.id !== entry.id) {\n\t\t\t\tdiagnostics.push({\n\t\t\t\t\tcode: \"trigger-overlap\",\n\t\t\t\t\tmessage: `Trigger '${trigger}' is shared by '${priorOwner.id}' and '${entry.id}'.`,\n\t\t\t\t\tpath: `[${index}].triggerKeywords`,\n\t\t\t\t});\n\t\t\t} else {\n\t\t\t\ttriggerOwners.set(trigger, { id: entry.id, index });\n\t\t\t}\n\t\t}\n\n\t\tfor (const trigger of normalizedSkillTriggers(entry)) {\n\t\t\tconst priorOwner = skillTriggerOwners.get(trigger.term);\n\t\t\tif (priorOwner !== undefined && (priorOwner.id !== entry.id || priorOwner.skill !== trigger.skill)) {\n\t\t\t\tdiagnostics.push({\n\t\t\t\t\tcode: \"ambiguous-skill-trigger\",\n\t\t\t\t\tmessage: `Skill trigger '${trigger.term}' is shared by '${priorOwner.id}/${priorOwner.skill}' and '${entry.id}/${trigger.skill}'.`,\n\t\t\t\t\tpath: `[${index}].skillTriggers.${trigger.skill}`,\n\t\t\t\t});\n\t\t\t} else {\n\t\t\t\tskillTriggerOwners.set(trigger.term, { id: entry.id, skill: trigger.skill, index });\n\t\t\t}\n\t\t}\n\t}\n\n\treturn {\n\t\tvalid: diagnostics.every((diagnostic) => WARNING_DIAGNOSTIC_CODES.has(diagnostic.code)),\n\t\tdiagnostics,\n\t};\n}\n\nexport function compileLoopDefinitionFromPattern(\n\tentry: LoopPatternRegistryEntry,\n\toptions: CompileLoopDefinitionOptions,\n): LoopDefinition {\n\tconst validation = validateLoopPatternRegistry([entry]);\n\tconst errors = validation.diagnostics.filter((diagnostic) => !WARNING_DIAGNOSTIC_CODES.has(diagnostic.code));\n\tif (errors.length > 0) {\n\t\tthrow new Error(`Invalid loop pattern '${entry.id}': ${errors.map((diagnostic) => diagnostic.code).join(\", \")}`);\n\t}\n\n\tconst cost = requireNormalizedCost(entry);\n\tconst cadence = requireParsedCadence(entry);\n\tconst level = options.level ?? entry.weekOneMode ?? entry.week_one_mode ?? \"L1\";\n\tconst defaultBudget = budgetDefaultsForLevel(level, cost, cadence);\n\tconst allowedWriteScopes = level === \"L1\" ? [] : [...(options.allowedWriteScopes ?? [])];\n\tconst defaultSafety = safetyDefaultsForLevel(level, allowedWriteScopes, options.deniedWriteScopes);\n\tconst scope = options.scope ?? {};\n\tconst statePath = options.statePath ?? `.omk/loops/${entry.id}/state.json`;\n\tconst runLogPath = options.runLogPath ?? `.omk/loops/${entry.id}/run-log.ndjson`;\n\tconst schedule = {\n\t\t...scheduleDefaultsForPattern(entry, cadence),\n\t\t...options.schedule,\n\t};\n\tconst worktree = {\n\t\t...worktreeDefaultsForLevel(entry, level),\n\t\t...entry.worktree,\n\t\t...options.worktree,\n\t};\n\tconst skills = options.skills ?? skillBindingsForPattern(entry);\n\tconst connectors = options.connectors ?? [...(entry.connectors ?? [])];\n\tconst subagents = subagentDefaultsForLevel(entry, level, skills, connectors, {\n\t\t...entry.subagents,\n\t\t...options.subagents,\n\t});\n\tconst durableState = {\n\t\t...durableStateDefaultsForPattern(entry, statePath, runLogPath),\n\t\t...(entry.durableState ?? entry.durable_state),\n\t\t...options.durableState,\n\t};\n\tconst humanGates = {\n\t\t...humanGateDefaultsForPattern(entry),\n\t\t...(entry.humanGatePolicy ?? entry.human_gate_policy),\n\t\t...options.humanGates,\n\t};\n\n\treturn {\n\t\tid: options.id ?? entry.id,\n\t\tpattern: entry.id,\n\t\tobjective: entry.goal,\n\t\tnonGoals: entry.nonGoals ?? entry.non_goals ?? [],\n\t\tlevel,\n\t\twatchedScope: {\n\t\t\trepos: scope.repos?.length === undefined || scope.repos.length === 0 ? [options.repo] : scope.repos,\n\t\t\t...(scope.branches === undefined ? {} : { branches: scope.branches }),\n\t\t\t...(scope.paths === undefined ? {} : { paths: scope.paths }),\n\t\t\t...(scope.tickets === undefined ? {} : { tickets: scope.tickets }),\n\t\t},\n\t\tbudget: {\n\t\t\t...defaultBudget,\n\t\t\t...options.budget,\n\t\t},\n\t\tsafety: {\n\t\t\t...defaultSafety,\n\t\t\t...options.safety,\n\t\t\tallowedWriteScopes:\n\t\t\t\tlevel === \"L1\" ? [] : (options.safety?.allowedWriteScopes ?? defaultSafety.allowedWriteScopes),\n\t\t},\n\t\tstatePath,\n\t\trunLogPath,\n\t\tschedule,\n\t\tworktree,\n\t\tskills,\n\t\tconnectors,\n\t\tsubagents,\n\t\tdurableState,\n\t\thumanGates,\n\t};\n}\n\nexport function detectStarterDrift(\n\tentry: LoopPatternRegistryEntry,\n\tavailableStarterIds: readonly string[],\n): LoopPatternRegistryValidationResult {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\tif (!isSafeStarterPath(entry.starter)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"invalid-starter-path\",\n\t\t\tmessage: `Starter path for '${entry.id}' must be a relative, non-traversing path.`,\n\t\t\tpath: \"starter\",\n\t\t});\n\t\treturn { valid: false, diagnostics };\n\t}\n\n\tconst expected = normalizeStarterIdentifier(entry.starter);\n\tconst expectedId = lastPathSegment(expected);\n\tconst available = new Set(availableStarterIds.map(normalizeStarterIdentifier));\n\tif (!available.has(expected) && !available.has(expectedId)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"missing-starter\",\n\t\t\tmessage: `Starter '${entry.starter}' for '${entry.id}' is not present in the available starter inventory.`,\n\t\t\tpath: \"starter\",\n\t\t});\n\t}\n\n\treturn { valid: diagnostics.length === 0, diagnostics };\n}\n\nfunction validatePatternPrimitives(\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): readonly LoopValidationDiagnostic[] {\n\tconst diagnostics: LoopValidationDiagnostic[] = [];\n\n\tif (entry.skills.length === 0) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"skills-required\",\n\t\t\tmessage: `Loop pattern '${entry.id}' must declare at least one OMK skill.`,\n\t\t\tpath: `[${index}].skills`,\n\t\t});\n\t}\n\tpushNonEmptyUniqueDiagnostics(diagnostics, entry.skills, `[${index}].skills`, \"skill\");\n\tpushNonEmptyUniqueDiagnostics(diagnostics, entry.phases, `[${index}].phases`, \"phase\");\n\tpushNonEmptyUniqueDiagnostics(\n\t\tdiagnostics,\n\t\tentry.humanGates ?? entry.human_gates ?? [],\n\t\t`[${index}].humanGates`,\n\t\t\"human-gate\",\n\t);\n\tpushConnectorDiagnostics(diagnostics, entry, index);\n\tpushWorktreeDiagnostics(diagnostics, entry, index);\n\tpushSubagentDiagnostics(diagnostics, entry, index);\n\tpushDurableStateDiagnostics(diagnostics, entry, index);\n\tpushHumanGatePolicyDiagnostics(diagnostics, entry, index);\n\n\treturn diagnostics;\n}\n\nfunction scheduleDefaultsForPattern(entry: LoopPatternRegistryEntry, cadence: ParsedCadence): LoopSchedulePolicy {\n\treturn {\n\t\tmode: \"interval\",\n\t\tcadence: entry.cadence,\n\t\tshortestIntervalMinutes: cadence.shortestMinutes,\n\t\trunOn: [\"schedule\"],\n\t\tjitterMinutes: Math.min(15, Math.max(1, Math.floor(cadence.shortestMinutes * 0.1))),\n\t};\n}\n\nfunction worktreeDefaultsForLevel(entry: LoopPatternRegistryEntry, level: LoopLevel): LoopWorktreeIsolationPolicy {\n\tif (level === \"L1\") {\n\t\treturn {\n\t\t\tmode: \"none\",\n\t\t\tcleanup: \"manual\",\n\t\t\trequireCleanCheckout: false,\n\t\t};\n\t}\n\n\treturn {\n\t\tmode: level === \"L2\" ? \"per-item\" : \"per-run\",\n\t\tbranchPrefix: `omk/loops/${entry.id}/`,\n\t\tcleanup: level === \"L2\" ? \"after-run\" : \"manual\",\n\t\trequireCleanCheckout: true,\n\t\tmaxConcurrentWorktrees: 1,\n\t};\n}\n\nfunction skillBindingsForPattern(entry: LoopPatternRegistryEntry): readonly LoopSkillBinding[] {\n\tconst triggerMap = entry.skillTriggers ?? entry.skill_triggers ?? {};\n\treturn uniqueTrimmedStrings(entry.skills).map((id) => {\n\t\tconst triggerKeywords = uniqueNormalizedTerms(triggerMap[id] ?? []);\n\t\treturn {\n\t\t\tid,\n\t\t\tpurpose: `Enable ${id} for ${entry.id}.`,\n\t\t\taccess: \"required\",\n\t\t\t...(triggerKeywords.length === 0 ? {} : { triggerKeywords }),\n\t\t};\n\t});\n}\n\nfunction subagentDefaultsForLevel(\n\tentry: LoopPatternRegistryEntry,\n\tlevel: LoopLevel,\n\tskills: readonly LoopSkillBinding[],\n\tconnectors: readonly LoopConnectorBinding[],\n\toverrides: Partial<LoopSubagentPolicy>,\n): LoopSubagentPolicy {\n\tconst requireMakerChecker = overrides.requireMakerChecker ?? level !== \"L1\";\n\tconst makerRole = nonEmptyString(overrides.makerRole) ?? `${entry.id}-maker`;\n\tconst checkerRole =\n\t\tnonEmptyString(overrides.checkerRole) ?? (requireMakerChecker ? `${entry.id}-checker` : undefined);\n\tconst skillIds = skills.map((skill) => skill.id);\n\tconst connectorIds = connectors.map((connector) => connector.id);\n\tconst roles = overrides.roles ?? [\n\t\t{\n\t\t\tid: makerRole,\n\t\t\trole: \"maker\" as const,\n\t\t\tskills: skillIds,\n\t\t\tconnectors: connectorIds,\n\t\t},\n\t\t...(checkerRole === undefined\n\t\t\t? []\n\t\t\t: [\n\t\t\t\t\t{\n\t\t\t\t\t\tid: checkerRole,\n\t\t\t\t\t\trole: \"checker\" as const,\n\t\t\t\t\t\tskills: skillIds,\n\t\t\t\t\t\tconnectors: connectorIds,\n\t\t\t\t\t\tindependentFrom: [makerRole],\n\t\t\t\t\t},\n\t\t\t\t]),\n\t];\n\n\treturn {\n\t\tmaxParallel: overrides.maxParallel ?? (level === \"L3\" ? 3 : level === \"L2\" ? 2 : 1),\n\t\trequireMakerChecker,\n\t\tmakerRole,\n\t\t...(checkerRole === undefined ? {} : { checkerRole }),\n\t\troles,\n\t};\n}\n\nfunction durableStateDefaultsForPattern(\n\tentry: LoopPatternRegistryEntry,\n\tstatePath: string,\n\trunLogPath: string,\n): LoopDurableStatePolicy {\n\treturn {\n\t\tstatePath,\n\t\trunLogPath,\n\t\tbudgetLedgerPath: `.omk/loops/${entry.id}/budget-ledger.ndjson`,\n\t\tretentionDays: 30,\n\t\trequireReplayableEvidence: true,\n\t};\n}\n\nfunction humanGateDefaultsForPattern(entry: LoopPatternRegistryEntry): LoopHumanGatePolicy {\n\tconst gates = normalizedHumanGateIds(entry);\n\treturn {\n\t\tgates: gates.length === 0 ? [\"high-risk-change\"] : gates,\n\t\trequiredForRisks: [\"high\"],\n\t\tapprovalRefsRequired: true,\n\t};\n}\n\nfunction pushNonEmptyUniqueDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tvalues: readonly string[],\n\tpath: string,\n\tlabel: string,\n): void {\n\tconst seen = new Set<string>();\n\tfor (const [valueIndex, value] of values.entries()) {\n\t\tconst normalized = normalizeTerm(value);\n\t\tif (normalized.length === 0) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: `${label}-id-required`,\n\t\t\t\tmessage: `${label} id must be non-empty.`,\n\t\t\t\tpath: `${path}[${valueIndex}]`,\n\t\t\t});\n\t\t\tcontinue;\n\t\t}\n\t\tif (seen.has(normalized)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: `${label}-duplicate`,\n\t\t\t\tmessage: `${label} id '${value}' is declared more than once.`,\n\t\t\t\tpath: `${path}[${valueIndex}]`,\n\t\t\t});\n\t\t}\n\t\tseen.add(normalized);\n\t}\n}\n\nfunction pushConnectorDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): void {\n\tconst connectors = entry.connectors ?? [];\n\tconst seen = new Set<string>();\n\tfor (const [connectorIndex, connector] of connectors.entries()) {\n\t\tconst basePath = `[${index}].connectors[${connectorIndex}]`;\n\t\tconst id = normalizeTerm(connector.id);\n\t\tif (!id) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-id-required\",\n\t\t\t\tmessage: `Connector id for '${entry.id}' must be non-empty.`,\n\t\t\t\tpath: `${basePath}.id`,\n\t\t\t});\n\t\t} else if (seen.has(id)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-duplicate\",\n\t\t\t\tmessage: `Connector '${connector.id}' is declared more than once for '${entry.id}'.`,\n\t\t\t\tpath: `${basePath}.id`,\n\t\t\t});\n\t\t}\n\t\tseen.add(id);\n\n\t\tif (!CONNECTOR_KINDS.includes(connector.kind)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-kind-invalid\",\n\t\t\t\tmessage: `Connector '${connector.id}' has invalid kind '${connector.kind}'.`,\n\t\t\t\tpath: `${basePath}.kind`,\n\t\t\t});\n\t\t}\n\t\tif (!CAPABILITY_ACCESS_MODES.includes(connector.access)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-access-invalid\",\n\t\t\t\tmessage: `Connector '${connector.id}' has invalid access '${connector.access}'.`,\n\t\t\t\tpath: `${basePath}.access`,\n\t\t\t});\n\t\t}\n\t\tif (!nonEmptyString(connector.purpose)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-purpose-required\",\n\t\t\t\tmessage: `Connector '${connector.id}' must declare a purpose.`,\n\t\t\t\tpath: `${basePath}.purpose`,\n\t\t\t});\n\t\t}\n\t\tif (connector.tools?.some((tool) => tool.trim().length === 0)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"connector-tool-required\",\n\t\t\t\tmessage: `Connector '${connector.id}' has an empty tool id.`,\n\t\t\t\tpath: `${basePath}.tools`,\n\t\t\t});\n\t\t}\n\t}\n}\n\nfunction pushWorktreeDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): void {\n\tconst worktree = entry.worktree;\n\tif (worktree === undefined) {\n\t\treturn;\n\t}\n\n\tif (worktree.mode !== undefined && !WORKTREE_ISOLATION_MODES.includes(worktree.mode)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-mode-invalid\",\n\t\t\tmessage: `Worktree mode '${worktree.mode}' is not supported.`,\n\t\t\tpath: `[${index}].worktree.mode`,\n\t\t});\n\t}\n\tif (worktree.cleanup !== undefined && !WORKTREE_CLEANUP_POLICIES.includes(worktree.cleanup)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-cleanup-invalid\",\n\t\t\tmessage: `Worktree cleanup '${worktree.cleanup}' is not supported.`,\n\t\t\tpath: `[${index}].worktree.cleanup`,\n\t\t});\n\t}\n\tif (worktree.branchPrefix !== undefined && !isSafeBranchPrefix(worktree.branchPrefix)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-branch-prefix-invalid\",\n\t\t\tmessage: `Worktree branchPrefix for '${entry.id}' must be relative and non-empty.`,\n\t\t\tpath: `[${index}].worktree.branchPrefix`,\n\t\t});\n\t}\n\tif (worktree.maxConcurrentWorktrees !== undefined && !isPositiveInteger(worktree.maxConcurrentWorktrees)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"worktree-concurrency-invalid\",\n\t\t\tmessage: `Worktree maxConcurrentWorktrees for '${entry.id}' must be a positive integer.`,\n\t\t\tpath: `[${index}].worktree.maxConcurrentWorktrees`,\n\t\t});\n\t}\n}\n\nfunction pushSubagentDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): void {\n\tconst subagents = entry.subagents;\n\tif (subagents === undefined) {\n\t\treturn;\n\t}\n\n\tif (subagents.maxParallel !== undefined && !isPositiveInteger(subagents.maxParallel)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"subagent-max-parallel-invalid\",\n\t\t\tmessage: `Subagent maxParallel for '${entry.id}' must be a positive integer.`,\n\t\t\tpath: `[${index}].subagents.maxParallel`,\n\t\t});\n\t}\n\tif (subagents.makerRole !== undefined && !nonEmptyString(subagents.makerRole)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"subagent-maker-required\",\n\t\t\tmessage: `Subagent makerRole for '${entry.id}' must be non-empty.`,\n\t\t\tpath: `[${index}].subagents.makerRole`,\n\t\t});\n\t}\n\tif (subagents.requireMakerChecker === true && !nonEmptyString(subagents.checkerRole)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"subagent-checker-required\",\n\t\t\tmessage: `Maker/checker loop '${entry.id}' must declare a checkerRole.`,\n\t\t\tpath: `[${index}].subagents.checkerRole`,\n\t\t});\n\t}\n\n\tfor (const [roleIndex, role] of (subagents.roles ?? []).entries()) {\n\t\tconst basePath = `[${index}].subagents.roles[${roleIndex}]`;\n\t\tif (!nonEmptyString(role.id)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"subagent-role-id-required\",\n\t\t\t\tmessage: `Subagent role id for '${entry.id}' must be non-empty.`,\n\t\t\t\tpath: `${basePath}.id`,\n\t\t\t});\n\t\t}\n\t\tif (!SUBAGENT_ROLES.includes(role.role)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"subagent-role-invalid\",\n\t\t\t\tmessage: `Subagent role '${role.role}' is not supported.`,\n\t\t\t\tpath: `${basePath}.role`,\n\t\t\t});\n\t\t}\n\t\tpushNonEmptyUniqueDiagnostics(diagnostics, role.skills, `${basePath}.skills`, \"subagent-skill\");\n\t\tpushNonEmptyUniqueDiagnostics(diagnostics, role.connectors, `${basePath}.connectors`, \"subagent-connector\");\n\t}\n}\n\nfunction pushDurableStateDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): void {\n\tconst durableState = entry.durableState ?? entry.durable_state;\n\tif (durableState === undefined) {\n\t\treturn;\n\t}\n\n\tpushSafeRelativePathDiagnostic(diagnostics, durableState.statePath, `[${index}].durableState.statePath`);\n\tpushSafeRelativePathDiagnostic(diagnostics, durableState.runLogPath, `[${index}].durableState.runLogPath`);\n\tpushSafeRelativePathDiagnostic(\n\t\tdiagnostics,\n\t\tdurableState.budgetLedgerPath,\n\t\t`[${index}].durableState.budgetLedgerPath`,\n\t);\n\tpushSafeRelativePathDiagnostic(diagnostics, durableState.checkpointPath, `[${index}].durableState.checkpointPath`);\n\tif (durableState.retentionDays !== undefined && !isPositiveInteger(durableState.retentionDays)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"durable-state-retention-invalid\",\n\t\t\tmessage: `Durable state retentionDays for '${entry.id}' must be a positive integer.`,\n\t\t\tpath: `[${index}].durableState.retentionDays`,\n\t\t});\n\t}\n}\n\nfunction pushHumanGatePolicyDiagnostics(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tentry: LoopPatternRegistryEntry,\n\tindex: number,\n): void {\n\tconst policy = entry.humanGatePolicy ?? entry.human_gate_policy;\n\tif (policy === undefined) {\n\t\treturn;\n\t}\n\n\tpushNonEmptyUniqueDiagnostics(diagnostics, policy.gates ?? [], `[${index}].humanGatePolicy.gates`, \"human-gate\");\n\tfor (const [riskIndex, risk] of (policy.requiredForRisks ?? []).entries()) {\n\t\tif (!WORK_ITEM_RISKS.includes(risk)) {\n\t\t\tdiagnostics.push({\n\t\t\t\tcode: \"human-gate-risk-invalid\",\n\t\t\t\tmessage: `Human gate risk '${risk}' is not supported.`,\n\t\t\t\tpath: `[${index}].humanGatePolicy.requiredForRisks[${riskIndex}]`,\n\t\t\t});\n\t\t}\n\t}\n}\n\nfunction pushSafeRelativePathDiagnostic(\n\tdiagnostics: LoopValidationDiagnostic[],\n\tvalue: string | undefined,\n\tpath: string,\n): void {\n\tif (value !== undefined && !isSafeStarterPath(value)) {\n\t\tdiagnostics.push({\n\t\t\tcode: \"invalid-durable-state-path\",\n\t\t\tmessage: `${path} must be a relative, non-traversing path.`,\n\t\t\tpath,\n\t\t});\n\t}\n}\n\nfunction budgetDefaultsForLevel(level: LoopLevel, cost: NormalizedCost, cadence: ParsedCadence): LoopBudgetPolicy {\n\tconst maxRunsPerDay = Math.max(1, Math.ceil(1440 / cadence.shortestMinutes));\n\tif (level === \"L1\") {\n\t\treturn {\n\t\t\tmaxRunsPerDay,\n\t\t\tmaxTokensPerDay: cost.suggestedDailyCap,\n\t\t\tmaxSubagentsPerRun: 1,\n\t\t\tmaxAttemptsPerItem: 1,\n\t\t\tmaxAutoPrsPerDay: 0,\n\t\t\tslowDownAtRatio: cost.earlyExitRequired ? 0.75 : 0.9,\n\t\t};\n\t}\n\tif (level === \"L2\") {\n\t\treturn {\n\t\t\tmaxRunsPerDay,\n\t\t\tmaxTokensPerDay: cost.suggestedDailyCap,\n\t\t\tmaxSubagentsPerRun: 3,\n\t\t\tmaxAttemptsPerItem: 2,\n\t\t\tmaxAutoPrsPerDay: 0,\n\t\t\tslowDownAtRatio: cost.earlyExitRequired ? 0.75 : 0.9,\n\t\t};\n\t}\n\treturn {\n\t\tmaxRunsPerDay,\n\t\tmaxTokensPerDay: cost.suggestedDailyCap,\n\t\tmaxSubagentsPerRun: 5,\n\t\tmaxAttemptsPerItem: 3,\n\t\tmaxAutoPrsPerDay: 1,\n\t\tslowDownAtRatio: cost.earlyExitRequired ? 0.75 : 0.9,\n\t};\n}\n\nfunction safetyDefaultsForLevel(\n\tlevel: LoopLevel,\n\tallowedWriteScopes: readonly string[],\n\tdeniedWriteScopes: readonly string[] | undefined,\n): LoopSafetyPolicy {\n\treturn {\n\t\trequireIndependentVerifier: level !== \"L1\",\n\t\trequireHumanGateForHighRisk: true,\n\t\tallowedWriteScopes,\n\t\tdeniedWriteScopes: deniedWriteScopes ?? DENIED_WRITE_SCOPES,\n\t\tmaxWriteScopeCount: allowedWriteScopes.length,\n\t};\n}\n\nfunction isSafeStarterPath(starter: string): boolean {\n\tconst normalized = normalizeSlashes(starter).trim();\n\tif (normalized.length === 0) return false;\n\tif (normalized.startsWith(\"/\")) return false;\n\tif (/^[A-Za-z]:\\//.test(normalized)) return false;\n\treturn !normalized.split(\"/\").some((segment) => segment === \"..\");\n}\n\nfunction parseCadence(cadence: string): ParsedCadence | undefined {\n\tconst parts = cadence.split(\"-\");\n\tif (parts.length === 0 || parts.length > 2) return undefined;\n\tconst minutes = parts.map(parseDurationMinutes);\n\tif (minutes.some((value) => value === undefined)) return undefined;\n\tconst concreteMinutes = minutes.filter((value): value is number => value !== undefined);\n\treturn { shortestMinutes: Math.min(...concreteMinutes) };\n}\n\nfunction parseDurationMinutes(value: string): number | undefined {\n\tconst match = /^(?<amount>[1-9][0-9]*)(?<unit>[mhd])$/.exec(value);\n\tif (match?.groups === undefined) return undefined;\n\tconst amount = Number(match.groups.amount);\n\tif (!Number.isSafeInteger(amount) || amount <= 0) return undefined;\n\tconst unit = match.groups.unit;\n\tif (unit === \"m\") return amount;\n\tif (unit === \"h\") return amount * 60;\n\treturn amount * 1440;\n}\n\nfunction normalizeCost(cost: LoopPatternCost): NormalizedCost | undefined {\n\tconst tokensNoop = cost.tokensNoop ?? cost.tokens_noop;\n\tconst tokensReport = cost.tokensReport ?? cost.tokens_report;\n\tconst tokensAction = cost.tokensAction ?? cost.tokens_action;\n\tconst suggestedDailyCap = cost.suggestedDailyCap ?? cost.suggested_daily_cap;\n\tconst earlyExitRequired = cost.earlyExitRequired ?? cost.early_exit_required;\n\tif (\n\t\t!isPositiveInteger(tokensNoop) ||\n\t\t!isPositiveInteger(tokensReport) ||\n\t\t!isPositiveInteger(tokensAction) ||\n\t\t!isPositiveInteger(suggestedDailyCap) ||\n\t\ttypeof earlyExitRequired !== \"boolean\"\n\t) {\n\t\treturn undefined;\n\t}\n\treturn { tokensNoop, tokensReport, tokensAction, suggestedDailyCap, earlyExitRequired };\n}\n\nfunction requireNormalizedCost(entry: LoopPatternRegistryEntry): NormalizedCost {\n\tconst cost = normalizeCost(entry.cost);\n\tif (cost === undefined) throw new Error(`Invalid loop pattern '${entry.id}': invalid-cost`);\n\treturn cost;\n}\n\nfunction requireParsedCadence(entry: LoopPatternRegistryEntry): ParsedCadence {\n\tconst cadence = parseCadence(entry.cadence);\n\tif (cadence === undefined) throw new Error(`Invalid loop pattern '${entry.id}': invalid-cadence`);\n\treturn cadence;\n}\n\nfunction isPositiveInteger(value: number | undefined): value is number {\n\treturn typeof value === \"number\" && Number.isSafeInteger(value) && value > 0;\n}\n\nfunction normalizedTriggerKeywords(entry: LoopPatternRegistryEntry): readonly string[] {\n\treturn uniqueNormalizedTerms(entry.triggerKeywords ?? entry.trigger_keywords ?? []);\n}\n\nfunction normalizedSkillTriggers(\n\tentry: LoopPatternRegistryEntry,\n): readonly { readonly skill: string; readonly term: string }[] {\n\tconst triggerMap = entry.skillTriggers ?? entry.skill_triggers ?? {};\n\tconst triggers: { readonly skill: string; readonly term: string }[] = [];\n\tfor (const [skill, terms] of Object.entries(triggerMap)) {\n\t\tfor (const term of uniqueNormalizedTerms(terms)) {\n\t\t\ttriggers.push({ skill, term });\n\t\t}\n\t}\n\treturn triggers;\n}\n\nfunction normalizedHumanGateIds(entry: LoopPatternRegistryEntry): readonly string[] {\n\treturn uniqueTrimmedStrings(entry.humanGates ?? entry.human_gates ?? []);\n}\n\nfunction uniqueNormalizedTerms(terms: readonly string[]): readonly string[] {\n\tconst normalized = terms.map(normalizeTerm).filter((term) => term.length > 0);\n\treturn [...new Set(normalized)];\n}\n\nfunction uniqueTrimmedStrings(values: readonly string[]): readonly string[] {\n\tconst seen = new Set<string>();\n\tconst unique: string[] = [];\n\tfor (const value of values) {\n\t\tconst trimmed = value.trim();\n\t\tconst normalized = normalizeTerm(trimmed);\n\t\tif (trimmed.length === 0 || seen.has(normalized)) {\n\t\t\tcontinue;\n\t\t}\n\t\tseen.add(normalized);\n\t\tunique.push(trimmed);\n\t}\n\treturn unique;\n}\n\nfunction normalizeTerm(term: string): string {\n\treturn term.toLowerCase().trim().replace(/\\s+/g, \" \");\n}\n\nfunction nonEmptyString(value: string | undefined): string | undefined {\n\tconst trimmed = value?.trim();\n\treturn trimmed ? trimmed : undefined;\n}\n\nfunction normalizeStarterIdentifier(starter: string): string {\n\tconst normalized = normalizeSlashes(starter).trim().replace(/^\\.\\//, \"\").replace(/\\/+$/g, \"\");\n\treturn normalized.length === 0 ? starter : normalized;\n}\n\nfunction normalizeSlashes(value: string): string {\n\treturn value.replace(/\\\\/g, \"/\");\n}\n\nfunction isSafeBranchPrefix(branchPrefix: string): boolean {\n\tconst normalized = normalizeSlashes(branchPrefix).trim();\n\tif (normalized.length === 0) return false;\n\tif (normalized.startsWith(\"/\") || normalized.includes(\"..\")) return false;\n\treturn !/\\s/.test(normalized);\n}\n\nfunction lastPathSegment(value: string): string {\n\tconst parts = value.split(\"/\").filter((part) => part.length > 0);\n\treturn parts.at(-1) ?? value;\n}\n"]}