@qduc/term2 0.33.0 → 0.34.0

package/dist/services/completion-verification/contracts.js

@@ -0,0 +1,84 @@
+import { z } from 'zod';
+export const POLICY_VERSION = 'adaptive-verification-v1';
+const text = z.string().trim().min(1).max(16_384);
+export const proposalSchema = z
+    .object({
+    taskId: text,
+    goal: text,
+    criteria: z.string().max(16_384),
+    revision: text,
+    environment: text,
+    files: z.array(z.string().min(1).max(4096)).max(512),
+    classification: z.enum(['documentation', 'code', 'unknown']),
+    evidence: text,
+    // Only a host-owned checker may supply this identifier; never a model command.
+    quickCheck: z.enum(['diff_whitespace']).optional(),
+})
+    .strict();
+export const ACTIONS = ['skip', 'quick_check', 'independent_verify'];
+export const decisionSchema = z
+    .object({
+    action: z.enum(ACTIONS),
+    policyVersion: z.literal(POLICY_VERSION),
+    reason: text,
+    confidence: z.number().finite().min(0).max(1).optional(),
+    model: z.string().optional(),
+    recommendedAction: z.enum(ACTIONS).optional(),
+    auditedSkip: z.boolean().optional(),
+    costUsdMicros: z.number().finite().nonnegative().optional(),
+})
+    .strict();
+export const reportSchema = z
+    .object({
+    outcome: z.enum(['PASS', 'FAIL', 'INCONCLUSIVE', 'ERROR', 'TIMEOUT']),
+    evidence: text,
+    checked: z.array(text).min(1).max(64),
+    limitations: z.array(text).max(64),
+    verifierVersion: text,
+    attemptId: text,
+    revision: text,
+    costUsdMicros: z.number().finite().nonnegative().optional(),
+})
+    .strict();
+export const budgetsSchema = z
+    .object({
+    maxRepairs: z.number().int().min(0).max(10),
+    maxGateAttempts: z.number().int().positive().max(20),
+    maxVerifications: z.number().int().positive().max(20),
+    taskTimeoutMs: z.number().int().positive(),
+    operationTimeoutMs: z.number().int().positive(),
+    gateTimeoutMs: z.number().int().positive(),
+})
+    .strict();
+export const DEFAULT_BUDGETS = {
+    maxRepairs: 3,
+    maxGateAttempts: 4,
+    maxVerifications: 4,
+    taskTimeoutMs: 30 * 60_000,
+    operationTimeoutMs: 120_000,
+    gateTimeoutMs: 10_000,
+};
+export const recordSchema = z.object({
+    taskId: text,
+    contract: text,
+    revision: text,
+    state: z.enum(['VERIFICATION_PENDING', 'REPAIR_REQUIRED', 'COMPLETED', 'BLOCKED', 'ESCALATED']),
+    generation: z.number().int().nonnegative(),
+    attemptId: text,
+    owner: text,
+    epoch: text,
+    createdAt: z.number().finite(),
+    updatedAt: z.number().finite(),
+    gateLatencyMs: z.number().finite().nonnegative().optional(),
+    verificationLatencyMs: z.number().finite().nonnegative().optional(),
+    deadline: z.number().finite(),
+    operationDeadline: z.number().finite(),
+    repairs: z.number().int().nonnegative(),
+    gates: z.number().int().nonnegative(),
+    verifications: z.number().int().nonnegative(),
+    budgets: budgetsSchema,
+    decision: decisionSchema.optional(),
+    report: reportSchema.optional(),
+    reason: text,
+});
+//# sourceMappingURL=contracts.js.map

package/dist/services/completion-verification/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../../source/services/completion-verification/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,cAAc,GAAG,0BAA0B,CAAC;AACzD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI;IACV,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,IAAI;IACd,WAAW,EAAE,IAAI;IACjB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACpD,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5D,QAAQ,EAAE,IAAI;IACd,+EAA+E;IAC/E,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,EAAE;CACnD,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,oBAAoB,CAAU,CAAC;AAC9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;IACvB,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;IACxC,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxD,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE;IAC7C,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACnC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC5D,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACrE,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACrC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAClC,eAAe,EAAE,IAAI;IACrB,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI;IACd,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC5D,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAC3C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACpD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACrD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC/C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,eAAe,GAAwB;IAClD,UAAU,EAAE,CAAC;IACb,eAAe,EAAE,CAAC;IAClB,gBAAgB,EAAE,CAAC;IACnB,aAAa,EAAE,EAAE,GAAG,MAAM;IAC1B,kBAAkB,EAAE,OAAO;IAC3B,aAAa,EAAE,MAAM;CACtB,CAAC;AACF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,QAAQ,EAAE,IAAI;IACd,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,sBAAsB,EAAE,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/F,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC1C,SAAS,EAAE,IAAI;IACf,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC9B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC9B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IAC3D,qBAAqB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACnE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC7B,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACvC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IACrC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC7C,OAAO,EAAE,aAAa;IACtB,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE;IACnC,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,MAAM,EAAE,IAAI;CACb,CAAC,CAAC"}

package/dist/services/completion-verification/gate.d.ts

