@nexus-cortex/core 4.93.0 → 4.94.0

package/dist/training/deadlineExitMentor.js

@@ -0,0 +1,99 @@
+/**
+ * deadlineExitMentor — the mentor-as-deadline-checkpoint (operator design 2026-09-05, the
+ * "smart deadline"). The THIRD mentor invocation (distinct from liftPlanner and
+ * endTurnResolver). At the WARN rung (~0.81 of the task budget, where residual still exists),
+ * instead of a dumb "wrap up" nudge to the junior, a bounded mentor looks at the work product
+ * and the remaining budget and decides ONE thing:
+ *
+ *   CONTINUE — on-track / closing in (like schemelike, which solves in the last fifth) → let it
+ *              run to the hard-floor break; do NOT truncate a win.
+ *   FINISH   — the work ALREADY meets the task's real criteria → end now with an attestation,
+ *              bypassing the EndTurn resolver (no double pro@max pay).
+ *   ACTION   — a small, specific gap remains and the ONE minimal action to close it fits the
+ *              residual → inject that action, then finish.
+ *   RETIRE   — stuck / structurally unclosable in the residual (like filter-js grinding) → end
+ *              CLEANLY now, do not burn the residual on a lost cause.
+ *
+ * 🔴 WHY smart, not a slid number (resolver-k5): 24% of PASSING rows finish at ≥0.80 of budget —
+ * a flat earlier deadline would truncate a quarter of wins. The mentor's job is to tell
+ * "closing in" from "grinding". Value is GATED on that judgment (an early checkpoint that
+ * mis-calls a closing-in task HURTS), so this ships DARK and is A/B-validated. Pure + testable;
+ * the hard-floor break rung stays as the unconditional failsafe underneath.
+ */
+const DEFAULTS = {
+    enabled: false,
+    effort: 'max',
+    outputBudgetTokensCap: 2000,
+    timeoutMsCap: 45000,
+    residualFrac: 0.4,
+};
+export function resolveDeadlineExitConfig(env = process.env) {
+    const e = (env.CORTEX_DEADLINE_EXIT_MENTOR_EFFORT ?? '').trim();
+    const b = parseInt((env.CORTEX_DEADLINE_EXIT_MENTOR_BUDGET_TOKENS ?? '').trim(), 10);
+    const t = parseInt((env.CORTEX_DEADLINE_EXIT_MENTOR_TIMEOUT_MS ?? '').trim(), 10);
+    const f = parseFloat((env.CORTEX_DEADLINE_EXIT_MENTOR_RESIDUAL_FRAC ?? '').trim());
+    return {
+        enabled: (env.CORTEX_DEADLINE_EXIT_MENTOR ?? '').trim().toLowerCase() === 'true',
+        effort: e || DEFAULTS.effort,
+        outputBudgetTokensCap: Number.isInteger(b) && b > 0 ? b : DEFAULTS.outputBudgetTokensCap,
+        timeoutMsCap: Number.isInteger(t) && t > 0 ? t : DEFAULTS.timeoutMsCap,
+        residualFrac: Number.isFinite(f) && f > 0 && f < 1 ? f : DEFAULTS.residualFrac,
+    };
+}
+/** Residual-scaled budget/timeout for ONE checkpoint call, never exceeding the caps and never
+ *  eating more than residualFrac of the remaining wall-clock. */
+export function deadlineExitCallBudget(cfg, remainingMs) {
+    const scaledTimeout = Math.max(0, Math.floor(remainingMs * cfg.residualFrac));
+    const timeoutMs = Math.max(1, Math.min(cfg.timeoutMsCap, scaledTimeout || cfg.timeoutMsCap));
+    // Keep the output budget proportional to the (bounded) time we allow — ~40 tok/s of headroom,
+    // capped. A checkpoint verdict + one action line is short by design.
+    const byTime = Math.floor((timeoutMs / 1000) * 40);
+    const outputBudgetTokens = Math.max(256, Math.min(cfg.outputBudgetTokensCap, byTime || cfg.outputBudgetTokensCap));
+    return { timeoutMs, outputBudgetTokens };
+}
+export const DEADLINE_EXIT_SYSTEM = 'You are a senior engineer running a CHECKPOINT on a junior agent that is deep into a task in a ' +
+    'real terminal container and is running low on time. You are given the TASK, an ENVIRONMENT REPORT, ' +
+    'the WORK SO FAR, and the REMAINING BUDGET. Decide, in ONE verdict, what to do with the time left — ' +
+    'the goal is to convert the residual into a PASS, or to stop wasting it on a lost cause.\n' +
+    'FORMAT — your FIRST line MUST be exactly one of:\n' +
+    '  VERDICT: CONTINUE   (on-track / closing in — let it keep working to the hard deadline; do NOT cut a near-win)\n' +
+    '  VERDICT: FINISH     (the work ALREADY meets the task\'s real criteria — end now)\n' +
+    '  VERDICT: ACTION     (a small specific gap remains and ONE action closes it within the residual)\n' +
+    '  VERDICT: RETIRE     (stuck / structurally unclosable in the residual — end cleanly, stop grinding)\n' +
+    'Judge against the TASK\'s real criteria (what the hidden grader checks), NOT the junior\'s own tests. ' +
+    'Be decisive but fair: CONTINUE when there is genuine convergence (each recent step reduced the gap); ' +
+    'RETIRE only when the same gap persists across attempts or a required capability is missing.\n' +
+    'If ACTION: after the verdict line, give the SINGLE concrete step + the exact check to run.\n' +
+    'If FINISH: optionally one clause confirming the criteria are met.\n' +
+    'If RETIRE: one short line naming why the residual cannot close it.\n' +
+    'If CONTINUE: nothing more.';
+export function buildDeadlineExitPrompt(ctx) {
+    const parts = [];
+    parts.push(`TASK:\n${(ctx.task || '').trim().slice(0, 2500)}`);
+    const env = (ctx.envReport || '').trim();
+    if (env)
+        parts.push(`ENVIRONMENT REPORT:\n${env.slice(0, 2000)}`);
+    parts.push(`REMAINING BUDGET: ${(ctx.remainingBudget || '').trim().slice(0, 200)}`);
+    const prog = (ctx.recentProgress || '').trim();
+    if (prog)
+        parts.push(`RECENT PROGRESS (did each step reduce the gap?):\n${prog.slice(0, 1500)}`);
+    parts.push(`WORK SO FAR (latest answer + recent tool outputs):\n${(ctx.workProduct || '').trim().slice(0, 5000)}`);
+    parts.push('Checkpoint now. First line: `VERDICT: CONTINUE` | `FINISH` | `ACTION` | `RETIRE`. ' +
+        'If ACTION, the single step + its check; if RETIRE, one line why; if FINISH, one confirming clause.');
+    return parts.join('\n\n');
+}
+/** Parse the checkpoint response. Fail-SAFE to CONTINUE (let it keep working) when unparseable —
+ *  a broken mentor call must never truncate a turn. */
+export function parseDeadlineExitVerdict(text) {
+    const t = (text || '').trim();
+    if (!t)
+        return { decision: 'continue', detail: '', parsed: false };
+    const m = t.match(/VERDICT:\s*(CONTINUE|FINISH|ACTION|RETIRE)/i);
+    if (!m)
+        return { decision: 'continue', detail: '', parsed: false };
+    const decision = m[1].toLowerCase();
+    const idx = t.indexOf(m[0]);
+    const detail = t.slice(idx + m[0].length).trim();
+    return { decision, detail, parsed: true };
+}
+//# sourceMappingURL=deadlineExitMentor.js.map

