@haposoft/cafekit 0.18.0 → 0.18.1

package/src/claude/scripts/spec-receipt.cjs

@@ -6,12 +6,6 @@ const path = require('path');
 const { spawnSync } = require('child_process');
 const { annotatedMarkdownLines } = require('./spec-resolver.cjs');
 
-const EVIDENCE_HEADINGS = new Set([
-  'Evidence',
-  'Task Test Plan & Verification Evidence',
-  'Verification & Evidence',
-]);
-
 function inside(root, target) {
   const relative = path.relative(path.resolve(root), path.resolve(target));
   return relative === '' || (relative !== '..' && !relative.startsWith(`..${path.sep}`) && !path.isAbsolute(relative));
@@ -40,34 +34,6 @@ function safeRead(root, relativePath) {
   }
 }
 
-function canonicalTaskReceiptPath(taskPath) {
-  if (typeof taskPath !== 'string') return null;
-  const match = taskPath.match(/^tasks\/(task-[A-Za-z0-9][A-Za-z0-9._-]*\.md)$/);
-  return match ? `receipts/${match[1]}` : null;
-}
-
-function evidenceBody(text, policy = {}) {
-  const lines = String(text || '').split('\n');
-  let start = -1;
-  let level = 0;
-  for (let index = 0; index < lines.length; index += 1) {
-    const match = lines[index].match(/^(#{2,3})\s+(.+?)\s*$/);
-    if (match && EVIDENCE_HEADINGS.has(match[2])) {
-      start = index + 1;
-      level = match[1].length;
-      break;
-    }
-  }
-  if (start < 0) return null;
-  let end = lines.length;
-  for (let index = start; index < lines.length; index += 1) {
-    const heading = lines[index].match(/^(#{1,6})\s+/);
-    const tap = typeof policy.isTapMetadataHeading === 'function' && policy.isTapMetadataHeading(lines[index]);
-    if (heading && heading[1].length <= level && !tap) { end = index; break; }
-  }
-  return lines.slice(start, end).join('\n');
-}
-
 function workflowReceiptBody(text, policy = {}) {
   const lines = annotatedMarkdownLines(text);
   const starts = [];
@@ -174,20 +140,6 @@ function workflowCommandFailures(taskText, body) {
     : ['command_identity'];
 }
 
-function plannedField(taskText, name) {
-  const plan = String(taskText || '').split(/^##\s+Verification Plan\s*$/m)[1];
-  if (!plan) return null;
-  const value = fieldValues(plan.split(/^##\s+/m)[0], `- **${name}**`)[0];
-  return value ? value.replace(/^`|`$/g, '').trim() : null;
-}
-
-function identity(body) {
-  const names = ['Verification', 'Command', 'Commands', 'Exit', 'Result', 'Base', 'Head', 'base_sha', 'head_sha'];
-  const fields = names.flatMap((name) => fieldValues(body, name).map((value) => [name.toLowerCase(), value.trim()]));
-  const artifacts = String(body || '').split('\n').filter((line) => /^\s*Artifacts?\s*:|^\s*Artifact\s+produced\b/i.test(line)).map((line) => line.trim());
-  return crypto.createHash('sha256').update(JSON.stringify({ fields, artifacts })).digest('hex');
-}
-
 function tryGitBytes(root, args) {
   const result = spawnSync('git', ['-C', root, ...args], { encoding: 'buffer', maxBuffer: 64 * 1024 * 1024 });
   if (result.error || result.status !== 0) return null;
@@ -247,57 +199,6 @@ function canonicalFailures(body, task, runtimeContext, policy, { bindProvenance
   return policy.validateCanonicalReceipt(body, options);
 }
 
-function separateMetadataFailures(body, taskPath, taskText) {
-  const failures = [];
-  const basename = path.posix.basename(taskPath);
-  if (fieldValues(body, 'Task').length !== 1 || fieldValues(body, 'Task')[0] !== basename) failures.push('task_identity');
-  if (fieldValues(body, 'Task path').length !== 1 || fieldValues(body, 'Task path')[0] !== taskPath) failures.push('task_identity');
-  if (!concrete(fieldValues(body, 'Expected')[0]) || !concrete(fieldValues(body, 'Observed')[0])) failures.push('expected_observed');
-  const plannedCommand = plannedField(taskText, 'Command');
-  const actualCommand = fieldValues(body, 'Command')[0] || fieldValues(body, 'Commands')[0];
-  if (plannedCommand && !/^N\/A\b/i.test(plannedCommand) && actualCommand !== plannedCommand) failures.push('command_identity');
-  for (const name of ['Negative path', 'Reachability']) {
-    const planned = plannedField(taskText, name);
-    if (planned && !/^(?:N\/A|none|not relevant)\b/i.test(planned) && !concrete(fieldValues(body, name)[0])) failures.push(name.toLowerCase().replace(' ', '_'));
-  }
-  return [...new Set(failures)];
-}
-
-function readTaskProof(featureDir, taskPath, policy = {}) {
-  const receiptPath = canonicalTaskReceiptPath(taskPath);
-  if (typeof taskPath !== 'string' || !/^tasks\/[^/]+\.md$/.test(taskPath)) return { status: 'unsafe', taskPath, receiptPath: null };
-  const taskFile = safeRead(featureDir, taskPath);
-  if (taskFile.status !== 'ok') return { status: taskFile.status, taskPath, receiptPath };
-  const taskText = taskFile.bytes.toString('utf8');
-  const separate = receiptPath ? safeRead(featureDir, receiptPath) : { status: 'missing' };
-  const legacyBody = evidenceBody(taskText, policy);
-  if (separate.status === 'unsafe') return { status: 'unsafe', taskPath, receiptPath, taskFile };
-  if (separate.status === 'ok') {
-    const body = separate.bytes.toString('utf8');
-    return { status: 'ok', source: 'separate', body, receiptBytes: separate.bytes, receiptFile: separate, taskFile, taskText, taskPath, receiptPath, legacyBody };
-  }
-  if (legacyBody !== null) return { status: 'ok', source: 'legacy', body: legacyBody, receiptBytes: Buffer.from(legacyBody), taskFile, taskText, taskPath, receiptPath, legacyBody };
-  return { status: 'missing', taskPath, receiptPath, taskFile, taskText };
-}
-
-function checkTaskReceipt(featureDir, taskPath, task, runtimeContext, policy) {
-  const proof = readTaskProof(featureDir, taskPath, policy);
-  const failures = [];
-  if (proof.status !== 'ok') return { ...proof, failures: [proof.status === 'unsafe' ? 'unsafe_path' : 'missing_receipt'] };
-  const status = proof.taskText.split('\n').find((line) => /^\s*(?:\*\*)?Status(?:\*\*)?\s*:/i.test(line));
-  if (!status || !/\bdone\b/i.test(status)) failures.push('task_status');
-  failures.push(...canonicalFailures(proof.body, task, runtimeContext, policy));
-  if (proof.source === 'separate') {
-    failures.push(...separateMetadataFailures(proof.body, taskPath, proof.taskText));
-    if (proof.legacyBody !== null
-      && /^\s*Verification:\s*PASS\s*$/m.test(proof.legacyBody)
-      && identity(proof.legacyBody) !== identity(proof.body)) failures.push('receipt_conflict');
-  }
-  const completedAt = task && task.completed_at;
-  if (typeof completedAt !== 'string' || !/^\d{4}-\d{2}-\d{2}T/.test(completedAt) || Number.isNaN(Date.parse(completedAt))) failures.push('completed_at');
-  return { ...proof, failures: [...new Set(failures)] };
-}
-
 function checkWorkflowTaskReceipt(featureDir, taskPath, runtimeContext, policy) {
   const safeTaskPath = typeof taskPath === 'string' && /^task-[A-Za-z0-9][A-Za-z0-9._-]*\.md$/.test(taskPath);
   if (!safeTaskPath) return { status: 'unsafe', taskPath, failures: ['unsafe_path'] };
@@ -433,25 +334,10 @@ function checkWorkflowReceiptSet(candidates, projectRoot, runtimeSession, policy
   return { failures };
 }
 
-function checkFeatureReceipt(featureDir, runtimeContext, policy) {
-  const receipt = safeRead(featureDir, 'feature-receipt.md');
-  if (receipt.status !== 'ok') return { status: receipt.status, failures: [receipt.status === 'unsafe' ? 'unsafe_path' : 'missing_receipt'] };
-  const body = receipt.bytes.toString('utf8');
-  const failures = canonicalFailures(body, {}, runtimeContext, policy);
-  if (fieldValues(body, 'Feature').length !== 1 || fieldValues(body, 'Feature')[0] !== path.basename(featureDir)) failures.push('feature_identity');
-  if (!concrete(fieldValues(body, 'Expected')[0]) || !concrete(fieldValues(body, 'Observed')[0])) failures.push('expected_observed');
-  return { status: 'ok', source: 'feature', body, receiptBytes: receipt.bytes, receiptFile: receipt, failures: [...new Set(failures)] };
-}
-
 module.exports = {
-  canonicalTaskReceiptPath,
-  checkFeatureReceipt,
-  checkTaskReceipt,
   checkWorkflowReceiptSet,
   checkWorkflowTaskReceipt,
   receiptFixHint,
-  evidenceBody,
-  readTaskProof,
   safeRead,
   workflowDependencyProofState,
   workflowReceiptBody,