@@ -0,0 +1,9 @@
+import type { DecisionClient } from '../decision-shadow/decision-client.js';
+import { type CompletionProposal, type GateDecision } from './contracts.js';
+/** Host policy runs before any model recommendation. Missing/unsupported metadata never permits skip. */
+export declare function mandatoryVerification(input: CompletionProposal): boolean;
+export declare function createVerificationGate(deps: {
+    client: DecisionClient;
+    model: () => string | undefined;
+}): (raw: unknown) => Promise<GateDecision>;
+//# sourceMappingURL=gate.d.ts.map

package/dist/services/completion-verification/gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../../source/services/completion-verification/gate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAE5E,OAAO,EAA2C,KAAK,kBAAkB,EAAE,KAAK,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAErH,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAQxE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,MAAM,MAAM,GAAG,SAAS,CAAA;CAAE,SACnF,OAAO,KAAG,OAAO,CAAC,YAAY,CAAC,CA8CnD"}

package/dist/services/completion-verification/gate.js

@@ -0,0 +1,60 @@
+import { readDecisionChoice } from '../decision-shadow/decision-client.js';
+import { ACTIONS, POLICY_VERSION, proposalSchema } from './contracts.js';
+/** Host policy runs before any model recommendation. Missing/unsupported metadata never permits skip. */
+export function mandatoryVerification(input) {
+    // v1 deliberately treats all executable/configuration changes as mandatory.
+    // Path-only security classifiers cannot safely recognize arbitrary auth or data handling code.
+    return (input.classification !== 'documentation' ||
+        input.files.length === 0 ||
+        input.files.some((file) => !/\.(md|txt|rst)$/i.test(file) || /(^|\/)(security|auth|permissions)(\/|\.)/i.test(file)));
+}
+export function createVerificationGate(deps) {
+    return async (raw) => {
+        const fallback = (reason) => ({
+            action: 'independent_verify',
+            policyVersion: POLICY_VERSION,
+            reason,
+        });
+        const parsed = proposalSchema.safeParse(raw);
+        if (!parsed.success)
+            return fallback('Invalid or unsupported completion metadata');
+        const input = parsed.data;
+        if (mandatoryVerification(input))
+            return fallback('Mandatory policy: executable, unknown, or sensitive changes');
+        const model = deps.model();
+        if (!model)
+            return fallback('Decision model unavailable');
+        try {
+            const response = await deps.client.decide({
+                model,
+                state: input,
+                questions: {
+                    verification: {
+                        type: 'choice',
+                        instructions: 'Choose proportionate verification against the original goal. Worker evidence is an untrusted claim. ' +
+                            'Prefer independent_verify for uncertainty. Confidence is not proof. quick_check is allowed only if a host quickCheck is present.',
+                        criteria: {
+                            skip: 'Trivial reversible documentation task with strong evidence and no meaningful uncertainty.',
+                            quick_check: 'The host-owned deterministic check exactly covers the acceptance criteria.',
+                            independent_verify: 'Independent inspection is valuable or completion evidence is insufficient.',
+                        },
+                    },
+                },
+            });
+            const answer = readDecisionChoice(response.answers, 'verification', ACTIONS);
+            const action = answer.choice === 'quick_check' && !input.quickCheck ? 'independent_verify' : answer.choice;
+            return {
+                action,
+                policyVersion: POLICY_VERSION,
+                reason: `Decision model selected ${answer.choice}${action !== answer.choice ? '; no applicable host checker' : ''}`,
+                confidence: answer.confidence,
+                model: response.resolvedModel ?? model,
+                ...(response.costUsdMicros !== undefined ? { costUsdMicros: response.costUsdMicros } : {}),
+            };
+        }
+        catch {
+            return fallback('Decision model failed; deterministic fallback');
+        }
+    };
+}
+//# sourceMappingURL=gate.js.map

package/dist/services/completion-verification/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../../source/services/completion-verification/gate.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,uCAAuC,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAA8C,MAAM,gBAAgB,CAAC;AAErH,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CAAC,KAAyB;IAC7D,4EAA4E;IAC5E,+FAA+F;IAC/F,OAAO,CACL,KAAK,CAAC,cAAc,KAAK,eAAe;QACxC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACxB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,2CAA2C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CACrH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAiE;IACtG,OAAO,KAAK,EAAE,GAAY,EAAyB,EAAE;QACnD,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAgB,EAAE,CAAC,CAAC;YAClD,MAAM,EAAE,oBAAoB;YAC5B,aAAa,EAAE,cAAc;YAC7B,MAAM;SACP,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,QAAQ,CAAC,4CAA4C,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;QAC1B,IAAI,qBAAqB,CAAC,KAAK,CAAC;YAAE,OAAO,QAAQ,CAAC,6DAA6D,CAAC,CAAC;QACjH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO,QAAQ,CAAC,4BAA4B,CAAC,CAAC;QAC1D,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACxC,KAAK;gBACL,KAAK,EAAE,KAAK;gBACZ,SAAS,EAAE;oBACT,YAAY,EAAE;wBACZ,IAAI,EAAE,QAAQ;wBACd,YAAY,EACV,sGAAsG;4BACtG,kIAAkI;wBACpI,QAAQ,EAAE;4BACR,IAAI,EAAE,2FAA2F;4BACjG,WAAW,EAAE,4EAA4E;4BACzF,kBAAkB,EAAE,4EAA4E;yBACjG;qBACF;iBACF;aACF,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;YAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YAC3G,OAAO;gBACL,MAAM;gBACN,aAAa,EAAE,cAAc;gBAC7B,MAAM,EAAE,2BAA2B,MAAM,CAAC,MAAM,GAC9C,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,EAC9D,EAAE;gBACF,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,KAAK,EAAE,QAAQ,CAAC,aAAa,IAAI,KAAK;gBACtC,GAAG,CAAC,QAAQ,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3F,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,QAAQ,CAAC,+CAA+C,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/services/completion-verification/goal-stop-policy.d.ts

