create-agdf 0.4.1 → 0.4.3

package/lib/delivery-path-search/search-engine.js

@@ -0,0 +1,92 @@
+import { CONTRACT_VERSION, SCORING_POLICY_VERSION, validateEvaluation, validateSearchInput } from "./contracts.js";
+import { candidateLegality, candidatesFromInput } from "./candidate-policy.js";
+import { scoreEvaluation } from "./scoring.js";
+
+export async function runDeliveryPathSearch(inputValue, evaluator, options = {}) {
+  const input = validateSearchInput(inputValue);
+  const startedAt = Date.now();
+  const queue = [...(options.candidates ?? candidatesFromInput(input))];
+  const rejected = [];
+  const evaluated = [];
+  let evaluations = 0;
+  let costUnits = 0;
+  let lastLeaderId = null;
+  let stableComparisons = 0;
+  let stoppingReason = "candidate_queue_exhausted";
+
+  while (queue.length > 0) {
+    if (evaluations >= input.budgets.max_evaluations) { stoppingReason = "evaluation_budget_exhausted"; break; }
+    if (costUnits >= input.budgets.max_cost_units) { stoppingReason = "cost_budget_exhausted"; break; }
+    if (Date.now() - startedAt >= input.budgets.max_duration_ms) { stoppingReason = "duration_budget_exhausted"; break; }
+    const candidate = queue.shift();
+    const legality = candidateLegality(candidate, input);
+    if (!legality.legal) {
+      rejected.push({ candidate_id: candidate.id, action: candidate.action, reason: legality.reason });
+      continue;
+    }
+
+    try {
+      const evaluation = validateEvaluation(await evaluator.evaluate(input, candidate), candidate.id);
+      evaluations += 1;
+      costUnits += evaluation.cost;
+      const scored = scoreEvaluation(evaluation, input.enforcement.level);
+      evaluated.push({ candidate, evaluation, ...scored });
+      const currentLeader = [...evaluated].sort((a, b) => b.score - a.score || a.candidate.id.localeCompare(b.candidate.id))[0];
+      if (currentLeader?.candidate.id === lastLeaderId) stableComparisons += 1;
+      else stableComparisons = 1;
+      lastLeaderId = currentLeader?.candidate.id ?? null;
+      if (evaluated.length > 1 && stableComparisons >= input.budgets.stability_window) {
+        stoppingReason = "stable_leader";
+        break;
+      }
+      if ((candidate.depth ?? 0) + 1 < input.budgets.max_depth) {
+        for (const [index, action] of evaluation.child_actions.slice(0, input.budgets.max_candidates).entries()) {
+          queue.push({
+            id: `${candidate.id}.${index + 1}`,
+            parent_id: candidate.id,
+            depth: (candidate.depth ?? 0) + 1,
+            action,
+            expected_evidence: [],
+            tests: [],
+            assumptions: evaluation.assumptions,
+          });
+        }
+      }
+    } catch (error) {
+      rejected.push({ candidate_id: candidate.id, action: candidate.action, reason: `invalid_evaluation: ${error.message}` });
+    }
+  }
+
+  evaluated.sort((a, b) => b.score - a.score || a.candidate.id.localeCompare(b.candidate.id));
+  const leader = evaluated[0];
+  if (!leader) stoppingReason = rejected.length ? "no_safe_candidate" : stoppingReason;
+  return {
+    contract_version: CONTRACT_VERSION,
+    scoring_policy_version: SCORING_POLICY_VERSION,
+    scope_key: input.scope_key,
+    current_gate: input.current_gate,
+    status: leader ? "recommendation" : "no_safe_recommendation",
+    recommendation: leader ? {
+      candidate_id: leader.candidate.id,
+      action: leader.candidate.action,
+      score: leader.score,
+      rationale: leader.evaluation.rationale,
+      expected_evidence: leader.candidate.expected_evidence,
+      tests: leader.candidate.tests,
+      risks: leader.evaluation.risks,
+      assumptions: leader.evaluation.assumptions,
+    } : null,
+    alternatives: evaluated.slice(1).map((item) => ({
+      candidate_id: item.candidate.id,
+      action: item.candidate.action,
+      score: item.score,
+      rejection_reason: `ranked_below_${leader?.candidate.id ?? "safety_threshold"}`,
+    })),
+    rejected,
+    enforcement: input.enforcement,
+    evaluator: evaluator.metadata ?? { name: evaluator.name ?? "unknown" },
+    budgets: { configured: input.budgets, evaluations, cost_units: costUnits, stable_comparisons: stableComparisons, duration_ms: Date.now() - startedAt },
+    stopping_reason: stoppingReason,
+    next_gate_action: "Run canonical AGDF gate-check; search does not grant permission.",
+  };
+}

package/lib/delivery-path-search/state-adapter.js

