@nexus-cortex/core 4.124.42 → 4.124.44

package/dist/training/taskRules.js

@@ -0,0 +1,68 @@
+/**
+ * R211–R214 HB-TASK-RULES (dark, 2026-10-02). Four general verification rules from the TB4.0 requirement-miss pass over the 16
+ * never-passed tasks that fail one identical hidden test every run (.cortex/research/tb4-never-passed-2026-10-02.md §Requirement-miss
+ * pass): input overlooked / given input altered, ambiguous convention settled by heuristic, overfit to the visible sample, fidelity with
+ * no independent check. Each rule is its own env flag (A/B-able) and rides TWO carriers:
+ *
+ *   A — planner: one doctrine bullet per active rule in the lift-plan persona (liftPlanner.plannerSystem), so the plan carries the step.
+ *   B — judge:   one rubric clause per active rule appended to the EndTurn judge persona (endTurnResolver.resolverSystemPrompt),
+ *                exactly like R208's RESOLVER_SCALE_CLAUSE: evidence that does not establish the rule → GAP with a concrete CHECK.
+ *
+ *   CORTEX_RULE_INPUTS  = off (default) | on   R211 L1 input-coverage audit
+ *   CORTEX_RULE_INTERP  = off (default) | on   R212 L2 interpretation enumeration
+ *   CORTEX_RULE_HOLDOUT = off (default) | on   R213 L3 held-out / variant validation
+ *   CORTEX_RULE_INDEP   = off (default) | on   R214 L4 independent verifier
+ *
+ * All off → both personas byte-identical. The rules only ever ask for MORE verification. Pure apart from the env read.
+ */
+/** Canonical order (block and clause order never depend on env iteration order). */
+export const TASK_RULES = ['inputs', 'interp', 'holdout', 'indep'];
+export const TASK_RULE_ENV = {
+    inputs: 'CORTEX_RULE_INPUTS',
+    interp: 'CORTEX_RULE_INTERP',
+    holdout: 'CORTEX_RULE_HOLDOUT',
+    indep: 'CORTEX_RULE_INDEP',
+};
+/** Active rules, canonical order. A rule is on for on | true | 1 (case-insensitive); anything else is off. */
+export function resolveTaskRules(env = process.env) {
+    return TASK_RULES.filter((r) => /^(on|true|1)$/i.test((env[TASK_RULE_ENV[r]] ?? '').trim()));
+}
+/** Carrier A: one planner doctrine bullet per rule (same `- NAME: …\n` shape as the other doctrine bullets). */
+export const TASK_RULE_PLAN_LINES = {
+    inputs: '- INPUT COVERAGE: include a step that lists every field, column and parameter of the provided inputs and where the solution uses ' +
+        'each one. Never change a given constant or input to make the problem feasible; if it looks infeasible with the given data, ' +
+        're-read the task and the inputs — something was misread.\n',
+    interp: '- INTERPRETATIONS: when the task or the work names alternative readings, conventions or candidates, include a step that computes ' +
+        'each one and keeps the one consistent with every explicit hint and all of the data, stating why.\n',
+    holdout: '- HELD-OUT VALIDATION: when the task implies hidden inputs, other variants or generalisation, include a step that validates on a ' +
+        'held-out split or constructed variants, not only the visible sample.\n',
+    indep: '- INDEPENDENT CHECK: include a final check that does not reuse the producing logic (a separate method or recomputation), resolve ' +
+        'every measured discrepancy before finishing, and run the task\'s own verification commands within its stated limits.\n',
+};
+/** The combined planner block for the active rules ('' when none). */
+export function taskRulesPlanBlock(rules) {
+    return TASK_RULES.filter((r) => rules.includes(r)).map((r) => TASK_RULE_PLAN_LINES[r]).join('');
+}
+/** Carrier B: one judge rubric clause per rule (same `\n\nNAME RULE (HB-…): question? If … treat that as a GAP and name a CHECK …` shape
+ *  as RESOLVER_SCALE_CLAUSE). */
+export const TASK_RULE_JUDGE_CLAUSES = {
+    inputs: '\n\nINPUTS RULE (HB-RULE-INPUTS): when the task provides input data, parameters or constants, does the work use them and leave the ' +
+        'given values unchanged? If a provided field is ignored or a given value was altered to make the problem feasible, treat that as a GAP ' +
+        'and name a CHECK that shows where that input is used. Tasks with no provided inputs are not affected by this rule.',
+    interp: '\n\nINTERPRETATION RULE (HB-RULE-INTERP): where the task or the work names alternative readings, conventions or candidates, does ' +
+        'the evidence show each one was computed and the chosen one is consistent with every explicit hint and all the data? If an ' +
+        'alternative was set aside without that comparison, treat that as a GAP and name a CHECK that scores the alternatives against the ' +
+        'hints and the data.',
+    holdout: '\n\nHELD-OUT RULE (HB-RULE-HOLDOUT): if the task implies hidden inputs, other variants or generalisation, does the verification ' +
+        'go beyond the visible sample (a held-out split or constructed variants)? If the evidence covers only the visible sample, treat ' +
+        'that as a GAP and name a CHECK on held-out or constructed variant inputs.',
+    indep: '\n\nINDEPENDENT-CHECK RULE (HB-RULE-INDEP): is the final verification independent of the logic that produced the result — the ' +
+        'task\'s own tests or commands within their stated limits, or a separate method — rather than a self-check that only restates the ' +
+        'producing code\'s own output? Running the task\'s own tests counts as independent. A self-only check, or a measured discrepancy left ' +
+        'unreconciled, is a GAP: name an independent CHECK that settles it.',
+};
+/** The combined judge clauses for the active rules ('' when none). */
+export function taskRulesJudgeClause(rules) {
+    return TASK_RULES.filter((r) => rules.includes(r)).map((r) => TASK_RULE_JUDGE_CLAUSES[r]).join('');
+}
+//# sourceMappingURL=taskRules.js.map

package/dist/training/taskRules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taskRules.js","sourceRoot":"","sources":["../../src/training/taskRules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,oFAAoF;AACpF,MAAM,CAAC,MAAM,UAAU,GAAwB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;AAExF,MAAM,CAAC,MAAM,aAAa,GAA6B;IACrD,MAAM,EAAE,oBAAoB;IAC5B,MAAM,EAAE,oBAAoB;IAC5B,OAAO,EAAE,qBAAqB;IAC9B,KAAK,EAAE,mBAAmB;CAC3B,CAAC;AAEF,8GAA8G;AAC9G,MAAM,UAAU,gBAAgB,CAAC,MAAyB,OAAO,CAAC,GAAG;IACnE,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC/F,CAAC;AAED,gHAAgH;AAChH,MAAM,CAAC,MAAM,oBAAoB,GAA6B;IAC5D,MAAM,EACJ,mIAAmI;QACnI,6HAA6H;QAC7H,4DAA4D;IAC9D,MAAM,EACJ,mIAAmI;QACnI,oGAAoG;IACtG,OAAO,EACL,mIAAmI;QACnI,wEAAwE;IAC1E,KAAK,EACH,mIAAmI;QACnI,wHAAwH;CAC3H,CAAC;AAEF,sEAAsE;AACtE,MAAM,UAAU,kBAAkB,CAAC,KAA0B;IAC3D,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAClG,CAAC;AAED;iCACiC;AACjC,MAAM,CAAC,MAAM,uBAAuB,GAA6B;IAC/D,MAAM,EACJ,qIAAqI;QACrI,wIAAwI;QACxI,oHAAoH;IACtH,MAAM,EACJ,mIAAmI;QACnI,4HAA4H;QAC5H,mIAAmI;QACnI,qBAAqB;IACvB,OAAO,EACL,kIAAkI;QAClI,iIAAiI;QACjI,2EAA2E;IAC7E,KAAK,EACH,gIAAgI;QAChI,mIAAmI;QACnI,uIAAuI;QACvI,oEAAoE;CACvE,CAAC;AAEF,sEAAsE;AACtE,MAAM,UAAU,oBAAoB,CAAC,KAA0B;IAC7D,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACrG,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nexus-cortex/core",
-  "version": "4.124.42",
+  "version": "4.124.44",
   "description": "Core orchestration library implementing Claude CLI architecture patterns",
   "type": "module",
   "main": "./dist/index.js",
@@ -47,8 +47,8 @@
     "@google/generative-ai": "^0.2.1",
     "@gradio/client": "^2.3.1",
     "@modelcontextprotocol/sdk": "^1.20.2",
-    "@nexus-cortex/executors": "4.124.42",
-    "@nexus-cortex/types": "4.124.42",
+    "@nexus-cortex/executors": "4.124.44",
+    "@nexus-cortex/types": "4.124.44",
     "@types/uuid": "^10.0.0",
     "ajv": "^8.12.0",
     "chokidar": "^3.6.0",