@@ -0,0 +1,10 @@
+import type { ProviderInputItem } from '../../contracts/provider-input.js';
+import type { DurableGoal } from '../logging/conversation-log-events.js';
+import type { ApplicationAgent, NormalStopDecision } from '../agent-runtime/application-run-loop.js';
+import type { CompletionVerdict } from './contracts.js';
+export declare function createVerifiedGoalStopPolicy(deps: {
+    getGoal(): DurableGoal | undefined;
+    onGoalAchieved?: (goal: DurableGoal) => void;
+    verify(goal: DurableGoal, history: readonly ProviderInputItem[], signal?: AbortSignal): Promise<CompletionVerdict>;
+}): (history: readonly ProviderInputItem[], agent: Pick<ApplicationAgent, 'tools'>, signal?: AbortSignal) => Promise<NormalStopDecision>;
+//# sourceMappingURL=goal-stop-policy.d.ts.map

package/dist/services/completion-verification/goal-stop-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-stop-policy.d.ts","sourceRoot":"","sources":["../../../source/services/completion-verification/goal-stop-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AACzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,0CAA0C,CAAC;AAErG,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAExD,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IACjD,OAAO,IAAI,WAAW,GAAG,SAAS,CAAC;IACnC,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,WAAW,KAAK,IAAI,CAAC;IAC7C,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,iBAAiB,EAAE,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;CACpH,aAGY,SAAS,iBAAiB,EAAE,SAC9B,IAAI,CAAC,gBAAgB,EAAE,OAAO,CAAC,WAC7B,WAAW,KACnB,OAAO,CAAC,kBAAkB,CAAC,CAgD/B"}

package/dist/services/completion-verification/goal-stop-policy.js

@@ -0,0 +1,53 @@
+import { createGoalStopPolicy, decideGoalStop } from '../conversation/durable-goal-stop-check.js';
+export function createVerifiedGoalStopPolicy(deps) {
+    const ordinary = createGoalStopPolicy(deps.getGoal, deps.onGoalAchieved);
+    return async (history, agent, signal) => {
+        const goal = deps.getGoal();
+        if (!agent.tools.some((tool) => tool.name === 'goal_check') ||
+            decideGoalStop(goal, history).reason !== 'achieved' ||
+            !goal) {
+            return ordinary(history, agent);
+        }
+        const blocked = (reason) => ({
+            action: 'stop',
+            terminalCause: 'completion_verification_blocked',
+            notice: `Completion verification blocked: ${reason}. The durable goal remains active.`,
+            diagnostics: { guard: 'completion_verification', outcome: 'blocked', reason },
+        });
+        try {
+            const verdict = await deps.verify({ ...goal }, history, signal);
+            const current = deps.getGoal();
+            if (signal?.aborted || JSON.stringify(current) !== JSON.stringify(goal)) {
+                return blocked('Goal changed or task cancelled during verification');
+            }
+            if (verdict.action === 'blocked')
+                return blocked(verdict.reason);
+            if (verdict.action === 'repair')
+                return {
+                    action: 'continue',
+                    repairDeadline: verdict.record.deadline,
+                    reminder: 'Independent verification found a reproducible failure. Repair the problem, verify the outcome, and call goal_check again. ' +
+                        'Existing user permissions still apply. Prior observation (reproduce against the current state): ' +
+                        verdict.record.report?.evidence.slice(0, 8000),
+                    diagnostics: { guard: 'completion_verification', outcome: 'repair', attemptId: verdict.record.attemptId },
+                };
+            if (!deps.onGoalAchieved)
+                return blocked('No authoritative goal persistence callback');
+            deps.onGoalAchieved({ ...goal, status: 'achieved' });
+            return {
+                action: 'stop',
+                diagnostics: {
+                    guard: 'completion_verification',
+                    outcome: 'complete',
+                    method: verdict.record.decision?.action,
+                    attemptId: verdict.record.attemptId,
+                    policyVersion: verdict.record.decision?.policyVersion,
+                },
+            };
+        }
+        catch {
+            return blocked('Verification or goal persistence failed');
+        }
+    };
+}
+//# sourceMappingURL=goal-stop-policy.js.map