package/dist/training/deadlineExitMentor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deadlineExitMentor.js","sourceRoot":"","sources":["../../src/training/deadlineExitMentor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAgBH,MAAM,QAAQ,GAAuB;IACnC,OAAO,EAAE,KAAK;IACd,MAAM,EAAE,KAAK;IACb,qBAAqB,EAAE,IAAI;IAC3B,YAAY,EAAE,KAAK;IACnB,YAAY,EAAE,GAAG;CAClB,CAAC;AAEF,MAAM,UAAU,yBAAyB,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC5E,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,kCAAkC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAChE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,yCAAyC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACrF,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,sCAAsC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAClF,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,CAAC,yCAAyC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACnF,OAAO;QACL,OAAO,EAAE,CAAC,GAAG,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM;QAChF,MAAM,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM;QAC5B,qBAAqB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,qBAAqB;QACxF,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY;QACtE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY;KAC/E,CAAC;AACJ,CAAC;AAED;iEACiE;AACjE,MAAM,UAAU,sBAAsB,CAAC,GAAuB,EAAE,WAAmB;IACjF,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,aAAa,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAC7F,8FAA8F;IAC9F,qEAAqE;IACrE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IACnD,MAAM,kBAAkB,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,MAAM,IAAI,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACnH,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAC/B,iGAAiG;IACjG,qGAAqG;IACrG,qGAAqG;IACrG,2FAA2F;IAC3F,oDAAoD;IACpD,mHAAmH;IACnH,sFAAsF;IACtF,qGAAqG;IACrG,wGAAwG;IACxG,wGAAwG;IACxG,uGAAuG;IACvG,+FAA+F;IAC/F,8FAA8F;IAC9F,qEAAqE;IACrE,sEAAsE;IACtE,4BAA4B,CAAC;AAc/B,MAAM,UAAU,uBAAuB,CAAC,GAAwB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACpF,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,IAAI,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,qDAAqD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACjG,KAAK,CAAC,IAAI,CAAC,uDAAuD,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACnH,KAAK,CAAC,IAAI,CACR,oFAAoF;QAClF,oGAAoG,CACvG,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAYD;uDACuD;AACvD,MAAM,UAAU,wBAAwB,CAAC,IAAY;IACnD,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACnE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACnE,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAA0B,CAAC;IAC7D,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC5C,CAAC"}

