@telora/daemon 0.23.14 → 0.23.15

package/dist/types/index.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 258 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/types/index.ts
+// Pinned by: 261 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/types/index.ts
 // PINNED-BY-END
 /**
  * Domain-specific type re-exports.

package/dist/verify/effect-reconciliation/judge-invoker.d.ts

@@ -1,4 +1,4 @@
-import { type OneShotModelProcess } from '../../backends/claude/one-shot-model.js';
+import type { OneShotModelProcess } from '../../backends/claude/one-shot-model.js';
 import type { JudgeCheckout } from './judge-workspace.js';
 /** The tools the judge session may use at all. */
 export declare const JUDGE_TOOLS = "Read,Grep,Glob";
@@ -27,7 +27,7 @@ export declare function judgeEnv(base?: NodeJS.ProcessEnv): NodeJS.ProcessEnv;
  * which moves the fingerprint, which keeps the routine suite red until the live
  * test has proved the isolation on it.
  */
-export declare const JUDGE_PROVEN_CLAUDE_VERSION = "2.1.284";
+export declare const JUDGE_PROVEN_CLAUDE_VERSION = "2.1.289";
 /**
  * Whether a `claude --version` line names EXACTLY the proven version: its
  * leading `x.y.z` token equals JUDGE_PROVEN_CLAUDE_VERSION (`2.1.2840` is not
@@ -77,6 +77,16 @@ export declare function normalizedGuardCommand(command: string, checkout: JudgeR
 export declare function judgeIsolationFingerprint(): string;
 /** The argv a judge session appends to the one-shot argv. */
 export declare function buildJudgeArgs(workspace: JudgeReadDirs): string[];
-/** A judge invoker over the one-shot wrapper, bound at the composition root. */
-export declare function claudeJudgeInvoker(label: string, process: OneShotModelProcess, readVersion: CliVersionReader): (systemPrompt: string, userMessage: string, workspace: JudgeCheckout) => Promise<string>;
+/** One judge conversation: each ask is a turn of the same session. */
+export interface JudgeSession {
+    ask(userMessage: string): Promise<string>;
+    close(): void;
+}
+/**
+ * A judge session opener over the one-shot session (module header), bound at
+ * the composition root: the session runs in the workspace's judged tree with
+ * the judge's argv, environment, guard, turn cap and timeout. Each turn has the
+ * turn cap and the timeout to itself.
+ */
+export declare function claudeJudgeSession(label: string, process: OneShotModelProcess, readVersion: CliVersionReader): (systemPrompt: string, workspace: JudgeCheckout) => JudgeSession;
 //# sourceMappingURL=judge-invoker.d.ts.map

package/dist/verify/effect-reconciliation/judge-invoker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"judge-invoker.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/judge-invoker.ts"],"names":[],"mappings":"AA+CA,OAAO,EAAsB,KAAK,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACvG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAK1D,kDAAkD;AAClD,eAAO,MAAM,WAAW,mBAAmB,CAAC;AAC5C,gEAAgE;AAChE,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAA6B,CAAC;AAC/E,4BAA4B;AAC5B,eAAO,MAAM,eAAe,KAAK,CAAC;AAClC,2BAA2B;AAC3B,eAAO,MAAM,gBAAgB,QAAiB,CAAC;AAE/C,gFAAgF;AAChF,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;AAO7E;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAMjE;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAIlE;AAED,uGAAuG;AACvG,wBAAgB,QAAQ,CAAC,IAAI,GAAE,MAAM,CAAC,UAAwB,GAAG,MAAM,CAAC,UAAU,CAEjF;AAED;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,YAAY,CAAC;AAErD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAG9E;AAED,2FAA2F;AAC3F,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;CACjB;AAID,wFAAwF;AACxF,MAAM,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;AAE7D,sEAAsE;AACtE,eAAO,MAAM,cAAc,EAAE,gBACqH,CAAC;AAEnJ;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,GAAG,mBAAmB,CAsB7F;AAED,uCAAuC;AACvC,wBAAgB,kCAAkC,IAAI,IAAI,CAEzD;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,GAAG,MAAM,CAQvF;AAqBD;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,IAAI,MAAM,CAclD;AAED,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,EAAE,CAUjE;AAED,gFAAgF;AAChF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,gBAAgB,IAC7F,cAAc,MAAM,EAAE,aAAa,MAAM,EAAE,WAAW,aAAa,KAAG,OAAO,CAAC,MAAM,CAAC,CAapG"}
+{"version":3,"file":"judge-invoker.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/judge-invoker.ts"],"names":[],"mappings":"AAoDA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AAEnF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAK1D,kDAAkD;AAClD,eAAO,MAAM,WAAW,mBAAmB,CAAC;AAC5C,gEAAgE;AAChE,eAAO,MAAM,mBAAmB,EAAE,SAAS,MAAM,EAA6B,CAAC;AAC/E,4BAA4B;AAC5B,eAAO,MAAM,eAAe,KAAK,CAAC;AAClC,2BAA2B;AAC3B,eAAO,MAAM,gBAAgB,QAAiB,CAAC;AAE/C,gFAAgF;AAChF,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;AAO7E;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAMjE;AAED,8FAA8F;AAC9F,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAIlE;AAED,uGAAuG;AACvG,wBAAgB,QAAQ,CAAC,IAAI,GAAE,MAAM,CAAC,UAAwB,GAAG,MAAM,CAAC,UAAU,CAEjF;AAED;;;;;;GAMG;AACH,eAAO,MAAM,2BAA2B,YAAY,CAAC;AAErD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAG9E;AAED,2FAA2F;AAC3F,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC;CACjB;AAID,wFAAwF;AACxF,MAAM,MAAM,gBAAgB,GAAG,CAAC,SAAS,EAAE,MAAM,KAAK,MAAM,CAAC;AAE7D,sEAAsE;AACtE,eAAO,MAAM,cAAc,EAAE,gBACqH,CAAC;AAEnJ;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,GAAG,mBAAmB,CAsB7F;AAED,uCAAuC;AACvC,wBAAgB,kCAAkC,IAAI,IAAI,CAEzD;AAED;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,GAAG,MAAM,CAQvF;AA0BD;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,IAAI,MAAM,CAclD;AAED,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,EAAE,CAUjE;AAED,sEAAsE;AACtE,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,KAAK,IAAI,IAAI,CAAC;CACf;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,gBAAgB,IACnG,cAAc,MAAM,EAAE,WAAW,aAAa,KAAG,YAAY,CAgBtE"}