package/dist/services/completion-verification/goal-stop-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"goal-stop-policy.js","sourceRoot":"","sources":["../../../source/services/completion-verification/goal-stop-policy.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,4CAA4C,CAAC;AAGlG,MAAM,UAAU,4BAA4B,CAAC,IAI5C;IACC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IACzE,OAAO,KAAK,EACV,OAAqC,EACrC,KAAsC,EACtC,MAAoB,EACS,EAAE;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC;YACvD,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,UAAU;YACnD,CAAC,IAAI,EACL,CAAC;YACD,OAAO,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAsB,EAAE,CAAC,CAAC;YACvD,MAAM,EAAE,MAAM;YACd,aAAa,EAAE,iCAAiC;YAChD,MAAM,EAAE,oCAAoC,MAAM,oCAAoC;YACtF,WAAW,EAAE,EAAE,KAAK,EAAE,yBAAyB,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE;SAC9E,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YAChE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC/B,IAAI,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,OAAO,OAAO,CAAC,oDAAoD,CAAC,CAAC;YACvE,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;gBAC7B,OAAO;oBACL,MAAM,EAAE,UAAU;oBAClB,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ;oBACvC,QAAQ,EACN,4HAA4H;wBAC5H,kGAAkG;wBAClG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;oBAChD,WAAW,EAAE,EAAE,KAAK,EAAE,yBAAyB,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE;iBAC1G,CAAC;YACJ,IAAI,CAAC,IAAI,CAAC,cAAc;gBAAE,OAAO,OAAO,CAAC,4CAA4C,CAAC,CAAC;YACvF,IAAI,CAAC,cAAc,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YACrD,OAAO;gBACL,MAAM,EAAE,MAAM;gBACd,WAAW,EAAE;oBACX,KAAK,EAAE,yBAAyB;oBAChC,OAAO,EAAE,UAAU;oBACnB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM;oBACvC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;oBACnC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa;iBACtD;aACF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,yCAAyC,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC,CAAC;AACJ,CAAC"}

package/dist/services/completion-verification/orchestrator.d.ts

@@ -0,0 +1,26 @@
+import { type CompletionProposal, type CompletionVerdict, type VerificationBudgets, type VerificationRecord, type VerificationRequest } from './contracts.js';
+import { VerificationStore } from './store.js';
+export interface VerificationOperations {
+    gate(proposal: CompletionProposal, signal: AbortSignal): Promise<unknown>;
+    verify(request: VerificationRequest, signal: AbortSignal): Promise<unknown>;
+    quickCheck(proposal: CompletionProposal, request: VerificationRequest, signal: AbortSignal): Promise<unknown>;
+    currentRevision(): Promise<string>;
+    observe?(record: VerificationRecord): void;
+    alert?(message: string): void;
+}
+export declare class CompletionVerificationOrchestrator {
+    #private;
+    private store;
+    private operations;
+    constructor(store: VerificationStore, operations: VerificationOperations, budgets?: {
+        maxRepairs: number;
+        maxGateAttempts: number;
+        maxVerifications: number;
+        taskTimeoutMs: number;
+        operationTimeoutMs: number;
+        gateTimeoutMs: number;
+    });
+    configureNewTaskBudgets(budgets: VerificationBudgets): void;
+    propose(raw: unknown, signal?: AbortSignal): Promise<CompletionVerdict>;
+}
+//# sourceMappingURL=orchestrator.d.ts.map

package/dist/services/completion-verification/orchestrator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../../source/services/completion-verification/orchestrator.ts"],"names":[],"mappings":"AACA,OAAO,EAOL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EAEtB,KAAK,mBAAmB,EACxB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACzB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,MAAM,WAAW,sBAAsB;IACrC,IAAI,CAAC,QAAQ,EAAE,kBAAkB,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,CAAC,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5E,UAAU,CAAC,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,mBAAmB,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9G,eAAe,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IACnC,OAAO,CAAC,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC3C,KAAK,CAAC,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B;AAoCD,qBAAa,kCAAkC;;IAKjC,OAAO,CAAC,KAAK;IAAqB,OAAO,CAAC,UAAU;IAAhE,YAAoB,KAAK,EAAE,iBAAiB,EAAU,UAAU,EAAE,sBAAsB,EAAE,OAAO;;;;;;;KAAkB,EAElH;IAED,uBAAuB,CAAC,OAAO,EAAE,mBAAmB,GAAG,IAAI,CAE1D;IAED,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAgBtE;CA4OF"}

package/dist/services/completion-verification/orchestrator.js