@@ -0,0 +1,58 @@
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { CONTRACT_VERSION } from "./contracts.js";
+
+function section(content, heading) {
+  return content.match(new RegExp(`## ${heading}\\r?\\n([\\s\\S]*?)(?=\\r?\\n## |$)`))?.[1] ?? "";
+}
+
+function tableAnswers(content) {
+  const answers = {};
+  for (const line of section(content, "Current Control State").split(/\r?\n/)) {
+    const cells = line.split("|").slice(1, -1).map((cell) => cell.trim());
+    if (cells.length >= 2 && cells[0] && !cells[0].startsWith("---") && cells[0] !== "Question") answers[cells[0]] = cells[1];
+  }
+  return answers;
+}
+
+function statusCard(content) {
+  const card = {};
+  for (const line of section(content, "Run Status Card").split(/\r?\n/)) {
+    const cells = line.split("|").slice(1, -1).map((cell) => cell.trim().replace(/^`|`$/g, ""));
+    if (cells.length >= 2 && cells[0] && !cells[0].startsWith("---") && cells[0] !== "Run status") card[cells[0]] = cells[1];
+  }
+  return card;
+}
+
+function listCell(value) {
+  return String(value ?? "").split(/\s*;\s*/).map((item) => item.trim()).filter(Boolean);
+}
+
+export function searchInputFromControl(targetDir, options = {}) {
+  const runPath = join(targetDir, ".agdf", "control", "AGDF_RUN.md");
+  if (!existsSync(runPath)) throw new Error("missing .agdf/control/AGDF_RUN.md");
+  const content = readFileSync(runPath, "utf8");
+  const meta = Object.fromEntries([...content.matchAll(/^- ([a-z_]+):\s*(.+)$/gm)].map((match) => [match[1], match[2].replace(/^`|`$/g, "").trim()]));
+  const answers = tableAnswers(content);
+  const card = statusCard(content);
+  return {
+    contract_version: CONTRACT_VERSION,
+    scope_key: options.scopeKey ?? meta.run_id ?? "unknown-scope",
+    objective: section(content, "Objective").trim(),
+    current_gate: card["Current gate"] ?? meta.current_gate ?? "unknown",
+    allowed_actions: options.allowedActions ?? listCell(card["Allowed now"]),
+    forbidden_actions: options.forbiddenActions ?? listCell(answers["What is explicitly forbidden right now?"]),
+    evidence_refs: [...content.matchAll(/\|\s*([^|]+)\s*\|\s*([^|]+)\s*\|\s*([^|]+)\s*\|\s*(direct|indirect)\s*\|/g)]
+      .slice(1).map((match) => `${match[1].trim()}: ${match[2].trim()}`),
+    risks: section(content, "Risks").split(/\r?\n/).filter((line) => line.startsWith("|") && !line.includes("---") && !line.includes("| Risk |")).map((line) => line.split("|")[1].trim()),
+    enforcement: options.enforcement ?? { level: "instruction_only", evidence: ["surface instruction prohibits implementation during search"] },
+    budgets: {
+      max_candidates: options.maxCandidates ?? 5,
+      max_depth: options.maxDepth ?? 2,
+      max_evaluations: options.maxEvaluations ?? 8,
+      max_duration_ms: options.maxDurationMs ?? 120000,
+      max_cost_units: options.maxCostUnits ?? 20,
+      stability_window: options.stabilityWindow ?? 3,
+    },
+  };
+}

package/lib/delivery-path-search/surfaces/capabilities.js

@@ -0,0 +1,14 @@
+import { validateEnforcement } from "../contracts.js";
+
+export function enforcementForSurface(surface, evidence = []) {
+  const defaults = {
+    codex: { level: "tool_enforced", evidence: ["codex exec --sandbox read-only --ephemeral"] },
+    claude: { level: "instruction_only", evidence: [] },
+    copilot: { level: "instruction_only", evidence: [] },
+    opencode: { level: "instruction_only", evidence: [] },
+    generic: { level: "instruction_only", evidence: [] },
+  };
+  const selected = structuredClone(defaults[surface] ?? defaults.generic);
+  if (evidence.length) selected.evidence = evidence;
+  return validateEnforcement(selected);
+}

package/package.json

@@ -1,10 +1,11 @@
 {
   "name": "create-agdf",
-  "version": "0.4.1",
+  "version": "0.4.3",
   "description": "Bootstrap AGDF repository-local plugin files, Copilot/OpenCode instructions, skills, control files and machine-readable checks.",
   "type": "module",
   "files": [
     "bin",
+    "lib",
     "generated",
     "opencode-plugin.js",
     "README.md",
@@ -20,8 +21,9 @@
   },
   "scripts": {
     "sync-package-assets": "node ./scripts/sync-package-assets.js",
+    "test:delivery-path-search": "node ./scripts/delivery-path-search-test.js",
     "test:routing": "npm run sync-package-assets && node ./scripts/test-routing.js",
-    "smoke-test": "npm run sync-package-assets && node ./scripts/smoke-test.js && node ./scripts/test-routing.js",
+    "smoke-test": "npm run sync-package-assets && npm run test:delivery-path-search && node ./scripts/smoke-test.js && node ./scripts/test-routing.js",
     "prepack": "npm run sync-package-assets"
   },
   "keywords": [