package/dist/verify/effect-reconciliation/judge-invoker.js

@@ -35,6 +35,11 @@
  *     a full session every tick (verify/outcome-routing/incurable-model-hold.ts).
  *     A timeout stays a `timeout` and is retried: a slow answer is not a
  *     property of the input.
+ *   - It is ONE conversation (backends/claude/one-shot-session.ts): user
+ *     messages arrive as stream-json lines on stdin, so a follow-up turn (the
+ *     citation correction, verify/effect-reconciliation/verify-reconciliation.ts)
+ *     is answered by the same session that gave the first answer, under the same
+ *     argv, environment and guard. It is never persisted or resumed.
  *
  * @module verify/effect-reconciliation/judge-invoker
  */
@@ -43,7 +48,7 @@ import { createHash } from 'node:crypto';
 import { readFileSync } from 'node:fs';
 import { dirname, extname, join } from 'node:path';
 import { fileURLToPath } from 'node:url';
-import { invokeOneShotModel } from '../../backends/claude/one-shot-model.js';
+import { openOneShotSession, SESSION_INPUT_ARGS } from '../../backends/claude/one-shot-session.js';
 import { createLogger } from '../../log/daemon-log.js';
 const log = createLogger({ module: 'verification' });
 /** The tools the judge session may use at all. */
@@ -87,7 +92,7 @@ export function judgeEnv(base = process.env) {
  * which moves the fingerprint, which keeps the routine suite red until the live
  * test has proved the isolation on it.
  */
-export const JUDGE_PROVEN_CLAUDE_VERSION = '2.1.284';
+export const JUDGE_PROVEN_CLAUDE_VERSION = '2.1.289';
 /**
  * Whether a `claude --version` line names EXACTLY the proven version: its
  * leading `x.y.z` token equals JUDGE_PROVEN_CLAUDE_VERSION (`2.1.2840` is not
@@ -160,8 +165,9 @@ export function normalizedGuardCommand(command, checkout) {
 /**
  * The isolation's implementation as this build runs it: the source of this
  * invoker (the argv, environment and hook command it builds), the guard, its hook
- * entry point and the export (judge-checkout.ts: how the judged tree is
- * written, and what is left out of it), without
+ * entry point, the export (judge-checkout.ts: how the judged tree is
+ * written, and what is left out of it) and the session that carries its turns
+ * (backends/claude/one-shot-session.ts), without
  * the generated PINNED-BY block (which names the tests that import a module, not
  * what it does).
  */
@@ -169,8 +175,12 @@ function isolationImplementationDigest() {
     const here = fileURLToPath(import.meta.url);
     const ext = extname(here);
     const hash = createHash('sha256');
-    for (const name of ['judge-invoker', 'judge-tool-guard', 'judge-tool-guard-cli', 'judge-checkout']) {
-        const source = readFileSync(join(dirname(here), `${name}${ext}`), 'utf8');
+    const sources = [
+        ...['judge-invoker', 'judge-tool-guard', 'judge-tool-guard-cli', 'judge-checkout'].map((name) => join(dirname(here), `${name}${ext}`)),
+        join(dirname(here), '..', '..', 'backends', 'claude', `one-shot-session${ext}`),
+    ];
+    for (const path of sources) {
+        const source = readFileSync(path, 'utf8');
         hash.update(source.replace(/^\/\/ PINNED-BY-BEGIN[\s\S]*?\/\/ PINNED-BY-END\n/m, ''));
     }
     return hash.digest('hex');
@@ -198,7 +208,7 @@ export function judgeIsolationFingerprint() {
     });
     const env = Object.entries(judgeEnv({})).sort(([a], [b]) => a.localeCompare(b));
     return createHash('sha256')
-        .update(JSON.stringify({ args, env, implementation: isolationImplementationDigest(), claude: JUDGE_PROVEN_CLAUDE_VERSION }))
+        .update(JSON.stringify({ args, input: SESSION_INPUT_ARGS, env, implementation: isolationImplementationDigest(), claude: JUDGE_PROVEN_CLAUDE_VERSION }))
         .digest('hex');
 }
 /** The argv a judge session appends to the one-shot argv. */
@@ -213,11 +223,16 @@ export function buildJudgeArgs(workspace) {
         '--settings', judgeGuardSettings(workspace),
     ];
 }