@@ -0,0 +1,275 @@
+import { createHash, randomUUID } from 'node:crypto';
+import { DEFAULT_BUDGETS, POLICY_VERSION, budgetsSchema, decisionSchema, proposalSchema, reportSchema, } from './contracts.js';
+import { mandatoryVerification } from './gate.js';
+/** A deadline races even a broken adapter that ignores cancellation; late results have no write capability. */
+async function bounded(operation, milliseconds, signal) {
+    const controller = new AbortController();
+    let timer;
+    let onAbort;
+    try {
+        return await Promise.race([
+            new Promise((_resolve, reject) => {
+                onAbort = () => {
+                    controller.abort();
+                    reject(new Error('Verification cancelled'));
+                };
+                signal?.addEventListener('abort', onAbort, { once: true });
+                timer = setTimeout(() => {
+                    controller.abort();
+                    reject(new Error('Verification deadline exceeded'));
+                }, milliseconds);
+                if (signal?.aborted)
+                    onAbort();
+            }),
+            Promise.resolve().then(() => {
+                if (controller.signal.aborted)
+                    throw new Error('Verification cancelled');
+                return operation(controller.signal);
+            }),
+        ]);
+    }
+    finally {
+        if (timer)
+            clearTimeout(timer);
+        if (onAbort)
+            signal?.removeEventListener('abort', onAbort);
+    }
+}
+export class CompletionVerificationOrchestrator {
+    store;
+    operations;
+    #owner = randomUUID();
+    #active = new Map();
+    #budgets;
+    constructor(store, operations, budgets = DEFAULT_BUDGETS) {
+        this.store = store;
+        this.operations = operations;
+        this.#budgets = budgetsSchema.parse(budgets);
+    }
+    configureNewTaskBudgets(budgets) {
+        this.#budgets = budgetsSchema.parse(budgets);
+    }
+    propose(raw, signal) {
+        const parsed = proposalSchema.safeParse(raw);
+        if (!parsed.success)
+            return Promise.resolve({ action: 'blocked', reason: 'Invalid completion proposal' });
+        const proposal = parsed.data;
+        // Duplicates in one owner share dispatch. Conflicting proposals never share a result.
+        const key = JSON.stringify(proposal);
+        const active = this.#active.get(key);
+        if (active)
+            return active;
+        const result = this.#run(proposal, signal)
+            .catch(() => {
+            this.#alert('Completion verification persistence or adapter failure');
+            return { action: 'blocked', reason: 'Completion verification failed; completion is not authorized' };
+        })
+            .finally(() => this.#active.delete(key));
+        this.#active.set(key, result);
+        return result;
+    }
+    #alert(message) {
+        try {
+            this.operations.alert?.(message);
+        }
+        catch {
+            /* Alerts cannot authorize completion. */
+        }
+    }
+    #persist(next, previous) {
+        if (!this.store.write(next, previous?.generation))
+            throw new Error('Stale verification transition');
+        try {
+            this.operations.observe?.(next);
+        }
+        catch {
+            this.#alert('Completion verification observability failed');
+        }
+        return next;
+    }
+    #settle(previous, update) {
+        return this.#persist({ ...previous, ...update, updatedAt: Date.now(), generation: previous.generation + 1 }, previous);
+    }
+    #blocked(previous, reason) {
+        const record = this.#settle(previous, { state: 'BLOCKED', reason });
+        return { action: 'blocked', reason, record };
+    }
+    async #revisionMatches(record, deadline, signal) {
+        if (signal?.aborted || Date.now() >= deadline)
+            return false;
+        try {
+            const revision = await bounded(() => this.operations.currentRevision(), Math.max(1, Math.min(10_000, deadline - Date.now())), signal);
+            return revision === record.revision && !signal?.aborted && Date.now() < deadline;
+        }
+        catch {
+            return false;
+        }
+    }
+    async #run(proposal, signal) {
+        const contract = createHash('sha256')
+            .update(JSON.stringify([proposal.goal, proposal.criteria, proposal.environment]))
+            .digest('hex');
+        const prior = this.store.read(proposal.taskId);
+        if (prior &&
+            (prior.contract !== contract ||
+                prior.state === 'COMPLETED' ||
+                prior.state === 'BLOCKED' ||
+                prior.state === 'ESCALATED')) {
+            if (prior.state === 'COMPLETED' &&
+                prior.contract === contract &&
+                prior.revision === proposal.revision &&
+                (await this.#revisionMatches(prior, Date.now() + 10_000, signal))) {
+                return { action: 'complete', record: prior };
+            }
+            return {
+                action: 'blocked',
+                reason: 'Task contract changed or task is terminal; explicit administrative recovery required',
+                record: prior,
+            };
+        }
+        if (prior?.state === 'VERIFICATION_PENDING') {
+            // Never redispatch an uncertain in-flight operation after restart. The lease remains authoritative.
+            if (prior.operationDeadline <= Date.now() || prior.owner !== this.#owner) {
+                return this.#blocked(prior, 'Unsettled verification after restart or lease expiration');
+            }
+            return { action: 'blocked', reason: 'Another completion attempt is pending', record: prior };
+        }
+        if (prior) {
+            if (prior.revision === proposal.revision)
+                return this.#blocked(prior, 'Repair made no repository progress');
+            if (prior.deadline <= Date.now() || prior.gates >= prior.budgets.maxGateAttempts) {
+                return this.#blocked(prior, 'Task deadline or gate budget exhausted');
+            }
+        }
+        const now = Date.now();
+        let record = this.#persist({
+            taskId: proposal.taskId,
+            contract,
+            revision: proposal.revision,
+            state: 'VERIFICATION_PENDING',
+            generation: prior ? prior.generation + 1 : 0,
+            owner: this.#owner,
+            attemptId: randomUUID(),
+            epoch: prior?.epoch ?? randomUUID(),
+            createdAt: prior?.createdAt ?? now,
+            updatedAt: now,
+            deadline: prior?.deadline ?? now + this.#budgets.taskTimeoutMs,
+            operationDeadline: Math.min(prior?.deadline ?? Infinity, now + (prior?.budgets.gateTimeoutMs ?? this.#budgets.gateTimeoutMs)),
+            repairs: prior?.repairs ?? 0,
+            gates: (prior?.gates ?? 0) + 1,
+            verifications: prior?.verifications ?? 0,
+            budgets: prior?.budgets ?? this.#budgets,
+            ...(prior?.report ? { report: prior.report } : {}),
+            reason: 'Completion proposed; gate dispatch reserved',
+        }, prior);
+        const gateStarted = performance.now();
+        let decision;
+        try {
+            decision = decisionSchema.parse(await bounded((operationSignal) => this.operations.gate(proposal, operationSignal), Math.max(1, record.operationDeadline - Date.now()), signal));
+        }
+        catch {
+            decision = {
+                action: 'independent_verify',
+                policyVersion: POLICY_VERSION,
+                reason: 'Gate failure; deterministic fallback',
+            };
+        }
+        if (signal?.aborted)
+            return this.#blocked(record, 'Verification cancelled');
+        decision = { ...decision, recommendedAction: decision.action };
+        if (mandatoryVerification(proposal))
+            decision = {
+                ...decision,
+                action: 'independent_verify',
+                reason: 'Mandatory verification policy override',
+            };
+        if (decision.action === 'quick_check' && !proposal.quickCheck)
+            decision = {
+                ...decision,
+                action: 'independent_verify',
+                reason: 'No applicable host-owned deterministic checker',
+            };
+        // Deterministic 5% skip audit; selected tasks are verified before completion.
+        if (decision.action === 'skip' &&
+            parseInt(createHash('sha256').update(proposal.taskId).digest('hex').slice(0, 8), 16) % 20 === 0) {
+            decision = { ...decision, action: 'independent_verify', auditedSkip: true, reason: 'Sampled skip audit' };
+        }
+        if (Date.now() >= record.deadline)
+            return this.#blocked(record, 'Task deadline exhausted');
+        record = this.#settle(record, {
+            decision,
+            gateLatencyMs: performance.now() - gateStarted,
+            reason: decision.reason,
+        });
+        if (decision.action === 'skip') {
+            record = this.#settle(record, { operationDeadline: Math.min(record.deadline, Date.now() + 10_000) });
+            if (!(await this.#revisionMatches(record, record.operationDeadline, signal))) {
+                return this.#blocked(record, 'Task changed or cancelled before completion');
+            }
+            record = this.#settle(record, {
+                state: 'COMPLETED',
+                reason: 'Policy-authorized completion without additional verification',
+            });
+            return { action: 'complete', record };
+        }
+        if (record.verifications >= record.budgets.maxVerifications)
+            return this.#blocked(record, 'Verification budget exhausted');
+        record = this.#settle(record, {
+            attemptId: randomUUID(),
+            verifications: record.verifications + 1,
+            operationDeadline: Math.min(record.deadline, Date.now() + record.budgets.operationTimeoutMs),
+            reason: 'Verification dispatch reserved',
+        });
+        // Deliberately exclude worker evidence, history, and subjective confidence.
+        const request = {
+            goal: proposal.goal,
+            criteria: proposal.criteria,
+            environment: proposal.environment,
+            revision: proposal.revision,
+            attemptId: record.attemptId,
+        };
+        const verificationStarted = performance.now();
+        let report;
+        try {
+            report = reportSchema.parse(await bounded((operationSignal) => decision.action === 'quick_check'
+                ? this.operations.quickCheck(proposal, request, operationSignal)
+                : this.operations.verify(request, operationSignal), Math.max(1, record.operationDeadline - Date.now()), signal));
+        }
+        catch {
+            record = this.#settle(record, { verificationLatencyMs: performance.now() - verificationStarted });
+            return this.#blocked(record, 'Verifier timeout, error, cancellation, or malformed result');
+        }
+        if (report.attemptId !== record.attemptId ||
+            report.revision !== proposal.revision ||
+            signal?.aborted ||
+            Date.now() >= record.operationDeadline ||
+            !(await this.#revisionMatches(record, Math.min(record.deadline, record.operationDeadline), signal))) {
+            return this.#blocked(record, 'Stale, late, conflicting, or cancelled verification result');
+        }
+        const previousReport = record.report;
+        record = this.#settle(record, {
+            report,
+            verificationLatencyMs: performance.now() - verificationStarted,
+            reason: `Verification outcome: ${report.outcome}`,
+        });
+        if (report.outcome === 'PASS') {
+            if (signal?.aborted || Date.now() >= Math.min(record.deadline, record.operationDeadline)) {
+                return this.#blocked(record, 'Deadline or cancellation reached before completion');
+            }
+            record = this.#settle(record, { state: 'COMPLETED', reason: `Completed through ${decision.action}` });
+            return { action: 'complete', record };
+        }
+        if (report.outcome !== 'FAIL')
+            return this.#blocked(record, `Verification ${report.outcome}; completion not established`);
+        if (record.repairs >= record.budgets.maxRepairs ||
+            record.verifications >= record.budgets.maxVerifications ||
+            Date.now() >= record.deadline ||
+            previousReport?.evidence === report.evidence) {
+            return this.#blocked(record, 'Repair budget, deadline, or repeated-failure limit reached');
+        }
+        // Consume the repair before returning its dispatch instruction. A crash never refunds it.
+        record = this.#settle(record, { state: 'REPAIR_REQUIRED', repairs: record.repairs + 1, reason: 'Repair reserved' });
+        return { action: 'repair', record };
+    }
+}
+//# sourceMappingURL=orchestrator.js.map

package/dist/services/completion-verification/orchestrator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../../source/services/completion-verification/orchestrator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EACL,eAAe,EACf,cAAc,EACd,aAAa,EACb,cAAc,EACd,cAAc,EACd,YAAY,GAOb,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAYlD,+GAA+G;AAC/G,KAAK,UAAU,OAAO,CACpB,SAA8C,EAC9C,YAAoB,EACpB,MAAoB;IAEpB,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;IACzC,IAAI,KAAgD,CAAC;IACrD,IAAI,OAAiC,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC;YACxB,IAAI,OAAO,CAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE;gBACtC,OAAO,GAAG,GAAG,EAAE;oBACb,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,CAAC,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC,CAAC;gBAC9C,CAAC,CAAC;gBACF,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC3D,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;oBACtB,UAAU,CAAC,KAAK,EAAE,CAAC;oBACnB,MAAM,CAAC,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC,CAAC;gBACtD,CAAC,EAAE,YAAY,CAAC,CAAC;gBACjB,IAAI,MAAM,EAAE,OAAO;oBAAE,OAAO,EAAE,CAAC;YACjC,CAAC,CAAC;YACF,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;gBAC1B,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO;oBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;gBACzE,OAAO,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,IAAI,KAAK;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,OAAO;YAAE,MAAM,EAAE,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,OAAO,kCAAkC;IAKzB,KAAK;IAA6B,UAAU;IAJhE,MAAM,GAAG,UAAU,EAAE,CAAC;IACtB,OAAO,GAAG,IAAI,GAAG,EAAsC,CAAC;IACxD,QAAQ,CAAsB;IAE9B,YAAoB,KAAwB,EAAU,UAAkC,EAAE,OAAO,GAAG,eAAe;qBAA/F,KAAK;0BAA6B,UAAU;QAC9D,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,uBAAuB,CAAC,OAA4B;QAClD,IAAI,CAAC,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,GAAY,EAAE,MAAoB;QACxC,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,6BAA6B,EAAE,CAAC,CAAC;QAC1G,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;QAC7B,sFAAsF;QACtF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;aACvC,KAAK,CAAC,GAAG,EAAE;YACV,IAAI,CAAC,MAAM,CAAC,wDAAwD,CAAC,CAAC;YACtE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,8DAA8D,EAAW,CAAC;QAChH,CAAC,CAAC;aACD,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,CAAC,OAAe;QACpB,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC;QAAC,MAAM,CAAC;YACP,yCAAyC;QAC3C,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAwB,EAAE,QAA6B;QAC9D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QACpG,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,MAAM,CAAC,8CAA8C,CAAC,CAAC;QAC9D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,QAA4B,EAAE,MAAmC;QACvE,OAAO,IAAI,CAAC,QAAQ,CAClB,EAAE,GAAG,QAAQ,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,EACtF,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,QAAQ,CAAC,QAA4B,EAAE,MAAc;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACpE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,MAA0B,EAAE,QAAgB,EAAE,MAAoB;QACvF,IAAI,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5D,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,OAAO,CAC5B,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,EACvC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EACpD,MAAM,CACP,CAAC;YACF,OAAO,QAAQ,KAAK,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC;QACnF,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,QAA4B,EAAE,MAAoB;QAC3D,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;aAClC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;aAChF,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/C,IACE,KAAK;YACL,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ;gBAC1B,KAAK,CAAC,KAAK,KAAK,WAAW;gBAC3B,KAAK,CAAC,KAAK,KAAK,SAAS;gBACzB,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,EAC9B,CAAC;YACD,IACE,KAAK,CAAC,KAAK,KAAK,WAAW;gBAC3B,KAAK,CAAC,QAAQ,KAAK,QAAQ;gBAC3B,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;gBACpC,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,EAAE,MAAM,CAAC,CAAC,EACjE,CAAC;gBACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;YAC/C,CAAC;YACD,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,sFAAsF;gBAC9F,MAAM,EAAE,KAAK;aACd,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,EAAE,KAAK,KAAK,sBAAsB,EAAE,CAAC;YAC5C,oGAAoG;YACpG,IAAI,KAAK,CAAC,iBAAiB,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACzE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,0DAA0D,CAAC,CAAC;YAC1F,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,uCAAuC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC/F,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;gBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC,CAAC;YAC5G,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;gBACjF,OAAO,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,wCAAwC,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,MAAM,GAAG,IAAI,CAAC,QAAQ,CACxB;YACE,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,QAAQ;YACR,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,KAAK,EAAE,sBAAsB;YAC7B,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,KAAK,EAAE,IAAI,CAAC,MAAM;YAClB,SAAS,EAAE,UAAU,EAAE;YACvB,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,UAAU,EAAE;YACnC,SAAS,EAAE,KAAK,EAAE,SAAS,IAAI,GAAG;YAClC,SAAS,EAAE,GAAG;YACd,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa;YAC9D,iBAAiB,EAAE,IAAI,CAAC,GAAG,CACzB,KAAK,EAAE,QAAQ,IAAI,QAAQ,EAC3B,GAAG,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CACpE;YACD,OAAO,EAAE,KAAK,EAAE,OAAO,IAAI,CAAC;YAC5B,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC;YAC9B,aAAa,EAAE,KAAK,EAAE,aAAa,IAAI,CAAC;YACxC,OAAO,EAAE,KAAK,EAAE,OAAO,IAAI,IAAI,CAAC,QAAQ;YACxC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,6CAA6C;SACtD,EACD,KAAK,CACN,CAAC;QACF,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QACtC,IAAI,QAAsB,CAAC;QAC3B,IAAI,CAAC;YACH,QAAQ,GAAG,cAAc,CAAC,KAAK,CAC7B,MAAM,OAAO,CACX,CAAC,eAAe,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,EACpE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,EAClD,MAAM,CACP,CACF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,GAAG;gBACT,MAAM,EAAE,oBAAoB;gBAC5B,aAAa,EAAE,cAAc;gBAC7B,MAAM,EAAE,sCAAsC;aAC/C,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,EAAE,OAAO;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;QAC5E,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,iBAAiB,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,IAAI,qBAAqB,CAAC,QAAQ,CAAC;YACjC,QAAQ,GAAG;gBACT,GAAG,QAAQ;gBACX,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,wCAAwC;aACjD,CAAC;QACJ,IAAI,QAAQ,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,QAAQ,CAAC,UAAU;YAC3D,QAAQ,GAAG;gBACT,GAAG,QAAQ;gBACX,MAAM,EAAE,oBAAoB;gBAC5B,MAAM,EAAE,gDAAgD;aACzD,CAAC;QACJ,8EAA8E;QAC9E,IACE,QAAQ,CAAC,MAAM,KAAK,MAAM;YAC1B,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,EAC/F,CAAC;YACD,QAAQ,GAAG,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,oBAAoB,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;QAC5G,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;QAC3F,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAC5B,QAAQ;YACR,aAAa,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,WAAW;YAC9C,MAAM,EAAE,QAAQ,CAAC,MAAM;SACxB,CAAC,CAAC;QACH,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,iBAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;YACrG,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;gBAC7E,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,6CAA6C,CAAC,CAAC;YAC9E,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;gBAC5B,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,8DAA8D;aACvE,CAAC,CAAC;YACH,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QACxC,CAAC;QACD,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB;YACzD,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;QAChE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAC5B,SAAS,EAAE,UAAU,EAAE;YACvB,aAAa,EAAE,MAAM,CAAC,aAAa,GAAG,CAAC;YACvC,iBAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;YAC5F,MAAM,EAAE,gCAAgC;SACzC,CAAC,CAAC;QACH,4EAA4E;QAC5E,MAAM,OAAO,GAAwB;YACnC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;SAC5B,CAAC;QACF,MAAM,mBAAmB,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC;QACX,IAAI,CAAC;YACH,MAAM,GAAG,YAAY,CAAC,KAAK,CACzB,MAAM,OAAO,CACX,CAAC,eAAe,EAAE,EAAE,CAClB,QAAQ,CAAC,MAAM,KAAK,aAAa;gBAC/B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,CAAC;gBAChE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC,EACtD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,EAClD,MAAM,CACP,CACF,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,qBAAqB,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,mBAAmB,EAAE,CAAC,CAAC;YAClG,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,4DAA4D,CAAC,CAAC;QAC7F,CAAC;QACD,IACE,MAAM,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YACrC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;YACrC,MAAM,EAAE,OAAO;YACf,IAAI,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,iBAAiB;YACtC,CAAC,CAAC,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC,EACnG,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,4DAA4D,CAAC,CAAC;QAC7F,CAAC;QACD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;QACrC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAC5B,MAAM;YACN,qBAAqB,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,mBAAmB;YAC9D,MAAM,EAAE,yBAAyB,MAAM,CAAC,OAAO,EAAE;SAClD,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;YAC9B,IAAI,MAAM,EAAE,OAAO,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACzF,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,oDAAoD,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,qBAAqB,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtG,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QACxC,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,KAAK,MAAM;YAC3B,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,MAAM,CAAC,OAAO,8BAA8B,CAAC,CAAC;QAC7F,IACE,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU;YAC3C,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB;YACvD,IAAI,CAAC,GAAG,EAAE,IAAI,MAAM,CAAC,QAAQ;YAC7B,cAAc,EAAE,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAC5C,CAAC;YACD,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,4DAA4D,CAAC,CAAC;QAC7F,CAAC;QACD,0FAA0F;QAC1F,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,GAAG,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACpH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACtC,CAAC;CACF"}

