kenaz 0.3.18 → 0.3.20

package/core/.formation/tools/arms.js

@@ -0,0 +1,48 @@
+'use strict';
+// TASK_2440: the one registry of prompt-level A/B arms (dev/research/self-improvement/DESIGN.md, "New prompt-level changes").
+// A new prompt change = one entry here + its prompt branch in dispatch.js. Not a framework: a table and a hash.
+const MS_DAY = 86400000;
+
+// applies: which cards are eligible ('bug' | 'criteria'). salt '' is the TASK_2429 hash kept as it was; new arms use `${name}:`.
+// minSample counts merged cards per arm; metric is the arm's own named metric besides first-pass merge.
+const ARMS = [
+  { name: 'diagnose', field: 'diagnose_arm', on: 'with', off: 'without', salt: '', flag: '--diagnose', applies: 'bug',
+    start: '2026-10-11', end: null, decide: '2026-11-11', minSample: 10, metric: 'first-pass', change: 'Bug diagnosis section appended to the prompt' },
+  { name: 'contract', field: 'contract_arm', on: 'contract', off: 'generic', salt: 'contract:', flag: '--contract', applies: 'criteria',
+    start: '2026-10-12', end: null, decide: '2026-11-11', minSample: 20, metric: 'rework commits per merged card', change: 'numbered acceptance criteria answered one line each in the report' },
+];
+
+/** Stable FNV-1a bit of `${salt}${taskId}`: true -> on arm. */
+function hashOn(taskId, salt) {
+  let h = 2166136261;
+  for (const ch of salt + String(taskId || '')) { h ^= ch.charCodeAt(0); h = Math.imul(h, 16777619) >>> 0; }
+  return (h >>> 7) % 2 === 0;
+}
+
+function active(arm, now) {
+  const t = +now;
+  return t >= Date.parse(arm.start) && (!arm.end || t < Date.parse(arm.end) + MS_DAY);
+}
+
+/** Label for one arm ('on'/'off' override forces it). Does not check eligibility or dates. */
+function armLabel(arm, taskId, override) {
+  if (override === 'on') return arm.on;
+  if (override === 'off') return arm.off;
+  return hashOn(taskId, arm.salt) ? arm.on : arm.off;
+}
+
+/**
+ * All arms for one card: { [arm.name]: label }. `eligible` = { bug: bool, criteria: bool }; `overrides` = { [name]: 'on'|'off' }.
+ * Arms outside [start, end], or not applying to the card, are absent. Each arm hashes on its own salt, so arms are independent.
+ */
+function assignArms(taskId, eligible, { now = Date.now(), overrides = {}, arms = ARMS } = {}) {
+  const out = {};
+  for (const arm of arms) {
+    if (!eligible[arm.applies]) continue;
+    if (!overrides[arm.name] && !active(arm, now)) continue;
+    out[arm.name] = armLabel(arm, taskId, overrides[arm.name]);
+  }
+  return out;
+}
+
+module.exports = { ARMS, assignArms, armLabel, hashOn, active };

package/core/.formation/tools/dispatch.js

@@ -14,10 +14,11 @@ const path = require('path');
 const fs = require('fs');
 const { execSync } = require('child_process');
 const { loadSkill, loadTask } = require('./loader');
