@ionivetech/mugiwara 0.7.0 → 0.8.1

package/dist/mugiwara.js

@@ -1,14 +1,14 @@
 #!/usr/bin/env node
 
 // src/cli.ts
-import { existsSync as existsSync12, readdirSync as readdirSync9, readFileSync as readFileSync9, rmSync as rmSync3, writeFileSync as writeFileSync8 } from "node:fs";
+import { existsSync as existsSync16, readdirSync as readdirSync10, readFileSync as readFileSync15, rmSync as rmSync3, writeFileSync as writeFileSync10, mkdirSync as mkdirSync10, renameSync as renameSync2 } from "node:fs";
 import { execFileSync as execFileSync6 } from "node:child_process";
 import { homedir as homedir4 } from "node:os";
-import { join as join15, resolve as resolve2 } from "node:path";
+import { dirname as dirname6, join as join21, resolve as resolve2 } from "node:path";
 import { fileURLToPath as fileURLToPath5 } from "node:url";
 
 // src/args.ts
-var VALUE_FLAGS = { "--project": "project", "--target": "target", "--before": "before" };
+var VALUE_FLAGS = { "--project": "project", "--target": "target", "--before": "before", "--backend": "backend", "--mission": "mission" };
 var BOOL_FLAGS = {
   "--global": "global",
   "--yes": "yes",
@@ -19,10 +19,13 @@ var BOOL_FLAGS = {
   "--check": "check",
   "--all": "all",
   "--verify": "verify",
+  "--gen-key": "genKey",
   "--help": "help",
   "-h": "help",
   "--version": "version",
-  "-v": "version"
+  "-v": "version",
+  "--json": "json",
+  "--ledger": "ledger"
 };
 function parseArgs(argv) {
   const out = { _: [], flags: {}, command: "install" };
@@ -620,50 +623,129 @@ var targets = { claude: target, opencode: target2, copilot: target3, gemini: tar
 var TARGET_IDS = Object.keys(targets);
 
 // src/installer.ts
-import { existsSync as existsSync4, mkdirSync as mkdirSync3, readFileSync as readFileSync3, readdirSync as readdirSync3, writeFileSync as writeFileSync3, copyFileSync as copyFileSync3, rmSync, lstatSync } from "node:fs";
-import { dirname as dirname3, join as join5 } from "node:path";
-import { homedir } from "node:os";
+import { existsSync as existsSync5, mkdirSync as mkdirSync4, readFileSync as readFileSync4, readdirSync as readdirSync3, writeFileSync as writeFileSync4, copyFileSync as copyFileSync3, rmSync, lstatSync as lstatSync2 } from "node:fs";
+import { dirname as dirname3, join as join6 } from "node:path";
+import { homedir as homedir2 } from "node:os";
 import { fileURLToPath as fileURLToPath3 } from "node:url";
-var CONTENT_DIR = join5(dirname3(fileURLToPath3(import.meta.url)), "..", "content");
-var pkg = JSON.parse(readFileSync3(join5(dirname3(fileURLToPath3(import.meta.url)), "..", "package.json"), "utf8"));
+
+// src/config.ts
+import { existsSync as existsSync4, lstatSync, mkdirSync as mkdirSync3, readFileSync as readFileSync3, writeFileSync as writeFileSync3 } from "node:fs";
+import { homedir } from "node:os";
+import { join as join5 } from "node:path";
+var DEFAULT_CONFIG = [
+  "mode=guided",
+  "branch=feature/{type}-{issue}-{slug}",
+  "commit=conventional",
+  "auto_commit=on",
+  "coverage_new=85",
+  "coverage_modified=90",
+  "review_depth=full",
+  "quality_depth=full",
+  "verify_merged=off",
+  "delegate_threshold=60",
+  "heal_max_cycles=3",
+  "verbosity=normal",
+  "# context_budget_chars=150000  # optional: fail archive if trail exceeds this (measured in report Cost section)",
+  "# investigation_max_passes=2  # optional: cap investigation passes (spec §13)",
+  "# investigation_max_unrelated_files=5",
+  "# investigation_repeated_read_threshold=2",
+  "# sign=auto            # optional: auto | minisign | pure | off — report attestation",
+  "# enforce=block                # optional: off | warn | block — pipeline-guard policy"
+].join(`
+`) + `
+`;
+function configPaths(projectDir) {
+  return [join5(projectDir, ".mugiwara", "config"), join5(homedir(), ".mugiwara", "config")];
+}
+function readConfig(projectDir) {
+  try {
+    const file = join5(projectDir, ".mugiwara", "config");
+    let exists = false;
+    try {
+      exists = lstatSync(file).isFile() || lstatSync(file).isSymbolicLink();
+    } catch {
+      exists = false;
+    }
+    if (!exists)
+      ensureConfig(projectDir);
+  } catch {}
+  const out = {};
+  for (const file of configPaths(projectDir)) {
+    if (!existsSync4(file))
+      continue;
+    for (const line of readFileSync3(file, "utf8").split(/\r?\n/)) {
+      const t = line.trim();
+      if (!t || t.startsWith("#"))
+        continue;
+      const eq = t.indexOf("=");
+      if (eq === -1)
+        continue;
+      const key = t.slice(0, eq).trim();
+      if (!key)
+        continue;
+      if (key in out)
+        continue;
+      out[key] = t.slice(eq + 1).trim();
+    }
+  }
+  return out;
+}
+function ensureConfig(projectDir) {
+  const file = join5(projectDir, ".mugiwara", "config");
+  let exists = false;
+  try {
+    exists = lstatSync(file).isFile() || lstatSync(file).isSymbolicLink();
+  } catch {
+    exists = false;
+  }
+  if (exists)
+    return false;
+  mkdirSync3(join5(projectDir, ".mugiwara"), { recursive: true });
+  writeFileSync3(file, DEFAULT_CONFIG);
+  return true;
+}
+
+// src/installer.ts
+var CONTENT_DIR = join6(dirname3(fileURLToPath3(import.meta.url)), "..", "content");
+var pkg = JSON.parse(readFileSync4(join6(dirname3(fileURLToPath3(import.meta.url)), "..", "package.json"), "utf8"));
 var VERSION = pkg.version;
 function collectContent() {
-  const skillNames = readdirSync3(join5(CONTENT_DIR, "skills"), { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name);
+  const skillNames = readdirSync3(join6(CONTENT_DIR, "skills"), { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name);
   const skills = skillNames.map((name) => {
-    const { data, body } = parseFrontmatter(readFileSync3(join5(CONTENT_DIR, "skills", name, "SKILL.md"), "utf8"));
-    return { name, data, body, refs: collectRefs(join5(CONTENT_DIR, "skills", name)) };
+    const { data, body } = parseFrontmatter(readFileSync4(join6(CONTENT_DIR, "skills", name, "SKILL.md"), "utf8"));
+    return { name, data, body, refs: collectRefs(join6(CONTENT_DIR, "skills", name)) };
   });
-  const agents = readdirSync3(join5(CONTENT_DIR, "agents")).filter((f) => f.endsWith(".md")).map((f) => {
-    const { data, body } = parseFrontmatter(readFileSync3(join5(CONTENT_DIR, "agents", f), "utf8"));
+  const agents = readdirSync3(join6(CONTENT_DIR, "agents")).filter((f) => f.endsWith(".md")).map((f) => {
+    const { data, body } = parseFrontmatter(readFileSync4(join6(CONTENT_DIR, "agents", f), "utf8"));
     return { name: f.replace(/\.md$/, ""), data, body, refs: [], internal: data.internal === "true" };
   });
-  const sharedRefsDir = join5(dirname3(CONTENT_DIR), "references");
+  const sharedRefsDir = join6(dirname3(CONTENT_DIR), "references");
   const sharedRefs = [];
-  if (existsSync4(sharedRefsDir)) {
+  if (existsSync5(sharedRefsDir)) {
     for (const f of readdirSync3(sharedRefsDir)) {
       if (!f.endsWith(".md"))
         continue;
-      sharedRefs.push({ relPath: f, text: readFileSync3(join5(sharedRefsDir, f), "utf8") });
+      sharedRefs.push({ relPath: f, text: readFileSync4(join6(sharedRefsDir, f), "utf8") });
     }
   }
   return { skills, agents, sharedRefs };
 }
 function collectRefs(skillDir) {
-  const refsDir = join5(skillDir, "references");
-  if (!existsSync4(refsDir))
+  const refsDir = join6(skillDir, "references");
+  if (!existsSync5(refsDir))
     return [];
-  return readdirSync3(refsDir, { recursive: true }).map((f) => String(f)).filter((f) => f.endsWith(".md")).map((rel) => ({ relPath: rel, text: readFileSync3(join5(refsDir, rel), "utf8") }));
+  return readdirSync3(refsDir, { recursive: true }).map((f) => String(f)).filter((f) => f.endsWith(".md")).map((rel) => ({ relPath: rel, text: readFileSync4(join6(refsDir, rel), "utf8") }));
 }
 function installTo(target10, opts) {
   const { scope, projectDir, dryRun = false, force = false } = opts;
-  const home = opts.home ?? homedir();
+  const home = opts.home ?? homedir2();
   const { skills, agents, sharedRefs } = collectContent();
   const dirs = target10.paths({ scope, projectDir, home });
-  const backupRoot = join5(scope === "global" ? home : projectDir, ".mugiwara");
+  const backupRoot = join6(scope === "global" ? home : projectDir, ".mugiwara");
   const result = { written: [], skipped: [], backedUp: [], notes: [] };
   const writeOne = (absPath, text) => {
-    if (existsSync4(absPath)) {
-      if (readFileSync3(absPath, "utf8") === text) {
+    if (existsSync5(absPath)) {
+      if (readFileSync4(absPath, "utf8") === text) {
         result.skipped.push(absPath);
         return;
       }
@@ -674,17 +756,17 @@ function installTo(target10, opts) {
       }
       const ts = new Date().toISOString().replace(/[:.]/g, "-");
       const fileName = absPath.replace(/[^a-zA-Z0-9]+/g, "_");
-      const backupDir = join5(backupRoot, "backup", `${ts}-${target10.id}`);
-      const backupFile = join5(backupDir, fileName);
+      const backupDir = join6(backupRoot, "backup", `${ts}-${target10.id}`);
+      const backupFile = join6(backupDir, fileName);
       if (!dryRun) {
-        mkdirSync3(backupDir, { recursive: true });
+        mkdirSync4(backupDir, { recursive: true });
         copyFileSync3(absPath, backupFile);
       }
       result.backedUp.push(absPath);
     }
     if (!dryRun) {
-      mkdirSync3(dirname3(absPath), { recursive: true });
-      writeFileSync3(absPath, text);
+      mkdirSync4(dirname3(absPath), { recursive: true });
+      writeFileSync4(absPath, text);
     }
     result.written.push(absPath);
   };
@@ -695,7 +777,7 @@ function installTo(target10, opts) {
       if (target10.refPointerPrefix !== undefined && target10.refPointerPrefix !== "") {
         text = text.replace(/`_shared\/references\//g, "`" + target10.refPointerPrefix + "_shared/references/");
       }
-      writeOne(join5(dirs.skillsDir, out.relPath), text);
+      writeOne(join6(dirs.skillsDir, out.relPath), text);
     }
     if (target10.transformSkillFull) {
       const full = target10.transformSkillFull(s.data, s.body);
@@ -704,29 +786,29 @@ function installTo(target10, opts) {
         if (target10.refPointerPrefix !== undefined && target10.refPointerPrefix !== "") {
           text = text.replace(/`_shared\/references\//g, "`" + target10.refPointerPrefix + "_shared/references/");
         }
-        writeOne(join5(target10.refsDir({ scope, projectDir, home }, s.name), full.relPath), text);
+        writeOne(join6(target10.refsDir({ scope, projectDir, home }, s.name), full.relPath), text);
       }
     }
     if (s.refs.length && target10.refsDir) {
       const refsRoot = target10.refsDir({ scope, projectDir, home }, s.name);
       for (const r of s.refs)
-        writeOne(join5(refsRoot, r.relPath), r.text);
+        writeOne(join6(refsRoot, r.relPath), r.text);
     }
   }
   for (const a of agents) {
     const out = target10.transformAgent({ ...a.data, ...a.internal ? { "internal-agent": "true" } : {} }, a.body);
     if (out)
-      writeOne(join5(dirs.agentsDir, out.relPath), out.text);
+      writeOne(join6(dirs.agentsDir, out.relPath), out.text);
     if (target10.transformAgentFull) {
       const full = target10.transformAgentFull(a.data, a.body);
       if (full && target10.refsDir)
-        writeOne(join5(target10.refsDir({ scope, projectDir, home }, a.name), full.relPath), full.text);
+        writeOne(join6(target10.refsDir({ scope, projectDir, home }, a.name), full.relPath), full.text);
     }
   }
   if (sharedRefs.length) {
-    const sharedRoot = join5(dirs.skillsDir, "_shared", "references");
+    const sharedRoot = join6(dirs.skillsDir, "_shared", "references");
     for (const r of sharedRefs)
-      writeOne(join5(sharedRoot, r.relPath), r.text);
+      writeOne(join6(sharedRoot, r.relPath), r.text);
   }
   if (target10.postInstall) {
     const post = target10.postInstall({ scope, projectDir, home, dryRun, files: result.written });
@@ -734,34 +816,17 @@ function installTo(target10, opts) {
     result.notes.push(...post.notes);
   }
   if (scope === "project") {
-    const configPath = join5(projectDir, ".mugiwara", "config");
+    const configPath = join6(projectDir, ".mugiwara", "config");
     let configExists = false;
     try {
-      configExists = lstatSync(configPath).isFile() || lstatSync(configPath).isSymbolicLink();
+      configExists = lstatSync2(configPath).isFile() || lstatSync2(configPath).isSymbolicLink();
     } catch {
       configExists = false;
     }
     if (!configExists) {
-      const body = [
-        "mode=guided",
-        "branch=feature/{type}-{issue}-{slug}",
-        "commit=conventional",
-        "auto_commit=on",
-        "coverage_new=90",
-        "coverage_modified=80",
-        "review_depth=full",
-        "quality_depth=full",
-        "verify_merged=off",
-        "delegate_threshold=60",
-        "heal_max_cycles=3",
-        "verbosity=normal",
-        "# context_budget_chars=150000  # optional: fail archive if trail exceeds this (measured in report Cost section)"
-      ].join(`
-`) + `
-`;
       if (!dryRun) {
-        mkdirSync3(dirname3(configPath), { recursive: true });
-        writeFileSync3(configPath, body);
+        mkdirSync4(dirname3(configPath), { recursive: true });
+        writeFileSync4(configPath, DEFAULT_CONFIG);
       }
       result.written.push(configPath);
       result.notes.push(`default config written: ${configPath} (edit it to customise)`);
@@ -772,7 +837,7 @@ function installTo(target10, opts) {
 function removeInstalled(manifest, { dryRun = false } = {}) {
   const removed = [];
   for (const f of manifest.files) {
-    if (existsSync4(f)) {
+    if (existsSync5(f)) {
       if (!dryRun)
         rmSync(f);
       removed.push(f);
@@ -781,7 +846,7 @@ function removeInstalled(manifest, { dryRun = false } = {}) {
   if (!dryRun) {
     for (const f of manifest.files) {
       let d = dirname3(f);
-      while (existsSync4(d) && readdirSync3(d).length === 0) {
+      while (existsSync5(d) && readdirSync3(d).length === 0) {
         if (d.endsWith("/.mugiwara") || d === dirname3(d))
           break;
         rmSync(d, { recursive: true, force: true });
@@ -792,10 +857,10 @@ function removeInstalled(manifest, { dryRun = false } = {}) {
   return removed;
 }
 function assertNotSymlink(file) {
-  if (!existsSync4(file))
+  if (!existsSync5(file))
     return;
   try {
-    if (lstatSync(file).isSymbolicLink())
+    if (lstatSync2(file).isSymbolicLink())
       throw new Error(`refusing to follow symlink: ${file}`);
   } catch (e) {
     if (e.code === "ENOENT")
@@ -816,9 +881,9 @@ var GITIGNORE_BLOCK = `# >>> mugiwara >>> — audit trail is the product: commit
 `;
 function ensureProjectGitignore(projectDir, opts = {}) {
   const { dryRun = false } = opts;
-  const path = join5(projectDir, ".gitignore");
+  const path = join6(projectDir, ".gitignore");
   assertNotSymlink(path);
-  let existing = existsSync4(path) ? readFileSync3(path, "utf8") : "";
+  let existing = existsSync5(path) ? readFileSync4(path, "utf8") : "";
   if (existing) {
     if (existing.includes(GITIGNORE_BLOCK_START) && existing.includes(".mugiwara/missions/**/*.json")) {
       return { appended: false, notes: [] };
@@ -826,24 +891,24 @@ function ensureProjectGitignore(projectDir, opts = {}) {
     const hadOld = GITIGNORE_LEGACY.some((m) => existing.includes(m)) || existing.includes(GITIGNORE_BLOCK_START);
     if (hadOld) {
       const clean = removeProjectGitignore(projectDir, { dryRun });
-      existing = clean.removed ? existsSync4(path) ? readFileSync3(path, "utf8") : "" : existing;
+      existing = clean.removed ? existsSync5(path) ? readFileSync4(path, "utf8") : "" : existing;
     }
   }
   const separator = existing.length && !existing.endsWith(`
 `) ? `
 ` : "";
   if (!dryRun) {
-    mkdirSync3(dirname3(path), { recursive: true });
-    writeFileSync3(path, existing + separator + GITIGNORE_BLOCK);
+    mkdirSync4(dirname3(path), { recursive: true });
+    writeFileSync4(path, existing + separator + GITIGNORE_BLOCK);
   }
   return { appended: true, notes: [`.gitignore ${dryRun ? "would upgrade+append" : "upgraded"} mugiwara audit-trail block`] };
 }
 function removeProjectGitignore(projectDir, { dryRun = false } = {}) {
-  const path = join5(projectDir, ".gitignore");
+  const path = join6(projectDir, ".gitignore");
   assertNotSymlink(path);
-  if (!existsSync4(path))
+  if (!existsSync5(path))
     return { removed: false, notes: [] };
-  const current = readFileSync3(path, "utf8");
+  const current = readFileSync4(path, "utf8");
   const delimited = current.includes(GITIGNORE_BLOCK_START);
   let cleaned;
   if (delimited) {
@@ -883,62 +948,533 @@ function removeProjectGitignore(projectDir, { dryRun = false } = {}) {
   if (cleaned === current)
     return { removed: false, notes: [] };
   if (!dryRun)
-    writeFileSync3(path, cleaned);
+    writeFileSync4(path, cleaned);
   return { removed: true, notes: [`.gitignore ${dryRun ? "would strip" : "stripped"} mugiwara block`] };
 }
 
 // src/manifest.ts
-import { existsSync as existsSync5, mkdirSync as mkdirSync4, readFileSync as readFileSync4, writeFileSync as writeFileSync4 } from "node:fs";
-import { dirname as dirname4, join as join6 } from "node:path";
+import { existsSync as existsSync6, mkdirSync as mkdirSync5, readFileSync as readFileSync5, writeFileSync as writeFileSync5 } from "node:fs";
+import { dirname as dirname4, join as join7 } from "node:path";
 function manifestPath({ scope, projectDir, home }) {
-  return scope === "global" ? join6(home, ".mugiwara", "manifest.json") : join6(projectDir, ".mugiwara", "manifest.json");
+  return scope === "global" ? join7(home, ".mugiwara", "manifest.json") : join7(projectDir, ".mugiwara", "manifest.json");
 }
 function readManifest(file) {
-  return existsSync5(file) ? JSON.parse(readFileSync4(file, "utf8")) : null;
+  return existsSync6(file) ? JSON.parse(readFileSync5(file, "utf8")) : null;
 }
 function writeManifest(file, data) {
-  mkdirSync4(dirname4(file), { recursive: true });
-  writeFileSync4(file, JSON.stringify(data, null, 2) + `
+  mkdirSync5(dirname4(file), { recursive: true });
+  writeFileSync5(file, JSON.stringify(data, null, 2) + `
 `);
 }
 
 // src/mission.ts
-import { existsSync as existsSync8, rmSync as rmSync2, readFileSync as readFileSync7, readdirSync as readdirSync6, mkdirSync as mkdirSync5, writeFileSync as writeFileSync7, renameSync, openSync, writeSync, closeSync } from "node:fs";
-import { execFileSync as execFileSync3 } from "node:child_process";
-import { join as join11 } from "node:path";
+import { existsSync as existsSync13, rmSync as rmSync2, readFileSync as readFileSync13, readdirSync as readdirSync7, mkdirSync as mkdirSync9, writeFileSync as writeFileSync9, renameSync, openSync, writeSync, closeSync } from "node:fs";
+import { execFileSync as execFileSync4 } from "node:child_process";
+import { join as join18 } from "node:path";
+
+// src/integrity.ts
+import { existsSync as existsSync8, readdirSync as readdirSync4, readFileSync as readFileSync7 } from "node:fs";
+import { isAbsolute, join as join9, relative } from "node:path";
+
+// src/policy.ts
+import { existsSync as existsSync7, readFileSync as readFileSync6 } from "node:fs";
+import { join as join8 } from "node:path";
+var POLICY_FILES = ["mugiwara.policy.yml", "mugiwara.policy.yaml"];
+var KNOWN_ROOTS = ["lanes", "gates", "evidence", "integrity", "attestation", "harness"];
+function parsePolicyYaml(text) {
+  const root = {};
+  const stack = [{ keyIndent: -1, obj: root }];
+  const lines = text.split(/\r?\n/);
+  const process2 = (i) => {
+    if (i >= lines.length)
+      return;
+    const noComment = lines[i].replace(/(^|\s)#.*$/, "");
+    if (!noComment.trim())
+      return process2(i + 1);
+    const indent = noComment.length - noComment.trimStart().length;
+    const line = noComment.trim();
+    while (stack.length > 1 && indent <= stack[stack.length - 1].keyIndent)
+      stack.pop();
+    const top = stack[stack.length - 1];
+    if (top.pending && !line.startsWith("- ") && indent > top.pending.indent && !Array.isArray(top.obj[top.pending.key])) {
+      const { key: key2, indent: pIndent } = top.pending;
+      delete top.pending;
+      const created = {};
+      top.obj[key2] = created;
+      stack.push({ keyIndent: pIndent, obj: created });
+      return process2(i);
+    }
+    if (line.startsWith("- ")) {
+      if (top.pending) {
+        const existing = top.obj[top.pending.key];
+        const arr = Array.isArray(existing) ? existing : [];
+        arr.push(scalar(line.slice(2)));
+        top.obj[top.pending.key] = arr;
+      }
+      return process2(i + 1);
+    }
+    const colon = line.indexOf(":");
+    if (colon === -1)
+      return process2(i + 1);
+    const key = line.slice(0, colon).trim();
+    const rest = line.slice(colon + 1).trim();
+    if (rest === "") {
+      top.pending = { key, indent };
+    } else {
+      top.obj[key] = scalar(rest);
+      delete top.pending;
+    }
+    process2(i + 1);
+  };
+  process2(0);
+  return root;
+}
+function scalar(v) {
+  const t = v.trim().replace(/^["']|["']$/g, "");
+  if (/^-?\d+(\.\d+)?$/.test(t))
+    return Number(t);
+  if (t === "true")
+    return true;
+  if (t === "false")
+    return false;
+  return t;
+}
+function extractExtraSecretPatterns(text) {
+  const lines = text.split(/\r?\n/);
+  let inBlock = false;
+  let baseIndent = -1;
+  const out = [];
+  let current = null;
+  let currentIndent = -1;
+  for (const rawLine of lines) {
+    const noComment = rawLine.replace(/(^|\s)#.*$/, "");
+    if (!noComment.trim())
+      continue;
+    const indent = noComment.length - noComment.trimStart().length;
+    const trimmed = noComment.trim();
+    if (!inBlock) {
+      if (trimmed.startsWith("extra_secret_patterns:")) {
+        inBlock = true;
+        baseIndent = indent;
+        continue;
+      }
+    } else {
+      if (indent <= baseIndent && !trimmed.startsWith("-") && trimmed.includes(":")) {
+        break;
+      }
+      if (trimmed.startsWith("-")) {
+        if (current)
+          out.push(current);
+        current = {};
+        currentIndent = indent;
+        const afterDash = trimmed.slice(1).trim();
+        if (!afterDash)
+          continue;
+        if (afterDash.startsWith("{") && afterDash.endsWith("}")) {
+          const inner = afterDash.slice(1, -1);
+          for (const part of inner.split(",")) {
+            const colon = part.indexOf(":");
+            if (colon === -1)
+              continue;
+            const k = part.slice(0, colon).trim();
+            const v = part.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+            if (k && v)
+              current[k] = v;
+          }
+        } else if (afterDash.includes(":")) {
+          const colon = afterDash.indexOf(":");
+          const k = afterDash.slice(0, colon).trim();
+          const v = afterDash.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+          if (k && v)
+            current[k] = v;
+        } else {
+          const v = afterDash.replace(/^["']|["']$/g, "");
+          if (v)
+            current["pattern"] = v;
+        }
+      } else if (current && trimmed.includes(":")) {
+        if (indent > currentIndent) {
+          const colon = trimmed.indexOf(":");
+          const k = trimmed.slice(0, colon).trim();
+          const v = trimmed.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+          if (k && v)
+            current[k] = v;
+        } else if (indent <= baseIndent) {
+          break;
+        }
+      }
+    }
+  }
+  if (current)
+    out.push(current);
+  return out.filter((o) => typeof o.pattern === "string" && typeof o.label === "string" && o.pattern.length > 0);
+}
+function extractAttestation(text) {
+  const lines = text.split(/\r?\n/);
+  let attBase = -1;
+  let inAtt = false;
+  let required;
+  const trusted = [];
+  const revoked = [];
+  let collecting = null;
+  let collectBase = -1;
+  let current = null;
+  let curIndent = -1;
+  const flush = () => {
+    if (!current)
+      return;
+    if (collecting === "trusted")
+      trusted.push(current);
+    else if (collecting === "revoked")
+      revoked.push(current);
+    current = null;
+  };
+  for (let idx = 0;idx < lines.length; idx++) {
+    const rawLine = lines[idx];
+    const noComment = rawLine.replace(/(^|\s)#.*$/, "");
+    if (!noComment.trim())
+      continue;
+    const indent = noComment.length - noComment.trimStart().length;
+    const trimmed = noComment.trim();
+    if (!inAtt) {
+      if (trimmed === "attestation:" || trimmed.startsWith("attestation:")) {
+        const after = trimmed.slice("attestation:".length).trim();
+        if (after.startsWith("{")) {
+          return null;
+        }
+        inAtt = true;
+        attBase = indent;
+        continue;
+      }
+      continue;
+    }
+    if (indent <= attBase && !trimmed.startsWith("-") && trimmed.includes(":")) {
+      flush();
+      break;
+    }
+    if (collecting) {
+      if (indent <= collectBase && !trimmed.startsWith("-") && trimmed.includes(":")) {
+        flush();
+        collecting = null;
+      } else if (trimmed.startsWith("-")) {
+        flush();
+        current = {};
+        curIndent = indent;
+        const afterDash = trimmed.slice(1).trim();
+        if (!afterDash)
+          continue;
+        if (afterDash.startsWith("{") && afterDash.endsWith("}")) {
+          const inner = afterDash.slice(1, -1);
+          for (const part of inner.split(",")) {
+            const colon = part.indexOf(":");
+            if (colon === -1)
+              continue;
+            const k = part.slice(0, colon).trim();
+            const v = part.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+            if (k && v)
+              current[k] = v;
+          }
+        } else if (afterDash.includes(":")) {
+          const colon = afterDash.indexOf(":");
+          const k = afterDash.slice(0, colon).trim();
+          const v = afterDash.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+          if (k && v)
+            current[k] = v;
+        } else {
+          const v = afterDash.replace(/^["']|["']$/g, "");
+          if (v)
+            current["id"] = v;
+        }
+        continue;
+      } else if (current && trimmed.includes(":")) {
+        if (indent > curIndent) {
+          const colon = trimmed.indexOf(":");
+          const k = trimmed.slice(0, colon).trim();
+          const v = trimmed.slice(colon + 1).trim().replace(/^["']|["']$/g, "");
+          if (k && v)
+            current[k] = v;
+          continue;
+        }
+      }
+      if (collecting)
+        continue;
+    }
+    if (trimmed.startsWith("required:")) {
+      const v = trimmed.slice("required:".length).trim().replace(/^["']|["']$/g, "");
+      if (v === "true")
+        required = true;
+      else if (v === "false")
+        required = false;
+      continue;
+    }
+    if (trimmed.startsWith("trusted_keys:")) {
+      const after = trimmed.slice("trusted_keys:".length).trim();
+      if (after === "[]")
+        continue;
+      collecting = "trusted";
+      collectBase = indent;
+      current = null;
+      continue;
+    }
+    if (trimmed.startsWith("revoked:")) {
+      const after = trimmed.slice("revoked:".length).trim();
+      if (after === "[]")
+        continue;
+      collecting = "revoked";
+      collectBase = indent;
+      current = null;
+      continue;
+    }
+  }
+  flush();
+  if (required === undefined && trusted.length === 0 && revoked.length === 0)
+    return null;
+  const out = {};
+  if (required !== undefined)
+    out.required = required;
+  if (trusted.length)
+    out.trusted_keys = trusted;
+  if (revoked.length)
+    out.revoked = revoked;
+  return out;
+}
+function loadPolicy(projectDir) {
+  for (const name of POLICY_FILES) {
+    const file = join8(projectDir, name);
+    if (!existsSync7(file))
+      continue;
+    const text = readFileSync6(file, "utf8");
+    const raw = parsePolicyYaml(text);
+    const extra = extractExtraSecretPatterns(text);
+    if (extra.length) {
+      if (!raw.integrity || typeof raw.integrity !== "object" || Array.isArray(raw.integrity))
+        raw.integrity = {};
+      raw.integrity.extra_secret_patterns = extra;
+    }
+    const att = extractAttestation(text);
+    if (att) {
+      if (!raw.attestation || typeof raw.attestation !== "object" || Array.isArray(raw.attestation))
+        raw.attestation = {};
+      const a = raw.attestation;
+      if (att.required !== undefined)
+        a.required = att.required;
+      if (att.trusted_keys)
+        a.trusted_keys = att.trusted_keys;
+      if (att.revoked)
+        a.revoked = att.revoked;
+    }
+    return normalize(raw);
+  }
+  return null;
+}
+function normalize(raw) {
+  for (const k of Object.keys(raw)) {
+    if (!KNOWN_ROOTS.includes(k))
+      throw new Error(`unknown policy key "${k}" (known: ${KNOWN_ROOTS.join(", ")})`);
+  }
+  const out = {};
+  const lanes = raw.lanes;
+  if (lanes && Array.isArray(lanes.force_full))
+    out.lanes = { force_full: strings(lanes.force_full) };
+  const gates = raw.gates;
+  if (gates) {
+    out.gates = {};
+    const cov = gates.coverage;
+    if (cov) {
+      out.gates.coverage = {};
+      if (typeof cov.new === "number")
+        out.gates.coverage.new = cov.new;
+      if (typeof cov.modified === "number")
+        out.gates.coverage.modified = cov.modified;
+    }
+    if (Array.isArray(gates.require_human_approval))
+      out.gates.require_human_approval = strings(gates.require_human_approval);
+  }
+  const evidence = raw.evidence;
+  if (evidence && Array.isArray(evidence.required))
+    out.evidence = { required: strings(evidence.required) };
+  const integrity = raw.integrity;
+  if (integrity && Array.isArray(integrity.extra_secret_patterns)) {
+    const arr = integrity.extra_secret_patterns;
+    const cleaned = [];
+    for (const e of arr) {
+      if (!e || typeof e !== "object")
+        continue;
+      const rec = e;
+      if (typeof rec.pattern !== "string" || typeof rec.label !== "string")
+        continue;
+      const sev = rec.severity === "warn" ? "warn" : rec.severity === "block" ? "block" : undefined;
+      const entry = { pattern: rec.pattern, label: rec.label };
+      if (sev)
+        entry.severity = sev;
+      cleaned.push(entry);
+    }
+    if (cleaned.length)
+      out.integrity = { extra_secret_patterns: cleaned };
+  }
+  const att = raw.attestation;
+  if (att) {
+    const a = {};
+    if (typeof att.required === "boolean")
+      a.required = att.required;
+    if (Array.isArray(att.trusted_keys)) {
+      const cleanedTk = [];
+      for (const e of att.trusted_keys) {
+        if (!e || typeof e !== "object")
+          continue;
+        const rec = e;
+        if (typeof rec.id !== "string" || typeof rec.pubkey !== "string")
+          continue;
+        if (!rec.id.trim() || !rec.pubkey.trim())
+          continue;
+        const entry = { id: rec.id.trim(), pubkey: rec.pubkey.trim() };
+        if (typeof rec.added === "string" && rec.added.trim())
+          entry.added = rec.added.trim();
+        cleanedTk.push(entry);
+      }
+      if (cleanedTk.length)
+        a.trusted_keys = cleanedTk;
+    }
+    if (Array.isArray(att.revoked)) {
+      const cleanedRv = [];
+      for (const e of att.revoked) {
+        if (!e || typeof e !== "object")
+          continue;
+        const rec = e;
+        if (typeof rec.id !== "string" || !rec.id.trim())
+          continue;
+        const entry = { id: rec.id.trim() };
+        if (typeof rec.revoked === "string" && rec.revoked.trim())
+          entry.revoked = rec.revoked.trim();
+        if (typeof rec.reason === "string" && rec.reason.trim())
+          entry.reason = rec.reason.trim();
+        if (typeof rec.pubkey === "string" && rec.pubkey.trim())
+          entry.pubkey = rec.pubkey.trim();
+        cleanedRv.push(entry);
+      }
+      if (cleanedRv.length)
+        a.revoked = cleanedRv;
+    }
+    if (a.required !== undefined || a.trusted_keys || a.revoked)
+      out.attestation = a;
+  }
+  const harness = raw.harness;
+  if (harness && typeof harness.require_enforcement === "boolean") {
+    out.harness = { require_enforcement: harness.require_enforcement };
+  }
+  return out;
+}
+function strings(a) {
+  return a.filter((x) => typeof x === "string" && x.length > 0);
+}
+function detectHarness(projectDir) {
+  const e = process.env;
+  const has = (v) => v !== undefined && v !== "";
+  if (has(e.CLAUDECODE) || has(e.CLAUDE_CODE_ENTRYPOINT) || typeof e.ANTHROPIC_MODEL === "string" && /claude/i.test(e.ANTHROPIC_MODEL))
+    return "claude";
+  if (has(e.OPENCODE) || has(e.OPENCODE_TOKENS_FILE))
+    return "opencode";
+  const candidates = [
+    projectDir ? join8(projectDir, ".opencode", "config.json") : null,
+    join8(process.cwd(), ".opencode", "config.json")
+  ].filter(Boolean);
+  for (const p of candidates) {
+    try {
+      if (existsSync7(p))
+        return "opencode";
+    } catch {}
+  }
+  if (has(e.CURSOR) || has(e.VSCODE_GIT_ASKPASS_NODE))
+    return "cursor";
+  return "unknown";
+}
+function isEnforcedHarness(projectDir) {
+  return detectHarness(projectDir) === "opencode";
+}
+function getHarnessEnforcementError(projectDir) {
+  let policy;
+  try {
+    policy = loadPolicy(projectDir);
+  } catch (e) {
+    throw e;
+  }
+  if (!policy?.harness?.require_enforcement)
+    return null;
+  if (isEnforcedHarness(projectDir))
+    return null;
+  const h = detectHarness(projectDir);
+  return `harness enforcement required but current harness is rules-based only — use opencode or set harness.require_enforcement:false (detected: ${h})`;
+}
+function enforceHarnessPolicy(projectDir) {
+  const err = getHarnessEnforcementError(projectDir);
+  if (!err)
+    return;
+  console.error(`✗ ${err}`);
+  process.exit(1);
+}
 
 // src/integrity.ts
-import { existsSync as existsSync6, readdirSync as readdirSync4, readFileSync as readFileSync5 } from "node:fs";
-import { isAbsolute, join as join7, relative } from "node:path";
 var SECRET_PATTERNS = [
-  [/AKIA[0-9A-Z]{16}/, "AWS access key id"],
-  [/-----BEGIN [A-Z ]*PRIVATE KEY-----/, "private key block"],
-  [/gh[pousr]_[A-Za-z0-9]{20,}/, "GitHub token"],
-  [/xox[baprs]-[A-Za-z0-9-]{10,}/, "Slack token"],
-  [/sk-[A-Za-z0-9]{32,}/, "API key (sk-…)"],
-  [/eyJhbGciOi[A-Za-z0-9_.-]{20,}/, "JWT pasted verbatim"],
-  [/(api[_-]?key|secret|passwd|password)\s*[=:]\s*["'][^"'\s]{8,}["']/i, "credential assignment"]
+  [/AKIA[0-9A-Z]{16}/, "AWS access key id", "block"],
+  [/-----BEGIN [A-Z ]*PRIVATE KEY-----/, "private key block", "block"],
+  [/gh[pousr]_[A-Za-z0-9]{20,}/, "GitHub token", "block"],
+  [/xox[baprs]-[A-Za-z0-9-]{10,}/, "Slack token", "block"],
+  [/sk-[A-Za-z0-9]{32,}/, "API key (sk-…)", "block"],
+  [/eyJhbGciOi[A-Za-z0-9_.-]{20,}/, "JWT pasted verbatim", "block"],
+  [/(api[_-]?key|secret|passwd|password)\s*[=:]\s*["'][^"'\s]{8,}["']/i, "credential assignment", "block"],
+  [/AIza[0-9A-Za-z_-]{35}/, "Google API key", "block"],
+  [/ya29\.[0-9A-Za-z_-]{20,}/, "Google OAuth token", "block"],
+  [/\b[a-z][a-z0-9+.-]*:\/\/[^\s:@/]+:[^\s@/]{4,}@[^\s/]+/i, "connection string with inline credential", "block"],
+  [/\bAC[a-f0-9]{32}\b/, "Twilio account SID", "block"],
+  [/\bSK[a-f0-9]{32}\b/, "Twilio API key", "block"],
+  [/\bglpat-[A-Za-z0-9_-]{20,}/, "GitLab token", "block"],
+  [/\bnpm_[A-Za-z0-9]{36}\b/, "npm token", "block"],
+  [/\bdop_v1_[a-f0-9]{64}\b/, "DigitalOcean token", "block"],
+  [/\b(?:4[0-9]{12}(?:[0-9]{3})?|5[1-5][0-9]{14}|3[47][0-9]{13})\b/, "card-number shape (verify before committing)", "warn"]
 ];
 var ALLOW_SECRET = "mugiwara:allow-secret";
-function findSecrets(body) {
+function loadExtraPatterns(projectRoot) {
+  try {
+    const policy = loadPolicy(projectRoot);
+    const extras = policy?.integrity?.extra_secret_patterns;
+    if (!extras || !Array.isArray(extras))
+      return [];
+    const out = [];
+    for (const e of extras) {
+      if (!e || typeof e.pattern !== "string" || typeof e.label !== "string")
+        continue;
+      const rec = e;
+      const sev = rec.severity === "warn" ? "warn" : "block";
+      try {
+        const re = new RegExp(rec.pattern);
+        out.push([re, rec.label, sev]);
+      } catch {}
+    }
+    return out;
+  } catch {
+    return [];
+  }
+}
+function findSecrets(body, extra) {
   const out = [];
+  const patterns = extra ? [...SECRET_PATTERNS, ...extra] : SECRET_PATTERNS;
   for (const line of body.split(/\r?\n/)) {
     if (line.includes(ALLOW_SECRET))
       continue;
-    for (const [re, label] of SECRET_PATTERNS) {
+    for (const [re, label, severity] of patterns) {
       const hit = line.match(re);
       if (hit)
-        out.push({ label, hit: hit[0] });
+        out.push({ label, hit: hit[0], severity: severity ?? "block" });
     }
   }
   return out;
 }
-var TRAIL_EXTS = new Set([".md", ".json", ".sh"]);
+var TRAIL_EXTS = new Set([".md", ".json", ".sh", ".jsonl"]);
 function trailFiles(dir) {
   const out = [];
   const walk = (d) => {
     for (const e of readdirSync4(d, { withFileTypes: true })) {
-      const p = join7(d, e.name);
+      const p = join9(d, e.name);
       if (e.isDirectory())
         walk(p);
       else if (TRAIL_EXTS.has(e.name.slice(e.name.lastIndexOf(".")) || ""))
@@ -966,7 +1502,7 @@ function collectPassCitedPaths(missionDir) {
   for (const f of trailFiles(missionDir)) {
     let body;
     try {
-      body = readFileSync5(f, "utf8");
+      body = readFileSync7(f, "utf8");
     } catch {
       continue;
     }
@@ -987,44 +1523,47 @@ function collectPassCitedPaths(missionDir) {
 function checkTrail(missionDir, projectRoot) {
   const issues = [];
   const files = trailFiles(missionDir);
+  const extraPatterns = loadExtraPatterns(projectRoot);
   for (const f of files) {
     let body;
     try {
-      body = readFileSync5(f, "utf8");
+      body = readFileSync7(f, "utf8");
     } catch {
       continue;
     }
     for (const target10 of linkedPaths(body)) {
       if (isAbsolute(target10))
         continue;
-      const fromMission = join7(missionDir, target10);
-      const fromRoot = join7(projectRoot, target10);
-      if (!existsSync6(fromMission) && !existsSync6(fromRoot)) {
+      const fromMission = join9(missionDir, target10);
+      const fromRoot = join9(projectRoot, target10);
+      if (!existsSync8(fromMission) && !existsSync8(fromRoot)) {
         issues.push({
           kind: "dangling-path",
           detail: `${relative(projectRoot, f)} links "${target10}" — no such file (mission dir or repo root)`
         });
       }
     }
-    for (const { label, hit } of findSecrets(body)) {
+    for (const { label, hit, severity } of findSecrets(body, extraPatterns.length ? extraPatterns : undefined)) {
+      const isWarn = severity === "warn";
       issues.push({
-        kind: "secret",
-        detail: `${relative(projectRoot, f)} matches ${label}: ${hit.slice(0, 12)}…`
+        kind: isWarn ? "secret-warn" : "secret",
+        detail: `${relative(projectRoot, f)} matches ${label}: ${hit.slice(0, 12)}…`,
+        severity: isWarn ? "warn" : "block"
       });
     }
   }
   const evidencePaths = [];
-  const evidenceFile = join7(missionDir, "state.json");
-  if (existsSync6(evidenceFile)) {
+  const evidenceFile = join9(missionDir, "state.json");
+  if (existsSync8(evidenceFile)) {
     try {
-      const s = JSON.parse(readFileSync5(evidenceFile, "utf8"));
+      const s = JSON.parse(readFileSync7(evidenceFile, "utf8"));
       if (Array.isArray(s.evidence)) {
         for (const e of s.evidence) {
           if (typeof e !== "string" || !e.trim())
             continue;
           evidencePaths.push(e);
-          const cand = join7(projectRoot, e);
-          if (!isAbsolute(e) && !existsSync6(cand) && !existsSync6(join7(missionDir, e))) {
+          const cand = join9(projectRoot, e);
+          if (!isAbsolute(e) && !existsSync8(cand) && !existsSync8(join9(missionDir, e))) {
             issues.push({ kind: "evidence", detail: `state.json evidence "${e}" does not exist` });
           }
         }
@@ -1035,14 +1574,16 @@ function checkTrail(missionDir, projectRoot) {
   for (const e of passCited) {
     if (!e.trim() || isAbsolute(e))
       continue;
-    const candMission = join7(missionDir, e);
-    const candRoot = join7(projectRoot, e);
-    const resolved = existsSync6(candMission) ? candMission : existsSync6(candRoot) ? candRoot : null;
+    if (/(?:^|\/)(state|continue)(-[^\/]*)?\.json$/.test(e))
+      continue;
+    const candMission = join9(missionDir, e);
+    const candRoot = join9(projectRoot, e);
+    const resolved = existsSync8(candMission) ? candMission : existsSync8(candRoot) ? candRoot : null;
     if (!resolved)
       continue;
     let body;
     try {
-      body = readFileSync5(resolved, "utf8");
+      body = readFileSync7(resolved, "utf8");
     } catch {
       continue;
     }
@@ -1057,10 +1598,45 @@ function formatIssues(issues) {
 `);
 }
 
+// src/check-artifacts.ts
+import { existsSync as existsSync9, readFileSync as readFileSync8, readdirSync as readdirSync5 } from "node:fs";
+import { join as join10 } from "node:path";
+var LANE_MIN = new Set(["standard", "full", "spike"]);
+function checkMissionArtifacts(missionDir) {
+  const statePath = join10(missionDir, "state.json");
+  if (!existsSync9(statePath)) {
+    return { ok: true, missing: [], lane: null };
+  }
+  let lane = "unknown";
+  try {
+    const s = JSON.parse(readFileSyncSafe(statePath));
+    if (typeof s.lane === "string")
+      lane = s.lane;
+  } catch {}
+  if (!LANE_MIN.has(lane)) {
+    return { ok: true, missing: [], lane };
+  }
+  const missing = [];
+  if (!existsSync9(join10(missionDir, "plan.md")))
+    missing.push("plan.md");
+  const flowsDir = join10(missionDir, "flows");
+  const hasFlows = existsSync9(flowsDir) && readdirSync5(flowsDir).length > 0;
+  if (!hasFlows)
+    missing.push("flows/ (no execution evidence)");
+  return { ok: missing.length === 0, missing, lane };
+}
+function readFileSyncSafe(p) {
+  try {
+    return readFileSync8(p, "utf8");
+  } catch {
+    return "";
+  }
+}
+
 // src/rollback.ts
 import { execFileSync } from "node:child_process";
-import { writeFileSync as writeFileSync5 } from "node:fs";
-import { join as join8 } from "node:path";
+import { writeFileSync as writeFileSync6 } from "node:fs";
+import { join as join11 } from "node:path";
 function git(cwd, args) {
   return execFileSync("git", args, { cwd, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
 }
@@ -1099,8 +1675,8 @@ function generateRollback(projectDir, missionDir, input) {
     const commitsNewestFirst = [...revList].reverse();
     const filesTouched = input.baseSha === "unknown" ? [] : git(projectDir, ["diff", "--name-only", input.baseSha, input.branch]).split(/\r?\n/).filter(Boolean);
     const body = buildRollback(input, commitsNewestFirst, filesTouched);
-    const file = join8(missionDir, "rollback.sh");
-    writeFileSync5(file, body, { mode: 493 });
+    const file = join11(missionDir, "rollback.sh");
+    writeFileSync6(file, body, { mode: 493 });
     return { file: "rollback.sh", commits: commitsNewestFirst.length };
   } catch {
     return null;
@@ -1109,8 +1685,8 @@ function generateRollback(projectDir, missionDir, input) {
 
 // src/provenance.ts
 import { execFileSync as execFileSync2 } from "node:child_process";
-import { writeFileSync as writeFileSync6 } from "node:fs";
-import { join as join9 } from "node:path";
+import { writeFileSync as writeFileSync7 } from "node:fs";
+import { join as join12 } from "node:path";
 function git2(cwd, args) {
   return execFileSync2("git", args, { cwd, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
 }
@@ -1150,16 +1726,33 @@ function renderProvenanceMd(note, sha) {
 `) + `
 `;
 }
-function attachGitNote(projectDir, branch, note) {
+function attachGitNote(projectDir, branch, note, baseSha) {
   try {
-    let sha;
+    const range = baseSha ? `${baseSha}..${branch}` : branch;
+    let shas = [];
     try {
-      sha = git2(projectDir, ["rev-parse", "--verify", branch]);
+      const raw = git2(projectDir, ["rev-list", range]);
+      shas = raw.split(`
+`).filter(Boolean);
     } catch {
-      sha = git2(projectDir, ["rev-parse", "HEAD"]);
+      shas = [];
+    }
+    if (shas.length > 200) {
+      console.warn(`attachGitNote: range ${shas.length} >200, falling back to head-only`);
+      shas = [];
     }
-    git2(projectDir, ["notes", "--ref=mugiwara", "add", "-f", "-m", note, sha]);
-    return { sha };
+    let targets2 = shas;
+    if (!targets2.length) {
+      try {
+        targets2 = [git2(projectDir, ["rev-parse", "--verify", branch])];
+      } catch {
+        targets2 = [git2(projectDir, ["rev-parse", "HEAD"])];
+      }
+    }
+    for (const sha of targets2) {
+      git2(projectDir, ["notes", "--ref=mugiwara", "add", "-f", "-m", note, sha]);
+    }
+    return { sha: targets2[0], count: targets2.length };
   } catch {
     return null;
   }
@@ -1179,13 +1772,243 @@ function blamePath(projectDir, path) {
 ${note}`;
   } catch {
     return `${path} @ ${sha.slice(0, 7)}
-(no mugiwara provenance note on this commit)`;
+no per-commit note — see .mugiwara/missions/<m>/provenance.md`;
   }
 }
-function writeProvenance(projectDir, missionDir, state) {
+function writeProvenance(projectDir, missionDir, state, baseSha) {
   const note = buildNote(state);
-  const attached = attachGitNote(projectDir, state.branch, note);
-  writeFileSync6(join9(missionDir, "provenance.md"), renderProvenanceMd(note, attached ? attached.sha : null));
+  const resolvedBase = baseSha ?? (typeof state.base_sha === "string" ? state.base_sha : undefined);
+  const cleanBase = resolvedBase && resolvedBase !== "unknown" ? resolvedBase : undefined;
+  const attached = attachGitNote(projectDir, state.branch, note, cleanBase);
+  writeFileSync7(join12(missionDir, "provenance.md"), renderProvenanceMd(note, attached ? attached.sha : null));
+}
+
+// src/sign.ts
+import { execFileSync as execFileSync3 } from "node:child_process";
+import { chmodSync as chmodSync2, existsSync as existsSync10, mkdirSync as mkdirSync6, readFileSync as readFileSync9, writeFileSync as writeFileSync8 } from "node:fs";
+import { createPrivateKey, createPublicKey, generateKeyPairSync, sign, verify } from "node:crypto";
+import { homedir as homedir3 } from "node:os";
+import { join as join13 } from "node:path";
+function signArgs(reportPath, secretKey) {
+  return ["-Sm", reportPath, "-s", secretKey];
+}
+function verifyArgs(reportPath, pubKey) {
+  return pubKey ? ["-Vm", reportPath, "-p", pubKey] : ["-Vm", reportPath];
+}
+function hasMinisign() {
+  try {
+    execFileSync3("minisign", ["-v"], { stdio: ["ignore", "pipe", "ignore"] });
+    return true;
+  } catch {
+    return false;
+  }
+}
+function defaultKey(flag) {
+  return join13(homedir3(), ".mugiwara", flag === "secret" ? "minisign.key" : "minisign.pub");
+}
+function generatePureKey() {
+  const { privateKey, publicKey } = generateKeyPairSync("ed25519");
+  const privJwk = privateKey.export({ format: "jwk" });
+  const pubJwk = publicKey.export({ format: "jwk" });
+  return {
+    key: Buffer.from(privJwk.d, "base64url").toString("base64"),
+    pub: Buffer.from(pubJwk.x, "base64url").toString("base64")
+  };
+}
+function ensurePureKey(homeDir) {
+  const dir = join13(homeDir, ".mugiwara");
+  const keyPath = join13(dir, "mugiwara.key");
+  const pubPath = join13(dir, "mugiwara.pub");
+  if (!existsSync10(keyPath) || !existsSync10(pubPath)) {
+    mkdirSync6(dir, { recursive: true });
+    const { key, pub } = generatePureKey();
+    if (!existsSync10(keyPath)) {
+      writeFileSync8(keyPath, key + `
+`, { mode: 384 });
+    }
+    if (!existsSync10(pubPath))
+      writeFileSync8(pubPath, pub + `
+`);
+  }
+  try {
+    chmodSync2(keyPath, 384);
+  } catch {}
+  return dir;
+}
+function pureSign(content, seedBase64, opts) {
+  const seed = Buffer.from(seedBase64.trim(), "base64");
+  if (seed.length !== 32)
+    return { ok: false, message: "invalid seed (want 32B base64)" };
+  const pubBuf = Buffer.from(opts.pub.trim(), "base64");
+  if (pubBuf.length !== 32)
+    return { ok: false, message: "invalid pub (want 32B base64)" };
+  const privateKey = createPrivateKey({
+    key: {
+      kty: "OKP",
+      crv: "Ed25519",
+      d: seed.toString("base64url"),
+      x: pubBuf.toString("base64url")
+    },
+    format: "jwk"
+  });
+  const sig = sign(null, Buffer.from(content, "utf8"), privateKey).toString("base64");
+  const out = { algo: "ed25519-pure", sig, pub: opts.pub, mission: opts.mission, commit: opts.commit, ts: opts.ts };
+  if (opts.outputPath)
+    writeFileSync8(opts.outputPath, JSON.stringify(out, null, 2) + `
+`);
+  return { ...out, ok: true };
+}
+function pureVerify(content, sig) {
+  try {
+    const pub = Buffer.from(sig.pub, "base64");
+    if (pub.length !== 32)
+      return false;
+    const publicKey = createPublicKey({
+      key: { kty: "OKP", crv: "Ed25519", x: pub.toString("base64url") },
+      format: "jwk"
+    });
+    return verify(null, Buffer.from(content, "utf8"), publicKey, Buffer.from(sig.sig, "base64"));
+  } catch {
+    return false;
+  }
+}
+function resolveBackend(configured, env) {
+  switch (configured) {
+    case "off":
+      return "off";
+    case "minisign":
+      return env.hasMinisign ? "minisign" : "minisign-fail";
+    case "pure":
+      return "pure";
+    case "auto":
+    default:
+      return env.hasMinisign && env.hasKey ? "minisign" : "pure";
+  }
+}
+function configuredBackend(projectDir) {
+  return readConfig(projectDir).sign;
+}
+function missionMeta(projectDir, mission) {
+  let commit = "unknown";
+  try {
+    commit = execFileSync3("git", ["rev-parse", "HEAD"], { cwd: projectDir, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
+  } catch {}
+  return { commit, ts: new Date().toISOString() };
+}
+function signReport(projectDir, missionDir) {
+  const report = join13(missionDir, "report.md");
+  if (!existsSync10(report))
+    return { ok: false, message: "no report.md to sign — archive first" };
+  const mission = missionDir.split(join13(".mugiwara", "missions", "")).pop() ?? "unknown";
+  const backend = resolveBackend(configuredBackend(projectDir), { hasMinisign: hasMinisign(), hasKey: existsSync10(defaultKey("secret")) });
+  if (backend === "off")
+    return { ok: false, message: "signing disabled (sign=off)" };
+  if (backend === "minisign-fail")
+    return { ok: false, message: "sign=minisign but minisign not installed — install it or set sign=pure" };
+  if (backend === "minisign") {
+    const secretKey = process.env.MUGIWARA_SIGN_KEY?.trim() || defaultKey("secret");
+    try {
+      execFileSync3("minisign", signArgs(report, secretKey), { cwd: projectDir, stdio: "pipe", input: process.env.MUGIWARA_SIGN_PASSWORD ?? "" });
+      return { ok: true, message: `signed ${report}.minisig (minisign, key: ${secretKey})` };
+    } catch (e) {
+      return { ok: false, message: `signing failed: ${e.message}` };
+    }
+  }
+  const dir = ensurePureKey(homedir3());
+  const seed = process.env.MUGIWARA_SIGN_KEY?.trim() || readFileSyncSafe2(join13(dir, "mugiwara.key"));
+  const pub = process.env.MUGIWARA_SIGN_PUB?.trim() || readFileSyncSafe2(join13(dir, "mugiwara.pub"));
+  if (!seed || !pub)
+    return { ok: false, message: "pure keys missing — run `mugiwara sign --gen-key --backend pure`" };
+  const content = readFileSafe(report);
+  if (content === null)
+    return { ok: false, message: `cannot read ${report}` };
+  const { commit, ts } = missionMeta(projectDir, mission);
+  const sig = pureSign(content, seed, { mission, commit, ts, pub, outputPath: `${report}.mugisig` });
+  if (!sig.ok)
+    return { ok: false, message: `signing failed: ${sig.message}` };
+  return { ok: true, message: `signed ${report}.mugisig (pure ed25519, key: ${join13(dir, "mugiwara.key")})` };
+}
+function normalizePubkey(pk) {
+  const t = pk.trim();
+  return t.startsWith("ed25519:") ? t.slice("ed25519:".length).trim() : t;
+}
+function checkTrust(projectDir, signerPubB64) {
+  try {
+    const policy = loadPolicy(projectDir);
+    const att = policy?.attestation;
+    if (!att)
+      return { ok: true };
+    const trusted = att.trusted_keys ?? [];
+    const revoked = att.revoked ?? [];
+    const signer = signerPubB64.trim();
+    const directlyRevoked = revoked.some((r) => {
+      const rpk = r.pubkey;
+      if (!rpk)
+        return false;
+      return normalizePubkey(rpk) === signer;
+    });
+    if (directlyRevoked)
+      return { ok: false, message: "signature valid but signer revoked (pubkey in revoked list)" };
+    if (trusted.length === 0) {
+      return { ok: true };
+    }
+    const match = trusted.find((e) => normalizePubkey(e.pubkey) === signer);
+    if (!match)
+      return { ok: false, message: "signature valid but signer untrusted (pub not in trusted_keys)" };
+    const revokedById = revoked.some((r) => r.id === match.id);
+    if (revokedById)
+      return { ok: false, message: `signature valid but signer revoked (id: ${match.id})` };
+    return { ok: true };
+  } catch {
+    return { ok: true };
+  }
+}
+function verifyReport(projectDir, missionDir) {
+  const report = join13(missionDir, "report.md");
+  const minisig = `${report}.minisig`;
+  const mugisig = `${report}.mugisig`;
+  if (!existsSync10(minisig) && !existsSync10(mugisig)) {
+    return { ok: false, message: "not signed (no .minisig or .mugisig beside report.md)" };
+  }
+  if (existsSync10(minisig)) {
+    if (!hasMinisign())
+      return { ok: false, message: "minisig present but minisign not installed — cannot verify that signature" };
+    const pubKey = existsSync10(defaultKey("public")) ? defaultKey("public") : null;
+    try {
+      execFileSync3("minisign", verifyArgs(report, pubKey), { cwd: projectDir, stdio: "pipe" });
+      return { ok: true, message: "signature verifies against report.md (minisig)" };
+    } catch {
+      return { ok: false, message: "SIGNATURE INVALID — report.md changed after signing (minisig)" };
+    }
+  }
+  try {
+    const parsed = JSON.parse(readFileSafe(mugisig) ?? "{}");
+    const content = readFileSafe(report);
+    if (content === null || parsed.algo !== "ed25519-pure")
+      return { ok: false, message: "invalid .mugisig file" };
+    if (!pureVerify(content, parsed))
+      return { ok: false, message: "SIGNATURE INVALID — report.md changed after signing (mugisig)" };
+    const trust = checkTrust(projectDir, parsed.pub);
+    if (!trust.ok)
+      return { ok: false, message: trust.message };
+    return { ok: true, message: "signature verifies against report.md (mugisig, ed25519-pure)" };
+  } catch {
+    return { ok: false, message: "invalid .mugisig file" };
+  }
+}
+function readFileSafe(p) {
+  try {
+    return readFileSync9(p, "utf8");
+  } catch {
+    return null;
+  }
+}
+function readFileSyncSafe2(p) {
+  try {
+    return readFileSync9(p, "utf8").trim();
+  } catch {
+    return "";
+  }
 }
 
 // src/routing.ts
@@ -1242,28 +2065,15 @@ function renderRouting(ranked, mission) {
 }
 
 // src/budget.ts
-import { existsSync as existsSync7, readdirSync as readdirSync5, readFileSync as readFileSync6, statSync } from "node:fs";
-import { homedir as homedir2 } from "node:os";
-import { join as join10 } from "node:path";
+import { existsSync as existsSync11, readdirSync as readdirSync6, statSync } from "node:fs";
+import { join as join14 } from "node:path";
 function readBudgetConfig(projectDir) {
-  for (const base of [projectDir, homedir2()]) {
-    const file = join10(base, ".mugiwara", "config");
-    if (!existsSync7(file))
-      continue;
-    for (const line of readFileSync6(file, "utf8").split(/\r?\n/)) {
-      const t = line.trim();
-      if (!t || t.startsWith("#"))
-        continue;
-      const eq = t.indexOf("=");
-      if (eq === -1)
-        continue;
-      if (t.slice(0, eq).trim() !== "context_budget_chars")
-        continue;
-      const n = Number(t.slice(eq + 1).trim());
-      return Number.isFinite(n) && n > 0 ? n : 0;
-    }
-  }
-  return 0;
+  const cfg = readConfig(projectDir);
+  const raw = cfg.context_budget_chars;
+  if (raw === undefined || raw === "")
+    return 0;
+  const n = Number(raw);
+  return Number.isFinite(n) && n > 0 ? n : 0;
 }
 function measureContextChars(missionDir) {
   let total = 0;
@@ -1272,15 +2082,15 @@ function measureContextChars(missionDir) {
       total += statSync(p).size;
     } catch {}
   };
-  for (const f of readdirSync5(missionDir)) {
+  for (const f of readdirSync6(missionDir)) {
     if (/\.md$/.test(f))
-      add(join10(missionDir, f));
+      add(join14(missionDir, f));
   }
   for (const sub of ["flows", "waves"]) {
-    const dir = join10(missionDir, sub);
-    if (existsSync7(dir)) {
-      for (const f of readdirSync5(dir))
-        add(join10(dir, f));
+    const dir = join14(missionDir, sub);
+    if (existsSync11(dir)) {
+      for (const f of readdirSync6(dir))
+        add(join14(dir, f));
     }
   }
   return total;
@@ -1291,6 +2101,282 @@ function formatFootprint(chars, budget) {
     return `${base} (no budget configured)`;
   return chars > budget ? `${base} — OVER budget ${budget}` : `${base} (budget ${budget})`;
 }
+var COMPRESS_THRESHOLD_PCT = 0.8;
+function shouldCompress(budget, chars) {
+  return budget > 0 && chars > Math.floor(budget * COMPRESS_THRESHOLD_PCT);
+}
+function compressThreshold(budget) {
+  return Math.floor(budget * COMPRESS_THRESHOLD_PCT);
+}
+
+// src/cost.ts
+import { appendFileSync, mkdirSync as mkdirSync7, readFileSync as readFileSync10 } from "node:fs";
+import { join as join15 } from "node:path";
+var LANE_BUDGET = {
+  lean: 12000,
+  standard: 25000,
+  full: 50000,
+  spike: 3000
+};
+function budgetForLane(lane) {
+  return LANE_BUDGET[lane] ?? 0;
+}
+function warnAt(budget) {
+  return Math.floor(budget * 3 / 2);
+}
+function stopAt(budget) {
+  return budget * 3;
+}
+function budgetStatus(budget, tokens) {
+  if (budget > 0 && tokens >= stopAt(budget))
+    return "stop";
+  if (budget > 0 && tokens >= warnAt(budget))
+    return "warn";
+  return "ok";
+}
+function costEnvelope(state) {
+  const planned = typeof state.budget === "number" && state.budget > 0 ? state.budget : budgetForLane(state.lane ?? "");
+  const used = typeof state.tokens_est === "number" ? state.tokens_est : 0;
+  const remaining = Math.max(planned - used, 0);
+  const pct = planned > 0 ? Math.round(used / planned * 100) : 0;
+  return {
+    planned,
+    used,
+    remaining,
+    pct,
+    warn_at: warnAt(planned),
+    stop_at: stopAt(planned),
+    status: budgetStatus(planned, used)
+  };
+}
+var COST_EVENTS_FILE = "cost-events.jsonl";
+function isAllowedMissionDir(dir) {
+  if (!dir || dir.includes(".."))
+    return false;
+  if (dir.includes(".mugiwara/missions"))
+    return true;
+  if (dir.includes("mugiwara-"))
+    return true;
+  if (dir.startsWith("/tmp/") && dir.includes("-"))
+    return true;
+  return false;
+}
+function assertMissionDir(dir) {
+  if (!isAllowedMissionDir(dir))
+    throw new Error(`Invalid missionDir: ${dir}`);
+}
+function appendCostEvent(missionDir, event) {
+  assertMissionDir(missionDir);
+  mkdirSync7(missionDir, { recursive: true });
+  const line = Object.assign({ ts: new Date().toISOString() }, event);
+  appendFileSync(join15(missionDir, COST_EVENTS_FILE), JSON.stringify(line) + `
+`, "utf8");
+}
+var COMPRESSED_KIND = "compressed";
+
+// src/evidence.ts
+import { appendFileSync as appendFileSync2, mkdirSync as mkdirSync8, readFileSync as readFileSync11 } from "node:fs";
+import { join as join16 } from "node:path";
+var REGISTRY_FILE = "context-registry.jsonl";
+function isAllowedMissionDir2(dir) {
+  if (!dir || dir.includes(".."))
+    return false;
+  if (dir.includes(".mugiwara/missions"))
+    return true;
+  if (dir.includes("mugiwara-"))
+    return true;
+  if (dir.startsWith("/tmp/") && dir.includes("-"))
+    return true;
+  return false;
+}
+function assertMissionDir2(dir) {
+  if (!isAllowedMissionDir2(dir))
+    throw new Error(`Invalid missionDir: ${dir}`);
+}
+function loadRegistry(missionDir) {
+  assertMissionDir2(missionDir);
+  const file = join16(missionDir, REGISTRY_FILE);
+  try {
+    const out = [];
+    for (const line of readFileSync11(file, "utf8").split(/\r?\n/)) {
+      if (!line.trim())
+        continue;
+      let e;
+      try {
+        e = JSON.parse(line);
+      } catch {
+        continue;
+      }
+      if (e === null || typeof e !== "object")
+        continue;
+      const entry = e;
+      const ok = typeof entry.fingerprint === "string" && typeof entry.kind === "string" && typeof entry.file === "string" && typeof entry.id === "string" && typeof entry.ref === "string" && typeof entry.reads === "number" && Number.isFinite(entry.reads) && entry.reads >= 0;
+      if (!ok)
+        continue;
+      entry.reads = Math.floor(entry.reads);
+      out.push(entry);
+    }
+    return out;
+  } catch {
+    return [];
+  }
+}
+
+// src/context.ts
+function contextStatus(budgetChars, chars) {
+  return budgetChars > 0 && chars > budgetChars ? "over" : "ok";
+}
+function computeContextMetrics(stats) {
+  const reuse_rate = stats.reads_total > 0 ? stats.reads_reused / stats.reads_total : 0;
+  const duplicate_chars = stats.total_chars - stats.unique_chars;
+  return {
+    files_loaded: stats.files_loaded,
+    repeated_reads: stats.repeated_reads,
+    duplicate_chars,
+    reuse_rate,
+    read_avoidance_chars: duplicate_chars
+  };
+}
+
+// src/reporting.ts
+import { existsSync as existsSync12, readFileSync as readFileSync12 } from "node:fs";
+import { join as join17 } from "node:path";
+function isAllowedMissionDir3(dir) {
+  if (!dir || dir.includes(".."))
+    return false;
+  if (dir.includes(".mugiwara/missions"))
+    return true;
+  if (dir.includes("mugiwara-"))
+    return true;
+  if (dir.startsWith("/tmp/") && dir.includes("-"))
+    return true;
+  return false;
+}
+function assertMissionDir3(dir) {
+  if (!isAllowedMissionDir3(dir))
+    throw new Error(`Invalid missionDir: ${dir}`);
+}
+function parseDecisionTrail(missionDir) {
+  assertMissionDir3(missionDir);
+  const file = join17(missionDir, "decisions.md");
+  if (!existsSync12(file))
+    return [];
+  const raw = readFileSync12(file, "utf8");
+  const lines = raw.split(/\r?\n/);
+  const headerIdx = lines.findIndex((l) => l.trim() === "## Cost governor decisions" || l.trim() === "## Budget");
+  const scan = headerIdx >= 0 ? lines.slice(headerIdx) : lines;
+  const out = [];
+  const bulletRe = /^-\s+(.+?)\s+—\s+(.+?):\s+(.+?)\s+—\s+reason:\s+(.+?)(?:\s+—\s+evidence:\s+(.+))?\s*$/;
+  for (const line of scan) {
+    const m = bulletRe.exec(line.trim());
+    if (!m)
+      continue;
+    out.push({ ts: m[1], actor: m[2], decision: m[3], reason: m[4], ...m[5] ? { evidence: m[5] } : {} });
+  }
+  return out;
+}
+function loadCostEvents(missionDir) {
+  assertMissionDir3(missionDir);
+  const file = join17(missionDir, "cost-events.jsonl");
+  if (!existsSync12(file))
+    return [];
+  const out = [];
+  for (const line of readFileSync12(file, "utf8").split(/\r?\n/)) {
+    if (!line.trim())
+      continue;
+    try {
+      const e = JSON.parse(line);
+      if (e && typeof e === "object" && typeof e.mission === "string")
+        out.push(e);
+    } catch {
+      continue;
+    }
+  }
+  return out;
+}
+function computeAvoidedMetrics(input) {
+  const dup = input.registryMetrics?.duplicateCount ?? 0;
+  const rep = input.registryMetrics?.repeatedReads ?? 0;
+  const contexts_avoided = dup + rep;
+  const stages_avoided = input.workMetrics?.stagesAvoided ?? 0;
+  const slop_interventions = input.slopMetrics?.interventions ?? 0;
+  const tokens_avoided_est = contexts_avoided * 150;
+  return { stages_avoided, contexts_avoided, slop_interventions, tokens_avoided_est };
+}
+function computeEfficiencyMetrics(input) {
+  const reuse_rate = input.totalReads > 0 ? Math.round(input.reuseHits / input.totalReads * 100) / 100 : 0;
+  const duplicate_avoidance_chars = input.duplicateChars;
+  const budget_efficiency_pct = input.budget > 0 ? Math.round(input.used / input.budget * 100) : 0;
+  return { reuse_rate, duplicate_avoidance_chars, budget_efficiency_pct };
+}
+function buildCostLedger(input) {
+  assertMissionDir3(input.missionDir);
+  const events = loadCostEvents(input.missionDir);
+  let registrySize = 0;
+  let totalReads = 0;
+  let reuseHits = 0;
+  let duplicateChars = 0;
+  try {
+    const reg = loadRegistry(input.missionDir);
+    registrySize = reg.length;
+    totalReads = reg.reduce((s, e) => s + e.reads, 0);
+    reuseHits = reg.reduce((s, e) => s + Math.max(e.reads - 1, 0), 0);
+    const unique = reg.reduce((s, e) => s + (e.chars ?? 0), 0);
+    const total = reg.reduce((s, e) => s + (e.chars ?? 0) * e.reads, 0);
+    duplicateChars = total - unique;
+    if (duplicateChars < 0)
+      duplicateChars = 0;
+  } catch {
+    registrySize = 0;
+  }
+  const decisions = parseDecisionTrail(input.missionDir);
+  const repeatedReads = reuseHits;
+  const duplicateCount = duplicateChars > 0 ? 1 : 0;
+  const avoided = computeAvoidedMetrics({
+    registryMetrics: { duplicateCount: 0, repeatedReads: reuseHits },
+    workMetrics: { stagesAvoided: input.workSummary?.stagesAvoided ?? 0 },
+    slopMetrics: { interventions: input.slopSummary?.interventions ?? 0 }
+  });
+  if (duplicateChars > 0 && avoided.contexts_avoided === 0) {
+    avoided.contexts_avoided = 1;
+    avoided.tokens_avoided_est = 150;
+  }
+  const efficiency = computeEfficiencyMetrics({
+    totalReads,
+    reuseHits,
+    duplicateChars,
+    budget: input.envelope.planned,
+    used: input.envelope.used
+  });
+  return {
+    envelope: input.envelope,
+    ledger: { events, registrySize, decisions },
+    avoided,
+    efficiency,
+    trail: decisions
+  };
+}
+function toCostJSON(ledger) {
+  return JSON.stringify({ envelope: ledger.envelope, ledger: ledger.ledger, avoided: ledger.avoided, efficiency: ledger.efficiency, trail: ledger.trail }, null, 2);
+}
+function summarizeAdaptation(missionDir) {
+  const trail = parseDecisionTrail(missionDir);
+  const postureRe = /posture|switch|adapt|pause|parallel-workers|context-relief|phase-isolated|team-scoped/i;
+  const rows = trail.filter((t) => postureRe.test(`${t.decision} ${t.reason}`)).map((t) => ({ ts: t.ts, decision: t.decision, reason: t.reason }));
+  return { count: rows.length, rows };
+}
+function renderAdaptationSection(missionDir) {
+  const { count, rows } = summarizeAdaptation(missionDir);
+  if (count === 0)
+    return "";
+  const lines = ["", "## Adaptation", "", "| Time | Decision | Reason |", "|---|---|---|"];
+  for (const r of rows)
+    lines.push(`| ${r.ts} | ${r.decision} | ${r.reason} |`);
+  if (rows.length === 0)
+    lines.push("| — | (posture rows recorded in decisions.md) | |");
+  return lines.join(`
+`);
+}
 
 // src/mission.ts
 function isStateFile(f) {
@@ -1302,18 +2388,65 @@ function primaryState(dir, files) {
   if (!name)
     return null;
   try {
-    return JSON.parse(readFileSync7(join11(dir, name), "utf8"));
+    return JSON.parse(readFileSync13(join18(dir, name), "utf8"));
   } catch {
     return null;
   }
 }
+function tasksFromState(state) {
+  if (!state)
+    return { done: 0, total: 0 };
+  const t = state.tasks;
+  if (t && typeof t.done === "number" && typeof t.total === "number")
+    return { done: t.done, total: t.total };
+  const done = Number(state.tasks_done);
+  const total = Number(state.tasks_total);
+  return { done: Number.isFinite(done) ? done : 0, total: Number.isFinite(total) ? total : 0 };
+}
+function countPlanTasks(missionDir) {
+  let total = 0;
+  let done = 0;
+  const planFile = join18(missionDir, "plan.md");
+  if (existsSync13(planFile)) {
+    try {
+      const text = readFileSync13(planFile, "utf8");
+      for (const line of text.split(/\r?\n/)) {
+        if (/^\s*-\s*\[[ xX]\]/.test(line)) {
+          total++;
+          if (/^\s*-\s*\[[xX]\]/.test(line))
+            done++;
+        }
+      }
+    } catch {}
+  }
+  if (total === 0) {
+    const subPlanDir = join18(missionDir, "sub-plan");
+    if (existsSync13(subPlanDir)) {
+      try {
+        for (const f of readdirSync7(subPlanDir)) {
+          if (!f.endsWith(".md"))
+            continue;
+          const text = readFileSync13(join18(subPlanDir, f), "utf8");
+          for (const line of text.split(/\r?\n/)) {
+            if (/^\s*-\s*\[[ xX]\]/.test(line)) {
+              total++;
+              if (/^\s*-\s*\[[xX]\]/.test(line))
+                done++;
+            }
+          }
+        }
+      } catch {}
+    }
+  }
+  return { done, total };
+}
 function changedFiles(projectDir, state) {
   const base = typeof state?.base_sha === "string" ? state.base_sha : "";
   const branch = typeof state?.branch === "string" ? state.branch : "";
   if (!base || base === "unknown" || !branch)
     return [];
   try {
-    return execFileSync3("git", ["diff", "--name-only", base, branch], {
+    return execFileSync4("git", ["diff", "--name-only", base, branch], {
       cwd: projectDir,
       encoding: "utf8",
       stdio: ["ignore", "pipe", "ignore"]
@@ -1323,16 +2456,16 @@ function changedFiles(projectDir, state) {
   }
 }
 function activeActor(projectDir) {
-  const missionsDir = join11(projectDir, ".mugiwara", "missions");
-  if (!existsSync8(missionsDir))
+  const missionsDir = join18(projectDir, ".mugiwara", "missions");
+  if (!existsSync13(missionsDir))
     return null;
-  const missions = readdirSync6(missionsDir, { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name);
+  const missions = readdirSync7(missionsDir, { withFileTypes: true }).filter((e) => e.isDirectory()).map((e) => e.name);
   let latest = null;
   for (const mission of missions) {
-    const d = join11(missionsDir, mission);
-    for (const f of readdirSync6(d).filter(isStateFile)) {
+    const d = join18(missionsDir, mission);
+    for (const f of readdirSync7(d).filter(isStateFile)) {
       try {
-        const s = JSON.parse(readFileSync7(join11(d, f), "utf8"));
+        const s = JSON.parse(readFileSync13(join18(d, f), "utf8"));
         const t = Date.parse(s.updated_at || "") || 0;
         if (!latest || t > latest.updated)
           latest = { actor: s.actor || null, updated: t };
@@ -1342,8 +2475,8 @@ function activeActor(projectDir) {
   return latest ? latest.actor : null;
 }
 function resetMission(projectDir, keepLogs, force) {
-  const root = join11(projectDir, ".mugiwara");
-  if (!existsSync8(root))
+  const root = join18(projectDir, ".mugiwara");
+  if (!existsSync13(root))
     return { removed: [], kept: [] };
   if (!force) {
     const actor = activeActor(projectDir);
@@ -1354,62 +2487,93 @@ function resetMission(projectDir, keepLogs, force) {
   const removed = [];
   const kept = [];
   for (const dir of ["missions", "spec", "plans", "results", "review", "issues", "reports", "state", "continue"]) {
-    const p = join11(root, dir);
-    if (existsSync8(p)) {
+    const p = join18(root, dir);
+    if (existsSync13(p)) {
       rmSync2(p, { recursive: true, force: true });
       removed.push(dir);
     }
   }
-  for (const f of readdirSync6(root)) {
+  for (const f of readdirSync7(root)) {
     if (/^state(-.+)?\.json$/.test(f)) {
-      const p = join11(root, f);
-      if (existsSync8(p)) {
+      const p = join18(root, f);
+      if (existsSync13(p)) {
         rmSync2(p);
         removed.push(f);
       }
     }
   }
   if (!keepLogs) {
-    for (const p of [join11(root, "lessons.md"), join11(root, "logs")]) {
-      if (existsSync8(p)) {
+    for (const p of [join18(root, "lessons.md"), join18(root, "logs")]) {
+      if (existsSync13(p)) {
         rmSync2(p, { recursive: true, force: true });
-        removed.push(p.startsWith(join11(root, "logs")) ? "logs" : "lessons.md");
+        removed.push(p.startsWith(join18(root, "logs")) ? "logs" : "lessons.md");
       }
     }
   } else {
-    if (existsSync8(join11(root, "lessons.md")))
+    if (existsSync13(join18(root, "lessons.md")))
       kept.push("lessons.md");
-    else if (existsSync8(join11(root, join11("logs", "lessons.md"))))
-      kept.push(join11("logs", "lessons.md"));
+    else if (existsSync13(join18(root, join18("logs", "lessons.md"))))
+      kept.push(join18("logs", "lessons.md"));
+  }
+  if (removed.includes("missions") && existsSync13(join18(root, "index.md"))) {
+    rmSync2(join18(root, "index.md"));
+    removed.push("index.md");
   }
   for (const f of ["config", "manifest.json", "backup"]) {
-    if (existsSync8(join11(root, f)))
+    if (existsSync13(join18(root, f)))
       kept.push(f);
   }
   return { removed, kept };
 }
 function archiveMission(projectDir, mission, opts = {}) {
   const { dryRun = false } = opts;
-  const root = join11(projectDir, ".mugiwara");
+  const root = join18(projectDir, ".mugiwara");
   if (!mission || /[^a-zA-Z0-9._-]/.test(mission) || /^\.+$/.test(mission))
     throw new Error(`invalid mission name "${mission}" (allowlist: [a-zA-Z0-9._-], not a dot-path)`);
   const removed = [];
   const kept = [];
-  const dir = join11(root, "missions", mission);
-  if (!existsSync8(dir))
+  const dir = join18(root, "missions", mission);
+  if (!existsSync13(dir))
     return { report: null, removed, kept };
   if (!dryRun) {
     const issues = checkTrail(dir, projectDir);
-    if (issues.length) {
+    const blocking = issues.filter((i) => i.kind !== "secret-warn" && i.severity !== "warn");
+    if (blocking.length) {
       throw new Error(`closure integrity gate failed — fix these before archiving:
-${formatIssues(issues)}`);
+${formatIssues(blocking)}`);
+    }
+    if (issues.length && blocking.length === 0) {
+      try {
+        const warnText = formatIssues(issues);
+        if (warnText)
+          console.warn(`closure integrity warnings (non-blocking):
+${warnText}`);
+      } catch {}
+    }
+    const artifacts = checkMissionArtifacts(dir);
+    if (!artifacts.ok) {
+      throw new Error(`archive artifact gate failed — missing: ${artifacts.missing.join(", ")} (lane ${artifacts.lane}). Write the evidence trail before archiving.`);
+    }
+    try {
+      const policy = loadPolicy(projectDir);
+      if (policy?.attestation?.required) {
+        const v = verifyReport(projectDir, dir);
+        if (!v.ok) {
+          throw new Error(`closure integrity gate failed — attestation required but report not signed/trusted: ${v.message}`);
+        }
+      }
+    } catch (e) {
+      if (e.message.startsWith("closure integrity gate failed — attestation required"))
+        throw e;
+      if (e.message.startsWith("unknown policy key"))
+        throw e;
     }
   }
-  const files = readdirSync6(dir);
+  const files = readdirSync7(dir);
   const state = primaryState(dir, files);
   const stageModels = [...new Set(files.filter(isStateFile).map((f) => {
     try {
-      const s = JSON.parse(readFileSync7(join11(dir, f), "utf8"));
+      const s = JSON.parse(readFileSync13(join18(dir, f), "utf8"));
       return typeof s.model === "string" ? s.model : "";
     } catch {
       return "";
@@ -1420,22 +2584,36 @@ ${formatIssues(issues)}`);
     const chars = measureContextChars(dir);
     const budget = readBudgetConfig(projectDir);
     const footprintLine = formatFootprint(chars, budget);
-    if (budget && chars > budget) {
-      throw new Error(`closure context budget failed — ${footprintLine}. Trim the trail or raise context_budget_chars.`);
-    }
     const est = typeof state.tokens_est === "number" ? state.tokens_est : 0;
     const src = typeof state.tokens_source === "string" ? state.tokens_source : "computed";
     const lane = typeof state.lane === "string" ? state.lane : "unknown";
-    const laneBudget = lane === "lean" ? 12000 : lane === "standard" ? 25000 : lane === "full" ? 50000 : lane === "spike" ? 3000 : 0;
+    const laneBudget = budgetForLane(lane);
+    const env = costEnvelope({ lane, budget: laneBudget, tokens_est: est });
     const effBudget = budget || laneBudget;
-    const pct = effBudget ? Math.round(est / effBudget * 100) : 0;
     const delta = effBudget ? est <= effBudget ? `${(effBudget - est).toLocaleString()} under` : `${(est - effBudget).toLocaleString()} over` : "no budget configured";
     const srcLabel = src === "reported" ? "provider-reported" : "estimator";
+    const statusLabel = env.status.toUpperCase();
+    const ctxStatus = contextStatus(budget, chars);
+    const registry = loadRegistry(dir);
+    const reads_total = registry.reduce((s, e) => s + e.reads, 0);
+    const repeated_reads = registry.reduce((s, e) => s + Math.max(e.reads - 1, 0), 0);
+    const unique_chars = registry.reduce((s, e) => s + (e.chars ?? 0), 0);
+    const total_chars = registry.reduce((s, e) => s + (e.chars ?? 0) * e.reads, 0);
+    const charTracked = registry.length > 0 && total_chars > 0;
+    const metrics = registry.length ? computeContextMetrics({
+      files_loaded: registry.length,
+      reads_total,
+      reads_reused: repeated_reads,
+      unique_chars,
+      total_chars,
+      repeated_reads
+    }) : { files_loaded: 0, repeated_reads: 0, duplicate_chars: 0, reuse_rate: 0, read_avoidance_chars: 0 };
+    const ctxNote = registry.length ? charTracked ? "" : " (char data not tracked)" : " (no registry — reads not tracked)";
     let reportedTotal = 0;
     let hasReported = false;
     for (const f of files.filter(isStateFile)) {
       try {
-        const s = JSON.parse(readFileSync7(join11(dir, f), "utf8"));
+        const s = JSON.parse(readFileSync13(join18(dir, f), "utf8"));
         if (s.tokens_source === "reported" && typeof s.tokens_est === "number") {
           reportedTotal += s.tokens_est;
           hasReported = true;
@@ -1452,17 +2630,92 @@ ${formatIssues(issues)}`);
       "| Metric | Value |",
       "|--------|-------|",
       `| **Tokens used** | ${est.toLocaleString()} (${srcLabel}) |`,
-      `| **Lane** | ${lane} (budget ${effBudget ? effBudget.toLocaleString() : "—"} · warn ${effBudget ? Math.round(effBudget * 1.5).toLocaleString() : "—"} · stop ${effBudget ? (effBudget * 3).toLocaleString() : "—"}) |`,
-      `| **Budget status** | ${effBudget ? `${pct}% of budget · ${delta} · ${est >= effBudget * 3 ? "STOP" : est >= effBudget * 1.5 ? "WARN" : "OK"}` : "no lane budget"} |`,
-      `| **Context footprint** | ${chars.toLocaleString()} chars${budget ? ` (budget ${budget.toLocaleString()})` : " (no context budget configured)"} |`
+      `| **Lane** | ${lane} (budget ${effBudget ? effBudget.toLocaleString() : "—"} · warn ${effBudget ? env.warn_at.toLocaleString() : "—"} · stop ${effBudget ? env.stop_at.toLocaleString() : "—"}) |`,
+      `| **Budget status** | ${effBudget ? `${env.pct}% of budget · ${delta} · ${statusLabel}` : "no lane budget"} |`,
+      `| **Context footprint** | ${chars.toLocaleString()} chars${budget ? ` (budget ${budget.toLocaleString()})` : " (no context budget configured)"} |`,
+      `| **Context budget status** | ${ctxStatus.toUpperCase()}${budget ? ` (budget ${budget.toLocaleString()})` : " (no context budget configured)"} |`,
+      `| **Context efficiency** | files_loaded: ${metrics.files_loaded} · repeated_reads: ${metrics.repeated_reads} · duplicate_chars: ${charTracked ? metrics.duplicate_chars : "n/a"} · reuse_rate: ${metrics.reuse_rate} · read_avoidance_chars: ${charTracked ? metrics.read_avoidance_chars : "n/a"}${ctxNote} |`
     ].join(`
 `);
     if (hasReported) {
       costSection += `
 | **Provider total** | ${reportedTotal.toLocaleString()} (provider-reported — sum of reported stages) |`;
     }
+    try {
+      const ledger = buildCostLedger({ missionDir: dir, envelope: env });
+      costSection += `
+| Budget | ${ledger.envelope.status} ${ledger.envelope.pct}% (${ledger.envelope.used}/${ledger.envelope.planned}) |`;
+      costSection += `
+| Context | ${chars.toLocaleString()} chars, reuse ${ledger.efficiency.reuse_rate} |`;
+      costSection += `
+| Avoided | ${ledger.avoided.stages_avoided} stages, ${ledger.avoided.contexts_avoided} contexts, ${ledger.avoided.tokens_avoided_est} tokens est |`;
+      costSection += `
+| Efficiency | reuse ${ledger.efficiency.reuse_rate}, dup ${ledger.efficiency.duplicate_avoidance_chars} chars, budget ${ledger.efficiency.budget_efficiency_pct}% |`;
+      costSection += `
+| Trail | ${ledger.trail.length} decisions |`;
+      if (ledger.trail.length) {
+        const show = ledger.trail.slice(0, 5);
+        for (const t of show)
+          costSection += `
+- ${t.ts} — ${t.actor}: ${t.decision} — reason: ${t.reason}${t.evidence ? ` — evidence: ${t.evidence}` : ""}`;
+        if (ledger.trail.length > 5)
+          costSection += `
+… ${ledger.trail.length - 5} more`;
+      }
+    } catch {}
     costSection += `
 `;
+    try {
+      costSection += renderAdaptationSection(dir);
+    } catch {}
+    if (shouldCompress(budget, chars)) {
+      try {
+        const flowsDir2 = join18(dir, "flows");
+        const wavesDir = join18(dir, "waves");
+        const targetDir = existsSync13(flowsDir2) ? flowsDir2 : existsSync13(wavesDir) ? wavesDir : null;
+        if (targetDir && existsSync13(targetDir)) {
+          const flowFiles = readdirSync7(targetDir).filter((f) => f.endsWith(".md"));
+          if (flowFiles.length) {
+            const pct = Math.round(chars / budget * 100);
+            const stub = `# Compressed trail
+
+Trail ${chars} chars exceeds ${pct}% of budget ${budget} (threshold ${compressThreshold(budget)}) — flows archived as stub to preserve budget. Original flows: ${flowFiles.join(", ")}
+`;
+            for (const f of flowFiles) {
+              try {
+                rmSync2(join18(targetDir, f), { force: true });
+              } catch {}
+            }
+            writeFileSync9(join18(targetDir, "00-compressed.md"), stub);
+          }
+        }
+        appendCostEvent(dir, {
+          kind: COMPRESSED_KIND,
+          mission,
+          tokens_est: est,
+          budget: laneBudget,
+          status: "compressed",
+          context_chars: chars,
+          context_status: ctxStatus,
+          context_metrics: metrics
+        });
+        costSection += `
+| **Compressed** | yes — ${chars} chars >80% of ${budget} — flows stubbed as 00-compressed.md |`;
+      } catch {}
+    }
+    appendCostEvent(dir, {
+      kind: "closure",
+      mission,
+      tokens_est: est,
+      budget: laneBudget,
+      status: env.status,
+      context_chars: chars,
+      context_status: ctxStatus,
+      context_metrics: metrics
+    });
+    if (budget && chars > budget) {
+      throw new Error(`closure context budget failed — ${footprintLine}. Trim the trail or raise context_budget_chars.`);
+    }
   }
   const FOLD_TOP = ["decisions.md", "blockers.md", "review.md", "security.md", "spec.md"];
   const fold = [];
@@ -1470,25 +2723,40 @@ ${formatIssues(issues)}`);
     if (files.includes(f))
       fold.push(f);
   }
-  const flowsDir = join11(dir, "flows");
-  const legacyWavesDir = join11(dir, "waves");
-  const artDir = existsSync8(flowsDir) ? flowsDir : existsSync8(legacyWavesDir) ? legacyWavesDir : flowsDir;
+  const PR_VERDICT = "pr-verdict.md";
+  const PR_VERDICT_SRC = join18("flows", "07-pr-verdict.md");
+  const flowsDir = join18(dir, "flows");
+  const legacyWavesDir = join18(dir, "waves");
+  const artDir = existsSync13(flowsDir) ? flowsDir : existsSync13(legacyWavesDir) ? legacyWavesDir : flowsDir;
   const artRel = artDir === legacyWavesDir ? "waves" : "flows";
-  if (existsSync8(artDir)) {
-    for (const f of readdirSync6(artDir).sort())
-      fold.push(join11(artRel, f));
+  if (existsSync13(artDir)) {
+    for (const f of readdirSync7(artDir).sort()) {
+      if (artRel === "flows" && f === "07-pr-verdict.md")
+        continue;
+      fold.push(join18(artRel, f));
+    }
   }
+  if (existsSync13(join18(dir, "cost-events.jsonl")))
+    fold.push("cost-events.jsonl");
+  if (existsSync13(join18(dir, "context-registry.jsonl")))
+    fold.push("context-registry.jsonl");
   let report = "";
-  const reportPath = join11(dir, "report.md");
+  const reportPath = join18(dir, "report.md");
   if (files.includes("report.md"))
-    report = readFileSync7(reportPath, "utf8");
-  else if (existsSync8(join11(artDir, "06-closure.md")))
-    report = readFileSync7(join11(artDir, "06-closure.md"), "utf8");
+    report = readFileSync13(reportPath, "utf8");
+  else if (existsSync13(join18(artDir, "06-closure.md")))
+    report = readFileSync13(join18(artDir, "06-closure.md"), "utf8");
   if (!dryRun) {
-    mkdirSync5(dir, { recursive: true });
+    mkdirSync9(dir, { recursive: true });
+    const prVerdictSrc = join18(dir, PR_VERDICT_SRC);
+    if (existsSync13(prVerdictSrc)) {
+      const prVerdictPath = join18(dir, PR_VERDICT);
+      writeFileSync9(prVerdictPath, readFileSync13(prVerdictSrc, "utf8"));
+      kept.push(join18("missions", mission, PR_VERDICT));
+    }
     if (fold.length) {
       const sections = fold.map((f) => {
-        const body = readFileSync7(join11(dir, f), "utf8").trim();
+        const body = readFileSync13(join18(dir, f), "utf8").trim();
         const name = f.includes("/") ? f.split("/").pop() ?? f : f;
         return `
 
@@ -1502,22 +2770,26 @@ ${body}`;
         evidence: Array.isArray(state.evidence) ? state.evidence : [],
         sensitive_paths: Array.isArray(state.sensitive_paths) ? state.sensitive_paths : []
       }), mission) : "";
-      writeFileSync7(tmp, report.trimEnd() + sections + (routingSection || "") + (costSection ? `
+      writeFileSync9(tmp, report.trimEnd() + sections + (routingSection || "") + (costSection ? `
 ${costSection}
 ` : "") + `
 `);
       renameSync(tmp, reportPath);
     }
     for (const f of fold) {
-      rmSync2(join11(dir, f), { force: true, recursive: true });
-      removed.push(join11("missions", mission, f));
+      rmSync2(join18(dir, f), { force: true, recursive: true });
+      removed.push(join18("missions", mission, f));
+    }
+    if (existsSync13(prVerdictSrc)) {
+      rmSync2(join18(dir, PR_VERDICT_SRC), { force: true });
+      removed.push(join18("missions", mission, PR_VERDICT_SRC));
     }
     for (const f of files.filter((f2) => f2.endsWith(".json")))
-      rmSync2(join11(dir, f), { force: true });
-    if (existsSync8(artDir) && readdirSync6(artDir).length === 0)
+      rmSync2(join18(dir, f), { force: true });
+    if (existsSync13(artDir) && readdirSync7(artDir).length === 0)
       rmSync2(artDir, { recursive: true, force: true });
-    if (!existsSync8(reportPath)) {
-      writeFileSync7(reportPath, `# Mission: ${mission}
+    if (!existsSync13(reportPath)) {
+      writeFileSync9(reportPath, `# Mission: ${mission}
 
 Archived before closure — no wave artifacts were present.
 `);
@@ -1529,38 +2801,44 @@ Archived before closure — no wave artifacts were present.
         baseSha: typeof state.base_sha === "string" ? state.base_sha : "unknown"
       });
       if (rb)
-        kept.push(join11("missions", mission, rb.file));
+        kept.push(join18("missions", mission, rb.file));
       try {
+        const st = tasksFromState(state);
+        const pt = countPlanTasks(dir);
+        const tasks_done = pt.total > 0 ? pt.done : st.done;
+        const tasks_total = pt.total > 0 ? pt.total : st.total;
+        const baseShaForNote = typeof state.base_sha === "string" ? state.base_sha : undefined;
         writeProvenance(projectDir, dir, {
           mission,
           actor: typeof state.actor === "string" ? state.actor : "",
           lane: typeof state.lane === "string" ? state.lane : "",
           mode: typeof state.mode === "string" ? state.mode : "",
           branch: state.branch,
-          tasks_done: Number(state.tasks_done) || 0,
-          tasks_total: Number(state.tasks_total) || 0,
+          tasks_done,
+          tasks_total,
           evidence: Array.isArray(state.evidence) ? state.evidence : [],
-          models: stageModels
-        });
-        kept.push(join11("missions", mission, "provenance.md"));
+          models: stageModels,
+          base_sha: baseShaForNote
+        }, baseShaForNote);
+        kept.push(join18("missions", mission, "provenance.md"));
       } catch {}
     }
   } else {
     for (const f of fold)
-      removed.push(join11("missions", mission, f));
+      removed.push(join18("missions", mission, f));
   }
-  removed.push(join11("missions", mission, "<session state>"));
+  removed.push(join18("missions", mission, "<session state>"));
   if (files.includes("plan.md"))
-    kept.push(join11("missions", mission, "plan.md"));
+    kept.push(join18("missions", mission, "plan.md"));
   if (files.includes("handoff.md"))
-    kept.push(join11("missions", mission, "handoff.md"));
-  kept.push(join11("missions", mission, "report.md"));
+    kept.push(join18("missions", mission, "handoff.md"));
+  kept.push(join18("missions", mission, "report.md"));
   let index;
-  const indexFile = join11(root, "index.md");
+  const indexFile = join18(root, "index.md");
   const line = `- ${mission} — ${new Date().toISOString().slice(0, 10)}
 `;
   if (!dryRun) {
-    const existing = existsSync8(indexFile) ? readFileSync7(indexFile, "utf8") : "";
+    const existing = existsSync13(indexFile) ? readFileSync13(indexFile, "utf8") : "";
     if (!existing.split(/\r?\n/).some((l) => l.startsWith(`- ${mission} —`))) {
       const header = existing ? "" : `# Mission index
 
@@ -1574,28 +2852,28 @@ Archived before closure — no wave artifacts were present.
     }
     index = "index.md";
   }
-  return { report: join11("missions", mission, "report.md"), removed, kept, index };
+  return { report: join18("missions", mission, "report.md"), removed, kept, index };
 }
 
 // src/run.ts
-import { existsSync as existsSync9, readdirSync as readdirSync7 } from "node:fs";
+import { existsSync as existsSync14, readdirSync as readdirSync8 } from "node:fs";
 import { spawnSync } from "node:child_process";
-import { dirname as dirname5, join as join12, resolve } from "node:path";
+import { dirname as dirname5, join as join19, resolve } from "node:path";
 import { fileURLToPath as fileURLToPath4 } from "node:url";
 var here3 = dirname5(fileURLToPath4(import.meta.url));
-var SCRIPTS_DIR = join12(here3, "..", "scripts");
+var SCRIPTS_DIR = join19(here3, "..", "scripts");
 var RUNNABLE = ["savepoint.sh", "lane.sh"];
 function findBash() {
   const explicit = process.env.MUGIWARA_BASH?.trim();
   if (explicit)
-    return existsSync9(explicit) ? explicit : null;
+    return existsSync14(explicit) ? explicit : null;
   const candidates = process.platform === "win32" ? [
     "C:\\Program Files\\Git\\bin\\bash.exe",
     "C:\\Program Files (x86)\\Git\\bin\\bash.exe",
-    join12(process.env.LOCALAPPDATA ?? "", "Programs", "Git", "bin", "bash.exe")
+    join19(process.env.LOCALAPPDATA ?? "", "Programs", "Git", "bin", "bash.exe")
   ] : ["/bin/bash", "/usr/bin/bash", "/usr/local/bin/bash", "/opt/homebrew/bin/bash"];
   for (const p of candidates) {
-    if (p && existsSync9(p))
+    if (p && existsSync14(p))
       return p;
   }
   const probe = spawnSync(process.platform === "win32" ? "where" : "which", ["bash"], {
@@ -1612,9 +2890,9 @@ function runScript(name, args, projectDir) {
   if (!/^[a-z0-9-]+\.sh$/.test(name)) {
     throw new Error(`invalid script name "${name}" (expected one of: ${RUNNABLE.join(", ")})`);
   }
-  const script = join12(SCRIPTS_DIR, name);
-  if (!existsSync9(script)) {
-    const have = existsSync9(SCRIPTS_DIR) ? readdirSync7(SCRIPTS_DIR).filter((f) => f.endsWith(".sh")) : [];
+  const script = join19(SCRIPTS_DIR, name);
+  if (!existsSync14(script)) {
+    const have = existsSync14(SCRIPTS_DIR) ? readdirSync8(SCRIPTS_DIR).filter((f) => f.endsWith(".sh")) : [];
     throw new Error(`script not found: ${name}${have.length ? ` (available: ${have.join(", ")})` : ""}`);
   }
   const bash = findBash();
@@ -1631,9 +2909,30 @@ function runScript(name, args, projectDir) {
 }
 
 // src/continue.ts
-import { existsSync as existsSync10, readFileSync as readFileSync8, readdirSync as readdirSync8 } from "node:fs";
-import { execFileSync as execFileSync4 } from "node:child_process";
-import { join as join13 } from "node:path";
+import { existsSync as existsSync15, readFileSync as readFileSync14, readdirSync as readdirSync9 } from "node:fs";
+import { execFileSync as execFileSync5 } from "node:child_process";
+import { join as join20 } from "node:path";
+var CURRENT_SCHEMA_VERSION = 2;
+function hasLegacyLayout(projectDir) {
+  for (const legacy of [join20(projectDir, ".mugiwara", "state"), join20(projectDir, ".mugiwara", "continue")]) {
+    if (!existsSync15(legacy))
+      continue;
+    try {
+      const walk = (dir) => {
+        for (const e of readdirSync9(dir, { withFileTypes: true })) {
+          if (e.isFile() && e.name.endsWith(".json"))
+            return true;
+          if (e.isDirectory() && walk(join20(dir, e.name)))
+            return true;
+        }
+        return false;
+      };
+      if (walk(legacy))
+        return true;
+    } catch {}
+  }
+  return false;
+}
 var SAFE = /^[A-Za-z0-9._-]+$/;
 var isSafeKey = (s) => SAFE.test(s) && !/^\.+$/.test(s);
 var num = (v) => {
@@ -1650,7 +2949,7 @@ function gitActor(cwd) {
     return author;
   const git3 = (args) => {
     try {
-      return execFileSync4("git", args, { cwd, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
+      return execFileSync5("git", args, { cwd, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"] }).trim();
     } catch {
       return "";
     }
@@ -1662,14 +2961,14 @@ function gitActor(cwd) {
   return name || process.env.USER || process.env.USERNAME || "";
 }
 function scan(projectDir, kind, map) {
-  const base = join13(projectDir, ".mugiwara", "missions");
-  if (!existsSync10(base))
+  const base = join20(projectDir, ".mugiwara", "missions");
+  if (!existsSync15(base))
     return [];
   const out = [];
-  const missions = readdirSync8(base, { withFileTypes: true }).filter((e) => e.isDirectory() && isSafeKey(e.name)).map((e) => e.name).sort();
+  const missions = readdirSync9(base, { withFileTypes: true }).filter((e) => e.isDirectory() && isSafeKey(e.name)).map((e) => e.name).sort();
   for (const mission of missions) {
-    const dir = join13(base, mission);
-    for (const f of readdirSync8(dir).filter((n) => n.endsWith(".json")).sort()) {
+    const dir = join20(base, mission);
+    for (const f of readdirSync9(dir).filter((n) => n.endsWith(".json")).sort()) {
       const stem = f.slice(0, -".json".length);
       let member;
       if (kind === "state") {
@@ -1687,7 +2986,7 @@ function scan(projectDir, kind, map) {
       if (member !== null && !isSafeKey(member))
         continue;
       try {
-        const raw = JSON.parse(readFileSync8(join13(dir, f), "utf8"));
+        const raw = JSON.parse(readFileSync14(join20(dir, f), "utf8"));
         if (text(raw.mission) !== mission)
           continue;
         out.push(map(raw, member));
@@ -1715,6 +3014,7 @@ function readContinue(projectDir) {
 function readState(projectDir) {
   return scan(projectDir, "state", (r, member) => {
     const tasks = r.tasks ?? {};
+    const sv = r.schema_version;
     return {
       mission: text(r.mission),
       member,
@@ -1744,7 +3044,8 @@ function readState(projectDir) {
       budget: num(r.budget),
       budget_status: text(r.budget_status) || "ok",
       files_touched: num(r.files_touched),
-      evidence: Array.isArray(r.evidence) ? r.evidence.map(text).filter(Boolean) : []
+      evidence: Array.isArray(r.evidence) ? r.evidence.map(text).filter(Boolean) : [],
+      schema_version: typeof sv === "number" || typeof sv === "string" ? sv : null
     };
   });
 }
@@ -1802,57 +3103,31 @@ function formatResume(e) {
   return `Resumed: ${e.mission}${scope}, Flow ${e.flow}, ${e.tasks_done}/${e.tasks_total} tasks — next_action: ${e.next_action} — run: ${next}`;
 }
 
-// src/sign.ts
-import { execFileSync as execFileSync5 } from "node:child_process";
-import { existsSync as existsSync11 } from "node:fs";
-import { homedir as homedir3 } from "node:os";
-import { join as join14 } from "node:path";
-function signArgs(reportPath, secretKey) {
-  return ["-Sm", reportPath, "-s", secretKey];
-}
-function verifyArgs(reportPath, pubKey) {
-  return pubKey ? ["-Vm", reportPath, "-p", pubKey] : ["-Vm", reportPath];
-}
-function hasMinisign() {
-  try {
-    execFileSync5("minisign", ["-v"], { stdio: ["ignore", "pipe", "ignore"] });
-    return true;
-  } catch {
-    return false;
-  }
-}
-function defaultKey(flag) {
-  return join14(homedir3(), ".mugiwara", flag === "secret" ? "minisign.key" : "minisign.pub");
-}
-function signReport(projectDir, missionDir) {
-  const report = join14(missionDir, "report.md");
-  if (!existsSync11(report))
-    return { ok: false, message: "no report.md to sign — archive first" };
-  if (!hasMinisign()) {
-    return { ok: false, message: "minisign not installed — signing skipped (install minisign to enable attestation)" };
-  }
-  const secretKey = process.env.MUGIWARA_SIGN_KEY?.trim() || defaultKey("secret");
-  try {
-    execFileSync5("minisign", signArgs(report, secretKey), { cwd: projectDir, stdio: "pipe", input: process.env.MUGIWARA_SIGN_PASSWORD ?? "" });
-    return { ok: true, message: `signed ${report}.minisig (key: ${secretKey})` };
-  } catch (e) {
-    return { ok: false, message: `signing failed: ${e.message}` };
-  }
-}
-function verifyReport(projectDir, missionDir) {
-  const report = join14(missionDir, "report.md");
-  const sig = `${report}.minisig`;
-  if (!existsSync11(sig))
-    return { ok: false, message: "not signed (no .minisig beside report.md)" };
-  if (!hasMinisign())
-    return { ok: false, message: "minisign not installed — cannot verify" };
-  const pubKey = existsSync11(defaultKey("public")) ? defaultKey("public") : null;
-  try {
-    execFileSync5("minisign", verifyArgs(report, pubKey), { cwd: projectDir, stdio: "pipe" });
-    return { ok: true, message: "signature verifies against report.md" };
-  } catch {
-    return { ok: false, message: "SIGNATURE INVALID — report.md changed after signing" };
-  }
+// src/slop.ts
+function detectHealingSlop(input) {
+  const kind = "healing";
+  const max = input.max_cycles ?? 3;
+  const hasZeroHistory = input.history_fixes.some((n) => n === 0);
+  if (input.fixes_in_cycle === 0 && hasZeroHistory) {
+    return { slop: true, reason: `slop: healing — no fixes in cycle ${input.cycle} with previous zero-fix cycle`, kind };
+  }
+  if (input.cycle >= max && input.fixes_in_cycle === 0) {
+    return { slop: true, reason: `slop: healing — cycle ${input.cycle} ≥ max ${max} with no fixes`, kind };
+  }
+  return { slop: false, reason: "no slop — healing making progress", kind };
+}
+function computeLiveSlop(input) {
+  const rows = [];
+  const thr = input.repeated_read_threshold ?? 3;
+  const heal = detectHealingSlop({ cycle: input.heal_cycle, fixes_in_cycle: 0, history_fixes: [], max_cycles: input.max_heal_cycles ?? 3 });
+  if (heal.slop)
+    rows.push({ role: "Brook", kind: "healing", reason: heal.reason });
+  if (input.repeated_reads >= thr)
+    rows.push({ role: "all", kind: "context", reason: `repeated reads ${input.repeated_reads} ≥ ${thr}` });
+  const perRole = {};
+  for (const r of rows)
+    perRole[r.role] = (perRole[r.role] ?? 0) + 1;
+  return { interventions: rows.length, perRole, rows };
 }
 
 // src/cli.ts
@@ -1866,6 +3141,23 @@ async function run(argv) {
     console.log(`mugiwara ${VERSION}`);
     return;
   }
+  {
+    const bypass = new Set(["install", "update", "uninstall", "list"]);
+    if (!bypass.has(command)) {
+      const projectDirForHarness = resolve2(str(flags.project) ?? process.cwd());
+      enforceHarnessPolicy(projectDirForHarness);
+    }
+  }
+  const isDryRunInstall = (command === "install" || command === "update") && flag(flags.dryRun);
+  if (!isDryRunInstall) {
+    const projectDir = resolve2(str(flags.project) ?? process.cwd());
+    if (ensureConfig(projectDir)) {
+      console.log(`default .mugiwara/config written at ${join21(projectDir, ".mugiwara", "config")} (edit it to customise)`);
+    }
+  }
+  if (command === "continue" || command === "status") {
+    return command === "continue" ? continueCmd(flags, _) : statusCmd(flags);
+  }
   switch (command) {
     case "install":
       return install(flags);
@@ -1885,6 +3177,8 @@ async function run(argv) {
       return continueCmd(flags, _);
     case "status":
       return statusCmd(flags);
+    case "cost":
+      return costCmd(flags, _);
     case "run":
       return runCmd(flags, _);
     case "savepoint":
@@ -1895,6 +3189,8 @@ async function run(argv) {
       return handoffCmd(flags, _);
     case "sign":
       return signCmd(flags, _);
+    case "migrate":
+      return migrateCmd(flags);
     default:
       throw new Error(`Unknown command: ${command}`);
   }
@@ -1936,8 +3232,8 @@ function archive(flags, positionals) {
 function cleanCmd(flags) {
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
   const dryRun = flag(flags.dryRun);
-  const root = join15(projectDir, ".mugiwara", "missions");
-  if (!existsSync12(root)) {
+  const root = join21(projectDir, ".mugiwara", "missions");
+  if (!existsSync16(root)) {
     console.log("nothing to clean (.mugiwara/missions/ does not exist).");
     return;
   }
@@ -1947,8 +3243,8 @@ function cleanCmd(flags) {
     console.error(`invalid --before date: ${before}`);
     process.exit(1);
   }
-  let candidates = readdirSync9(root, { withFileTypes: true }).filter((e) => e.isDirectory() && /^[A-Za-z0-9._-]+$/.test(e.name) && !/^\.+$/.test(e.name)).map((e) => e.name);
-  const stateFiles = (m) => readdirSync9(join15(root, m)).filter((f) => {
+  let candidates = readdirSync10(root, { withFileTypes: true }).filter((e) => e.isDirectory() && /^[A-Za-z0-9._-]+$/.test(e.name) && !/^\.+$/.test(e.name)).map((e) => e.name);
+  const stateFiles = (m) => readdirSync10(join21(root, m)).filter((f) => {
     const stem = f.replace(/\.json$/, "");
     return f.endsWith(".json") && stem !== "continue" && !stem.startsWith("continue-");
   });
@@ -1958,7 +3254,7 @@ function cleanCmd(flags) {
       return false;
     for (const f of stateFiles(m)) {
       try {
-        const ts = Date.parse(JSON.parse(readFileSync9(join15(root, m, f), "utf8")).updated_at ?? "") || 0;
+        const ts = Date.parse(JSON.parse(readFileSync15(join21(root, m, f), "utf8")).updated_at ?? "") || 0;
         if (ts === 0 || ts >= beforeMs)
           return false;
       } catch {
@@ -1968,7 +3264,7 @@ function cleanCmd(flags) {
     return true;
   };
   if (!flag(flags.all)) {
-    candidates = candidates.filter((m) => existsSync12(join15(root, m, "report.md")) && !hasLiveState(m) || staleBefore(m));
+    candidates = candidates.filter((m) => existsSync16(join21(root, m, "report.md")) && !hasLiveState(m) || staleBefore(m));
   } else if (!flag(flags.force)) {
     const live = candidates.filter((m) => hasLiveState(m) && !staleBefore(m));
     if (live.length) {
@@ -2002,7 +3298,7 @@ async function resolveOptions(flags) {
         scope = await choose(rl, "Install scope?", ["global (user-wide)", "project (this repo)"]) === 0 ? "global" : "project";
     }
     const projectDir = resolve2(str(flags.project) ?? process.cwd());
-    if (scope === "project" && !existsSync12(projectDir))
+    if (scope === "project" && !existsSync16(projectDir))
       throw new Error(`Project dir not found: ${projectDir}`);
     let targetIds = str(flags.target)?.split(",").map((s) => s.trim()) ?? null;
     if (targetIds && targetIds.includes("all"))
@@ -2081,7 +3377,7 @@ async function uninstall(flags) {
   if (!manifest) {
     if (scope === "project") {
       const globalFile = manifestPath({ scope: "global", projectDir, home });
-      if (existsSync12(globalFile)) {
+      if (existsSync16(globalFile)) {
         console.log(`No project manifest found, but a global install exists. Try:
   mugiwara uninstall --global`);
         return;
@@ -2118,13 +3414,13 @@ async function uninstall(flags) {
         console.log(`   note: ${n}`);
     }
     rmSync3(file);
-    const mugiDir = join15(scope === "global" ? home : projectDir, ".mugiwara");
-    if (existsSync12(mugiDir) && readdirSync9(mugiDir).length === 0) {
+    const mugiDir = join21(scope === "global" ? home : projectDir, ".mugiwara");
+    if (existsSync16(mugiDir) && readdirSync10(mugiDir).length === 0) {
       rmSync3(mugiDir, { recursive: true, force: true });
     }
     if (manifest.targets.includes("opencode")) {
-      const opencodeCache = join15(home, ".cache", "opencode", "packages", "@ionivetech");
-      if (existsSync12(opencodeCache)) {
+      const opencodeCache = join21(home, ".cache", "opencode", "packages", "@ionivetech");
+      if (existsSync16(opencodeCache)) {
         rmSync3(opencodeCache, { recursive: true, force: true });
         console.log("   cleared opencode npm cache (stale plugin versions)");
       }
@@ -2132,9 +3428,25 @@ async function uninstall(flags) {
   }
   console.log(`OK removed ${removed.length} files`);
 }
+function legacyWarning(projectDir) {
+  if (hasLegacyLayout(projectDir)) {
+    console.error("⚠ legacy layout detected (v0.6 .mugiwara/state/ — run `mugiwara migrate` to move to missions/)");
+  }
+}
+function schemaWarnings(projectDir) {
+  const states = readState(projectDir);
+  for (const s of states) {
+    const v = s.schema_version;
+    if (v !== CURRENT_SCHEMA_VERSION) {
+      const wrote = v === null || v === undefined || v === "" ? "unknown" : String(v);
+      console.error(`⚠ state written by v${wrote} (mission ${s.mission}${s.member ? `/${s.member}` : ""}) — current expects v${CURRENT_SCHEMA_VERSION} — run \`mugiwara migrate\``);
+    }
+  }
+}
 function list(flags) {
   const home = homedir4();
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  legacyWarning(projectDir);
   let found = false;
   for (const [label, file] of [
     ["project", manifestPath({ scope: "project", projectDir, home })],
@@ -2145,7 +3457,7 @@ function list(flags) {
       continue;
     found = true;
     if (flag(flags.check)) {
-      const missing = m.files.filter((f) => !existsSync12(f));
+      const missing = m.files.filter((f) => !existsSync16(f));
       console.log(`${label}: v${m.version} targets=${m.targets.join(",")} files=${m.files.length} missing=${missing.length} installed=${m.installedAt}`);
     } else {
       console.log(`${label}: v${m.version} targets=${m.targets.join(",")} files=${m.files.length} installed=${m.installedAt}`);
@@ -2156,6 +3468,8 @@ function list(flags) {
 }
 function continueCmd(flags, positionals) {
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  legacyWarning(projectDir);
+  schemaWarnings(projectDir);
   const [mission, member] = positionals.slice(1);
   let entries = readContinue(projectDir);
   if (!flag(flags.all)) {
@@ -2196,6 +3510,8 @@ Pick one: mugiwara continue ${r.mission} <member>`);
 }
 function statusCmd(flags) {
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  legacyWarning(projectDir);
+  schemaWarnings(projectDir);
   const states = readState(projectDir);
   if (!states.length) {
     console.log("No mission state on disk.");
@@ -2215,6 +3531,58 @@ function statusCmd(flags) {
       console.log(`  evidence: ${s.evidence.join(", ")}`);
   }
 }
+function costCmd(flags, positionals) {
+  const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  const mission = str(flags.mission) ?? positionals[1] ?? (() => {
+    const states2 = readState(projectDir);
+    if (states2.length === 1)
+      return states2[0].mission;
+    if (states2.length > 1) {
+      console.error("multiple missions in flight — specify --mission <id>");
+      process.exit(1);
+    }
+    return null;
+  })();
+  if (!mission) {
+    console.error("usage: mugiwara cost [--mission <id>] [--json] [--ledger] [--project <dir>]");
+    process.exit(1);
+  }
+  const missionDir = join21(projectDir, ".mugiwara", "missions", mission);
+  if (!existsSync16(missionDir)) {
+    console.error(`No cost ledger found for mission "${mission}"`);
+    process.exit(1);
+  }
+  const states = readState(projectDir).filter((s) => s.mission === mission);
+  const envelope = states.length ? costEnvelope({ lane: states[0].lane, budget: states[0].budget, tokens_est: states[0].tokens_est }) : costEnvelope({ lane: "full", tokens_est: 0 });
+  const state0 = states[0];
+  let repeatedReads = 0;
+  try {
+    const reg = loadRegistry(missionDir);
+    repeatedReads = reg.reduce((s, e) => s + Math.max(e.reads - 1, 0), 0);
+  } catch {
+    repeatedReads = 0;
+  }
+  const liveSlop = computeLiveSlop({ heal_cycle: state0?.heal_cycle ?? 0, repeated_reads: repeatedReads });
+  const ledger = buildCostLedger({ missionDir, envelope, slopSummary: { interventions: liveSlop.interventions } });
+  if (flag(flags.json)) {
+    console.log(toCostJSON(ledger));
+    return;
+  }
+  console.log(`Cost envelope: ${ledger.envelope.status} ${ledger.envelope.pct}% (${ledger.envelope.used}/${ledger.envelope.planned})`);
+  console.log(`Avoided: ${ledger.avoided.stages_avoided} stages, ${ledger.avoided.contexts_avoided} contexts, ~${ledger.avoided.tokens_avoided_est} tokens`);
+  console.log(`Efficiency: reuse ${ledger.efficiency.reuse_rate}, dup ${ledger.efficiency.duplicate_avoidance_chars} chars, budget ${ledger.efficiency.budget_efficiency_pct}%`);
+  if (ledger.avoided.slop_interventions > 0) {
+    const roles = Object.entries(liveSlop.perRole).map(([r, n]) => `${r}:${n}`).join(", ");
+    console.log(`Slop: ${ledger.avoided.slop_interventions} intervention(s) — ${roles}`);
+  }
+  console.log(`Trail: ${ledger.trail.length} decisions`);
+  if (flag(flags.ledger) && ledger.trail.length) {
+    for (const t of ledger.trail.slice(0, 20))
+      console.log(`- ${t.ts} — ${t.actor}: ${t.decision} — reason: ${t.reason}${t.evidence ? ` — evidence: ${t.evidence}` : ""}`);
+    if (ledger.trail.length > 20)
+      console.log(`… ${ledger.trail.length - 20} more`);
+  }
+}
 function runCmd(flags, positionals) {
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
   const name = positionals[1];
@@ -2300,8 +3668,8 @@ function handoffCmd(flags, positionals) {
   }
   lines.push("", "## Resuming", "", `\`mugiwara continue ${mission}\` prints the exact resume point.`);
   lines.push("Verify `next_action` against plan.md before executing — the table above is computed state, not judgement.");
-  const out = join15(".mugiwara", "missions", mission, "handoff.md");
-  writeFileSync8(resolve2(projectDir, out), lines.join(`
+  const out = join21(".mugiwara", "missions", mission, "handoff.md");
+  writeFileSync10(resolve2(projectDir, out), lines.join(`
 `) + `
 `);
   console.log(lines.join(`
@@ -2309,15 +3677,126 @@ function handoffCmd(flags, positionals) {
   console.log(`
 written: ${out}`);
 }
+function migrateCmd(flags) {
+  const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  const dryRun = flag(flags.dryRun);
+  const legacyState = join21(projectDir, ".mugiwara", "state");
+  const legacyContinue = join21(projectDir, ".mugiwara", "continue");
+  const missionsRoot = join21(projectDir, ".mugiwara", "missions");
+  const moves = [];
+  const collect = (srcRoot, isContinue) => {
+    if (!existsSync16(srcRoot))
+      return;
+    const walk = (dir) => {
+      for (const e of readdirSync10(dir, { withFileTypes: true })) {
+        const full = join21(dir, e.name);
+        if (e.isDirectory())
+          walk(full);
+        else if (e.isFile() && e.name.endsWith(".json")) {
+          const rel = full.slice(srcRoot.length + 1);
+          let destRel;
+          if (isContinue) {
+            const parts = rel.split("/");
+            const file = parts.pop();
+            const mission = parts.join("/");
+            const stem = file.slice(0, -".json".length);
+            let destFile;
+            if (stem === "state")
+              destFile = "continue.json";
+            else
+              destFile = `continue-${stem}.json`;
+            destRel = mission ? join21(mission, destFile) : destFile;
+          } else {
+            destRel = rel;
+          }
+          moves.push({ src: full, dest: join21(missionsRoot, destRel) });
+        }
+      }
+    };
+    walk(srcRoot);
+  };
+  collect(legacyState, false);
+  collect(legacyContinue, true);
+  if (!moves.length) {
+    if (!existsSync16(legacyState) && !existsSync16(legacyContinue)) {
+      console.log("no legacy layout found (.mugiwara/state/ does not exist)");
+    } else {
+      console.log("no legacy state files to migrate");
+    }
+    return;
+  }
+  for (const m of moves) {
+    console.log(`${dryRun ? "would migrate" : "migrated"} ${m.src} → ${m.dest}`);
+    if (!dryRun) {
+      mkdirSync10(dirname6(m.dest), { recursive: true });
+      try {
+        const raw = JSON.parse(readFileSync15(m.src, "utf8"));
+        raw.schema_version = CURRENT_SCHEMA_VERSION;
+        writeFileSync10(m.dest, JSON.stringify(raw, null, 2) + `
+`);
+        rmSync3(m.src, { force: true });
+      } catch {
+        try {
+          renameSync2(m.src, m.dest);
+        } catch {}
+      }
+    }
+  }
+  if (!dryRun) {
+    const prune = (root) => {
+      if (!existsSync16(root))
+        return;
+      const walkPrune = (dir) => {
+        for (const e of readdirSync10(dir, { withFileTypes: true })) {
+          if (e.isDirectory())
+            walkPrune(join21(dir, e.name));
+        }
+        try {
+          if (readdirSync10(dir).length === 0)
+            rmSync3(dir, { recursive: true, force: true });
+        } catch {}
+      };
+      walkPrune(root);
+      try {
+        if (existsSync16(root) && readdirSync10(root).length === 0)
+          rmSync3(root, { recursive: true, force: true });
+      } catch {}
+    };
+    prune(legacyState);
+    prune(legacyContinue);
+  }
+  console.log(`${dryRun ? "would migrate" : "migrated"} ${moves.length} file(s)${dryRun ? " (dry run)" : ""}`);
+}
 function signCmd(flags, _) {
   const projectDir = resolve2(str(flags.project) ?? process.cwd());
+  if (flag(flags.genKey)) {
+    const backend = str(flags.backend) ?? "auto";
+    const home = homedir4();
+    if (backend === "minisign") {
+      if (!hasMinisign()) {
+        console.error("✗ minisign not installed — cannot generate keys with this backend");
+        process.exit(1);
+      }
+      try {
+        execFileSync6("minisign", ["-G"], { stdio: "inherit" });
+        console.log("✓ minisign key pair generated in ~/.mugiwara/");
+        return;
+      } catch {
+        console.error("✗ key generation failed");
+        process.exit(1);
+      }
+    }
+    const dir = ensurePureKey(home);
+    console.log(`✓ pure ed25519 key pair ready: ${join21(dir, "mugiwara.key")} / ${join21(dir, "mugiwara.pub")}`);
+    return;
+  }
   const mission = _[1];
   if (!mission) {
-    console.error("usage: mugiwara sign <mission> [--verify] [--project <dir>]");
+    console.error("usage: mugiwara sign <mission> [--verify] [--gen-key [--backend pure|minisign]] [--project <dir>]");
     process.exit(1);
   }
-  const missionDir = join15(projectDir, ".mugiwara", "missions", mission);
-  if (!existsSync12(missionDir)) {
+  const missionDir = join21(projectDir, ".mugiwara", "missions", mission);
+  if (!existsSync16(missionDir)) {
     console.error(`no mission dir: ${missionDir}`);
     process.exit(1);
   }
@@ -2343,15 +3822,21 @@ Usage:
   mugiwara continue <m> [member]
                          print the exact resume point for that mission/member
   mugiwara status        computed mission state: wave, tasks, lane, blockers, budget
+  mugiwara cost [--mission <id>] [--json] [--ledger]
+                         show cost ledger, avoided work, efficiency, trail (human + JSON)
   mugiwara blame <path>  provenance note on the last commit touching <path>
                          (fetch notes first: git fetch origin 'refs/notes/mugiwara:refs/notes/mugiwara')
   mugiwara handoff <m>   write .mugiwara/missions/<m>/handoff.md — a report the next
                          engineer can act on (computed state + staleness check)
-  mugiwara sign <m>      optional attestation: minisign-sign report.md (--verify to check)
+  mugiwara sign <m>      attestation: sign report.md (auto/minisign/pure/off; --verify to check)
+  mugiwara sign --gen-key [--backend pure|minisign]
+                         create signing keys (pure ed25519 default)
+  mugiwara migrate [--dry-run] [--project <dir>]
+                          move legacy .mugiwara/state/ layout to .mugiwara/missions/
   mugiwara run <script> [args...]
-                         run a bundled harness script here (${RUNNABLE.join(", ")})
+                          run a bundled harness script here (${RUNNABLE.join(", ")})
   mugiwara savepoint <mission> [member] [flow] [mode]
-                         shorthand for: mugiwara run savepoint.sh ...
+                          shorthand for: mugiwara run savepoint.sh ...
   mugiwara --help        this help
   mugiwara --version     print version
 
@@ -2376,6 +3861,7 @@ if (isMain) {
   });
 }
 export {
+  migrateCmd,
   run,
   stalenessLine
 };