package/dist/training/endTurnResolver.d.ts

@@ -16,10 +16,18 @@ export interface EndTurnResolverConfig {
     effort: string;
     /** Max GAP verdicts that reject-and-replan before the gate fallback-accepts (liveness beats loops). */
     maxRejects: number;
+    /** ABSTENTION (CORTEX_ENDTURN_RESOLVER_ABSTAIN): offer the judge a RETIRE verdict for a
+     *  structurally-hopeless finish and HONOR it (accept + stop) instead of burning the reject
+     *  cycles on a task the junior can't fix. Dark by default (A/B-able). */
+    abstain: boolean;
 }
 export declare function resolveEndTurnResolverConfig(env?: NodeJS.ProcessEnv): EndTurnResolverConfig;
 /** The judge persona. First line is a machine-parseable verdict; a GAP is followed by a fix plan. */
 export declare const RESOLVER_SYSTEM: string;
+/** Appended to the persona when abstention is enabled — offers the conservative RETIRE verdict. */
+export declare const RESOLVER_ABSTAIN_CLAUSE: string;
+/** The persona for the judge. With `abstain`, the RETIRE option is offered. */
+export declare function resolverSystemPrompt(abstain?: boolean): string;
 export interface EndTurnResolverContext {
     /** The task statement the junior received. */
     task: string;
@@ -31,12 +39,15 @@ export interface EndTurnResolverContext {
     attestation?: string;
 }
 /** Build the user prompt for the judge. Bounded slices keep the call cheap and cache-stable. */
-export declare function buildResolverUserPrompt(ctx: EndTurnResolverContext): string;
+export declare function buildResolverUserPrompt(ctx: EndTurnResolverContext, abstain?: boolean): string;
 export interface ResolverVerdict {
-    /** true = MEETS (finish); false = GAP (reject + fix plan). Defaults to MEETS on an unparseable/empty
+    /** true = MEETS (finish); false = GAP or RETIRE. Defaults to MEETS on an unparseable/empty
      *  response (fail-open: never trap the junior on a broken judge call — liveness beats purity). */
     meets: boolean;
-    /** The fix plan (GAP only). */
+    /** RETIRE = the finish does not meet requirements AND is structurally unclosable → abstain (accept
+     *  + stop the reject loop) when CORTEX_ENDTURN_RESOLVER_ABSTAIN is on. Never true for MEETS/GAP. */
+    retire: boolean;
+    /** GAP: the fix plan. RETIRE: the one-line reason it is unclosable. */
     plan: string;
     /** Whether the verdict line was actually found (else it fell back to fail-open MEETS). */
     parsed: boolean;

package/dist/training/endTurnResolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"endTurnResolver.d.ts","sourceRoot":"","sources":["../../src/training/endTurnResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,uGAAuG;IACvG,UAAU,EAAE,MAAM,CAAC;CACpB;AAID,wBAAgB,4BAA4B,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,qBAAqB,CASxG;AAED,qGAAqG;AACrG,eAAO,MAAM,eAAe,QAgB8B,CAAC;AAE3D,MAAM,WAAW,sBAAsB;IACrC,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uGAAuG;IACvG,WAAW,EAAE,MAAM,CAAC;IACpB,wGAAwG;IACxG,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,gGAAgG;AAChG,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,sBAAsB,GAAG,MAAM,CAa3E;AAED,MAAM,WAAW,eAAe;IAC9B;sGACkG;IAClG,KAAK,EAAE,OAAO,CAAC;IACf,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,4FAA4F;AAC5F,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAUlE"}
+{"version":3,"file":"endTurnResolver.d.ts","sourceRoot":"","sources":["../../src/training/endTurnResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,WAAW,qBAAqB;IACpC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,uGAAuG;IACvG,UAAU,EAAE,MAAM,CAAC;IACnB;;6EAEyE;IACzE,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,wBAAgB,4BAA4B,CAAC,GAAG,GAAE,MAAM,CAAC,UAAwB,GAAG,qBAAqB,CAUxG;AAED,qGAAqG;AACrG,eAAO,MAAM,eAAe,QAgB8B,CAAC;AAE3D,mGAAmG;AACnG,eAAO,MAAM,uBAAuB,QAMyE,CAAC;AAE9G,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,OAAO,UAAQ,GAAG,MAAM,CAE5D;AAED,MAAM,WAAW,sBAAsB;IACrC,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uGAAuG;IACvG,WAAW,EAAE,MAAM,CAAC;IACpB,wGAAwG;IACxG,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,gGAAgG;AAChG,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,sBAAsB,EAAE,OAAO,UAAQ,GAAG,MAAM,CAgB5F;AAED,MAAM,WAAW,eAAe;IAC9B;sGACkG;IAClG,KAAK,EAAE,OAAO,CAAC;IACf;wGACoG;IACpG,MAAM,EAAE,OAAO,CAAC;IAChB,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,0FAA0F;IAC1F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,4FAA4F;AAC5F,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAYlE"}

package/dist/training/endTurnResolver.js

@@ -11,7 +11,7 @@
  * the mentor quarantines that reasoning where it belongs and hands the action model a plan, not a
  * puzzle. Same delivery as the lift planner: orchestrator-invoke → system-reminder. Pure + testable.
  */
-const DEFAULTS = { outputBudgetTokens: 4000, effort: 'max', maxRejects: 2 };
+const DEFAULTS = { outputBudgetTokens: 4000, effort: 'max', maxRejects: 2, abstain: false };
 export function resolveEndTurnResolverConfig(env = process.env) {
     const n = parseInt((env.CORTEX_ENDTURN_RESOLVER_BUDGET_TOKENS ?? '').trim(), 10);
     const e = (env.CORTEX_ENDTURN_RESOLVER_EFFORT ?? '').trim();
@@ -20,6 +20,7 @@ export function resolveEndTurnResolverConfig(env = process.env) {
         outputBudgetTokens: Number.isInteger(n) && n > 0 ? n : DEFAULTS.outputBudgetTokens,
         effort: e || DEFAULTS.effort,
         maxRejects: Number.isInteger(m) && m >= 0 ? m : DEFAULTS.maxRejects,
+        abstain: (env.CORTEX_ENDTURN_RESOLVER_ABSTAIN ?? '').trim().toLowerCase() === 'true',
     };
 }
 /** The judge persona. First line is a machine-parseable verdict; a GAP is followed by a fix plan. */
@@ -39,8 +40,19 @@ export const RESOLVER_SYSTEM = 'You are a senior engineer performing the FINAL a
     'concrete step(s) to close it and the exact check to verify it against the TASK\'s criteria. If a gap ' +
     'cannot be verified in this box, say so and tell the junior to note it in open_items and finish. Be ' +
     'terse and concrete; do not rewrite the whole solution.';
+/** Appended to the persona when abstention is enabled — offers the conservative RETIRE verdict. */
+export const RESOLVER_ABSTAIN_CLAUSE = '\n\nA THIRD verdict is available: `VERDICT: RETIRE`. Use it ONLY when the work does not meet requirements ' +
+    'AND the gap is structurally UNCLOSABLE by this junior in the remaining budget — a fundamentally wrong ' +
+    'approach it keeps repeating, a missing capability/dependency that cannot be obtained in this box, or an ' +
+    'impossible / self-contradictory requirement. RETIRE ends the task as-is instead of dispatching another ' +
+    'doomed fix cycle. 🔴 When in doubt between GAP and RETIRE, choose GAP — only RETIRE when you are CONFIDENT ' +
+    'that more attempts cannot help. After `VERDICT: RETIRE`, give ONE short line naming why it is unclosable.';
+/** The persona for the judge. With `abstain`, the RETIRE option is offered. */
+export function resolverSystemPrompt(abstain = false) {
+    return abstain ? RESOLVER_SYSTEM + RESOLVER_ABSTAIN_CLAUSE : RESOLVER_SYSTEM;
+}
 /** Build the user prompt for the judge. Bounded slices keep the call cheap and cache-stable. */
-export function buildResolverUserPrompt(ctx) {
+export function buildResolverUserPrompt(ctx, abstain = false) {
     const parts = [];
     parts.push(`TASK:\n${(ctx.task || '').trim().slice(0, 2500)}`);
     const env = (ctx.envReport || '').trim();
@@ -50,22 +62,27 @@ export function buildResolverUserPrompt(ctx) {
     const att = (ctx.attestation || '').trim();
     if (att)
         parts.push(`THE JUNIOR'S OWN ATTESTATION (treat as a claim to VERIFY, not as truth):\n${att.slice(0, 2000)}`);
-    parts.push('Adjudicate now. First line: `VERDICT: MEETS` or `VERDICT: GAP`. If GAP, add the numbered fix plan ' +
-        'anchored to the TASK\'s real criteria.');
+    parts.push(abstain
+        ? 'Adjudicate now. First line: `VERDICT: MEETS`, `VERDICT: GAP`, or `VERDICT: RETIRE`. If GAP, add the ' +
+            'numbered fix plan anchored to the TASK\'s real criteria; if RETIRE, one line on why it is unclosable.'
+        : 'Adjudicate now. First line: `VERDICT: MEETS` or `VERDICT: GAP`. If GAP, add the numbered fix plan ' +
+            'anchored to the TASK\'s real criteria.');
     return parts.join('\n\n');
 }
 /** Parse the judge's response. Fail-open to MEETS when the verdict line is absent/empty. */
 export function parseResolverVerdict(text) {
     const t = (text || '').trim();
     if (!t)
-        return { meets: true, plan: '', parsed: false };
-    const m = t.match(/VERDICT:\s*(MEETS|GAP)/i);
+        return { meets: true, retire: false, plan: '', parsed: false };
+    const m = t.match(/VERDICT:\s*(MEETS|GAP|RETIRE)/i);
     if (!m)
-        return { meets: true, plan: '', parsed: false }; // no clear verdict → do not block the finish
-    const meets = m[1].toUpperCase() === 'MEETS';
-    // The plan is everything after the verdict line.
+        return { meets: true, retire: false, plan: '', parsed: false }; // no clear verdict → do not block the finish
+    const verdict = m[1].toUpperCase();
+    const meets = verdict === 'MEETS';
+    const retire = verdict === 'RETIRE';
+    // The plan (GAP) / reason (RETIRE) is everything after the verdict line.
     const idx = t.indexOf(m[0]);
     const plan = t.slice(idx + m[0].length).trim();
-    return { meets, plan, parsed: true };
+    return { meets, retire, plan, parsed: true };
 }
 //# sourceMappingURL=endTurnResolver.js.map

package/dist/training/endTurnResolver.js.map

@@ -1 +1 @@
-{"version":3,"file":"endTurnResolver.js","sourceRoot":"","sources":["../../src/training/endTurnResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AASH,MAAM,QAAQ,GAA0B,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AAEnG,MAAM,UAAU,4BAA4B,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC/E,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,qCAAqC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,OAAO;QACL,kBAAkB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB;QAClF,MAAM,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM;QAC5B,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU;KACpE,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,MAAM,eAAe,GAC1B,kGAAkG;IAClG,uGAAuG;IACvG,qGAAqG;IACrG,uGAAuG;IACvG,4BAA4B;IAC5B,sGAAsG;IACtG,yGAAyG;IACzG,iFAAiF;IACjF,oDAAoD;IACpD,oBAAoB;IACpB,kBAAkB;IAClB,4EAA4E;IAC5E,yGAAyG;IACzG,uGAAuG;IACvG,qGAAqG;IACrG,wDAAwD,CAAC;AAa3D,gGAAgG;AAChG,MAAM,UAAU,uBAAuB,CAAC,GAA2B;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,2EAA2E,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvI,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvH,KAAK,CAAC,IAAI,CACR,oGAAoG;QAClG,wCAAwC,CAC3C,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAYD,4FAA4F;AAC5F,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACxD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7C,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,6CAA6C;IACtG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,KAAK,OAAO,CAAC;IAC9C,iDAAiD;IACjD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}
+{"version":3,"file":"endTurnResolver.js","sourceRoot":"","sources":["../../src/training/endTurnResolver.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAaH,MAAM,QAAQ,GAA0B,EAAE,kBAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAEnH,MAAM,UAAU,4BAA4B,CAAC,MAAyB,OAAO,CAAC,GAAG;IAC/E,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,qCAAqC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,8BAA8B,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5D,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,OAAO;QACL,kBAAkB,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,kBAAkB;QAClF,MAAM,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM;QAC5B,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU;QACnE,OAAO,EAAE,CAAC,GAAG,CAAC,+BAA+B,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM;KACrF,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,MAAM,eAAe,GAC1B,kGAAkG;IAClG,uGAAuG;IACvG,qGAAqG;IACrG,uGAAuG;IACvG,4BAA4B;IAC5B,sGAAsG;IACtG,yGAAyG;IACzG,iFAAiF;IACjF,oDAAoD;IACpD,oBAAoB;IACpB,kBAAkB;IAClB,4EAA4E;IAC5E,yGAAyG;IACzG,uGAAuG;IACvG,qGAAqG;IACrG,wDAAwD,CAAC;AAE3D,mGAAmG;AACnG,MAAM,CAAC,MAAM,uBAAuB,GAClC,4GAA4G;IAC5G,wGAAwG;IACxG,0GAA0G;IAC1G,yGAAyG;IACzG,6GAA6G;IAC7G,2GAA2G,CAAC;AAE9G,+EAA+E;AAC/E,MAAM,UAAU,oBAAoB,CAAC,OAAO,GAAG,KAAK;IAClD,OAAO,OAAO,CAAC,CAAC,CAAC,eAAe,GAAG,uBAAuB,CAAC,CAAC,CAAC,eAAe,CAAC;AAC/E,CAAC;AAaD,gGAAgG;AAChG,MAAM,UAAU,uBAAuB,CAAC,GAA2B,EAAE,OAAO,GAAG,KAAK;IAClF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,wBAAwB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IAClE,KAAK,CAAC,IAAI,CAAC,2EAA2E,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvI,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,6EAA6E,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;IACvH,KAAK,CAAC,IAAI,CACR,OAAO;QACL,CAAC,CAAC,sGAAsG;YACpG,uGAAuG;QAC3G,CAAC,CAAC,oGAAoG;YAClG,wCAAwC,CAC/C,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAeD,4FAA4F;AAC5F,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACvE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,gCAAgC,CAAC,CAAC;IACpD,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,6CAA6C;IACrH,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,OAAO,KAAK,OAAO,CAAC;IAClC,MAAM,MAAM,GAAG,OAAO,KAAK,QAAQ,CAAC;IACpC,yEAAyE;IACzE,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC/C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nexus-cortex/core",
-  "version": "4.93.0",
+  "version": "4.94.0",
   "description": "Core orchestration library implementing Claude CLI architecture patterns",
   "type": "module",
   "main": "./dist/index.js",
@@ -33,7 +33,7 @@
   },
   "scripts": {
     "build": "npm run clean && tsc && npm run copy-assets",
-    "copy-assets": "mkdir -p dist/system-messages/messages && cp src/system-messages/*.json dist/system-messages/ && cp -r src/system-messages/messages/*.md dist/system-messages/messages/ && cp ../../.env.example ./.env.example",
+    "copy-assets": "mkdir -p dist/system-messages/messages && cp src/system-messages/*.json dist/system-messages/ && cp -r src/system-messages/messages/*.md dist/system-messages/messages/ && cp ../../.env.defaults ./.env.defaults",
     "clean": "rm -rf dist",
     "test": "vitest",
     "test:ci": "vitest run --coverage",
@@ -47,8 +47,8 @@
     "@google/generative-ai": "^0.2.1",
     "@gradio/client": "^2.3.1",
     "@modelcontextprotocol/sdk": "^1.20.2",
-    "@nexus-cortex/executors": "4.93.0",
-    "@nexus-cortex/types": "4.93.0",
+    "@nexus-cortex/executors": "4.94.0",
+    "@nexus-cortex/types": "4.94.0",
     "@types/uuid": "^10.0.0",
     "ajv": "^8.12.0",
     "chokidar": "^3.6.0",
@@ -76,7 +76,7 @@
     "README.md",
     "LICENSE",
     "NOTICE",
-    ".env.example"
+    ".env.defaults"
   ],
   "repository": {
     "type": "git",