cc-devflow 4.5.10 → 4.5.11

package/lib/skill-runtime/__tests__/task-contract.test.js

@@ -239,6 +239,12 @@ Repair Boundary:
 - Introduce in-flight map keyed by cache key; reject propagation errors to all awaiters.
 - Do not touch eviction policy or TTL logic.
 
+Verification:
+
+\`\`\`bash
+npm test -- lib/cache/remote.test.js
+\`\`\`
+
 Prevention:
 - Add a regression test that fires 50 parallel callers with an empty cache and asserts origin.fetch called once.
 
@@ -341,6 +347,11 @@ describe('extractTasksRootCauseContract', () => {
       ]);
     });
 
+    test('fields parses Verification as a fenced command block', () => {
+      const result = extractTasksRootCauseContract(FIX_SAMPLE_WITH_HEADING);
+      expect(result.fields.verification).toBe('npm test -- lib/cache/remote.test.js');
+    });
+
     test('fields parses Prevention as a bullet list', () => {
       const result = extractTasksRootCauseContract(FIX_SAMPLE_WITH_HEADING);
       expect(result.fields.prevention).toEqual([
@@ -564,6 +575,86 @@ describe('task-contract compile', () => {
     expect(changeMeta._meta.generatedBy).toBe('cc-devflow task-contract');
   });
 
+  test('compiles Root Cause Contract into generated manifest and change-meta', async () => {
+    const changeId = 'FIX-781';
+    const changeKey = 'FIX-781-compile-root-cause';
+    const changeDir = path.join(repoRoot, 'devflow', 'changes', changeKey);
+    const planningDir = path.join(changeDir, 'planning');
+    fs.mkdirSync(planningDir, { recursive: true });
+    fs.writeFileSync(
+      path.join(planningDir, 'tasks.md'),
+      [
+        '# TASKS',
+        '',
+        '## Root Cause Contract',
+        '',
+        'Change: FIX-781-compile-root-cause',
+        'Mode: investigation',
+        'Profile: standard',
+        'Diagnosis: confirmed',
+        '',
+        'Symptom:',
+        '- Task-contract compile rejects bug investigations.',
+        '',
+        'Reproduction:',
+        '- Run compile against a Root Cause Contract-only tasks.md.',
+        '',
+        'Expected:',
+        '- CLI owns task-manifest.json and change-meta.json.',
+        '',
+        'Actual:',
+        '- Compile required Contract Summary.',
+        '',
+        'Root Cause:',
+        '- The compile path reused only the planning contract parser.',
+        '',
+        'Evidence Chain:',
+        '- validate already accepts Root Cause Contract.',
+        '',
+        'Repair Boundary:',
+        '- Accept Root Cause Contract as the human-authored source.',
+        '',
+        'Verification:',
+        '',
+        '```bash',
+        'npm test -- lib/skill-runtime/__tests__/task-contract.test.js',
+        '```',
+        '',
+        'Prevention:',
+        '- Keep generated machine records behind task-contract compile.',
+        '',
+        'Risk / Escalate If:',
+        '- Generated metadata loses the root-cause source.',
+        '',
+        '## Phase 1: Compile',
+        '',
+        '- [ ] T001 compile root-cause metadata',
+        '  Goal: Generate machine artifacts from the root-cause contract.',
+        '  Files: `lib/skill-runtime/operations/task-contract.js`',
+        '  Verification: npm test -- lib/skill-runtime/__tests__/task-contract.test.js',
+        '  Evidence: generated metadata assertions',
+        ''
+      ].join('\n')
+    );
+
+    const result = await runCompile({ repoRoot, changeId, changeKey });
+    const manifest = JSON.parse(fs.readFileSync(path.join(planningDir, 'task-manifest.json'), 'utf8'));
+    const changeMeta = JSON.parse(fs.readFileSync(path.join(changeDir, 'change-meta.json'), 'utf8'));
+
+    expect(result.code).toBe(0);
+    expect(manifest.goal).toBe('The compile path reused only the planning contract parser.');
+    expect(manifest.metadata.generatedBy).toBe('cc-devflow task-contract');
+    expect(changeMeta.specReference.source).toBe('planning/tasks.md#root-cause-contract');
+    expect(changeMeta.rootCause.confirmed).toEqual([
+      'The compile path reused only the planning contract parser.'
+    ]);
+    expect(changeMeta.acceptance).toEqual([
+      'Accept Root Cause Contract as the human-authored source.',
+      'npm test -- lib/skill-runtime/__tests__/task-contract.test.js'
+    ]);
+    expect(changeMeta._meta.generatedBy).toBe('cc-devflow task-contract');
+  });
+
   test('returns exit code 3 when Contract Summary is missing', async () => {
     const changeId = 'REQ-781';
     const changeKey = 'REQ-781-missing-contract-summary';
@@ -589,7 +680,7 @@ describe('task-contract compile', () => {
     const result = await runCompile({ repoRoot, changeId, changeKey });
 
     expect(result.code).toBe(3);
-    expect(result.error).toMatch(/Missing ## Contract Summary/);
+    expect(result.error).toMatch(/Missing ## Contract Summary or ## Root Cause Contract/);
     expect(fs.existsSync(path.join(changeDir, 'change-meta.json'))).toBe(false);
   });
 });

package/lib/skill-runtime/operations/task-contract.js

@@ -37,7 +37,7 @@ function listField(value) {
   return value ? [value] : [];
 }
 
-function buildChangeMeta(change, fields) {
+function buildSummaryChangeMeta(change, fields) {
   const contractChange = fields.change || change.changeKey;
   return {
     changeId: contractChange,
@@ -58,6 +58,75 @@ function buildChangeMeta(change, fields) {
   };
 }
 
+function buildRootCauseChangeMeta(change, fields) {
+  const contractChange = fields.change || change.changeKey;
+  return {
+    changeId: contractChange,
+    requirementId: contractChange,
+    goal: listField(fields.rootCause || fields.symptom || `Repair confirmed root cause for ${contractChange}`),
+    acceptance: [
+      ...listField(fields.repairBoundary),
+      ...listField(fields.verification)
+    ],
+    specReference: {
+      source: 'planning/tasks.md#root-cause-contract',
+      change: contractChange,
+      mode: fields.mode || 'investigation',
+      profile: fields.profile || '',
+      approval: fields.diagnosis || ''
+    },
+    rootCause: {
+      diagnosis: fields.diagnosis || '',
+      symptom: listField(fields.symptom),
+      reproduction: listField(fields.reproduction),
+      confirmed: listField(fields.rootCause),
+      repairBoundary: listField(fields.repairBoundary),
+      prevention: listField(fields.prevention)
+    },
+    _meta: {
+      generatedBy: GENERATED_BY,
+      generatedAt: new Date().toISOString()
+    }
+  };
+}
+
+function extractCompileContract(tasksText) {
+  const summary = extractTasksContractSummary(tasksText);
+  if (summary.found) {
+    return {
+      type: 'summary',
+      source: 'planning/tasks.md#contract-summary',
+      fields: summary.fields
+    };
+  }
+
+  const rootCause = extractTasksRootCauseContract(tasksText);
+  if (rootCause.found) {
+    return {
+      type: 'root-cause',
+      source: 'planning/tasks.md#root-cause-contract',
+      fields: rootCause.fields
+    };
+  }
+
+  return null;
+}
+
+function buildChangeMeta(change, contract) {
+  if (contract.type === 'root-cause') {
+    return buildRootCauseChangeMeta(change, contract.fields);
+  }
+  return buildSummaryChangeMeta(change, contract.fields);
+}
+
+function summarizeContractGoal(contract) {
+  const fields = contract.fields || {};
+  if (contract.type === 'root-cause') {
+    return listField(fields.rootCause)[0] || listField(fields.symptom)[0] || '';
+  }
+  return listField(fields.goal)[0] || '';
+}
+
 async function relativeExists(change, relativePath) {
   return exists(path.join(change.changeDir, relativePath));
 }
@@ -344,13 +413,13 @@ async function runCompile({
     };
   }
 
-  const contract = extractTasksContractSummary(await readText(tasksPath));
-  if (!contract.found) {
+  const contract = extractCompileContract(await readText(tasksPath));
+  if (!contract) {
     return {
       code: 3,
       changeId,
       changeKey: change.changeKey,
-      error: `Missing ## Contract Summary in planning/tasks.md: ${tasksPath}`
+      error: `Missing ## Contract Summary or ## Root Cause Contract in planning/tasks.md: ${tasksPath}`
     };
   }
 
@@ -358,7 +427,7 @@ async function runCompile({
     repoRoot,
     changeId,
     changeKey: change.changeKey,
-    goal,
+    goal: goal || summarizeContractGoal(contract),
     overwrite
   });
 
@@ -375,7 +444,7 @@ async function runCompile({
   };
 
   await writeJson(manifestPath, compiled);
-  await writeJson(changeMetaPath, buildChangeMeta(change, contract.fields));
+  await writeJson(changeMetaPath, buildChangeMeta(change, contract));
 
   return {
     code: 0,

package/lib/skill-runtime/task-contract.js

@@ -38,6 +38,7 @@ const ROOT_CAUSE_FIELD_MAP = {
   'Root Cause': 'rootCause',
   'Evidence Chain': 'evidenceChain',
   'Repair Boundary': 'repairBoundary',
+  'Verification': 'verification',
   'Prevention': 'prevention',
   'Risk / Escalate If': 'risk'
 };
@@ -54,7 +55,7 @@ const ROOT_CAUSE_LIST = new Set([
   'prevention',
   'risk'
 ]);
-const ROOT_CAUSE_VERIFICATION = new Set();
+const ROOT_CAUSE_VERIFICATION = new Set(['verification']);
 
 // ============================================================================
 //  Heading block extraction (shared engine)

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "cc-devflow",
-    "version": "4.5.10",
+    "version": "4.5.11",
     "description": "Multi-platform CLI and skill pack for agent coding",
     "main": "bin/cc-devflow.js",
     "bin": {
@@ -44,12 +44,13 @@
     "scripts": {
         "prepublishOnly": "node scripts/validate-publish.js",
         "test": "jest",
-    "verify": "npm test && npm run verify:examples && npm run verify:artifacts",
-    "verify:examples": "bash docs/examples/scripts/check-example-bindings.sh",
-    "verify:artifacts": "node scripts/verify-artifacts.js",
-    "verify:publish": "node scripts/validate-publish.js",
-    "benchmark:artifacts": "node scripts/benchmark-artifacts.js",
-    "benchmark:workflow-context": "node scripts/benchmark-workflow-context-tokens.js",
+        "verify": "npm test && npm run verify:examples && npm run verify:artifacts && npm run benchmark:skills",
+        "verify:examples": "bash docs/examples/scripts/check-example-bindings.sh",
+        "verify:artifacts": "node scripts/verify-artifacts.js",
+        "verify:publish": "node scripts/validate-publish.js",
+        "benchmark:artifacts": "node scripts/benchmark-artifacts.js",
+        "benchmark:skills": "node scripts/benchmark-skills.js",
+        "benchmark:workflow-context": "node scripts/benchmark-workflow-context-tokens.js",
         "start": "node bin/cc-devflow.js",
         "adapt": "node bin/adapt.js",
         "adapt:check": "node bin/adapt.js --check",