+const { ARMS, assignArms, armLabel } = require('./arms');
 const {
   buildPrompt, SUBAGENT_PREFIX, SUBAGENT_PREFIX_DIRECT, buildSubagentWorktreePrefix,
   promptProfile, extractRigor, extractComplexity, splitPromptSections,
-  applyRustCheckToPrefix,
+  applyRustCheckToPrefix, cardCriteria,
 } = require('./prompt');
 const {
   ROOT, loadDashboardModels,
@@ -648,14 +649,12 @@ function isBugCard(taskData) {
   return /^\s*((fix(es|ed)?|bug)\b|修)/i.test(String(t.title || ''));
 }
 
-/** 'with' | 'without': stable 50/50 split by task id (FNV-1a), unless forced by --diagnose on|off. */
-function diagnoseArmFor(taskId, override) {
-  if (override === 'on') return 'with';
-  if (override === 'off') return 'without';
-  let h = 2166136261;
-  for (const ch of String(taskId || '')) { h ^= ch.charCodeAt(0); h = Math.imul(h, 16777619) >>> 0; }
-  return (h >>> 7) % 2 === 0 ? 'with' : 'without';
-}
+// TASK_2440: arms live in arms.js (one registry); these keep the old names and the exact same hashes.
+const armNamed = (n) => ARMS.find((a) => a.name === n);
+/** 'with' | 'without': stable 50/50 split by task id, unless forced by --diagnose on|off. */
+function diagnoseArmFor(taskId, override) { return armLabel(armNamed('diagnose'), taskId, override); }
+/** 'contract' | 'generic' report arm (TASK_2439), salted so it is independent of the diagnosis arm; --contract on|off forces it. */
+function contractArmFor(taskId, override) { return armLabel(armNamed('contract'), taskId, override); }
 
 const BUG_DIAGNOSIS_SECTION = [
   '## Bug diagnosis',
@@ -682,7 +681,7 @@ const BUG_DIAGNOSIS_SECTION = [
  * complexity (TASK_1998 two-axis policy): the normalized 'simple'|'medium'|'complex'
  * CONTEXT-volume key (extractComplexity() default). Optional for older readers.
  */
-function appendDispatchPromptStats({ taskId, rigor, complexity, formation, promptText, model, modelSource, projectPath, diagnoseArm }) {
+function appendDispatchPromptStats({ taskId, rigor, complexity, formation, promptText, model, modelSource, projectPath, diagnoseArm, contractArm, arms }) {
   const root = projectPath || ROOT;
   const dir = path.join(root, '.kenaz', 'specialist');
   try {
@@ -698,6 +697,8 @@ function appendDispatchPromptStats({ taskId, rigor, complexity, formation, promp
       model,
       model_source: modelSource || null,
       diagnose_arm: diagnoseArm || null,
+      contract_arm: contractArm || null,
+      arms: arms || null, // TASK_2440: every arm assigned to the card, {name: label}
     });
     fs.appendFileSync(path.join(dir, 'dispatch_prompt_stats.jsonl'), line + '\n', 'utf8');
   } catch { /* best-effort — telemetry must never block dispatch */ }
@@ -785,6 +786,7 @@ Options:
   --formation <name>      Skill folder: unit (default) or solo
   --skill <name>          Skill to use (YAML filename without extension)
   --task <value>          Task ID (TASK_XXX) or free-text description
+  --contract on|off       Force the report-contract A/B arm for a card with acceptance criteria (default: stable hash of the task id)
   --diagnose on|off       Force the bug-diagnosis A/B arm for a bug card (default: stable hash of the task id)
   --dry-run               Build and print the payload with no side effects
   --dispatch-mode <mode>  Required: subagent (JSON params for the Agent tool)
@@ -813,7 +815,7 @@ Options:
                           (with --release-lock: release a lock this session
                           cannot prove it owns)
 
-Skills: unit: do, think, plan; solo: strategy, diagnosis.
+Skills: unit: do.
 
 Sub-agent dispatch (Ansuz billing-aware path):
   node .formation/tools/dispatch.js --skill=do --task=TASK_172 --dispatch-mode=subagent
@@ -915,7 +917,7 @@ Sub-agent dispatch (Ansuz billing-aware path):
     console.error('❌ --dispatch-mode=subagent is required (Formation headless/squad/legion dispatch is retired)');
     process.exit(1);
   }
-  getSubagentDispatchParams({ formation, skill, task, projectPath, force, useWorktree: useWorktreeCli, dispatchModelOverride: dispatchModelCli, dryRun, harness: harnessCli, diagnose: getArg('--diagnose') }).then(result => {
+  getSubagentDispatchParams({ formation, skill, task, projectPath, force, useWorktree: useWorktreeCli, dispatchModelOverride: dispatchModelCli, dryRun, harness: harnessCli, diagnose: getArg('--diagnose'), contract: getArg('--contract') }).then(result => {
     if (!result) { process.exitCode = 1; return; }
     process.stdout.write(JSON.stringify(result, null, 2) + '\n');
   }).catch(e => {
@@ -989,6 +991,7 @@ async function getSubagentDispatchParams(options) {
     dryRun = false,
     // TASK_2315: 'claude' (Agent tool) | 'codex' (Codex-native spawn_agent). Selects the payload shape.
     harness = 'claude',
+    contract = null, // TASK_2439: --contract on|off forces the report-contract arm
     diagnose = null, // TASK_2429: --diagnose on|off forces the bug-diagnosis arm
   } = options;
   if (harness !== 'claude' && harness !== 'codex') {
@@ -1246,9 +1249,13 @@ async function getSubagentDispatchParams(options) {
   if (projectPath) promptOptions.projectPath = projectPath;
   if (taskInput && taskInput.startsWith('TASK_')) promptOptions.taskId = taskInput;
 
+  // TASK_2439: only cards with acceptance criteria get a contract arm; others keep today's generic line.
+  const armSet = assignArms(taskInput, { bug: isBugCard(taskData), criteria: cardCriteria(taskData).length > 0 }, { overrides: { diagnose, contract } });
+  const contractArm = armSet.contract || null;
+  if (contractArm === 'contract') promptOptions.contract = true;
   let rawPrompt = buildPrompt(skillDef, taskInput, taskData, promptOptions);
   // TASK_2429: only bug cards get an arm; any other prompt stays byte-for-byte unchanged.
-  const diagnoseArm = isBugCard(taskData) ? diagnoseArmFor(taskInput, diagnose) : null;
+  const diagnoseArm = armSet.diagnose || null;
   if (diagnoseArm === 'with' && typeof rawPrompt === 'string') rawPrompt = rawPrompt + '\n\n' + BUG_DIAGNOSIS_SECTION + '\n';
 
   // 4. Cortex context (same as Formation dispatch)
@@ -1394,7 +1401,7 @@ async function getSubagentDispatchParams(options) {
   // by dashboard vs dashboard-by-rigor vs cli without re-deriving it.
   // Two-axis policy: complexity rides along too, so dispatch-stats.js can
   // group by (rigor, complexity) instead of rigor alone.
-  if (!dryRun) appendDispatchPromptStats({ taskId: taskInput, rigor: resolution.rigorKey, complexity, formation, promptText, model: dispatchModel || rawModel, modelSource: resolution.source, projectPath, diagnoseArm });
+  if (!dryRun) appendDispatchPromptStats({ taskId: taskInput, rigor: resolution.rigorKey, complexity, formation, promptText, model: dispatchModel || rawModel, modelSource: resolution.source, projectPath, diagnoseArm, contractArm, arms: Object.keys(armSet).length ? armSet : null });
 
   // TASK_2032: mirror headless.js's formation-path auto-activation (~L272-290)
   // on the subagent path — every gate/guard above has passed and this function
@@ -1455,6 +1462,8 @@ async function getSubagentDispatchParams(options) {
     ...(isCodex ? { harness: 'codex', cwd: crossWorktree ? crossWorktree.worktreePath : null, worktreePath: crossWorktree ? crossWorktree.worktreePath : null } : {}),
     modelTranslation, isolation, ...(agentParams ? { agentParams } : {}), ...(executor ? { executor } : {}), rigor: resolution.rigorKey, complexity, modelSource: resolution.source,
     ...(diagnoseArm ? { diagnoseArm } : {}),
+    ...(contractArm ? { contractArm } : {}),
+    ...(Object.keys(armSet).length ? { arms: armSet } : {}),
     ...(dryRun ? { dryRun: true } : {}),
   };
 }
@@ -1505,4 +1514,4 @@ function setupSubagentCrossProjectWorktree(projectPath, taskInput) {
   };
 }
 
-module.exports = { isBugCard, diagnoseArmFor, BUG_DIAGNOSIS_SECTION, appendDispatchPromptStats, resolveDispatchModelForRigor, translateModelForAgentTool, DEFAULT_DISPATCH_MODEL, getSubagentDispatchParams, checkDispatchScopeGate, releaseDispatchLock, resolveDispatchIsolation, _getProvenSessionId, _getOwnConversationId, _isOwnClaimMarker, _buildCortexContext: buildCortexContext };
+module.exports = { isBugCard, diagnoseArmFor, contractArmFor, BUG_DIAGNOSIS_SECTION, appendDispatchPromptStats, resolveDispatchModelForRigor, translateModelForAgentTool, DEFAULT_DISPATCH_MODEL, getSubagentDispatchParams, checkDispatchScopeGate, releaseDispatchLock, resolveDispatchIsolation, _getProvenSessionId, _getOwnConversationId, _isOwnClaimMarker, _buildCortexContext: buildCortexContext };

package/core/.formation/tools/kenaz-stats.js

@@ -13,6 +13,7 @@ const fs = require('fs');
 const os = require('os');
 const path = require('path');
 const { execFileSync } = require('child_process');
+const { ARMS } = require('./arms');
 
 const DAY = 86400000;
 const NO_DATA = 'no data';
@@ -211,21 +212,40 @@ function lessonStats({ home, cwd, now, days }) {
 
 /** TASK_2429: bug cards per diagnosis arm (dispatch_prompt_stats.jsonl diagnose_arm) joined with the git first-pass verdicts of dispatchStats. */
 function diagnoseAbStats({ cwd, now, days, dispatch }) {
+  return armStats({ cwd, now, days, dispatch, field: 'diagnose_arm', names: ['with', 'without'] });
+}
+
+/** TASK_2439: cards with acceptance criteria per report-contract arm, plus rework commits per arm. */
+function contractAbStats({ cwd, now, days, dispatch }) {
+  return armStats({ cwd, now, days, dispatch, field: 'contract_arm', names: ['contract', 'generic'], commits: true });
+}
+
+/** TASK_2440: one row per registered arm (arms.js): cards, merged, first-pass and rework commits on/off, minimum sample, decision date. */
+function armsStats({ cwd, now, days, dispatch }) {
+  return ARMS.map((arm) => {
+    const r = armStats({ cwd, now, days, dispatch, field: arm.field, names: [arm.on, arm.off], commits: true });
+    return { name: arm.name, metric: arm.metric, minSample: arm.minSample, decide: arm.decide, decisionPassed: now >= Date.parse(arm.decide), on: { label: arm.on, ...r[arm.on] }, off: { label: arm.off, ...r[arm.off] } };
+  });
+}
+
+function armStats({ cwd, now, days, dispatch, field, names, commits }) {
   const arms = {}; // card number -> arm (latest dispatch record wins)
   try {
     for (const l of fs.readFileSync(path.join(cwd, '.kenaz', 'specialist', 'dispatch_prompt_stats.jsonl'), 'utf8').split('\n')) {
       let r; try { r = JSON.parse(l); } catch (_) { continue; }
-      const m = r && r.diagnose_arm && /^TASK_(\d+)$/i.exec(r.task_id || '');
-      if (m && (ms(r.ts) || 0) >= now - days * DAY) arms[m[1]] = r.diagnose_arm;
+      const m = r && r[field] && /^TASK_(\d+)$/i.exec(r.task_id || '');
+      if (m && (ms(r.ts) || 0) >= now - days * DAY) arms[m[1]] = r[field];
     }
   } catch (_) { /* no records */ }
   const rework = new Set(((dispatch && dispatch.rework) || []).map((x) => x.card));
   const merged = new Set((dispatch && dispatch.mergedCards) || []);
+  const shas = new Map(((dispatch && dispatch.rework) || []).map((x) => [x.card, (x.shas || []).length]));
   const out = {};
-  for (const arm of ['with', 'without']) {
+  for (const arm of names) {
     const cards = Object.keys(arms).filter((n) => arms[n] === arm).map((n) => 'TASK_' + n);
     const m = cards.filter((c) => merged.has(c));
     out[arm] = { cards: cards.length, merged: m.length, firstPass: m.filter((c) => !rework.has(c)).length };
+    if (commits) out[arm].reworkCommits = m.reduce((n, c) => n + (shas.get(c) || 0), 0);
   }
   return out;
 }
@@ -247,7 +267,7 @@ function selfImprovementStats({ home, cwd, now, days }) {
     const prev = dispatchStats({ repo: cwd, now: now - days * DAY, days, until: now - days * DAY });
     const pick = (d) => (d.firstPassRate == null ? null : { rate: d.firstPassRate, merged: d.merged });
     return { source: src, ...require('../../.specialist/tools/lessons-harvest.js').selfStats({ projectPath: cwd, home, now, days }),
-      firstPass: { window: pick(cur), previous: pick(prev) }, diagnoseAb: diagnoseAbStats({ cwd, now, days, dispatch: cur }),
+      firstPass: { window: pick(cur), previous: pick(prev) }, arms: armsStats({ cwd, now, days, dispatch: cur }),
       glossary: glossaryStats({ cwd, now, days, cur }) };
   } catch (e) { return { source: src, note: `${NO_DATA} (${e.message})` }; }
 }
@@ -314,9 +334,13 @@ function render(s) {
         `  lessons by source: ${Object.entries(si.bySource).map(([k, v]) => `${k}=${v.lessons} (fired ${v.fired}, recurred before first fire ${v.recurBefore}, after ${v.recurAfter})`).join('; ') || 'none'}`,
         `  graduated ${si.graduated}; harvest items open ${si.harvestOpen}, recorded ${si.harvestRecorded}`,
         `  first-pass merge rate: this window ${r(si.firstPass.window)}, previous window ${r(si.firstPass.previous)}`);
-      if (si.diagnoseAb) {
-        const a = (x) => `${x.cards} bug cards, first-pass ${x.firstPass}/${x.merged}${x.merged ? ` (${(100 * x.firstPass / x.merged).toFixed(0)}%)` : ''}`;
-        L.push(`  Bug diagnosis A/B: with: ${a(si.diagnoseAb.with)}; without: ${a(si.diagnoseAb.without)}${Math.min(si.diagnoseAb.with.merged, si.diagnoseAb.without.merged) < 10 ? ' (below 10 merged per arm: keep collecting)' : ''}`);
+      if (si.arms && si.arms.length) {
+        const c = (x) => `${x.label} ${x.cards} cards, ${x.merged} merged, first-pass ${x.firstPass}/${x.merged}${x.merged ? ` (${(100 * x.firstPass / x.merged).toFixed(0)}%)` : ''}, ${x.reworkCommits} rework commits`;
+        L.push('  Prompt arms (.formation/tools/arms.js):');
+        for (const a of si.arms) {
+          const low = Math.min(a.on.merged, a.off.merged) < a.minSample;
+          L.push(`    ${a.name}: ${c(a.on)} | ${c(a.off)}; own metric: ${a.metric}; decision date ${a.decide} ${a.decisionPassed ? 'passed' : 'not yet'}${low ? ` (below ${a.minSample} merged per arm: keep collecting, do not decide)` : ''}`);
+        }
       }
       const g = si.glossary;
       if (g) L.push(`  glossary: ${g.terms} terms, ${g.added} added in window; ${g.injections} injections in ${g.cards.length} cards`,
@@ -336,4 +360,4 @@ function main(argv, out = console.log, opts = {}) {
 }
 
 if (require.main === module) process.exit(main(process.argv.slice(2)));
-module.exports = { diagnoseAbStats, main, collect, peerStats, dispatchStats, git, fieldStats, alayaStats, render };
+module.exports = { armsStats, diagnoseAbStats, contractAbStats, main, collect, peerStats, dispatchStats, git, fieldStats, alayaStats, render };

package/core/.formation/tools/kenaz-stats.test.js

@@ -174,8 +174,21 @@ test('diagnose A/B: bug cards and first-pass per arm from fake records (TASK_242
   assert.deepStrictEqual(r.without, { cards: 3, merged: 2, firstPass: 1 });
   assert.deepStrictEqual(S.diagnoseAbStats({ cwd: path.join(tmp, 'none'), now: NOW, days: 14, dispatch }).with, { cards: 0, merged: 0, firstPass: 0 });
   const text = S.render({ days: 14, peer: { source: '-', note: 'no data' }, dispatch: { source: '-', note: 'no data' }, fieldReports: { source: '-', note: 'no data' }, alaya: { source: '-', note: 'no data' },
-    selfImprovement: { source: '-', nudges: 0, converted: 0, bySource: {}, graduated: 0, harvestOpen: 0, harvestRecorded: 0, firstPass: {}, diagnoseAb: r } });
-  assert.ok(text.includes('Bug diagnosis A/B: with: 2 bug cards, first-pass 1/2 (50%); without: 3 bug cards, first-pass 1/2 (50%) (below 10 merged per arm: keep collecting)'), text);
+    selfImprovement: { source: '-', nudges: 0, converted: 0, bySource: {}, graduated: 0, harvestOpen: 0, harvestRecorded: 0, firstPass: {}, arms: S.armsStats({ cwd, now: NOW, days: 14, dispatch }) } });
+  assert.ok(text.includes('Prompt arms') && text.includes('diagnose: with 2 cards, 2 merged, first-pass 1/2 (50%), 0 rework commits | without 3 cards, 2 merged, first-pass 1/2 (50%), 0 rework commits; own metric: first-pass; decision date 2026-11-11'), text);
+  assert.ok(text.includes('(below 10 merged per arm: keep collecting, do not decide)') && text.includes('contract: contract 0 cards'), text);
+});
+
+test('contract A/B: cards, first-pass and rework commits per arm (TASK_2439)', () => {
+  const cwd = path.join(tmp, 'ct-proj');
+  const f = path.join(cwd, '.kenaz', 'specialist', 'dispatch_prompt_stats.jsonl');
+  fs.mkdirSync(path.dirname(f), { recursive: true });
+  const rec = (id, arm) => JSON.stringify({ ts: iso(1), task_id: id, contract_arm: arm, diagnose_arm: 'with' });
+  fs.writeFileSync(f, [rec('TASK_1', 'contract'), rec('TASK_2', 'contract'), rec('TASK_3', 'generic'), rec('TASK_4', 'generic'), rec('TASK_5', 'generic')].join('\n') + '\n');
+  const dispatch = { mergedCards: ['TASK_1', 'TASK_2', 'TASK_3', 'TASK_4'], rework: [{ card: 'TASK_2', shas: ['a'] }, { card: 'TASK_3', shas: ['b', 'c'] }, { card: 'TASK_4', shas: ['d'] }] };
+  const r = S.contractAbStats({ cwd, now: NOW, days: 14, dispatch });
+  assert.deepStrictEqual(r.contract, { cards: 2, merged: 2, firstPass: 1, reworkCommits: 1 });
+  assert.deepStrictEqual(r.generic, { cards: 3, merged: 2, firstPass: 0, reworkCommits: 3 });
 });
 
 test('main: --json parses and all four sections print; bad --days exits 2', () => {

package/core/.formation/tools/loader.js

@@ -1,11 +1,7 @@
 /**
  * Formation Loader
- * YAML 技能定義 + 任務載入（支援新舊兩套任務系統）
- *
- * 任務系統：
- *   新系統 (.collaboration/tasks/)  — TASK_151+ 目錄即狀態，YAML 格式
- *   舊系統 (dev/pipeline/)          — TASK_134~187 JSON 索引 + YAML 檔
- *   查詢順序：新系統 → 舊系統 YAML → 舊系統 TASK_QUEUE.json
+ * YAML skill definitions + task loading (via task-api.js, which resolves
+ * .kenaz/tasks/ first and .collaboration/tasks/ as the legacy fallback).
  */
 
 const { execSync } = require('child_process');
@@ -14,14 +10,10 @@ const fs = require('fs');
 const yaml = (() => { try { return require('js-yaml'); } catch { return require('../../.vendor/js-yaml.cjs'); } })();
 const { FORMATION_DIR, COLLABORATION_API, ROOT } = require('./utils');
 
-// 舊系統路徑
-const LEGACY_PIPELINE_DIR = path.join(ROOT, 'dev', 'pipeline');
-const LEGACY_TASK_QUEUE = path.join(LEGACY_PIPELINE_DIR, 'TASK_QUEUE.json');
-
 /**
- * 載入 skill YAML 定義
- * @param {string} formation - 陣型名稱 (unit/solo/squad/legion)
- * @param {string} skill - 技能名稱
+ * Load a skill YAML definition (.formation/<formation>/<skill>.yaml).
+ * @param {string} formation - formation name (unit)
+ * @param {string} skill - skill name
  * @returns {object} parsed YAML
  */
 function loadSkill(formation, skill) {
@@ -34,48 +26,33 @@ function loadSkill(formation, skill) {
 }
 
 /**
- * 載入任務資料（新系統優先，fallback 舊系統）
- *
- * 查詢順序：
- *   1. .collaboration/tasks/ 或 .kenaz/tasks/ (新系統 — task-api.js get)
- *   2. dev/pipeline/completed/ + tasks/ (舊系統 YAML 檔)
- *   3. dev/pipeline/TASK_QUEUE.json (舊系統 JSON 索引)
+ * Load task data through task-api.js.
  *
- * @param {string} taskId - TASK_XXX 格式的任務 ID
- * @param {object} [options] - 可選參數
- * @param {string} [options.projectPath] - 子專案路徑（優先在此查找任務）
- * @returns {string|null} 任務 YAML/JSON 文本，或 null
+ * @param {string} taskId - TASK_XXX
+ * @param {object} [options]
+ * @param {string} [options.projectPath] - sub-project path (looked up first)
+ * @returns {string|null} task YAML text, or null
  */
 function loadTask(taskId, options) {
   if (!taskId || !taskId.startsWith('TASK_')) return null;
 
   const projectRoot = options?.projectPath || ROOT;
 
-  // 1. 新系統 (.collaboration / .kenaz)
-  const fromCollab = loadTaskFromCollaboration(taskId, projectRoot);
-  if (fromCollab) return fromCollab;
-
-  // 2. 舊系統 YAML 檔 (dev/pipeline/completed/ + tasks/)
-  const fromYaml = loadTaskFromLegacyYaml(taskId, projectRoot);
-  if (fromYaml) return fromYaml;
-
-  // 3. 舊系統 JSON 索引 (TASK_QUEUE.json)
-  const fromQueue = loadTaskFromLegacyQueue(taskId, projectRoot);
-  if (fromQueue) return fromQueue;
+  const fromApi = loadTaskFromApi(taskId, projectRoot);
+  if (fromApi) return fromApi;
 
-  console.warn(`⚠️  Task ${taskId} not found in any system (root: ${projectRoot})`);
+  console.warn(`⚠️  Task ${taskId} not found (root: ${projectRoot})`);
   return null;
 }
 
 /**
- * 從新系統 .collaboration 載入
  * @param {string} taskId
- * @param {string} projectRoot - 專案根目錄
+ * @param {string} projectRoot
  */
-function loadTaskFromCollaboration(taskId, projectRoot) {
+function loadTaskFromApi(taskId, projectRoot) {
   if (!fs.existsSync(COLLABORATION_API)) return null;
   try {
-    // 當 projectRoot 與 core ROOT 不同時，使用 --project-path
+    // When projectRoot differs from the core ROOT, pass --project-path
     const projectArg = projectRoot !== ROOT ? ` --project-path "${projectRoot}"` : '';
     const result = execSync(
       `node "${COLLABORATION_API}"${projectArg} get ${taskId}`,
@@ -87,104 +64,4 @@ function loadTaskFromCollaboration(taskId, projectRoot) {
   return null;
 }
 
-/**
- * 從舊系統 YAML 檔載入 (dev/pipeline/completed/ + tasks/)
- * @param {string} taskId
- * @param {string} projectRoot - 專案根目錄
- */
-function loadTaskFromLegacyYaml(taskId, projectRoot) {
-  const pipelineDir = path.join(projectRoot, 'dev', 'pipeline');
-  const dirs = ['completed', 'tasks'];
-  for (const dir of dirs) {
-    const dirPath = path.join(pipelineDir, dir);
-    if (!fs.existsSync(dirPath)) continue;
-    try {
-      const files = fs.readdirSync(dirPath);
-      const match = files.find(f => f.startsWith(taskId) && f.endsWith('.yaml'));
-      if (match) {
-        return fs.readFileSync(path.join(dirPath, match), 'utf8').trim();
-      }
-    } catch (e) {}
-  }
-  return null;
-}
-
-/**
- * 從舊系統 TASK_QUEUE.json 載入
- * @param {string} taskId
- * @param {string} projectRoot - 專案根目錄
- */
-function loadTaskFromLegacyQueue(taskId, projectRoot) {
-  const queuePath = path.join(projectRoot, 'dev', 'pipeline', 'TASK_QUEUE.json');
-  if (!fs.existsSync(queuePath)) return null;
-  try {
-    const queue = JSON.parse(fs.readFileSync(queuePath, 'utf8'));
-    const task = (queue.tasks || []).find(t => t.id === taskId);
-    if (task) {
-      return yaml.dump(task, { lineWidth: -1 });
-    }
-  } catch (e) {}
-  return null;
-}
-
-/**
- * 列出某個 formation 下所有可用的 skill
- * @param {string} formation - 陣型名稱
- * @returns {string[]} skill 名稱列表
- */
-function listSkills(formation) {
-  const dir = path.join(FORMATION_DIR, formation);
-  if (!fs.existsSync(dir)) return [];
-  return fs.readdirSync(dir)
-    .filter(f => f.endsWith('.yaml'))
-    .map(f => f.replace('.yaml', ''));
-}
-
-/**
- * 載入 specialist 定義（5 個 YAML 檔案）
- * @param {string} name - specialist 名稱 (e.g., "Ansuz", "Amelia")
- * @returns {object} { principles, workflow, knowledge, rule, capability }
- */
-function loadSpecialist(name) {
-  const specialistDir = path.join(ROOT, '.specialist', name);
-  if (!fs.existsSync(specialistDir)) {
-    console.error(`❌ Specialist not found: ${specialistDir}`);
-    process.exit(1);
-  }
-
-  const files = ['principles', 'workflow', 'knowledge', 'rule', 'capability'];
-  const specialist = { name };
-
-  for (const file of files) {
-    const filePath = path.join(specialistDir, `${file}.yaml`);
-    if (!fs.existsSync(filePath)) {
-      console.warn(`⚠️  Missing ${file}.yaml for specialist ${name}`);
-      specialist[file] = null;
-      continue;
-    }
-    try {
-      specialist[file] = yaml.load(fs.readFileSync(filePath, 'utf8'));
-    } catch (e) {
-      console.error(`❌ Failed to parse ${filePath}: ${e.message}`);
-      process.exit(1);
-    }
-  }
-
-  return specialist;
-}
-
-/**
- * 列出所有可用的 specialist
- * @returns {string[]} specialist 名稱列表
- */
-function listSpecialists() {
-  const specialistDir = path.join(ROOT, '.specialist');
-  if (!fs.existsSync(specialistDir)) return [];
-  return fs.readdirSync(specialistDir)
-    .filter(f => {
-      const stat = fs.statSync(path.join(specialistDir, f));
-      return stat.isDirectory();
-    });
-}
-
-module.exports = { loadSkill, loadTask, listSkills, loadSpecialist, listSpecialists };
+module.exports = { loadSkill, loadTask };

package/core/.formation/tools/post-complete.js

@@ -54,7 +54,6 @@
  * | 2.5d  | Safety net: force-move to done           | merge succeeded but complete() failed     | spawnSync                  | task stays in active                |
  * | 2.6b  | Ansuz inbox signal                       | result.taskCompleted && !dryRun           | catch (silent)             | Ansuz not notified                  |
  * | 2.6c  | Relay task_completed event (TASK_1409)   | result.taskCompleted && !dryRun && relay  | catch (silent)             | PM inbox not notified cross-node    |
- * | 3     | Memory agent onTaskCompleted/onError     | memoryAgent && taskId                     | catch (log warning)        | memory event not queued             |
  *
  * A.2  gitBranchAndMerge() — serial mode (L2344)
  *
@@ -301,12 +300,6 @@ const { verify: verifyAcceptance } = require('./verify-acceptance');
 // LLM-based acceptance verification (./verify-acceptance.js) remains and is the
 // one whose result (result.git.acceptance) is actually read.
 
-// Memory Agent（記憶系統整合）
-let memoryAgent = null;
-try {
-  memoryAgent = require('../../.memory/tools/memory-agent');
-} catch { /* memory-agent not available — graceful degradation */ }
-
 // Design Reasoning Attribution (TASK_1074)
 let designReasoning = null;
 try {
@@ -587,7 +580,6 @@ function listDaemonManagedPaths(projectRoot) {
 
   scanDir('.synapse');
   scanDir('.prefrontal');
-  scanDir('.memory');
   if (fs.existsSync(path.join(projectRoot, '.tmp'))) discovered.add('.tmp/');
 
   return Array.from(discovered);
@@ -3003,29 +2995,6 @@ function postComplete(opts = {}) {
     } catch { /* fire-and-forget — never blocks post-complete */ }
   }
 
-  // Step 3: Memory Agent（記憶系統整合）
-  if (memoryAgent && taskId) {
-    try {
-      const testsFailed = result.git?.regression && !result.git.regression.passed && !result.git.regression.skipped;
-      if (testsFailed) {
-        // 回歸測試失敗 → onError（fire-and-forget）
-        memoryAgent.onError({
-          event: 'regression_test_failure',
-          taskId,
-          error: `Regression tests failed after ${taskId} completion`,
-          summary: result.git.regression.output?.slice(-500),
-        }).catch(() => {});
-        console.log('   🧠 Memory: error event queued (regression failure)');
-      } else {
-        // 任務成功完成 → onTaskCompleted（fire-and-forget）
-        memoryAgent.onTaskCompleted(taskId).catch(() => {});
-        console.log('   🧠 Memory: task completion event queued');
-      }
-    } catch (e) {
-      console.log(`   ⚠️  Memory agent skipped: ${e.message}`);
-    }
-  }
-
   // Step 4.6: Guard Failure Detector (TASK_1653)
   // Runs shadow-mode failure detectors for active lesson guards that carry failure_signature.
   // Reads guard snapshots directly from lesson_guards.yaml (not the task chart) because

package/core/.formation/tools/prompt.js

@@ -145,6 +145,14 @@ function buildPrompt(skillDef, taskInput, taskData, options = {}) {
   return buildSubagentPrompt(skillDef, taskInput, taskData, options);
 }
 
+/** Acceptance criteria of a JSON card (empty for YAML/raw or none). */
+function cardCriteria(taskData) {
+  try {
+    const t = typeof taskData === 'string' ? JSON.parse(taskData) : taskData;
+    return t && Array.isArray(t.acceptance_criteria) ? t.acceptance_criteria.map(String) : [];
+  } catch { return []; }
+}
+
 /**
  * Short prompt for Agent-tool subagent dispatch (both harnesses): task card,
  * commit command, verification expectation, report format. The worktree hard
@@ -187,7 +195,13 @@ function buildSubagentPrompt(skillDef, taskInput, taskData, options = {}) {
     lines.push(`Blocked: \`${buildTaskApiRewriter(options)(onBlocked.run).replace(/\{task_id\}/g, taskId)}\` and explain.`);
   }
   for (const c of learned.checks) lines.push(`Project check: ${c.slice(2)}`);
-  lines.push('Final report <= 20 lines: files touched, tests run, commit sha, unverified items.');
+  const criteria = options.contract ? cardCriteria(taskData) : [];
+  if (criteria.length) {
+    // TASK_2439: the report answers each acceptance criterion with evidence (A/B arm, DESIGN.md).
+    lines.push('Final report <= 20 lines: files touched, tests run, commit sha, unverified items, and one line per criterion:');
+    criteria.forEach((ac, i) => lines.push(`${i + 1}. ${ac}`));
+    lines.push('Answer each as met / not met / not verified + evidence (test name and result, file:line, or command output).');
+  } else lines.push('Final report <= 20 lines: files touched, tests run, commit sha, unverified items.');
   lines.push('');
   appendDispatchOverrides(lines, taskData);
   return lines.join('\n');
@@ -666,6 +680,7 @@ Details: .formation/tools/dispatch-detail/cross-project-worktree.md (Read only i
 }
 
 module.exports = {
+  cardCriteria,
   recordSkillUsage,
   buildPrompt,
   SUBAGENT_PREFIX,

package/core/.formation/tools/prompt.test.js

@@ -328,6 +328,26 @@ test('TASK_2391: subagent prompt keeps card + commit rule + report, drops boiler
   assert.ok(body.length < 2500, `body too long: ${body.length}`);
 });
 
+test('TASK_2439: contract arm lists numbered criteria; off arm and cards without criteria keep the generic line', () => {
+  const card = { id: 'TASK_9002', title: 'T', description: 'D', scope_paths: ['src/a.js'], acceptance_criteria: ['AC-A', 'AC-B', 'AC-C'] };
+  const was = process.cwd();
+  const build = (c, contract) => buildPrompt(loadDoSkill(), 'TASK_9002', JSON.stringify(c), { isSubagent: true, taskId: 'TASK_9002', ...(contract ? { contract: true } : {}) });
+  let on, off, plain, noAcOn, noAcOff;
+  try {
+    process.chdir(fs.mkdtempSync(path.join(os.tmpdir(), 'p2439-')));
+    on = build(card, true); off = build(card, false); plain = build(card);
+    const bare = { ...card }; delete bare.acceptance_criteria;
+    noAcOn = build(bare, true); noAcOff = build(bare, false);
+  } finally { process.chdir(was); }
+  const generic = 'Final report <= 20 lines: files touched, tests run, commit sha, unverified items.\n';
+  assert.ok(on.includes('1. AC-A\n2. AC-B\n3. AC-C\n'));
+  assert.ok(on.includes('met / not met / not verified + evidence'));
+  assert.ok(!on.includes(generic));
+  assert.strictEqual(off, plain, "off arm = today's prompt");
+  assert.ok(off.includes(generic) && !off.includes('not verified +'));
+  assert.ok(noAcOn.includes(generic) && noAcOn === noAcOff);
+});
+
 test('TASK_2391: subagent prompt gets the Rust check only for a Rust-scoped card', () => {
   const rustCard = JSON.stringify({ id: 'TASK_9002', title: 'R', scope_paths: ['dashboard/src-tauri/src/x.rs'] });
   const withRust = buildPrompt(loadDoSkill(), 'TASK_9002', rustCard, { isSubagent: true, taskId: 'TASK_9002', rustCoreCheck: () => true });

package/core/.rule/INDEX.yaml

@@ -24,8 +24,6 @@ load_order:
     description: "GEN-009: 跨平台相容原則 - Windows/macOS/Linux 三平台相容性要求"
   - path: "general/agent-workflow.yaml"
     description: "Agent 工作流程 - 記憶點優先 + 邊界意識 + Context Integrity Canary（AGT-001 至 AGT-009）"
-  - path: "general/sunny-access-control.yaml"
-    description: "SEC-010: Sunny 系統存取控制 - 禁止其他 Agent 存取 .system/sunny/"
   - path: "general/synapse-code-intelligence.yaml"
     description: "SYN-001~007: 代碼導航 — kenaz_lsp_* 代碼導航、Grep/Glob 文字與概念搜尋。記憶層 synapse_* 工具已於 2026-10-11 移除（TASK_2411）"
   # 2026-10-11 (TASK_2411): synapse-cognitive-fusion.yaml, cortex-tools.yaml, memory-source-priority.yaml, memory-language.yaml deleted - memory system removed.
@@ -41,14 +39,6 @@ load_order:
     description: "VERIFY-TGT-001~002: Rust 驗證正典 CARGO_TARGET_DIR — 單一共用目錄（dev/scripts/verify-target-dir.js），禁止自創目錄；並行驗證被 cargo 檔案鎖串行化屬正常等待"
   - path: "general/task-pool-routing.yaml"
     description: "POOL-001~003: 本地任務 vs 任務池 路由規則 — 詞彙驅動路由、術語一致性、Pool 操作安全（publish/claim 破壞性語義）"
-  - path: "general/pipeline.yaml"
-    description: "Pipeline 系統規則 - 任務管理規範"
-  - path: "pipeline/PPL-002-completed-task-archival.yaml"
-    description: "已完成任務封存規則 - 防止佇列污染"
-  - path: "pipeline/auto-update.yaml"
-    description: "PPL-003 - 任務完成後必須更新 Pipeline 系統（Critical）"
-  - path: "pipeline/task-execution.yaml"
-    description: "PPL-101 至 PPL-113 - Pipeline 任務執行規範（拆分、依賴、並行、回歸保護等）"
 
   # Code 規則組 - 從核心原則到具體實踐
   - path: "code/principles.yaml"
@@ -70,14 +60,6 @@ load_order:
 
   - path: "design/ui.yaml"
     description: "UI 設計規範"
-  - path: "design/ux.yaml"
-    description: "UX 設計原則"
-  - path: "design/colors.yaml"
-    description: "色彩系統"
-  - path: "architecture/decisions.yaml"
-    description: "架構決策記錄"
-  - path: "business/constraints.yaml"
-    description: "業務邏輯約束"
 
 # 嚴重程度定義
 severity_levels: