@telora/daemon 0.23.14 → 0.23.16

package/dist/supervision/stop-rows-work-holds.d.ts

@@ -19,10 +19,10 @@ export interface VerifyInterlockFacts {
 }
 /** Facts for the merge-gate coverage guard on a focus-branch merge. */
 export interface MergeGateCoverageFacts {
-    /** The branch's gate coverage was read. */
-    coverageReadable: boolean;
-    /** Commits the merge would add that no passing verdict or current approval covers. */
-    ungatedCommits: number;
+    /** Every input of the completion merge gate was read. */
+    gateReadable: boolean;
+    /** The gate admitted the merge: complete focus, approved head, green candidate containing the integration tip. */
+    admitted: boolean;
 }
 /** Facts for the audit-pass arming hold over unrecordable branch work. */
 export interface UnrecordedBranchWorkFacts {

package/dist/supervision/stop-rows-work-holds.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stop-rows-work-holds.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-rows-work-holds.ts"],"names":[],"mappings":"AAsBA,8FAA8F;AAC9F,MAAM,WAAW,kBAAkB;IACjC,6FAA6F;IAC7F,WAAW,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,6DAA6D;AAC7D,MAAM,WAAW,0BAA0B;IACzC,gEAAgE;IAChE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,4DAA4D;IAC5D,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,oEAAoE;AACpE,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,2CAA2C;IAC3C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,sFAAsF;IACtF,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,0EAA0E;AAC1E,MAAM,WAAW,yBAAyB;IACxC,2FAA2F;IAC3F,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAED,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC7B,yFAAyF;IACzF,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,eAAO,MAAM,mBAAmB;;;;;;;CA8ItB,CAAC"}
+{"version":3,"file":"stop-rows-work-holds.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-rows-work-holds.ts"],"names":[],"mappings":"AAsBA,8FAA8F;AAC9F,MAAM,WAAW,kBAAkB;IACjC,6FAA6F;IAC7F,WAAW,EAAE,MAAM,CAAC;IACpB,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,6DAA6D;AAC7D,MAAM,WAAW,0BAA0B;IACzC,gEAAgE;IAChE,sBAAsB,EAAE,MAAM,CAAC;IAC/B,4DAA4D;IAC5D,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,oEAAoE;AACpE,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,mBAAmB,EAAE,OAAO,CAAC;CAC9B;AAED,uEAAuE;AACvE,MAAM,WAAW,sBAAsB;IACrC,yDAAyD;IACzD,YAAY,EAAE,OAAO,CAAC;IACtB,kHAAkH;IAClH,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,0EAA0E;AAC1E,MAAM,WAAW,yBAAyB;IACxC,2FAA2F;IAC3F,oBAAoB,EAAE,OAAO,CAAC;CAC/B;AAED,kEAAkE;AAClE,MAAM,WAAW,cAAc;IAC7B,yFAAyF;IACzF,WAAW,EAAE,OAAO,CAAC;IACrB,qEAAqE;IACrE,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,eAAO,MAAM,mBAAmB;;;;;;;CAgJtB,CAAC"}

package/dist/supervision/stop-rows-work-holds.js

