open-multi-agent-kit 0.80.7 → 0.90.0

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

@@ -0,0 +1,48 @@
+import type { LoopDefinition, LoopRunOutcome, LoopState, LoopValidationDiagnostic, LoopWorkItem } from "./loop-types.ts";
+export type LoopGateAction = "allow" | "block" | "human-gate" | "escalate";
+export type LoopVerifierStatus = "pass" | "fail" | "blocked";
+export interface LoopVerifierEvidence {
+    readonly independent: boolean;
+    readonly status?: LoopVerifierStatus;
+    readonly evidenceRefs?: readonly string[];
+    readonly verifierId?: string;
+    readonly implementerId?: string;
+}
+export interface LoopHumanGateEvidence {
+    readonly approved: boolean;
+    readonly approvalRef?: string;
+}
+export interface LoopWorktreeEvidence {
+    readonly isolated: boolean;
+    readonly worktreeId?: string;
+    readonly branch?: string;
+    readonly cleanCheckout?: boolean;
+}
+export interface LoopDurableStateEvidence {
+    readonly stateRevision?: string;
+    readonly runLogRef?: string;
+    readonly budgetReservationId?: string;
+}
+export interface LoopGateEvidence {
+    readonly writeScope?: readonly string[];
+    readonly changedFiles?: readonly string[];
+    readonly evidenceRefs?: readonly string[];
+    readonly verifier?: LoopVerifierEvidence;
+    readonly humanGate?: LoopHumanGateEvidence;
+    readonly worktree?: LoopWorktreeEvidence;
+    readonly durableState?: LoopDurableStateEvidence;
+}
+export interface LoopSafetyGateResult {
+    readonly passed: boolean;
+    readonly action: LoopGateAction;
+    readonly outcome?: LoopRunOutcome;
+    readonly diagnostics: readonly LoopValidationDiagnostic[];
+}
+export interface LoopWriteScopeValidationResult {
+    readonly passed: boolean;
+    readonly diagnostics: readonly LoopValidationDiagnostic[];
+}
+export declare function evaluateLoopSafetyGates(definition: LoopDefinition, state: LoopState, item: LoopWorkItem, evidence: LoopGateEvidence): LoopSafetyGateResult;
+export declare function calculateLoopDriftScore(definition: LoopDefinition, item: LoopWorkItem): number;
+export declare function validateLoopWriteScope(definition: LoopDefinition, paths: readonly string[]): LoopWriteScopeValidationResult;
+//# sourceMappingURL=loop-gates.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"loop-gates.d.ts","sourceRoot":"","sources":["../../src/core/loop-gates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACX,cAAc,EACd,cAAc,EACd,SAAS,EACT,wBAAwB,EACxB,YAAY,EACZ,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,OAAO,GAAG,YAAY,GAAG,UAAU,CAAC;AAE3E,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;AAE7D,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,kBAAkB,CAAC;IACrC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,wBAAwB;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,oBAAoB,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,wBAAwB,CAAC;CACjD;AAED,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,8BAA8B;IAC9C,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;CAC1D;AAoBD,wBAAgB,uBAAuB,CACtC,UAAU,EAAE,cAAc,EAC1B,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE,YAAY,EAClB,QAAQ,EAAE,gBAAgB,GACxB,oBAAoB,CAwDtB;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,GAAG,MAAM,CAiB9F;AAED,wBAAgB,sBAAsB,CACrC,UAAU,EAAE,cAAc,EAC1B,KAAK,EAAE,SAAS,MAAM,EAAE,GACtB,8BAA8B,CAwChC","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-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