-/** A judge invoker over the one-shot wrapper, bound at the composition root. */
-export function claudeJudgeInvoker(label, process, readVersion) {
-    return async (systemPrompt, userMessage, workspace) => {
+/**
+ * A judge session opener over the one-shot session (module header), bound at
+ * the composition root: the session runs in the workspace's judged tree with
+ * the judge's argv, environment, guard, turn cap and timeout. Each turn has the
+ * turn cap and the timeout to itself.
+ */
+export function claudeJudgeSession(label, process, readVersion) {
+    return (systemPrompt, workspace) => {
         attestJudgeCli('claude', readVersion);
-        const result = await invokeOneShotModel(systemPrompt, userMessage, {
+        const session = openOneShotSession(systemPrompt, {
             label,
             ...process,
             cwd: workspace.checkoutPath,
@@ -226,7 +241,10 @@ export function claudeJudgeInvoker(label, process, readVersion) {
             timeoutMs: JUDGE_TIMEOUT_MS,
             maxTurns: JUDGE_MAX_TURNS,
         });
-        return result.text;
+        return {
+            ask: async (userMessage) => (await session.ask(userMessage)).text,
+            close: () => session.close(),
+        };
     };
 }
 //# sourceMappingURL=judge-invoker.js.map

package/dist/verify/effect-reconciliation/judge-invoker.js.map

@@ -1 +1 @@
-{"version":3,"file":"judge-invoker.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/judge-invoker.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,qFAAqF;AACrF,mFAAmF;AACnF,+EAA+E;AAC/E,kFAAkF;AAClF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,kBAAkB,EAA4B,MAAM,yCAAyC,CAAC;AAEvG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,kDAAkD;AAClD,MAAM,CAAC,MAAM,WAAW,GAAG,gBAAgB,CAAC;AAC5C,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC/E,4BAA4B;AAC5B,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAClC,2BAA2B;AAC3B,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAK/C,2CAA2C;AAC3C,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAuB;IACvD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,uBAAuB,GAAG,EAAE,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjI,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/I,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAAC,QAAuB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAC9G,CAAC,CAAC;AACL,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,QAAQ,CAAC,OAA0B,OAAO,CAAC,GAAG;IAC5D,OAAO,EAAE,GAAG,IAAI,EAAE,8BAA8B,EAAE,GAAG,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,SAAS,CAAC;AAErD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAkC;IACnE,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,KAAK,KAAK,2BAA2B,CAAC;AAC/C,CAAC;AASD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAC;AAKxD,sEAAsE;AACtE,MAAM,CAAC,MAAM,cAAc,GAAqB,CAAC,SAAS,EAAE,EAAE,CAC5D,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAEnJ;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,IAAsB;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,OAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;IACrE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACrC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,uBAAuB,SAAS,OAAO,OAAO,iDAAiD,CAAC,CAAC;IAC5G,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,uBAAuB,SAAS,OAAO,OAAO,IAAI,sBAAsB,0CAA0C;cAChH,GAAG,2BAA2B,8EAA8E;cAC5G,sGAAsG;cACtG,2CAA2C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,kCAAkC;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,QAAuB;IAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvE,IAAI,CAAC,KAAK,OAAO,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5C,IAAI,CAAC,KAAK,QAAQ,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,IAAI,CAAC,KAAK,QAAQ,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC7C,OAAO,CAAC,CAAC,OAAO,CAAC,0CAA0C,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,EAAE,IAAI,CAAC,CAAC;IAC5H,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,6BAA6B;IACpC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,CAAC,eAAe,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACnG,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,WAAW,GAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACzG,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE;QAC3D,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,WAAW;YAAE,OAAO,GAAG,KAAK,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;QAC9F,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,YAAY;YAAE,OAAO,GAAG,CAAC;QAC5C,MAAM,KAAK,GAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAA4G,CAAC,KAAK,CAAC;QAChJ,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;YACpE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;SACrH,CAAC,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;SAC3H,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,cAAc,CAAC,SAAwB;IACrD,OAAO;QACL,cAAc;QACd,SAAS,EAAE,WAAW;QACtB,iBAAiB,EAAE,GAAG,mBAAmB;QACzC,WAAW,EAAE,SAAS,CAAC,YAAY;QACnC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,qBAAqB;QACrB,YAAY,EAAE,kBAAkB,CAAC,SAAS,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,OAA4B,EAAE,WAA6B;IAC3G,OAAO,KAAK,EAAE,YAAoB,EAAE,WAAmB,EAAE,SAAwB,EAAmB,EAAE;QACpG,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,YAAY,EAAE,WAAW,EAAE;YACjE,KAAK;YACL,GAAG,OAAO;YACV,GAAG,EAAE,SAAS,CAAC,YAAY;YAC3B,GAAG,EAAE,QAAQ,EAAE;YACf,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;YACpC,SAAS,EAAE,gBAAgB;YAC3B,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"judge-invoker.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/judge-invoker.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,qFAAqF;AACrF,mFAAmF;AACnF,+EAA+E;AAC/E,kFAAkF;AAClF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,2CAA2C,CAAC;AAEnG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,kDAAkD;AAClD,MAAM,CAAC,MAAM,WAAW,GAAG,gBAAgB,CAAC;AAC5C,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAAsB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC/E,4BAA4B;AAC5B,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAClC,2BAA2B;AAC3B,MAAM,CAAC,MAAM,gBAAgB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAK/C,2CAA2C;AAC3C,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC;AAC5C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAuB;IACvD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,uBAAuB,GAAG,EAAE,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjI,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/I,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAAC,QAAuB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,KAAK,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE;KAC9G,CAAC,CAAC;AACL,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,QAAQ,CAAC,OAA0B,OAAO,CAAC,GAAG;IAC5D,OAAO,EAAE,GAAG,IAAI,EAAE,8BAA8B,EAAE,GAAG,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,SAAS,CAAC;AAErD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAkC;IACnE,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,OAAO,KAAK,KAAK,2BAA2B,CAAC;AAC/C,CAAC;AASD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,CAAC;AAKxD,sEAAsE;AACtE,MAAM,CAAC,MAAM,cAAc,GAAqB,CAAC,SAAS,EAAE,EAAE,CAC5D,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AAEnJ;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,IAAsB;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,IAAI,OAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;IACrE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACrC,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACvB,GAAG,CAAC,IAAI,CAAC,uBAAuB,SAAS,OAAO,OAAO,iDAAiD,CAAC,CAAC;IAC5G,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,uBAAuB,SAAS,OAAO,OAAO,IAAI,sBAAsB,0CAA0C;cAChH,GAAG,2BAA2B,8EAA8E;cAC5G,sGAAsG;cACtG,2CAA2C,CAC9C,CAAC;IACJ,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,kCAAkC;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CAAC,OAAe,EAAE,QAAuB;IAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC;IACxD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACvE,IAAI,CAAC,KAAK,OAAO,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC5C,IAAI,CAAC,KAAK,QAAQ,CAAC,YAAY;YAAE,OAAO,YAAY,CAAC;QACrD,IAAI,CAAC,KAAK,QAAQ,CAAC,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC7C,OAAO,CAAC,CAAC,OAAO,CAAC,0CAA0C,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,uCAAuC,EAAE,IAAI,CAAC,CAAC;IAC5H,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,6BAA6B;IACpC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG;QACd,GAAG,CAAC,eAAe,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,GAAG,GAAG,EAAE,CAAC,CAAC;QACtI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,mBAAmB,GAAG,EAAE,CAAC;KAChF,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,oDAAoD,EAAE,EAAE,CAAC,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,WAAW,GAAkB,EAAE,YAAY,EAAE,iBAAiB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACzG,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE;QAC3D,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,WAAW;YAAE,OAAO,GAAG,KAAK,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;QAC9F,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,YAAY;YAAE,OAAO,GAAG,CAAC;QAC5C,MAAM,KAAK,GAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAA4G,CAAC,KAAK,CAAC;QAChJ,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;YACpE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;SACrH,CAAC,CAAC,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,cAAc,EAAE,6BAA6B,EAAE,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;SACtJ,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,cAAc,CAAC,SAAwB;IACrD,OAAO;QACL,cAAc;QACd,SAAS,EAAE,WAAW;QACtB,iBAAiB,EAAE,GAAG,mBAAmB;QACzC,WAAW,EAAE,SAAS,CAAC,YAAY;QACnC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,qBAAqB;QACrB,YAAY,EAAE,kBAAkB,CAAC,SAAS,CAAC;KAC5C,CAAC;AACJ,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,OAA4B,EAAE,WAA6B;IAC3G,OAAO,CAAC,YAAoB,EAAE,SAAwB,EAAgB,EAAE;QACtE,cAAc,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,kBAAkB,CAAC,YAAY,EAAE;YAC/C,KAAK;YACL,GAAG,OAAO;YACV,GAAG,EAAE,SAAS,CAAC,YAAY;YAC3B,GAAG,EAAE,QAAQ,EAAE;YACf,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC;YACpC,SAAS,EAAE,gBAAgB;YAC3B,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,OAAO;YACL,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI;YACjE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE;SAC7B,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC"}

package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts

@@ -1,9 +1,16 @@
 import { type JudgeCheckout, type JudgeCitationResolver, type JudgeScope } from './judge-workspace.js';
+import type { UnresolvedEvidenceRef } from '../shortfalls/ruling-evidence-resolution.js';
+/** One judge conversation: each ask is the next turn of the same session; close ends it. */
+export interface JudgeSession {
+    ask(userMessage: string): Promise<string>;
+    close(): void;
+}
 /**
- * Invoke the judge: a bounded, read-only session in the workspace's pinned
- * checkout (bound at the composition root). Resolves with its final answer.
+ * Open a judge session: bounded, read-only, in the workspace's pinned checkout
+ * (bound at the composition root, verify/effect-reconciliation/judge-invoker.ts
+ * claudeJudgeSession).
  */
-export type JudgeInvoker = (systemPrompt: string, userMessage: string, workspace: JudgeCheckout) => Promise<string>;
+export type JudgeSessionOpener = (systemPrompt: string, workspace: JudgeCheckout) => JudgeSession;
 /** How the achieved effect compares to the declared desired effect. */
 export type VerifyClassification = 'match' | 'legitimate_divergence' | 'shortfall';
 /** Cited worktree evidence the achieved desired effect is derived from. */
@@ -105,14 +112,20 @@ export declare function judgeEvidenceIsEmpty(ev: VerifyEvidence): boolean;
 export declare function citationReferencesEvidence(citation: string, ev: VerifyEvidence): boolean;
 /** Parse the model's JSON judgment. Tolerates code fences / surrounding prose. */
 export declare function parseReconcileJson(raw: string): ReconcileJudgment | null;
+/**
+ * The correction turn's user message: each unresolved citation with the
+ * resolver's reason. Sent as the next turn of the SAME session, which already
+ * holds the question and its own first answer (module header). Pure.
+ */
+export declare function buildCitationCorrectionMessage(sha: string, unresolved: readonly UnresolvedEvidenceRef[]): string;
 /**
  * Reconcile the declared desired effect against the delivered code.
  *
- * One bounded judge session in the pinned checkout. Throws ModelUnavailable when
+ * One bounded judge session (at most one correction turn within it) in the pinned checkout. Throws ModelUnavailable when
  * the judge cannot run (no pinned checkout, or the session itself could not) or
  * its verdict cannot be vouched for (unresolved citations); throws a plain Error
  * on an unparseable answer. The verify caller never flips an injection it could
  * not reconcile.
  */
-export declare function reconcileAchievedEffect(inputs: ReconcileInputs, invokeJudge: JudgeInvoker, resolveCitations: JudgeCitationResolver): Promise<ReconcileJudgment>;
+export declare function reconcileAchievedEffect(inputs: ReconcileInputs, openJudge: JudgeSessionOpener, resolveCitations: JudgeCitationResolver): Promise<ReconcileJudgment>;
 //# sourceMappingURL=verify-reconciliation.d.ts.map

package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAgDA,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAG1H;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAGpH,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,qHAAqH;IACrH,qBAAqB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;IACzB,yEAAyE;IACzE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,0IAA0I;IAC1I,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,eAAO,MAAM,uBAAuB,okIA2B0O,CAAC;AAE/Q,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAkBD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAoBzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CA2DxE;AAwBD;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,WAAW,EAAE,YAAY,EACzB,gBAAgB,EAAE,qBAAqB,GACtC,OAAO,CAAC,iBAAiB,CAAC,CAyC5B"}
+{"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AA8DA,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAE1H,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AAKzF,4FAA4F;AAC5F,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,KAAK,IAAI,IAAI,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,KAAK,YAAY,CAAC;AAGlG,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,qHAAqH;IACrH,qBAAqB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;IACzB,yEAAyE;IACzE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,0IAA0I;IAC1I,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,eAAO,MAAM,uBAAuB,okIA2B0O,CAAC;AAE/Q,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAkBD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAoBzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CA2DxE;AA+BD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,qBAAqB,EAAE,GAAG,MAAM,CAShH;AA2BD;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,kBAAkB,EAC7B,gBAAgB,EAAE,qBAAqB,GACtC,OAAO,CAAC,iBAAiB,CAAC,CA8C5B"}

package/dist/verify/effect-reconciliation/verify-reconciliation.js

@@ -41,11 +41,27 @@
  * With no pinned checkout the judge is not called at all (held, never handed the
  * diff instead).
  *
+ * THE CORRECTION TURN. Before such a verdict is held, the judge is told what did
+ * not resolve and answers once more, IN THE SAME SESSION: the judge is a
+ * conversation (JudgeSession; verify/effect-reconciliation/judge-invoker.ts over
+ * backends/claude/one-shot-session.ts), and the follow-up is its next turn,
+ * listing each unresolved citation with the resolver's reason (e.g. "matches 2
+ * line(s) at <sha>, not the cited 1"). The judge still holds everything it read
+ * and answered. A corrected verdict whose citations all resolve is recorded like
+ * any first answer; one still unresolved -- or a correction that does not parse
+ * -- is held as unresolved_citations exactly as before. At most ONE correction
+ * turn per judgement, and one session per judgement; a first answer that
+ * resolves costs no extra turn. The exact-count rule is unchanged: a cited count
+ * is a claim and must be true -- the judge is only given the chance to make it
+ * true.
+ *
  * @module verify-reconciliation
  */
 import { ModelUnavailable } from '../../backends/claude/one-shot-model.js';
 import { citationShapeGaps } from './judge-workspace.js';
 import { boundedChangedFiles, boundedDiffStat, boundedText, FREE_TEXT_MAX_CHARS, oversizedStatement } from './judge-question.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
 export const RECONCILE_SYSTEM_PROMPT = `You reconcile a software delivery's DECLARED desired effect against what the delivered code actually accomplishes, for a Goldratt reality-tree flip.
 
 You are working in a read-only export of the tree of the commit being judged (your working directory), with an export of the BASE tree -- the state before the delivery's change -- beside it when there is one. Both are plain files: there is no git and no shell. You will NOT be given the diff. You are given:
@@ -247,34 +263,69 @@ export function parseReconcileJson(raw) {
     }
     return judgment;
 }
+/** What in a verdict's citations does not resolve at the judged commit, or is missing (no concrete citation, no grep: check). */
+async function unresolvedCitations(judgment, workspace, resolveCitations) {
+    const citations = judgment.citations ?? [];
+    return [...await resolveCitations(workspace, citations), ...citationShapeGaps(citations)];
+}
 /**
- * Hold a verdict that cannot be vouched for: its citations do not resolve at the
- * judged commit, or it cites no grep: check. Throws
- * ModelUnavailable 'unresolved_citations' -- held as unjudged, never recorded as
- * met or as a shortfall.
+ * The hold for a verdict that cannot be vouched for: ModelUnavailable
+ * 'unresolved_citations' -- held as unjudged, never recorded as met or as a
+ * shortfall. `after` names what the correction turn did.
  */
-async function requireResolvingCitations(judgment, workspace, resolveCitations) {
-    const citations = judgment.citations ?? [];
-    const unresolved = [...await resolveCitations(workspace, citations), ...citationShapeGaps(citations)];
-    if (unresolved.length === 0)
-        return;
-    throw new ModelUnavailable({
+function unresolvedCitationsHold(judgment, workspace, unresolved, after) {
+    return new ModelUnavailable({
         kind: 'unresolved_citations',
         label: 'verify-reconciliation',
         detail: `the ${judgment.classification} verdict is held as unjudged -- its citations do not resolve at `
-            + `${workspace.sha.slice(0, 12)}: ${unresolved.map((u) => `${u.ref} (${u.reason})`).join('; ')}`,
+            + `${workspace.sha.slice(0, 12)}: ${unresolved.map((u) => `${u.ref} (${u.reason})`).join('; ')} (${after})`,
     });
 }
+/**
+ * The correction turn's user message: each unresolved citation with the
+ * resolver's reason. Sent as the next turn of the SAME session, which already
+ * holds the question and its own first answer (module header). Pure.
+ */
+export function buildCitationCorrectionMessage(sha, unresolved) {
+    return [
+        `The daemon checked your citations at ${sha.slice(0, 12)} and these do not resolve:\n`
+            + unresolved.map((u) => `- ${u.ref}: ${u.reason}`).join('\n'),
+        'Re-check each of them in the judged tree (count a grep: check with the Grep tool, output_mode "count", summed over files) and '
+            + 'correct or replace it so that it resolves. Keep the verdict only if what you observe supports it; if it does not, change it. '
+            + 'Every verdict must still cite at least one concrete file, line or test and at least one grep: check. '
+            + 'Respond with the complete corrected JSON object only.',
+    ].join('\n\n');
+}
+/**
+ * The verdict, its citations all resolving: the first answer when they do,
+ * otherwise the ONE correction turn's answer (module header). Throws the
+ * unresolved_citations hold when the correction still does not resolve or does
+ * not parse.
+ */
+async function withCorrectionTurn(first, workspace, session, resolveCitations) {
+    const unresolved = await unresolvedCitations(first, workspace, resolveCitations);
+    if (unresolved.length === 0)
+        return first;
+    log.info(`[verification] verify-reconciliation: ${unresolved.length} citation(s) do not resolve at ${workspace.sha.slice(0, 12)} `
+        + '-- the judge gets its one correction turn, in the same session, before the verdict is held');
+    const corrected = parseReconcileJson(await session.ask(buildCitationCorrectionMessage(workspace.sha, unresolved)));
+    if (!corrected)
+        throw unresolvedCitationsHold(first, workspace, unresolved, 'its correction turn returned no parseable verdict');
+    const still = await unresolvedCitations(corrected, workspace, resolveCitations);
+    if (still.length > 0)
+        throw unresolvedCitationsHold(corrected, workspace, still, 'still unresolved after its correction turn');
+    return corrected;
+}
 /**
  * Reconcile the declared desired effect against the delivered code.
  *
- * One bounded judge session in the pinned checkout. Throws ModelUnavailable when
+ * One bounded judge session (at most one correction turn within it) in the pinned checkout. Throws ModelUnavailable when
  * the judge cannot run (no pinned checkout, or the session itself could not) or
  * its verdict cannot be vouched for (unresolved citations); throws a plain Error
  * on an unparseable answer. The verify caller never flips an injection it could
  * not reconcile.
  */
-export async function reconcileAchievedEffect(inputs, invokeJudge, resolveCitations) {
+export async function reconcileAchievedEffect(inputs, openJudge, resolveCitations) {
     const workspace = inputs.evidence.workspace;
     if (!workspace) {
         throw new ModelUnavailable({
@@ -292,12 +343,18 @@ export async function reconcileAchievedEffect(inputs, invokeJudge, resolveCitati
             detail: `the ${oversized.name} is ${oversized.chars} characters, over the ${oversized.budgetChars} a judge is handed whole -- it is never cut, so it is not judged`,
         });
     }
-    const raw = await invokeJudge(buildReconcileSystemPrompt(), buildReconcileUserMessage(inputs), workspace);
-    const judgment = parseReconcileJson(raw);
-    if (!judgment) {
-        throw new Error('verify-reconciliation produced no parseable judgment');
+    const session = openJudge(buildReconcileSystemPrompt(), workspace);
+    let judgment;
+    try {
+        const first = parseReconcileJson(await session.ask(buildReconcileUserMessage(inputs)));
+        if (!first) {
+            throw new Error('verify-reconciliation produced no parseable judgment');
+        }
+        judgment = await withCorrectionTurn(first, workspace, session, resolveCitations);
+    }
+    finally {
+        session.close();
     }
-    await requireResolvingCitations(judgment, workspace, resolveCitations);
     // Keep diffCitation only when it names a real changed file (absence is an absent field, never prose).
     if (judgment.classification === 'shortfall' &&
         judgment.diffCitation &&

package/dist/verify/effect-reconciliation/verify-reconciliation.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AA4EjI,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,yBAAyB,CACtC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,IAAI,gBAAgB,CAAC;QACzB,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACnG,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,WAAyB,EACzB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,0BAA0B,EAAE,EAAE,yBAAyB,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1G,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACvE,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEjI,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAmFrD,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iIAAiI;AACjI,KAAK,UAAU,mBAAmB,CAChC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,QAA2B,EAC3B,SAAwB,EACxB,UAA4C,EAC5C,KAAa;IAEb,OAAO,IAAI,gBAAgB,CAAC;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG;KAC9G,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAW,EAAE,UAA4C;IACtG,OAAO;QACL,wCAAwC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B;cAClF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,gIAAgI;cAC5H,+HAA+H;cAC/H,uGAAuG;cACvG,uDAAuD;KAC5D,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAC/B,KAAwB,EACxB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,CAAC,MAAM,kCAAkC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACvH,4FAA4F,CAC/F,CAAC;IACF,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnH,IAAI,CAAC,SAAS;QAAE,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,mDAAmD,CAAC,CAAC;IACjI,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC/H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,SAA6B,EAC7B,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,0BAA0B,EAAE,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,QAA2B,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IACD,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/verify/effect-reconciliation/verify-restatement.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
+// Pinned by: 26 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
 // PINNED-BY-END
 /**
  * Verify-time desired-effect reconciliation.

package/dist/verify/engine/verification-deps.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 31 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
+// Pinned by: 32 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
 // PINNED-BY-END
 export {};
 //# sourceMappingURL=verification-deps.js.map

package/dist/verify/engine/verification-engine.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 28 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
+// Pinned by: 29 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
 // PINNED-BY-END
 /**
  * Pluggable verification engine -- Differential Focus Spec.

package/dist/verify/gate-config/verification-config.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/gate-config/verification-config.ts
+// Pinned by: 26 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/gate-config/verification-config.ts
 // PINNED-BY-END
 import { loadEnvConfig, productLabel } from '@telora/daemon-core';
 import { resolveVerificationCarriage } from '../../config/config.js';

package/dist/verify/inspection-strategies/verification-strategies.js

@@ -136,7 +136,7 @@ async function inspectPinned(deps, inputs, workspace, preRuled, readInput) {
     const unresolved = inspection.verdict === 'inconclusive' ? []
         : [...await workspace.resolveCitations(citations), ...citationShapeGaps(citations)];
     if (unresolved.length > 0)
-        return awaitingModel(unresolvedCitationsHold(inspection, workspace.sha, unresolved), inputs.deliveryDiff);
+        return awaitingModel(await withJudgedInput(unresolvedCitationsHold(inspection, workspace.sha, unresolved), readInput), inputs.deliveryDiff);
     const outcome = inspection.verdict === 'passed' ? 'passed'
         : inspection.verdict === 'failed' ? 'failed'
             : 'pending';

package/dist/verify/inspection-strategies/verification-strategies.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,0FAA0F;AAC1F,qFAAqF;AACrF,gBAAgB;AAoChB,OAAO,EAAE,6BAA6B,EAAyB,MAAM,2BAA2B,CAAC;AAIjG,OAAO,EAAE,iBAAiB,EAAuB,MAAM,6CAA6C,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,qBAAqB,EAAwB,MAAM,oCAAoC,CAAC;AAChJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAErF,OAAO,EACL,eAAe,EAAE,6BAA6B,EAAE,4BAA4B,EAAE,eAAe,GAC9F,MAAM,4CAA4C,CAAC;AAEpD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,6DAA6D;AAC7D,SAAS,cAAc,CAAC,UAA4B;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IACvD,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,IAAI,SAAS;QACpD,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,UAAU,CAAC,SAAS;QAC7B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,UAA4B,EAAE,GAAW,EAAE,UAA4C;IACtH,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,mEAAmE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;cACrH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAA4B,EAAE,YAAgC;IACnF,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,IAAI;QACtB,oBAAoB,EAAE,IAAI;QAC1B,SAAS,EAAE,gCAAgC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE;QACxE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,mGAAmG;IACnG,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,IAAqB,EAAE,CAAC,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY;QACnC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gGAAgG,EAAE,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAC1E,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxE,IAAI,mBAAmB,CAAC,MAAM,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBAC1G,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ;aACtD,CAAC;QACJ,CAAC;QACD,2GAA2G;QAC3G,MAAM,MAAM,GAAuB;YACjC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAsB,EAAE,SAAS,CAAC,KAAK,CAAC;YACnF,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClH,CAAC;QACF,6GAA6G;QAC7G,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACtG,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,sBAAsB,CAAC,CAAsB,EAAE,IAAsB;IAClF,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW;IAC9D,OAAO,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACnG,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC;AACrF,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,aAAa,CAC1B,IAAsB,EACtB,MAA0B,EAC1B,SAAyB,EACzB,QAAyB,EACzB,SAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;QAC5C,GAAG,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChH,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE;QAC3D,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACrI,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjI,CAAC"}
+{"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../../src/verify/inspection-strategies/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,0FAA0F;AAC1F,qFAAqF;AACrF,gBAAgB;AAoChB,OAAO,EAAE,6BAA6B,EAAyB,MAAM,2BAA2B,CAAC;AAIjG,OAAO,EAAE,iBAAiB,EAAuB,MAAM,6CAA6C,CAAC;AACrG,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,qBAAqB,EAAwB,MAAM,oCAAoC,CAAC;AAChJ,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AAErF,OAAO,EACL,eAAe,EAAE,6BAA6B,EAAE,4BAA4B,EAAE,eAAe,GAC9F,MAAM,4CAA4C,CAAC;AAEpD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,6DAA6D;AAC7D,SAAS,cAAc,CAAC,UAA4B;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,gBAAgB,EAAE,SAAS,IAAI,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,UAAU,CAAC,gBAAgB,EAAE,QAAQ,CAAC;IACvD,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,UAAU,CAAC,gBAAgB,EAAE,IAAI,IAAI,SAAS;QACpD,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,UAAU,CAAC,SAAS;QAC7B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,SAAS,uBAAuB,CAAC,UAA4B,EAAE,GAAW,EAAE,UAA4C;IACtH,OAAO;QACL,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChC,IAAI,EAAE,sBAAsB;QAC5B,OAAO,EAAE,IAAI;QACb,KAAK,EAAE,eAAe;QACtB,OAAO,EAAE,OAAO,UAAU,CAAC,OAAO,mEAAmE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI;cACrH,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,SAAS,aAAa,CAAC,IAA4B,EAAE,YAAgC;IACnF,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,gBAAgB,EAAE,IAAI;QACtB,oBAAoB,EAAE,IAAI;QAC1B,SAAS,EAAE,gCAAgC,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,OAAO,EAAE;QACxE,GAAG,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,mGAAmG;IACnG,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,KAAK,IAAqB,EAAE,CAAC,QAAQ,CAAC;IAC3D,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IACxE,IAAI,QAAQ;QAAE,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY;QACnC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC;QACrG,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gGAAgG,EAAE,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,oBAAoB,EAC1E,sBAAsB,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxE,IAAI,mBAAmB,CAAC,MAAM,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACtF,OAAO;gBACL,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY;gBAC1G,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,QAAQ;aACtD,CAAC;QACJ,CAAC;QACD,2GAA2G;QAC3G,MAAM,MAAM,GAAuB;YACjC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAsB,EAAE,SAAS,CAAC,KAAK,CAAC;YACnF,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClH,CAAC;QACF,6GAA6G;QAC7G,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,QAAQ,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;QACtG,OAAO,EAAE,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;IAC/G,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,OAAO,EAAE,CAAC;IACtB,CAAC;AACH,CAAC;AAED,uGAAuG;AACvG,KAAK,UAAU,sBAAsB,CAAC,CAAsB,EAAE,IAAsB;IAClF,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,gBAAgB,CAAC,QAAyB,EAAE,GAAW;IAC9D,OAAO,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACnG,IAAI,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qCAAqC,CAAC;AACrF,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,aAAa,CAC1B,IAAsB,EACtB,MAA0B,EAC1B,SAAyB,EACzB,QAAyB,EACzB,SAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;QAC5C,GAAG,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC;KAChH,CAAC,CAAC;IACH,IAAI,UAAU,CAAC,gBAAgB;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACzI,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,IAAI,EAAE,CAAC;IAC7C,MAAM,UAAU,GAAG,UAAU,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE;QAC3D,CAAC,CAAC,CAAC,GAAG,MAAM,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,aAAa,CAAC,MAAM,eAAe,CAAC,uBAAuB,CAAC,UAAU,EAAE,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;IACvK,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,SAAS,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC;AACjI,CAAC"}

package/dist/verify/outcome-routing/incurable-model-hold.d.ts

@@ -30,9 +30,15 @@ export type JudgedInputReader = () => Promise<ModelUnavailableJudgedAgainst | nu
  */
 export declare const UNREAD_JUDGED_INPUT: ModelUnavailableJudgedAgainst;
 /**
- * The hold, carrying the input it was judged against when retrying cannot cure
- * it (UNREAD_JUDGED_INPUT when that input could not be read). The input is read
- * only for such a kind. Never throws.
+ * Whether a hold of this kind records the input it was judged against: every
+ * kind but a rate limit, which the provider window bounds and which says
+ * nothing about the input. Pure.
+ */
+export declare function recordsJudgedInput(kind: ModelUnavailableDetail['kind']): boolean;
+/**
+ * The hold, carrying the input it was judged against when its kind records one
+ * (recordsJudgedInput; UNREAD_JUDGED_INPUT when that input could not be read).
+ * A rate limit reads no input. Never throws.
  */
 export declare function withJudgedInput(hold: ModelUnavailableDetail, readInput: JudgedInputReader): Promise<ModelUnavailableDetail>;
 /**

package/dist/verify/outcome-routing/incurable-model-hold.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"incurable-model-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAiCA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,uDAAuD,CAAC;AACnI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEtF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAMjF,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;CAC5H;AAED,0HAA0H;AAC1H,MAAM,MAAM,oBAAoB,GAAG,MAAM,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAEhE,mGAAmG;AACnG,wBAAsB,eAAe,CACnC,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,CAAC,GACxD,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAW/C;AAED,4FAA4F;AAC5F,wBAAsB,6BAA6B,CACjD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,GAAG,sBAAsB,CAAC,GACjF,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAS/C;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,sBAAsB,GAAG,IAAI,GAAG,SAAS,EAChD,OAAO,EAAE,6BAA6B,GAAG,IAAI,GAC5C,sBAAsB,GAAG,IAAI,CAS/B;AAaD,uFAAuF;AACvF,MAAM,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAAC;AAEpF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,6BAA+G,CAAC;AAElJ;;;;GAIG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAGjI;AAED;;;;GAIG;AACH,wBAAsB,4BAA4B,CAChD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,GACtD,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAsBxC"}
+{"version":3,"file":"incurable-model-hold.d.ts","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAsCA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,uDAAuD,CAAC;AACnI,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAEtF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAMjF,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;CAC5H;AAED,0HAA0H;AAC1H,MAAM,MAAM,oBAAoB,GAAG,MAAM,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAEhE,mGAAmG;AACnG,wBAAsB,eAAe,CACnC,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,CAAC,GACxD,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAW/C;AAED,4FAA4F;AAC5F,wBAAsB,6BAA6B,CACjD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,YAAY,EAAE,oBAAoB,EAClC,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,0BAA0B,GAAG,sBAAsB,CAAC,GACjF,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAS/C;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,sBAAsB,GAAG,IAAI,GAAG,SAAS,EAChD,OAAO,EAAE,6BAA6B,GAAG,IAAI,GAC5C,sBAAsB,GAAG,IAAI,CAS/B;AAaD,uFAAuF;AACvF,MAAM,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,6BAA6B,GAAG,IAAI,CAAC,CAAC;AAEpF;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,6BAA+G,CAAC;AAElJ;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GAAG,OAAO,CAEhF;AAED;;;;GAIG;AACH,wBAAsB,eAAe,CAAC,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE,iBAAiB,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAGjI;AAED;;;;GAIG;AACH,wBAAsB,4BAA4B,CAChD,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,iBAAiB,EAC5B,IAAI,EAAE,IAAI,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,GACtD,OAAO,CAAC,sBAAsB,GAAG,IAAI,CAAC,CAsBxC"}

package/dist/verify/outcome-routing/incurable-model-hold.js

@@ -1,5 +1,6 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts
+// Pinned by: packages/daemon/src/verify/outcome-routing/incurable-model-hold.test.ts,
+//   packages/daemon/src/verify/outcome-routing/repeating-model-hold.test.ts
 // PINNED-BY-END
 /**
  * A model failure retrying cannot cure waits for NEW INPUT, not for the model.
@@ -26,6 +27,10 @@
  * that recorded no input, a curable kind, or an unreadable gate_state (no hold
  * is known to stand) judge as before.
  *
+ * A curable hold records its input too (every kind but a rate limit,
+ * recordsJudgedInput): it is never re-held on it, but it is what a re-forming
+ * hold is counted against (verify/outcome-routing/repeating-model-hold.ts).
+ *
  * @module verify/outcome-routing/incurable-model-hold
  */
 import { retryCannotCure } from '../../backends/claude/one-shot-model.js';
@@ -96,12 +101,20 @@ function judgedInputChanged(recorded, current) {
  */
 export const UNREAD_JUDGED_INPUT = { commitSet: '(unread)', rulingsFingerprint: '(unread)', question: '(unread)' };
 /**
- * The hold, carrying the input it was judged against when retrying cannot cure
- * it (UNREAD_JUDGED_INPUT when that input could not be read). The input is read
- * only for such a kind. Never throws.
+ * Whether a hold of this kind records the input it was judged against: every
+ * kind but a rate limit, which the provider window bounds and which says
+ * nothing about the input. Pure.
+ */
+export function recordsJudgedInput(kind) {
+    return kind !== 'rate_limit';
+}
+/**
+ * The hold, carrying the input it was judged against when its kind records one
+ * (recordsJudgedInput; UNREAD_JUDGED_INPUT when that input could not be read).
+ * A rate limit reads no input. Never throws.
  */
 export async function withJudgedInput(hold, readInput) {
-    if (!retryCannotCure(hold.kind))
+    if (!recordsJudgedInput(hold.kind))
         return hold;
     return { ...hold, judgedAgainst: (await readInput()) ?? UNREAD_JUDGED_INPUT };
 }

package/dist/verify/outcome-routing/incurable-model-hold.js.map

@@ -1 +1 @@
-{"version":3,"file":"incurable-model-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAI1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAYrD,mGAAmG;AACnG,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,CAAsB,EACtB,SAAwB,EACxB,kBAAiC,EACjC,YAAkC,EAClC,IAAyD;IAEzD,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,YAAY,EAAE,CAAC;QACtC,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;IAC3G,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,2DAA2D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrI,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,CAAsB,EACtB,SAAwB,EACxB,YAAkC,EAClC,IAAkF;IAElF,IAAI,WAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,sDAAsD,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChI,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgD,EAChD,OAA6C;IAE7C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,sBAAsB,EAAE;QAChD,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,aAAa,EAAE,QAAQ,KAAK,SAAS;QACrC,iBAAiB,EAAE,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;KACvG,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,QAAuC,EAAE,OAAsC;IACzG,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACxH,OAAO,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;AAChD,CAAC;AAKD;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAElJ;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAA4B,EAAE,SAA4B;IAC9F,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7C,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,MAAM,SAAS,EAAE,CAAC,IAAI,mBAAmB,EAAE,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAsB,EACtB,SAA4B,EAC5B,IAAuD;IAEvD,IAAI,MAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,0DAA0D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACpI,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,SAAS,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,kCAAkC,OAAO,CAAC,SAAS,cAAc,OAAO,CAAC,kBAAkB,eAAe,OAAO,CAAC,QAAQ,IAAI,cAAc,GAAG;YACjJ,CAAC,CAAC,iEAAiE,CAAC;QACtE,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,UAAU,QAAQ,CAAC,IAAI,mBAAmB,KAAK,GAAG;cAC5G,gHAAgH,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"incurable-model-hold.js","sourceRoot":"","sources":["../../../src/verify/outcome-routing/incurable-model-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sFAAsF;AACtF,4EAA4E;AAC5E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAI1E,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAEvE,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAYrD,mGAAmG;AACnG,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,CAAsB,EACtB,SAAwB,EACxB,kBAAiC,EACjC,YAAkC,EAClC,IAAyD;IAEzD,IAAI,kBAAkB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC7C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,YAAY,EAAE,CAAC;QACtC,OAAO,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,EAAE,kBAAkB,EAAE,QAAQ,EAAE,CAAC;IAC3G,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,2DAA2D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrI,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,CAAsB,EACtB,SAAwB,EACxB,YAAkC,EAClC,IAAkF;IAElF,IAAI,WAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC5E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,sDAAsD,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChI,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAgD,EAChD,OAA6C;IAE7C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,YAAY,CAAC,sBAAsB,EAAE;QAChD,aAAa,EAAE,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,aAAa,EAAE,QAAQ,KAAK,SAAS;QACrC,iBAAiB,EAAE,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,IAAI,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC;KACvG,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,QAAuC,EAAE,OAAsC;IACzG,IAAI,QAAQ,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC,kBAAkB,KAAK,OAAO,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACxH,OAAO,QAAQ,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;AAChD,CAAC;AAKD;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkC,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAElJ;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAoC;IACrE,OAAO,IAAI,KAAK,YAAY,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAA4B,EAAE,SAA4B;IAC9F,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,EAAE,GAAG,IAAI,EAAE,aAAa,EAAE,CAAC,MAAM,SAAS,EAAE,CAAC,IAAI,mBAAmB,EAAE,CAAC;AAChF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAsB,EACtB,SAA4B,EAC5B,IAAuD;IAEvD,IAAI,MAAiC,CAAC;IACtC,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,UAAU,0DAA0D,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACpI,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,EAAE,SAAS,EAAE,gBAAgB,CAAC;IAClD,IAAI,CAAC,KAAK,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,OAAO,GAAG,MAAM,SAAS,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACvD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,OAAO;YACnB,CAAC,CAAC,kCAAkC,OAAO,CAAC,SAAS,cAAc,OAAO,CAAC,kBAAkB,eAAe,OAAO,CAAC,QAAQ,IAAI,cAAc,GAAG;YACjJ,CAAC,CAAC,iEAAiE,CAAC;QACtE,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,UAAU,QAAQ,CAAC,IAAI,mBAAmB,KAAK,GAAG;cAC5G,gHAAgH,CACnH,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}