@@ -83,26 +83,28 @@ export const WORK_HOLD_STOP_ROWS = {
     merge_gate_coverage: booleanStopRow({
         id: 'merge_gate_coverage',
         kind: 'guard',
-        stopsOn: 'focus_merge_carries_ungated_commits',
-        enforcedBy: 'merge/merge-gate-coverage.ts',
-        condition: 'A focus-branch merge to integration would add a commit that no passing recorded verdict and no ' +
-            "current approval covers (clean integration-sync merges excepted), or the branch's gate coverage " +
-            'could not be read (fail-closed).',
+        stopsOn: 'focus_merge_before_completion_on_green_candidate',
+        enforcedBy: 'merge/completion-merge-gate.ts',
+        condition: 'A focus-branch merge to integration while the focus is not complete (a delivery not done -- cancelled included), ' +
+            'its newest approval does not cover HEAD (only integration-sync merges may follow it), HEAD does not contain ' +
+            "the integration tip, or HEAD's integration-candidate CI status is not success -- or any of it could not be read " +
+            '(fail-closed).',
         factsRead: [
-            'integration..branch commits (git)',
-            'recorded deterministic verdicts per commit',
-            "the focus's newest current approval (focus_reviews / auto-approval record)",
+            "the focus's deliveries (execution_status)",
+            "the focus's newest current approval (focus_reviews / auto-approval record) and the gate state at it",
+            'integration..branch commits and the integration tip (git)',
+            "refs/ci-status for the candidate commit (CI's candidate run)",
         ],
-        effect: 'The merge holds, logged with the reason; the branch stays unmerged.',
-        releaser: 'The verify gate passing on the ungated commits, or a review approving them.',
-        releaseCondition: 'Every commit the merge would add is gated, and the coverage was read.',
-        evaluate: ({ coverageReadable, ungatedCommits }) => !coverageReadable || ungatedCommits > 0,
+        effect: 'The merge holds, logged with the reason; the branch stays unmerged. The merge-back loop drives the step that advances it (merge-out, candidate push, re-work).',
+        releaser: 'The focus completing, a review approving HEAD, the merge-out, and CI publishing success for the candidate.',
+        releaseCondition: 'Complete focus, approved head, HEAD contains the integration tip, candidate green, all read.',
+        evaluate: ({ gateReadable, admitted }) => !gateReadable || !admitted,
         characterization: {
             trigger: [
-                { coverageReadable: true, ungatedCommits: 2 },
-                { coverageReadable: false, ungatedCommits: 0 },
+                { gateReadable: true, admitted: false },
+                { gateReadable: false, admitted: false },
             ],
-            release: [{ coverageReadable: true, ungatedCommits: 0 }],
+            release: [{ gateReadable: true, admitted: true }],
         },
     }),
     unrecorded_branch_work_hold: booleanStopRow({

package/dist/supervision/stop-rows-work-holds.js.map

@@ -1 +1 @@
-{"version":3,"file":"stop-rows-work-holds.js","sourceRoot":"","sources":["../../src/supervision/stop-rows-work-holds.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AA8C/C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,cAAc,EAAE,cAAc,CAAqB;QACjD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,qCAAqC;QACjD,SAAS,EACP,wGAAwG;YACxG,0FAA0F;QAC5F,SAAS,EAAE;YACT,4EAA4E;YAC5E,+CAA+C;YAC/C,6BAA6B;SAC9B;QACD,MAAM,EACJ,uGAAuG;YACvG,+EAA+E;QACjF,QAAQ,EACN,wGAAwG;YACxG,qCAAqC;QACvC,gBAAgB,EAAE,0EAA0E;QAC5F,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,WAAW,IAAI,KAAK;QAC1D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACrE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACtE;KACF,CAAC;IAEF,2BAA2B,EAAE,cAAc,CAA6B;QACtE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,+BAA+B;QACxC,UAAU,EAAE,uDAAuD;QACnE,SAAS,EACP,oGAAoG;YACpG,iGAAiG;QACnG,SAAS,EAAE,CAAC,4EAA4E,CAAC;QACzF,MAAM,EACJ,oGAAoG;YACpG,kFAAkF;QACpF,QAAQ,EAAE,gGAAgG;QAC1G,gBAAgB,EAAE,2CAA2C;QAC7D,QAAQ,EAAE,CAAC,EAAE,sBAAsB,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,IAAI,sBAAsB,GAAG,CAAC;QAC9F,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAChD,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;aAChD;YACD,OAAO,EAAE,CAAC,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;SAC5D;KACF,CAAC;IAEF,gBAAgB,EAAE,cAAc,CAAuB;QACrD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,iCAAiC;QAC1C,UAAU,EAAE,8BAA8B;QAC1C,SAAS,EACP,kGAAkG;YAClG,gGAAgG;YAChG,yBAAyB;QAC3B,SAAS,EAAE,CAAC,4DAA4D,CAAC;QACzE,MAAM,EAAE,qEAAqE;QAC7E,QAAQ,EAAE,iGAAiG;QAC3G,gBAAgB,EAAE,+BAA+B;QACjD,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,mBAAmB;QAC1D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;SAC1C;KACF,CAAC;IAEF,mBAAmB,EAAE,cAAc,CAAyB;QAC1D,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,qCAAqC;QAC9C,UAAU,EAAE,8BAA8B;QAC1C,SAAS,EACP,iGAAiG;YACjG,kGAAkG;YAClG,kCAAkC;QACpC,SAAS,EAAE;YACT,mCAAmC;YACnC,4CAA4C;YAC5C,4EAA4E;SAC7E;QACD,MAAM,EAAE,qEAAqE;QAC7E,QAAQ,EAAE,6EAA6E;QACvF,gBAAgB,EAAE,uEAAuE;QACzF,QAAQ,EAAE,CAAC,EAAE,gBAAgB,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,gBAAgB,IAAI,cAAc,GAAG,CAAC;QAC3F,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE;gBAC7C,EAAE,gBAAgB,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE;aAC/C;YACD,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;SACzD;KACF,CAAC;IAEF,2BAA2B,EAAE,cAAc,CAA4B;QACrE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,sBAAsB;QAClC,SAAS,EACP,uGAAuG;YACvG,4GAA4G;QAC9G,SAAS,EAAE,CAAC,gFAAgF,CAAC;QAC7F,MAAM,EAAE,mDAAmD;QAC3D,QAAQ,EAAE,0GAA0G;QACpH,gBAAgB,EAAE,kDAAkD;QACpE,QAAQ,EAAE,CAAC,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC,oBAAoB;QAC5D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;SAC3C;KACF,CAAC;IAEF,eAAe,EAAE,cAAc,CAAiB;QAC9C,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,oCAAoC;QAC7C,UAAU,EAAE,0CAA0C;QACtD,SAAS,EACP,kGAAkG;YAClG,uGAAuG;YACvG,qDAAqD;QACvD,SAAS,EAAE,CAAC,mGAAmG,CAAC;QAChH,MAAM,EACJ,yGAAyG;YACzG,oDAAoD;QACtD,QAAQ,EAAE,qGAAqG;QAC/G,gBAAgB,EAAE,4CAA4C;QAC9D,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,UAAU,CAAC;QACvE,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE;gBACxC,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE;aAC1C;YACD,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;SACnD;KACF,CAAC;CACM,CAAC"}
+{"version":3,"file":"stop-rows-work-holds.js","sourceRoot":"","sources":["../../src/supervision/stop-rows-work-holds.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AA8C/C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,cAAc,EAAE,cAAc,CAAqB;QACjD,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,qCAAqC;QACjD,SAAS,EACP,wGAAwG;YACxG,0FAA0F;QAC5F,SAAS,EAAE;YACT,4EAA4E;YAC5E,+CAA+C;YAC/C,6BAA6B;SAC9B;QACD,MAAM,EACJ,uGAAuG;YACvG,+EAA+E;QACjF,QAAQ,EACN,wGAAwG;YACxG,qCAAqC;QACvC,gBAAgB,EAAE,0EAA0E;QAC5F,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,WAAW,IAAI,KAAK;QAC1D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YACrE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SACtE;KACF,CAAC;IAEF,2BAA2B,EAAE,cAAc,CAA6B;QACtE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,+BAA+B;QACxC,UAAU,EAAE,uDAAuD;QACnE,SAAS,EACP,oGAAoG;YACpG,iGAAiG;QACnG,SAAS,EAAE,CAAC,4EAA4E,CAAC;QACzF,MAAM,EACJ,oGAAoG;YACpG,kFAAkF;QACpF,QAAQ,EAAE,gGAAgG;QAC1G,gBAAgB,EAAE,2CAA2C;QAC7D,QAAQ,EAAE,CAAC,EAAE,sBAAsB,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,IAAI,sBAAsB,GAAG,CAAC;QAC9F,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAChD,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;aAChD;YACD,OAAO,EAAE,CAAC,EAAE,sBAAsB,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;SAC5D;KACF,CAAC;IAEF,gBAAgB,EAAE,cAAc,CAAuB;QACrD,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,iCAAiC;QAC1C,UAAU,EAAE,8BAA8B;QAC1C,SAAS,EACP,kGAAkG;YAClG,gGAAgG;YAChG,yBAAyB;QAC3B,SAAS,EAAE,CAAC,4DAA4D,CAAC;QACzE,MAAM,EAAE,qEAAqE;QAC7E,QAAQ,EAAE,iGAAiG;QAC3G,gBAAgB,EAAE,+BAA+B;QACjD,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC,mBAAmB;QAC1D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;YACxC,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;SAC1C;KACF,CAAC;IAEF,mBAAmB,EAAE,cAAc,CAAyB;QAC1D,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,kDAAkD;QAC3D,UAAU,EAAE,gCAAgC;QAC5C,SAAS,EACP,mHAAmH;YACnH,8GAA8G;YAC9G,kHAAkH;YAClH,gBAAgB;QAClB,SAAS,EAAE;YACT,2CAA2C;YAC3C,qGAAqG;YACrG,2DAA2D;YAC3D,8DAA8D;SAC/D;QACD,MAAM,EAAE,gKAAgK;QACxK,QAAQ,EAAE,4GAA4G;QACtH,gBAAgB,EAAE,8FAA8F;QAChH,QAAQ,EAAE,CAAC,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,CAAC,QAAQ;QACpE,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;gBACvC,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;aACzC;YACD,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;SAClD;KACF,CAAC;IAEF,2BAA2B,EAAE,cAAc,CAA4B;QACrE,EAAE,EAAE,6BAA6B;QACjC,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,6CAA6C;QACtD,UAAU,EAAE,sBAAsB;QAClC,SAAS,EACP,uGAAuG;YACvG,4GAA4G;QAC9G,SAAS,EAAE,CAAC,gFAAgF,CAAC;QAC7F,MAAM,EAAE,mDAAmD;QAC3D,QAAQ,EAAE,0GAA0G;QACpH,gBAAgB,EAAE,kDAAkD;QACpE,QAAQ,EAAE,CAAC,EAAE,oBAAoB,EAAE,EAAE,EAAE,CAAC,oBAAoB;QAC5D,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC;YACzC,OAAO,EAAE,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;SAC3C;KACF,CAAC;IAEF,eAAe,EAAE,cAAc,CAAiB;QAC9C,EAAE,EAAE,iBAAiB;QACrB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,oCAAoC;QAC7C,UAAU,EAAE,0CAA0C;QACtD,SAAS,EACP,kGAAkG;YAClG,uGAAuG;YACvG,qDAAqD;QACvD,SAAS,EAAE,CAAC,mGAAmG,CAAC;QAChH,MAAM,EACJ,yGAAyG;YACzG,oDAAoD;QACtD,QAAQ,EAAE,qGAAqG;QAC/G,gBAAgB,EAAE,4CAA4C;QAC9D,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,UAAU,CAAC;QACvE,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE;gBACxC,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE;aAC1C;YACD,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;SACnD;KACF,CAAC;CACM,CAAC"}

package/dist/testing/fixtures/api-client.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 69 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/testing/fixtures/api-client.ts
+// Pinned by: 72 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/testing/fixtures/api-client.ts
 // PINNED-BY-END
 /** A fake ApiClient whose every call is answered by `handle`. */
 export function makeFakeApiClient(handle) {

package/dist/testing/fixtures/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/testing/fixtures/index.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAE/E;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAsC1F;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,SAAS,GAAE,OAAO,CAAC,SAAS,CAAM,GAAG,SAAS,CAa3E;AACD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAExE;;;GAGG;AACH,wBAAgB,YAAY,CAAC,SAAS,GAAE,OAAO,CAAC,iBAAiB,CAAM,GAAG,iBAAiB,CAmB1F;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAkBjF;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,SAAS,GAAE,OAAO,CAAC,YAAY,CAAM,GAAG,YAAY,CA0B9E;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,GAAE,OAAO,CAAC,oBAAoB,CAAM,GAC5C,oBAAoB,CAOtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAgC1F;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI,CAEhG;AAcD,8DAA8D;AAC9D,wBAAgB,kBAAkB,CAChC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GACtC,OAAO,CAAC,cAAc,CAAC,CAMzB;AAED,iDAAiD;AACjD,wBAAgB,qBAAqB,CACnC,SAAS,GAAE,OAAO,CAAC,iBAAiB,CAAM,GACzC,OAAO,CAAC,iBAAiB,CAAC,CAc5B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/testing/fixtures/index.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,cAAc,EACf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAE/E;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAwC1F;AAED,6FAA6F;AAC7F,wBAAgB,aAAa,CAAC,SAAS,GAAE,OAAO,CAAC,SAAS,CAAM,GAAG,SAAS,CAa3E;AACD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AAExE;;;GAGG;AACH,wBAAgB,YAAY,CAAC,SAAS,GAAE,OAAO,CAAC,iBAAiB,CAAM,GAAG,iBAAiB,CAmB1F;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAkBjF;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,SAAS,GAAE,OAAO,CAAC,YAAY,CAAM,GAAG,YAAY,CA0B9E;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,GAAE,OAAO,CAAC,oBAAoB,CAAM,GAC5C,oBAAoB,CAOtB;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAgC1F;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc,CAAC,GAAG,IAAI,CAEhG;AAcD,8DAA8D;AAC9D,wBAAgB,kBAAkB,CAChC,SAAS,GAAE,OAAO,CAAC,cAAc,CAAM,GACtC,OAAO,CAAC,cAAc,CAAC,CAMzB;AAED,iDAAiD;AACjD,wBAAgB,qBAAqB,CACnC,SAAS,GAAE,OAAO,CAAC,iBAAiB,CAAM,GACzC,OAAO,CAAC,iBAAiB,CAAC,CAc5B"}

package/dist/testing/fixtures/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: 317 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/testing/fixtures/index.ts
+// Pinned by: 324 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/testing/fixtures/index.ts
 // PINNED-BY-END
 /**
  * Build an ActiveFocusRow (a getActiveFocuses row): an active, armed focus with
@@ -41,6 +41,8 @@ export function makeActiveFocusRow(overrides = {}) {
         org_default_engine: null,
         org_default_coding_model: null,
         org_default_review_model: null,
+        org_default_coding_effort: null,
+        org_default_review_effort: null,
         branch_name: null,
         ...overrides,
     };

package/dist/testing/fixtures/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/testing/fixtures/index.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,6GAA6G;AAC7G,gBAAgB;AAkChB;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,YAAqC,EAAE;IACxE,OAAO;QACL,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,YAAY;QACxB,iBAAiB,EAAE,IAAI;QACvB,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,WAAW;QACvB,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,KAAK;QACnB,WAAW,EAAE,IAAI;QACjB,sBAAsB,EAAE,QAAQ;QAChC,eAAe,EAAE,WAAW;QAC5B,mBAAmB,EAAE,IAAI;QACzB,gBAAgB,EAAE,IAAI;QACtB,cAAc,EAAE,0BAA0B;QAC1C,yBAAyB,EAAE,IAAI;QAC/B,mBAAmB,EAAE,IAAI;QACzB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,CAAC;QACvB,8BAA8B,EAAE,CAAC;QACjC,uBAAuB,EAAE,IAAI;QAC7B,sBAAsB,EAAE,IAAI;QAC5B,oBAAoB,EAAE,CAAC;QACvB,wBAAwB,EAAE,KAAK;QAC/B,0BAA0B,EAAE,IAAI;QAChC,0BAA0B,EAAE,CAAC;QAC7B,KAAK,EAAE,QAAQ;QACf,kBAAkB,EAAE,EAAE;QACtB,eAAe,EAAE,IAAI;QACrB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,IAAI;QACxB,wBAAwB,EAAE,IAAI;QAC9B,wBAAwB,EAAE,IAAI;QAC9B,WAAW,EAAE,IAAI;QACjB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,YAAgC,EAAE;IAC9D,OAAO;QACL,EAAE,EAAE,QAAQ;QACZ,eAAe,EAAE,OAAO;QACxB,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,IAAI;QACjB,qBAAqB,EAAE,EAAE;QACzB,aAAa,EAAE,EAAE;QACjB,sBAAsB,EAAE,IAAI;QAC5B,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI;QACV,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAID;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,YAAwC,EAAE;IACrE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,QAAQ;QACzB,kBAAkB,EAAE,IAAI;QACxB,WAAW,EAAE,IAAI;QACjB,sBAAsB,EAAE,IAAI;QAC5B,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,gBAAgB,EAAE,IAAI;QACtB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,IAAI;QACf,cAAc,EAAE,CAAC;QACjB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,YAAqC,EAAE;IAC/D,OAAO;QACL,EAAE,EAAE,SAAS;QACb,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,YAAY;QACnB,WAAW,EAAE,IAAI;QACjB,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,MAAM;QACjB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,YAAY;QACxB,aAAa,EAAE,IAAI;QACnB,OAAO,EAAE,IAAI;QACb,aAAa,EAAE,IAAI;QACnB,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE,IAAI;QACf,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,YAAmC,EAAE;IAC9D,OAAO;QACL,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,cAAc;QACzB,cAAc,EAAE,OAAO;QACvB,SAAS,EAAE,WAAW;QACtB,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,kCAAkC;QAC/C,iBAAiB,EAAE,aAAa;QAChC,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,OAAO;QACzB,UAAU,EAAE,MAAM;QAClB,SAAS,EAAE,IAAI;QACf,kBAAkB,EAAE,MAAM;QAC1B,4BAA4B,EAAE,KAAK;QACnC,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,UAAU;QAC5B,WAAW,EAAE,GAAG;QAChB,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE;QACnF,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE;QACvG,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAC3D,GAAG,SAAS;KACG,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,YAA2C,EAAE;IAE7C,OAAO;QACL,UAAU,EAAE,CAAC;QACb,kBAAkB,EAAE,KAAK;QACzB,oBAAoB,EAAE,KAAK;QAC3B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,YAAqC,EAAE;IACxE,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,WAAW;QACrB,cAAc,EAAE,OAAO;QACvB,SAAS,EAAE,WAAW;QACtB,cAAc,EAAE,IAAI;QACpB,WAAW,EAAE,CAAC;QACd,KAAK,EAAE,WAAW;QAClB,gBAAgB,EAAE,IAAI,GAAG,EAAU;QACnC,iBAAiB,EAAE,IAAI,GAAG,EAAU;QACpC,aAAa,EAAE,KAAK;QACpB,aAAa,EAAE,IAAI;QACnB,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,gBAAgB;QAC5B,YAAY,EAAE,IAAI;QAClB,kBAAkB,EAAE,IAAI;QACxB,cAAc,EAAE,IAAI;QACpB,gBAAgB,EAAE,IAAI,GAAG,EAAyB;QAClD,sBAAsB,EAAE,KAAK;QAC7B,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,QAAQ;QACrB,OAAO,EAAE,QAAQ;QACjB,oBAAoB,EAAE,IAAI;QAC1B,gBAAgB,EAAE,CAAC;QACnB,yBAAyB,EAAE,IAAI;QAC/B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAoB,EAAE,OAAgC;IACxF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,iFAAiF;AACjF,6EAA6E;AAC7E,iFAAiF;AACjF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E,8DAA8D;AAC9D,MAAM,UAAU,kBAAkB,CAChC,YAAqC,EAAE;IAEvC,OAAO;QACL,WAAW,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC3B,UAAU,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC1B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,qBAAqB,CACnC,YAAwC,EAAE;IAE1C,OAAO;QACL,cAAc,EAAE,OAAO;QACvB,WAAW,EAAE,kCAAkC;QAC/C,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACpD,eAAe,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC/B,QAAQ,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QACxB,WAAW,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC3B,gBAAgB,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI;QAClC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;QAC5B,aAAa,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC7B,cAAc,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC9B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/testing/fixtures/index.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,6GAA6G;AAC7G,gBAAgB;AAkChB;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,YAAqC,EAAE;IACxE,OAAO;QACL,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,YAAY;QACxB,iBAAiB,EAAE,IAAI;QACvB,MAAM,EAAE,QAAQ;QAChB,UAAU,EAAE,WAAW;QACvB,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,KAAK;QACnB,WAAW,EAAE,IAAI;QACjB,sBAAsB,EAAE,QAAQ;QAChC,eAAe,EAAE,WAAW;QAC5B,mBAAmB,EAAE,IAAI;QACzB,gBAAgB,EAAE,IAAI;QACtB,cAAc,EAAE,0BAA0B;QAC1C,yBAAyB,EAAE,IAAI;QAC/B,mBAAmB,EAAE,IAAI;QACzB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,CAAC;QACvB,8BAA8B,EAAE,CAAC;QACjC,uBAAuB,EAAE,IAAI;QAC7B,sBAAsB,EAAE,IAAI;QAC5B,oBAAoB,EAAE,CAAC;QACvB,wBAAwB,EAAE,KAAK;QAC/B,0BAA0B,EAAE,IAAI;QAChC,0BAA0B,EAAE,CAAC;QAC7B,KAAK,EAAE,QAAQ;QACf,kBAAkB,EAAE,EAAE;QACtB,eAAe,EAAE,IAAI;QACrB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,IAAI;QACxB,wBAAwB,EAAE,IAAI;QAC9B,wBAAwB,EAAE,IAAI;QAC9B,yBAAyB,EAAE,IAAI;QAC/B,yBAAyB,EAAE,IAAI;QAC/B,WAAW,EAAE,IAAI;QACjB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,aAAa,CAAC,YAAgC,EAAE;IAC9D,OAAO;QACL,EAAE,EAAE,QAAQ;QACZ,eAAe,EAAE,OAAO;QACxB,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,IAAI;QACjB,qBAAqB,EAAE,EAAE;QACzB,aAAa,EAAE,EAAE;QACjB,sBAAsB,EAAE,IAAI;QAC5B,KAAK,EAAE,IAAI;QACX,IAAI,EAAE,IAAI;QACV,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAID;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,YAAwC,EAAE;IACrE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,CAAC;QACf,eAAe,EAAE,QAAQ;QACzB,kBAAkB,EAAE,IAAI;QACxB,WAAW,EAAE,IAAI;QACjB,sBAAsB,EAAE,IAAI;QAC5B,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,gBAAgB,EAAE,IAAI;QACtB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,IAAI;QACf,cAAc,EAAE,CAAC;QACjB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,YAAqC,EAAE;IAC/D,OAAO;QACL,EAAE,EAAE,SAAS;QACb,GAAG,EAAE,OAAO;QACZ,KAAK,EAAE,YAAY;QACnB,WAAW,EAAE,IAAI;QACjB,MAAM,EAAE,OAAO;QACf,SAAS,EAAE,MAAM;QACjB,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,YAAY;QACxB,aAAa,EAAE,IAAI;QACnB,OAAO,EAAE,IAAI;QACb,aAAa,EAAE,IAAI;QACnB,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,SAAS,EAAE,IAAI;QACf,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,YAAmC,EAAE;IAC9D,OAAO;QACL,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,cAAc;QACzB,cAAc,EAAE,OAAO;QACvB,SAAS,EAAE,WAAW;QACtB,QAAQ,EAAE,gBAAgB;QAC1B,WAAW,EAAE,kCAAkC;QAC/C,iBAAiB,EAAE,aAAa;QAChC,cAAc,EAAE,QAAQ;QACxB,MAAM,EAAE,6BAA6B;QACrC,gBAAgB,EAAE,CAAC;QACnB,gBAAgB,EAAE,OAAO;QACzB,UAAU,EAAE,MAAM;QAClB,SAAS,EAAE,IAAI;QACf,kBAAkB,EAAE,MAAM;QAC1B,4BAA4B,EAAE,KAAK;QACnC,iBAAiB,EAAE,WAAW;QAC9B,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,UAAU;QAC5B,WAAW,EAAE,GAAG;QAChB,SAAS,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE;QACnF,MAAM,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE;QACvG,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAC3D,GAAG,SAAS;KACG,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,YAA2C,EAAE;IAE7C,OAAO;QACL,UAAU,EAAE,CAAC;QACb,kBAAkB,EAAE,KAAK;QACzB,oBAAoB,EAAE,KAAK;QAC3B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,YAAqC,EAAE;IACxE,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,YAAY;QACvB,MAAM,EAAE,QAAQ;QAChB,QAAQ,EAAE,WAAW;QACrB,cAAc,EAAE,OAAO;QACvB,SAAS,EAAE,WAAW;QACtB,cAAc,EAAE,IAAI;QACpB,WAAW,EAAE,CAAC;QACd,KAAK,EAAE,WAAW;QAClB,gBAAgB,EAAE,IAAI,GAAG,EAAU;QACnC,iBAAiB,EAAE,IAAI,GAAG,EAAU;QACpC,aAAa,EAAE,KAAK;QACpB,aAAa,EAAE,IAAI;QACnB,OAAO,EAAE,IAAI;QACb,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,gBAAgB;QAC5B,YAAY,EAAE,IAAI;QAClB,kBAAkB,EAAE,IAAI;QACxB,cAAc,EAAE,IAAI;QACpB,gBAAgB,EAAE,IAAI,GAAG,EAAyB;QAClD,sBAAsB,EAAE,KAAK;QAC7B,cAAc,EAAE,IAAI;QACpB,QAAQ,EAAE,KAAK;QACf,WAAW,EAAE,QAAQ;QACrB,OAAO,EAAE,QAAQ;QACjB,oBAAoB,EAAE,IAAI;QAC1B,gBAAgB,EAAE,CAAC;QACnB,yBAAyB,EAAE,IAAI;QAC/B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAoB,EAAE,OAAgC;IACxF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,uBAAuB;AACvB,EAAE;AACF,0EAA0E;AAC1E,8EAA8E;AAC9E,iFAAiF;AACjF,6EAA6E;AAC7E,iFAAiF;AACjF,8EAA8E;AAC9E,6CAA6C;AAC7C,8EAA8E;AAE9E,8DAA8D;AAC9D,MAAM,UAAU,kBAAkB,CAChC,YAAqC,EAAE;IAEvC,OAAO;QACL,WAAW,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC3B,UAAU,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC1B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,qBAAqB,CACnC,YAAwC,EAAE;IAE1C,OAAO;QACL,cAAc,EAAE,OAAO;QACvB,WAAW,EAAE,kCAAkC;QAC/C,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QACpD,eAAe,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC/B,QAAQ,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QACxB,WAAW,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC3B,gBAAgB,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI;QAClC,YAAY,EAAE,KAAK,IAAI,EAAE,CAAC,EAAE;QAC5B,aAAa,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC7B,cAAc,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;QAC9B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC"}

package/dist/testing/fixtures/judge-session.d.ts

@@ -0,0 +1,14 @@
+/**
+ * A judge session (verify/effect-reconciliation/verify-reconciliation.ts
+ * JudgeSessionOpener) whose every turn one function answers: for a test that
+ * judges in a single turn and asserts on what the judge was asked.
+ *
+ * @module testing/fixtures/judge-session
+ */
+import type { JudgeSessionOpener } from '../../verify/effect-reconciliation/verify-reconciliation.js';
+import type { JudgeCheckout } from '../../verify/effect-reconciliation/judge-workspace.js';
+/** Answers one turn: the system prompt, the turn's user message and the workspace the session runs in. */
+export type JudgeTurnAnswer = (systemPrompt: string, userMessage: string, workspace: JudgeCheckout) => Promise<string>;
+/** A session opener whose turns `answer` answers; closing it does nothing. */
+export declare function judgeAnswering(answer: JudgeTurnAnswer): JudgeSessionOpener;
+//# sourceMappingURL=judge-session.d.ts.map

package/dist/testing/fixtures/judge-session.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judge-session.d.ts","sourceRoot":"","sources":["../../../src/testing/fixtures/judge-session.ts"],"names":[],"mappings":"AAMA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,6DAA6D,CAAC;AACtG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uDAAuD,CAAC;AAE3F,0GAA0G;AAC1G,MAAM,MAAM,eAAe,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAEvH,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,MAAM,EAAE,eAAe,GAAG,kBAAkB,CAE1E"}

package/dist/testing/fixtures/judge-session.js

@@ -0,0 +1,10 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/effect-reconciliation/judge-question.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/judge-workspace.test.ts,
+//   packages/daemon/src/verify/effect-reconciliation/verify-reconciliation.test.ts
+// PINNED-BY-END
+/** A session opener whose turns `answer` answers; closing it does nothing. */
+export function judgeAnswering(answer) {
+    return (systemPrompt, workspace) => ({ ask: (userMessage) => answer(systemPrompt, userMessage, workspace), close: () => { } });
+}
+//# sourceMappingURL=judge-session.js.map

package/dist/testing/fixtures/judge-session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judge-session.js","sourceRoot":"","sources":["../../../src/testing/fixtures/judge-session.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sFAAsF;AACtF,8EAA8E;AAC9E,mFAAmF;AACnF,gBAAgB;AAgBhB,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,MAAuB;IACpD,OAAO,CAAC,YAAY,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAE,CAAC,EAAE,CAAC,CAAC;AAChI,CAAC"}

package/dist/types/focus.d.ts

@@ -35,6 +35,15 @@ export interface PipelineConfig {
         maxIterations?: number;
     };
     model?: string | null;
+    /**
+     * Per-pass effort levels (the focus-override layer of resolvePassEffort in
+     * @telora/daemon-core). An absent/null slot inherits the org default; a value
+     * outside the effort vocabulary is treated as unset by the resolver.
+     */
+    efforts?: {
+        coding?: string | null;
+        review?: string | null;
+    } | null;
 }
 /**
  * Focus from database (simplified for daemon)

package/dist/types/focus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"focus.d.ts","sourceRoot":"","sources":["../../src/types/focus.ts"],"names":[],"mappings":"AAUA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE7E;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE;QACF,OAAO,EAAE,OAAO,CAAC;QACjB,aAAa,EAAE,cAAc,GAAG,QAAQ,GAAG,cAAc,CAAC;KAC3D,CAAC;IACF,EAAE,EAAE;QACF,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,KAAK,EAAE;QACL,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,MAAM,CAAC,EAAE;QACP;;;;;;WAMG;QACH,OAAO,EAAE,OAAO,CAAC;QACjB;;;;WAIG;QACH,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAC;IACnB,qCAAqC;IACrC,SAAS,EAAE,IAAI,CAAC;IAChB;;;;;OAKG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sFAAsF;IACtF,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,GACxB,cAAc,GACd,WAAW,GACX,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qDAAqD;IACrD,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,oDAAoD;IACpD,eAAe,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD;;;;OAIG;IACH,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C;;;;;;;;;OASG;IACH,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,wDAAwD;IACxD,gBAAgB,EAAE,MAAM,CAAC;IACzB,kHAAkH;IAClH,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACrC;AAED;;;GAGG;AACH;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEnE;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,YAAY,EAAE,MAAM,CAAC;IACrB,0CAA0C;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC"}
+{"version":3,"file":"focus.d.ts","sourceRoot":"","sources":["../../src/types/focus.ts"],"names":[],"mappings":"AAUA;;GAEG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE7E;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE;QACF,OAAO,EAAE,OAAO,CAAC;QACjB,aAAa,EAAE,cAAc,GAAG,QAAQ,GAAG,cAAc,CAAC;KAC3D,CAAC;IACF,EAAE,EAAE;QACF,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,KAAK,EAAE;QACL,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;IACF,MAAM,CAAC,EAAE;QACP;;;;;;WAMG;QACH,OAAO,EAAE,OAAO,CAAC;QACjB;;;;WAIG;QACH,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC;IACF,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB;;;;OAIG;IACH,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC;CACrE;AAED;;GAEG;AACH,MAAM,WAAW,KAAK;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,CAAC;IACnB,qCAAqC;IACrC,SAAS,EAAE,IAAI,CAAC;IAChB;;;;;OAKG;IACH,SAAS,EAAE,MAAM,CAAC;IAClB,iFAAiF;IACjF,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sFAAsF;IACtF,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,GACxB,cAAc,GACd,WAAW,GACX,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qDAAqD;IACrD,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,oDAAoD;IACpD,eAAe,EAAE,MAAM,CAAC;IACxB;;;;;;OAMG;IACH,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD;;;;OAIG;IACH,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C;;;;;;;;;OASG;IACH,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B;;;OAGG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,wDAAwD;IACxD,gBAAgB,EAAE,MAAM,CAAC;IACzB,kHAAkH;IAClH,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACrC;AAED;;;GAGG;AACH;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEnE;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,iDAAiD;IACjD,YAAY,EAAE,MAAM,CAAC;IACrB,0CAA0C;IAC1C,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC"}

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 &&