package/dist/services/completion-verification/root-boundary.d.ts

@@ -0,0 +1,21 @@
+import type { ProviderInputItem } from '../../contracts/provider-input.js';
+import type { DurableGoal } from '../logging/conversation-log-events.js';
+import type { ILoggingService, ISettingsService } from '../service-interfaces.js';
+import type { ExecutionContext } from '../execution-context.js';
+import type { ApplicationRunLoopDeps } from '../agent-runtime/application-run-loop.js';
+import { type CompletionVerdict } from './contracts.js';
+/** Root durable-goal adapter. The generic orchestrator has no dependency on conversational state. */
+export declare class RootCompletionBoundary {
+    #private;
+    private deps;
+    constructor(deps: {
+        settings: ISettingsService;
+        logger: ILoggingService;
+        executionContext?: ExecutionContext;
+        resolveModel: ApplicationRunLoopDeps['resolveModel'];
+        model(): string;
+    });
+    verify(goal: DurableGoal, history: readonly ProviderInputItem[], signal?: AbortSignal): Promise<CompletionVerdict>;
+    dispose(): void;
+}
+//# sourceMappingURL=root-boundary.d.ts.map

package/dist/services/completion-verification/root-boundary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"root-boundary.d.ts","sourceRoot":"","sources":["../../../source/services/completion-verification/root-boundary.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uCAAuC,CAAC;AACzE,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAClF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAEvF,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAOzE,qGAAqG;AACrG,qBAAa,sBAAsB;;IAI/B,OAAO,CAAC,IAAI;IADd,YACU,IAAI,EAAE;QACZ,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,MAAM,EAAE,eAAe,CAAC;QACxB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;QACpC,YAAY,EAAE,sBAAsB,CAAC,cAAc,CAAC,CAAC;QACrD,KAAK,IAAI,MAAM,CAAC;KACjB,EACC;IAqBE,MAAM,CACV,IAAI,EAAE,WAAW,EACjB,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,MAAM,CAAC,EAAE,WAAW,GACnB,OAAO,CAAC,iBAAiB,CAAC,CAiG5B;IAED,OAAO,IAAI,IAAI,CAEd;CACF"}