loki-mode 11.6.0 → 11.7.1

package/packages/control-plane/dist/server.js

@@ -7674,6 +7674,74 @@ var init_mutation_proof = __esm(() => {
   DEP_DIRS = ["node_modules", ".venv", "venv"];
 });
 
+// ../../loki-ts/src/features/speed/unit_mode.ts
+import { closeSync as closeSync5, constants, fstatSync as fstatSync4, lstatSync as lstatSync5, openSync as openSync5, readSync as readSync4, realpathSync as realpathSync14 } from "fs";
+function readBounded(path) {
+  const l = lstatSync5(path);
+  if (l.isSymbolicLink() || !l.isFile() || l.size > MAX_SPEC_BYTES)
+    return null;
+  const fd = openSync5(path, constants.O_RDONLY | constants.O_NOFOLLOW | constants.O_NONBLOCK);
+  try {
+    const st = fstatSync4(fd);
+    if (!st.isFile() || st.size > MAX_SPEC_BYTES)
+      return null;
+    const buf = Buffer.alloc(st.size + 1);
+    let n2 = 0;
+    for (;; ) {
+      const r = readSync4(fd, buf, n2, buf.length - n2, null);
+      if (r <= 0)
+        break;
+      n2 += r;
+      if (n2 >= buf.length)
+        return null;
+    }
+    return buf.subarray(0, n2).toString("utf8");
+  } finally {
+    closeSync5(fd);
+  }
+}
+function parseText(txt) {
+  try {
+    const j = JSON.parse(txt), ws = strs(j.writeSet), pack = strs(j.pack), tb = j.tokenBudget;
+    if (typeof j.id !== "string" || !j.id || !ws || ws.length === 0 || !pack || typeof tb !== "number" || !Number.isFinite(tb) || !(tb > 0) || tb > MAX_TOKEN_BUDGET)
+      return null;
+    const acc = j.acceptance === undefined ? [] : strs(j.acceptance);
+    if (acc === null)
+      return null;
+    return { id: j.id, writeSet: ws, pack, tokenBudget: tb, ...acc.length ? { acceptance: acc.map((a) => a.slice(0, 500)).slice(0, 50) } : {} };
+  } catch {
+    return null;
+  }
+}
+function parseSpec(path) {
+  try {
+    const txt = readBounded(path);
+    return txt === null ? null : parseText(txt);
+  } catch {
+    return null;
+  }
+}
+function unitSpec(env = process.env) {
+  const path = env["LOKI_UNIT_SPEC"], frozen = env["LOKI_UNIT_SPEC_FROZEN"];
+  if (env["LOKI_SPEED"] === "0" || !path)
+    return null;
+  if (frozen !== undefined)
+    return frozen.length <= MAX_SPEC_BYTES ? parseText(frozen) : null;
+  if (!memo.has(path))
+    memo.set(path, parseSpec(path));
+  return memo.get(path) ?? null;
+}
+function unitFlags(staged, env = process.env, pre = {}) {
+  const s = unitSpec(env);
+  return s ? staged.filter(({ f }) => !inWriteSet(s, f) && !Object.hasOwn(pre, f)).map(({ f }) => f) : null;
+}
+var MAX_SPEC_BYTES, MAX_TOKEN_BUDGET = 1e9, norm2 = (p) => p.replace(/^\.\//, ""), CTRL, strs = (v) => Array.isArray(v) && v.every((x) => typeof x === "string" && !CTRL.test(x)) ? v.map(norm2) : null, memo, inWriteSet = (spec, f) => spec.writeSet.some((w) => w.endsWith("/") ? f.startsWith(w) : f === w);
+var init_unit_mode = __esm(() => {
+  MAX_SPEC_BYTES = 1024 * 1024;
+  CTRL = /[\x00-\x1f\x7f]/;
+  memo = new Map;
+});
+
 // ../../loki-ts/src/features/lean_prefix.ts
 var LEAN_PREFIX, STAGE_PREFIX, withStagePrefix = (brief) => process.env["LOKI_SPEED"] !== "0" ? `${STAGE_PREFIX}
 
@@ -7683,10 +7751,216 @@ var init_lean_prefix = __esm(() => {
   STAGE_PREFIX = "You are Loki, an autonomous coding agent working one stage of a run. " + "Follow the stage prompt exactly, including the role it gives you and the rules it sets, " + "and report only what you did. " + "Stage-specific instructions and the task follow this block.";
 });
 
-// ../../loki-ts/src/features/wall_manifest.ts
+// ../../loki-ts/src/util/shell.ts
+async function readStreamCapped(stream, maxBytes = MAX_STDOUT_BYTES) {
+  const reader = stream.getReader();
+  const decoder = new TextDecoder;
+  let out2 = "";
+  let total = 0;
+  try {
+    while (total < maxBytes) {
+      const { done, value } = await reader.read();
+      if (done)
+        break;
+      if (!value)
+        continue;
+      total += value.byteLength;
+      if (total > maxBytes) {
+        const keep = value.byteLength - (total - maxBytes);
+        out2 += decoder.decode(value.subarray(0, keep), { stream: true });
+        break;
+      }
+      out2 += decoder.decode(value, { stream: true });
+    }
+    out2 += decoder.decode();
+  } finally {
+    try {
+      await reader.cancel();
+    } catch {}
+    reader.releaseLock();
+  }
+  return out2;
+}
+async function run(argv, opts = {}) {
+  const proc = Bun.spawn({
+    cmd: [...argv],
+    stdout: "pipe",
+    stderr: "pipe",
+    env: opts.env ? { ...process.env, ...opts.env } : process.env,
+    cwd: opts.cwd
+  });
+  let timer;
+  let killTimer;
+  if (opts.timeoutMs && opts.timeoutMs > 0) {
+    timer = setTimeout(() => {
+      try {
+        proc.kill("SIGTERM");
+      } catch {}
+      killTimer = setTimeout(() => {
+        try {
+          proc.kill("SIGKILL");
+        } catch {}
+      }, 2000);
+    }, opts.timeoutMs);
+  }
+  try {
+    const [stdout, stderr, exitCode] = await Promise.all([
+      readStreamCapped(proc.stdout),
+      new Response(proc.stderr).text(),
+      proc.exited
+    ]);
+    return { stdout, stderr, exitCode };
+  } finally {
+    if (timer)
+      clearTimeout(timer);
+    if (killTimer)
+      clearTimeout(killTimer);
+  }
+}
+var MAX_STDOUT_BYTES;
+var init_shell = __esm(() => {
+  MAX_STDOUT_BYTES = 16 * 1024 * 1024;
+});
+
+// ../../loki-ts/src/util/python.ts
+import { accessSync, constants as constants2, existsSync as existsSync16, statSync as statSync12 } from "fs";
 import { spawnSync as spawnSync2 } from "child_process";
-import { accessSync, constants, statSync as statSync12 } from "fs";
 import { tmpdir as tmpdir5 } from "os";
+function resolvePython3() {
+  for (const dir of (process.env.PATH ?? "").split(":")) {
+    if (!dir || !dir.startsWith("/"))
+      continue;
+    const cand = `${dir}/python3`;
+    try {
+      accessSync(cand, constants2.X_OK);
+      if (statSync12(cand).isFile())
+        return cand;
+    } catch {}
+  }
+  return null;
+}
+function pySignatures(src) {
+  try {
+    const py = resolvePython3();
+    if (!py)
+      return [];
+    const r = spawnSync2(py, ["-I", "-S", "-c", PY_SCRIPT], {
+      input: src.replace(/\r\n?/g, `
+`),
+      cwd: tmpdir5(),
+      timeout: PY_TIMEOUT_MS,
+      encoding: "utf8",
+      env: { PATH: process.env.PATH ?? "/usr/bin:/bin" },
+      maxBuffer: 8 * 1024 * 1024,
+      stdio: ["pipe", "pipe", "ignore"]
+    });
+    if (r.error || r.status !== 0)
+      return [];
+    const parsed = JSON.parse(r.stdout);
+    return Array.isArray(parsed) && parsed.every((l) => typeof l === "string") ? parsed : [];
+  } catch {
+    return [];
+  }
+}
+var PY_TIMEOUT_MS = 5000, PY_SCRIPT = `
+import ast, sys, json, re
+def u(n): return ast.unparse(n)
+def chain(n):
+    if isinstance(n, ast.Name): return n.id
+    if isinstance(n, ast.Attribute):
+        c = chain(n.value)
+        return None if c is None else c + "." + n.attr
+    return None
+def deco(d):
+    if isinstance(d, ast.Call):
+        c = chain(d.func)
+        return "@" + c + "(...)" if c else "@..."
+    c = chain(d)
+    return "@" + c if c else "@..."
+def lit(n):
+    if isinstance(n, ast.Constant): return u(n)
+    if isinstance(n, ast.UnaryOp) and isinstance(n.op, ast.USub) and isinstance(n.operand, ast.Constant): return u(n)
+    if isinstance(n, ast.Tuple):
+        p = [lit(e) for e in n.elts]
+        return None if None in p else ", ".join(p)
+    return chain(n)
+def ann(n):
+    if isinstance(n, (ast.Name, ast.Attribute)): return chain(n)
+    if isinstance(n, ast.Constant): return u(n) if (n.value is None or n.value is Ellipsis) else None
+    if isinstance(n, ast.BinOp) and isinstance(n.op, ast.BitOr):
+        l, r = ann(n.left), ann(n.right)
+        return None if l is None or r is None else l + " | " + r
+    if isinstance(n, ast.List):
+        p = [ann(e) for e in n.elts]
+        return None if None in p else "[" + ", ".join(p) + "]"
+    if isinstance(n, ast.Tuple):
+        p = [ann(e) for e in n.elts]
+        return None if None in p else ", ".join(p)
+    if isinstance(n, ast.Subscript):
+        v = chain(n.value)
+        if v is None: return None
+        last = v.split(".")[-1]
+        if last == "Literal":
+            s = lit(n.slice)
+            return None if s is None else v + "[" + s + "]"
+        if last == "Annotated" and isinstance(n.slice, ast.Tuple) and n.slice.elts:
+            first = ann(n.slice.elts[0])
+            return None if first is None else v + "[" + first + ", ...]"
+        s = ann(n.slice)
+        return None if s is None else v + "[" + s + "]"
+    return None
+def a_or_dots(n):
+    r = ann(n)
+    return "..." if r is None else r
+def clean(n):
+    r = ann(n)
+    return "..." if r is None else r
+def arg(a, has_default):
+    t = a.arg
+    if a.annotation is not None: t += ": " + a_or_dots(a.annotation)
+    if has_default: t += " = ..." if a.annotation is not None else "=..."
+    return t
+def args(a):
+    pos = list(a.posonlyargs) + list(a.args)
+    first_default = len(pos) - len(a.defaults)
+    out = []
+    for i, x in enumerate(pos):
+        out.append(arg(x, i >= first_default))
+        if a.posonlyargs and i == len(a.posonlyargs) - 1: out.append("/")
+    if a.vararg is not None: out.append("*" + arg(a.vararg, False))
+    elif a.kwonlyargs: out.append("*")
+    for x, d in zip(a.kwonlyargs, a.kw_defaults): out.append(arg(x, d is not None))
+    if a.kwarg is not None: out.append("**" + arg(a.kwarg, False))
+    return ", ".join(out)
+def fn(n, ind):
+    r = [ind + deco(d) for d in n.decorator_list]
+    h = ind + ("async def " if isinstance(n, ast.AsyncFunctionDef) else "def ") + n.name + "(" + args(n.args) + ")"
+    if n.returns is not None: h += " -> " + a_or_dots(n.returns)
+    return r + [h + ":"]
+def cls(n):
+    r = [deco(d) for d in n.decorator_list]
+    parts = [clean(b) for b in n.bases] + [(k.arg + "=" + clean(k.value)) if k.arg else "**..." for k in n.keywords]
+    return r + ["class " + n.name + ("(" + ", ".join(parts) + ")" if parts else "") + ":"]
+tree = ast.parse(sys.stdin.read())
+out = []
+for n in tree.body:
+    if isinstance(n, (ast.FunctionDef, ast.AsyncFunctionDef)) and not n.name.startswith("_"):
+        out += fn(n, "")
+    elif isinstance(n, ast.ClassDef) and not n.name.startswith("_"):
+        out += cls(n)
+        for m in n.body:
+            if isinstance(m, (ast.FunctionDef, ast.AsyncFunctionDef)) and (not m.name.startswith("_") or re.fullmatch(r"__\\w+__", m.name)):
+                out += fn(m, "    ")
+    else:
+        t = n.targets[0] if isinstance(n, ast.Assign) and len(n.targets) == 1 else (n.target if isinstance(n, ast.AnnAssign) else None)
+        if isinstance(t, ast.Name) and re.fullmatch(r"[A-Z][A-Z0-9_]*", t.id): out.append(t.id + " = ...")
+print(json.dumps(out))
+`;
+var init_python = __esm(() => {
+  init_shell();
+});
+
+// ../../loki-ts/src/features/wall_manifest.ts
 function templateEnd(s, i) {
   for (let j = i + 1;j < s.length; ) {
     const c = s[j];
@@ -8412,41 +8686,6 @@ function tsSignatures(src, jsx) {
   }
   return out2;
 }
-function resolvePython3() {
-  for (const dir of (process.env.PATH ?? "").split(":")) {
-    if (!dir || !dir.startsWith("/"))
-      continue;
-    const cand = `${dir}/python3`;
-    try {
-      accessSync(cand, constants.X_OK);
-      if (statSync12(cand).isFile())
-        return cand;
-    } catch {}
-  }
-  return null;
-}
-function pySignatures(src) {
-  try {
-    const py = resolvePython3();
-    if (!py)
-      return [];
-    const r = spawnSync2(py, ["-I", "-S", "-c", PY_SCRIPT], {
-      input: norm2(src),
-      cwd: tmpdir5(),
-      timeout: PY_TIMEOUT_MS,
-      encoding: "utf8",
-      env: { PATH: process.env.PATH ?? "/usr/bin:/bin" },
-      maxBuffer: 8 * 1024 * 1024,
-      stdio: ["pipe", "pipe", "ignore"]
-    });
-    if (r.error || r.status !== 0)
-      return [];
-    const parsed = JSON.parse(r.stdout);
-    return Array.isArray(parsed) && parsed.every((l) => typeof l === "string") ? parsed : [];
-  } catch {
-    return [];
-  }
-}
 function packageRunner(content) {
   try {
     const pkg = JSON.parse(content);
@@ -8459,7 +8698,7 @@ function packageRunner(content) {
   }
 }
 function pytestSection(content, header) {
-  const lines = norm2(content).split(`
+  const lines = norm3(content).split(`
 `);
   const at = lines.findIndex((l) => header.test(l));
   if (at < 0)
@@ -8476,10 +8715,10 @@ function runnerSection(files) {
   if (js)
     out2.push(`runner: ${js}`, "config: package.json (scripts.test only)");
   for (const f of get(/^(bunfig\.toml|(vitest|jest)\.config\.[cm]?[jt]s)$/))
-    out2.push(`config: ${f.path}`, ...norm2(f.content).split(`
+    out2.push(`config: ${f.path}`, ...norm3(f.content).split(`
 `).slice(0, 20));
   const py = [
-    ...get(/^pytest\.ini$/).map((f) => ({ f, lines: norm2(f.content).split(`
+    ...get(/^pytest\.ini$/).map((f) => ({ f, lines: norm3(f.content).split(`
 `).filter((l) => l.trim()) })),
     ...get(/^pyproject\.toml$/).map((f) => ({ f, lines: pytestSection(f.content, /^\[tool\.pytest/) })),
     ...get(/^(setup\.cfg|tox\.ini)$/).map((f) => ({ f, lines: pytestSection(f.content, /^\[(tool:)?pytest\]/) }))
@@ -8553,185 +8792,93 @@ function importsNamed(path, raw2, stems, importStems = stems, hits = () => false
   if (specs.some((s) => s.trim().startsWith(".") && hits(resolveRel(dir, s.trim()))))
     return true;
   for (const py of views)
-    for (const m of py.matchAll(/(?:^|:)[ \t\f]*from[ \t\f]+(\.+)([\w.]*?)[ \t\f]*\bimport\b[ \t\f]*(?:\(([^)]*)\)|([^\n]*))/gm)) {
-      let base = dir;
-      for (let i = 1;i < m[1].length; i++)
-        base = dirOf(base);
-      const r = resolveRel(base, (m[2] ?? "").replace(/\./g, "/"));
-      if (hits(r) || names(m[3] ?? m[4] ?? "").some((n2) => hits(resolveRel(r, n2))))
-        return true;
-    }
-  const lastSeg = (s) => normStem((s.trim().split(/[\\/]/).pop() ?? "").replace(/\.([cm]?[jt]sx?|py)$/i, "").replace(/^[#@~]+/, ""));
-  return specs.some((s) => importStems.has(lastSeg(s)) || s.trim().replace(/\.(ts|js|py)$/, "").split(/[./\\]/).some((seg) => importStems.has(normStem(seg))));
-}
-function safeTs(content, path) {
-  const jsx = /\.[jt]sx$/.test(path);
-  try {
-    return tsAmbiguous(norm2(content), jsx) ? [] : tsSignatures(content, jsx);
-  } catch {
-    return [];
-  }
-}
-function buildWallManifest(files, taskModules, alsoNamed = []) {
-  const all = [...files].sort(byPath).map((f) => ({ path: f.path.replace(/^\.\//, ""), content: norm2(f.content) }));
-  const mods = [...new Set(taskModules.map((m) => m.replace(/^\.\//, "")))].sort();
-  const excl = [...new Set([...mods, ...alsoNamed.map((m) => m.replace(/^\.\//, ""))])];
-  const stems = new Set(excl.flatMap(stemsOfTarget));
-  const tests = all.filter((f) => TEST_PATH.test(f.path));
-  const out2 = ["# wall manifest (D77): signatures only, from the base tree", "", "## runner", ...runnerSection(all)];
-  out2.push("", "## test layout", ...tests.slice(0, MAX_LAYOUT).map((f) => f.path));
-  if (tests.length > MAX_LAYOUT)
-    out2.push(`... ${tests.length - MAX_LAYOUT} more test files`);
-  for (const path of mods) {
-    const f = all.find((x) => x.path === path);
-    if (!f)
-      continue;
-    out2.push("", `## signatures: ${path}`, ...path.endsWith(".py") ? pySignatures(f.content) : safeTs(f.content, path));
-  }
-  out2.push("", "## style examples");
-  const named = new Set(excl.flatMap((m) => [baseOf(m).toLowerCase(), ...stemsOfTarget(m)]));
-  const importStems = new Set(excl.flatMap((m) => {
-    const s = stemsOfTarget(m);
-    return s.length > 1 ? s.slice(1) : s;
-  }));
-  const info = excl.map((m) => ({ noext: m.replace(/\.[^./]*$/, "").toLowerCase(), dir: dirOf(m).toLowerCase(), mod: !!dirOf(m) && ["index", "__init__", "mod", "main"].includes(stemOf(m).toLowerCase()), src: !TEST_FILE.test(m) }));
-  const hits = (r) => {
-    const low = r.toLowerCase().replace(/\.(?:[cm]?[jt]sx?|py)$/, "");
-    return [low, low.replace(/\/(?:index|__init__|mod|main)$/, "")].some((v) => info.some((t) => v === t.noext || t.mod && v === t.dir || v === "" || t.noext.startsWith(`${v}/`)));
-  };
-  const inTargetArea = (p) => {
-    const d = dirOf(p).toLowerCase();
-    return info.some((t) => t.src && (d === t.dir || t.mod && d.startsWith(`${t.dir}/`)));
-  };
-  const backstop = [...stems].filter((s) => !GENERIC_STEMS.includes(s));
-  const eligible = (t) => TEST_FILE.test(t.path) && EXAMPLE_EXT.test(t.path) && !named.has(baseOf(t.path).toLowerCase()) && !named.has(normStem(stemOf(t.path))) && !inTargetArea(t.path) && !importsNamed(t.path, t.content, stems, importStems, hits) && !mentionsStem(t.content, backstop);
-  for (const f of tests.filter(eligible).slice(0, MAX_EXAMPLES)) {
-    out2.push(`--- example: ${f.path}`, ...f.content.split(`
-`).slice(0, EXAMPLE_LINES));
-  }
-  const lines = out2.join(`
-`).split(`
-`);
-  if (lines.length <= MANIFEST_MAX_LINES)
-    return lines.join(`
-`);
-  const keep = MANIFEST_MAX_LINES - 1;
-  return [...lines.slice(0, keep), `... truncated: ${lines.length - keep} lines omitted`].join(`
-`);
-}
-var MANIFEST_MAX_LINES = 400, MAX_EXAMPLES = 2, EXAMPLE_LINES = 40, MAX_LAYOUT = 60, TEST_PATH, TEST_FILE, EXAMPLE_EXT, baseOf = (p) => p.split("/").pop() ?? p, normStem = (s) => s.toLowerCase().replace(/[._-]+/g, ".").replace(/^\.|\.$/g, ""), GENERIC_STEMS, mentionsStem = (content, stems) => {
-  const c = content.toLowerCase().replace(/[._-]+/g, ".");
-  return stems.some((s) => new RegExp(`(?<![a-z0-9])${s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}(?![a-z0-9])`).test(c));
-}, dirOf = (p) => p.includes("/") ? p.slice(0, p.lastIndexOf("/")) : "", resolveRel = (dir, spec) => {
-  const out2 = dir ? dir.split("/") : [];
-  for (const seg of spec.split("/")) {
-    if (seg === "" || seg === ".")
-      continue;
-    if (seg === "..")
-      out2.pop();
-    else
-      out2.push(seg);
-  }
-  return out2.join("/");
-}, stemsOfTarget = (m) => {
-  const raw2 = stemOf(m).toLowerCase(), parent = m.split("/").slice(-2, -1)[0];
-  return [normStem(raw2), ...["index", "__init__", "mod", "main"].includes(raw2) && parent ? [normStem(parent)] : []];
-}, norm2 = (s) => s.replace(/\r\n?/g, `
-`), stemOf = (p) => (p.split("/").pop() ?? p).replace(/\.[^.]*$/, ""), byPath = (a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : a.content < b.content ? -1 : a.content > b.content ? 1 : 0, REGEX_PREV = "(,=:[!&|?{;+-*%~^", isComment = (s, i) => s[i] === "/" && (s[i + 1] === "/" || s[i + 1] === "*"), MODS = "(?:(?:public|private|protected|static|readonly|abstract|async|get|set|declare|override)\\s+)*", MEMBER_GRAMMAR, NOT_MEMBER, RESERVED_AFTER_DECORATOR, PY_TIMEOUT_MS = 5000, PY_SCRIPT = `
-import ast, sys, json, re
-def u(n): return ast.unparse(n)
-def chain(n):
-    if isinstance(n, ast.Name): return n.id
-    if isinstance(n, ast.Attribute):
-        c = chain(n.value)
-        return None if c is None else c + "." + n.attr
-    return None
-def deco(d):
-    if isinstance(d, ast.Call):
-        c = chain(d.func)
-        return "@" + c + "(...)" if c else "@..."
-    c = chain(d)
-    return "@" + c if c else "@..."
-def lit(n):
-    if isinstance(n, ast.Constant): return u(n)
-    if isinstance(n, ast.UnaryOp) and isinstance(n.op, ast.USub) and isinstance(n.operand, ast.Constant): return u(n)
-    if isinstance(n, ast.Tuple):
-        p = [lit(e) for e in n.elts]
-        return None if None in p else ", ".join(p)
-    return chain(n)
-def ann(n):
-    if isinstance(n, (ast.Name, ast.Attribute)): return chain(n)
-    if isinstance(n, ast.Constant): return u(n) if (n.value is None or n.value is Ellipsis) else None
-    if isinstance(n, ast.BinOp) and isinstance(n.op, ast.BitOr):
-        l, r = ann(n.left), ann(n.right)
-        return None if l is None or r is None else l + " | " + r
-    if isinstance(n, ast.List):
-        p = [ann(e) for e in n.elts]
-        return None if None in p else "[" + ", ".join(p) + "]"
-    if isinstance(n, ast.Tuple):
-        p = [ann(e) for e in n.elts]
-        return None if None in p else ", ".join(p)
-    if isinstance(n, ast.Subscript):
-        v = chain(n.value)
-        if v is None: return None
-        last = v.split(".")[-1]
-        if last == "Literal":
-            s = lit(n.slice)
-            return None if s is None else v + "[" + s + "]"
-        if last == "Annotated" and isinstance(n.slice, ast.Tuple) and n.slice.elts:
-            first = ann(n.slice.elts[0])
-            return None if first is None else v + "[" + first + ", ...]"
-        s = ann(n.slice)
-        return None if s is None else v + "[" + s + "]"
-    return None
-def a_or_dots(n):
-    r = ann(n)
-    return "..." if r is None else r
-def clean(n):
-    r = ann(n)
-    return "..." if r is None else r
-def arg(a, has_default):
-    t = a.arg
-    if a.annotation is not None: t += ": " + a_or_dots(a.annotation)
-    if has_default: t += " = ..." if a.annotation is not None else "=..."
-    return t
-def args(a):
-    pos = list(a.posonlyargs) + list(a.args)
-    first_default = len(pos) - len(a.defaults)
-    out = []
-    for i, x in enumerate(pos):
-        out.append(arg(x, i >= first_default))
-        if a.posonlyargs and i == len(a.posonlyargs) - 1: out.append("/")
-    if a.vararg is not None: out.append("*" + arg(a.vararg, False))
-    elif a.kwonlyargs: out.append("*")
-    for x, d in zip(a.kwonlyargs, a.kw_defaults): out.append(arg(x, d is not None))
-    if a.kwarg is not None: out.append("**" + arg(a.kwarg, False))
-    return ", ".join(out)
-def fn(n, ind):
-    r = [ind + deco(d) for d in n.decorator_list]
-    h = ind + ("async def " if isinstance(n, ast.AsyncFunctionDef) else "def ") + n.name + "(" + args(n.args) + ")"
-    if n.returns is not None: h += " -> " + a_or_dots(n.returns)
-    return r + [h + ":"]
-def cls(n):
-    r = [deco(d) for d in n.decorator_list]
-    parts = [clean(b) for b in n.bases] + [(k.arg + "=" + clean(k.value)) if k.arg else "**..." for k in n.keywords]
-    return r + ["class " + n.name + ("(" + ", ".join(parts) + ")" if parts else "") + ":"]
-tree = ast.parse(sys.stdin.read())
-out = []
-for n in tree.body:
-    if isinstance(n, (ast.FunctionDef, ast.AsyncFunctionDef)) and not n.name.startswith("_"):
-        out += fn(n, "")
-    elif isinstance(n, ast.ClassDef) and not n.name.startswith("_"):
-        out += cls(n)
-        for m in n.body:
-            if isinstance(m, (ast.FunctionDef, ast.AsyncFunctionDef)) and (not m.name.startswith("_") or re.fullmatch(r"__\\w+__", m.name)):
-                out += fn(m, "    ")
-    else:
-        t = n.targets[0] if isinstance(n, ast.Assign) and len(n.targets) == 1 else (n.target if isinstance(n, ast.AnnAssign) else None)
-        if isinstance(t, ast.Name) and re.fullmatch(r"[A-Z][A-Z0-9_]*", t.id): out.append(t.id + " = ...")
-print(json.dumps(out))
-`;
+    for (const m of py.matchAll(/(?:^|:)[ \t\f]*from[ \t\f]+(\.+)([\w.]*?)[ \t\f]*\bimport\b[ \t\f]*(?:\(([^)]*)\)|([^\n]*))/gm)) {
+      let base = dir;
+      for (let i = 1;i < m[1].length; i++)
+        base = dirOf(base);
+      const r = resolveRel(base, (m[2] ?? "").replace(/\./g, "/"));
+      if (hits(r) || names(m[3] ?? m[4] ?? "").some((n2) => hits(resolveRel(r, n2))))
+        return true;
+    }
+  const lastSeg = (s) => normStem((s.trim().split(/[\\/]/).pop() ?? "").replace(/\.([cm]?[jt]sx?|py)$/i, "").replace(/^[#@~]+/, ""));
+  return specs.some((s) => importStems.has(lastSeg(s)) || s.trim().replace(/\.(ts|js|py)$/, "").split(/[./\\]/).some((seg) => importStems.has(normStem(seg))));
+}
+function safeTs(content, path) {
+  const jsx = /\.[jt]sx$/.test(path);
+  try {
+    return tsAmbiguous(norm3(content), jsx) ? [] : tsSignatures(content, jsx);
+  } catch {
+    return [];
+  }
+}
+function buildWallManifest(files, taskModules, alsoNamed = []) {
+  const all = [...files].sort(byPath).map((f) => ({ path: f.path.replace(/^\.\//, ""), content: norm3(f.content) }));
+  const mods = [...new Set(taskModules.map((m) => m.replace(/^\.\//, "")))].sort();
+  const excl = [...new Set([...mods, ...alsoNamed.map((m) => m.replace(/^\.\//, ""))])];
+  const stems = new Set(excl.flatMap(stemsOfTarget));
+  const tests = all.filter((f) => TEST_PATH.test(f.path));
+  const out2 = ["# wall manifest (D77): signatures only, from the base tree", "", "## runner", ...runnerSection(all)];
+  out2.push("", "## test layout", ...tests.slice(0, MAX_LAYOUT).map((f) => f.path));
+  if (tests.length > MAX_LAYOUT)
+    out2.push(`... ${tests.length - MAX_LAYOUT} more test files`);
+  for (const path of mods) {
+    const f = all.find((x) => x.path === path);
+    if (!f)
+      continue;
+    out2.push("", `## signatures: ${path}`, ...path.endsWith(".py") ? pySignatures(f.content) : safeTs(f.content, path));
+  }
+  out2.push("", "## style examples");
+  const named = new Set(excl.flatMap((m) => [baseOf(m).toLowerCase(), ...stemsOfTarget(m)]));
+  const importStems = new Set(excl.flatMap((m) => {
+    const s = stemsOfTarget(m);
+    return s.length > 1 ? s.slice(1) : s;
+  }));
+  const info = excl.map((m) => ({ noext: m.replace(/\.[^./]*$/, "").toLowerCase(), dir: dirOf(m).toLowerCase(), mod: !!dirOf(m) && ["index", "__init__", "mod", "main"].includes(stemOf(m).toLowerCase()), src: !TEST_FILE.test(m) }));
+  const hits = (r) => {
+    const low = r.toLowerCase().replace(/\.(?:[cm]?[jt]sx?|py)$/, "");
+    return [low, low.replace(/\/(?:index|__init__|mod|main)$/, "")].some((v) => info.some((t) => v === t.noext || t.mod && v === t.dir || v === "" || t.noext.startsWith(`${v}/`)));
+  };
+  const inTargetArea = (p) => {
+    const d = dirOf(p).toLowerCase();
+    return info.some((t) => t.src && (d === t.dir || t.mod && d.startsWith(`${t.dir}/`)));
+  };
+  const backstop = [...stems].filter((s) => !GENERIC_STEMS.includes(s));
+  const eligible = (t) => TEST_FILE.test(t.path) && EXAMPLE_EXT.test(t.path) && !named.has(baseOf(t.path).toLowerCase()) && !named.has(normStem(stemOf(t.path))) && !inTargetArea(t.path) && !importsNamed(t.path, t.content, stems, importStems, hits) && !mentionsStem(t.content, backstop);
+  for (const f of tests.filter(eligible).slice(0, MAX_EXAMPLES)) {
+    out2.push(`--- example: ${f.path}`, ...f.content.split(`
+`).slice(0, EXAMPLE_LINES));
+  }
+  const lines = out2.join(`
+`).split(`
+`);
+  if (lines.length <= MANIFEST_MAX_LINES)
+    return lines.join(`
+`);
+  const keep = MANIFEST_MAX_LINES - 1;
+  return [...lines.slice(0, keep), `... truncated: ${lines.length - keep} lines omitted`].join(`
+`);
+}
+var MANIFEST_MAX_LINES = 400, MAX_EXAMPLES = 2, EXAMPLE_LINES = 40, MAX_LAYOUT = 60, TEST_PATH, TEST_FILE, EXAMPLE_EXT, baseOf = (p) => p.split("/").pop() ?? p, normStem = (s) => s.toLowerCase().replace(/[._-]+/g, ".").replace(/^\.|\.$/g, ""), GENERIC_STEMS, mentionsStem = (content, stems) => {
+  const c = content.toLowerCase().replace(/[._-]+/g, ".");
+  return stems.some((s) => new RegExp(`(?<![a-z0-9])${s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}(?![a-z0-9])`).test(c));
+}, dirOf = (p) => p.includes("/") ? p.slice(0, p.lastIndexOf("/")) : "", resolveRel = (dir, spec) => {
+  const out2 = dir ? dir.split("/") : [];
+  for (const seg of spec.split("/")) {
+    if (seg === "" || seg === ".")
+      continue;
+    if (seg === "..")
+      out2.pop();
+    else
+      out2.push(seg);
+  }
+  return out2.join("/");
+}, stemsOfTarget = (m) => {
+  const raw2 = stemOf(m).toLowerCase(), parent = m.split("/").slice(-2, -1)[0];
+  return [normStem(raw2), ...["index", "__init__", "mod", "main"].includes(raw2) && parent ? [normStem(parent)] : []];
+}, norm3 = (s) => s.replace(/\r\n?/g, `
+`), stemOf = (p) => (p.split("/").pop() ?? p).replace(/\.[^.]*$/, ""), byPath = (a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : a.content < b.content ? -1 : a.content > b.content ? 1 : 0, REGEX_PREV = "(,=:[!&|?{;+-*%~^", isComment = (s, i) => s[i] === "/" && (s[i + 1] === "/" || s[i + 1] === "*"), MODS = "(?:(?:public|private|protected|static|readonly|abstract|async|get|set|declare|override)\\s+)*", MEMBER_GRAMMAR, NOT_MEMBER, RESERVED_AFTER_DECORATOR;
 var init_wall_manifest = __esm(() => {
+  init_python();
   TEST_PATH = /(^|\/)(tests?|__tests__|spec)\/|\.(test|spec)\.[jt]sx?$|(^|\/)test_[^/]*\.py$|_test\.(py|go)$/;
   TEST_FILE = /\.(test|spec)\.[cm]?[jt]sx?$|(^|\/)test_[^/]*\.py$|_test\.py$/;
   EXAMPLE_EXT = /\.(py|[cm]?[jt]sx?)$/;
@@ -8835,7 +8982,7 @@ Example: test('name', () => { assert.strictEqual(fn(1), 2); });  Run: node --tes
 
 // ../../loki-ts/src/engine10/cache.ts
 import { createHash as createHash7 } from "crypto";
-import { existsSync as existsSync16, mkdirSync as mkdirSync6, readFileSync as readFileSync19, writeFileSync as writeFileSync9 } from "fs";
+import { existsSync as existsSync17, mkdirSync as mkdirSync6, readFileSync as readFileSync19, writeFileSync as writeFileSync9 } from "fs";
 import { resolve as resolve8 } from "path";
 function repoKey(originUrl, repoDir) {
   const basis = originUrl && originUrl.trim() !== "" ? originUrl : resolve8(repoDir);
@@ -8848,7 +8995,7 @@ function repoCacheDir(key, cacheRoot = defaultCacheRoot()) {
   return resolve8(cacheRoot, key);
 }
 function readJson3(path, isValid = (_v) => true) {
-  if (!existsSync16(path))
+  if (!existsSync17(path))
     return null;
   try {
     const parsed = JSON.parse(readFileSync19(path, "utf8"));
@@ -8966,7 +9113,7 @@ function routerMode(env = process.env) {
 var routerEnabled = (env = process.env) => routerMode(env) === "on";
 
 // ../../loki-ts/src/engine10/cost.ts
-import { mkdirSync as mkdirSync7, readdirSync as readdirSync9, readFileSync as readFileSync21, writeFileSync as writeFileSync10 } from "fs";
+import { readdirSync as readdirSync9, readFileSync as readFileSync21 } from "fs";
 import { join as join29 } from "path";
 function routerTelemetryOn(env = process.env) {
   return routerEnabled(env);
@@ -9110,17 +9257,19 @@ function sumResultCosts(lokiRoot, iterations, context = []) {
 var UNMETERED = "cli-invoker-unmetered";
 var init_cost = __esm(() => {
   init_hooks();
+  init_provider_cost();
+  init_provider_cost();
 });
 
 // ../../loki-ts/src/util/atomic.ts
 import {
-  closeSync as closeSync5,
-  fstatSync as fstatSync4,
+  closeSync as closeSync6,
+  fstatSync as fstatSync5,
   fsyncSync as fsyncSync2,
-  lstatSync as lstatSync5,
+  lstatSync as lstatSync6,
   mkdirSync as mkdirSync8,
-  openSync as openSync5,
-  readSync as readSync4,
+  openSync as openSync6,
+  readSync as readSync5,
   renameSync as renameSync4,
   rmSync as rmSync6,
   statSync as statSync13,
@@ -9132,12 +9281,12 @@ import { dirname as dirname9 } from "path";
 function durableWriteThenRename(target, body) {
   mkdirSync8(dirname9(target), { recursive: true });
   const tmp = tmpPathFor(target);
-  const fd = openSync5(tmp, "w");
+  const fd = openSync6(tmp, "w");
   try {
     writeSync3(fd, body);
     fsyncSync2(fd);
   } finally {
-    closeSync5(fd);
+    closeSync6(fd);
   }
   renameSync4(tmp, target);
   fsyncParentDir(target);
@@ -9145,12 +9294,12 @@ function durableWriteThenRename(target, body) {
 function fsyncParentDir(target) {
   let dfd = null;
   try {
-    dfd = openSync5(dirname9(target), "r");
+    dfd = openSync6(dirname9(target), "r");
     fsyncSync2(dfd);
   } catch {} finally {
     if (dfd !== null) {
       try {
-        closeSync5(dfd);
+        closeSync6(dfd);
       } catch {}
     }
   }
@@ -9168,7 +9317,7 @@ var init_atomic = __esm(() => {
 });
 
 // ../../loki-ts/src/runner/budget.ts
-import { existsSync as existsSync17, mkdirSync as mkdirSync9, readdirSync as readdirSync10, readFileSync as readFileSync22, writeFileSync as writeFileSync12 } from "fs";
+import { existsSync as existsSync18, mkdirSync as mkdirSync9, readdirSync as readdirSync10, readFileSync as readFileSync22, writeFileSync as writeFileSync12 } from "fs";
 import { dirname as dirname10, join as join30, resolve as resolve10 } from "path";
 import { fileURLToPath as fileURLToPath2 } from "url";
 function loadDefaultMaxCostUsd() {
@@ -9186,7 +9335,7 @@ function _loadPricing() {
   try {
     const moduleDir = dirname10(fileURLToPath2(import.meta.url));
     const jsonPath = resolve10(moduleDir, "..", "..", "data", "model-pricing.json");
-    if (!existsSync17(jsonPath))
+    if (!existsSync18(jsonPath))
       return _FALLBACK_PRICING;
     const raw2 = JSON.parse(readFileSync22(jsonPath, "utf8"));
     const pricing2 = raw2["pricing"];
@@ -9318,7 +9467,7 @@ var init_model_rank = __esm(() => {
 });
 
 // ../../loki-ts/src/engine10/sizing.ts
-import { existsSync as existsSync18, readFileSync as readFileSync23 } from "fs";
+import { existsSync as existsSync19, readFileSync as readFileSync23 } from "fs";
 import { basename as basename10 } from "path";
 function namedFiles(task, map) {
   return (map?.files ?? []).filter((f) => task.toLowerCase().includes(basename10(f).toLowerCase()));
@@ -9337,7 +9486,7 @@ function sizeTask(task, map, tests) {
   return why.length ? { size: "normal", reasons: why } : { size: "small", reasons: [`task ${task.length} chars, names ${named} files`] };
 }
 function loadRepoMap(repomapRef) {
-  if (!repomapRef || !existsSync18(repomapRef))
+  if (!repomapRef || !existsSync19(repomapRef))
     return null;
   try {
     return JSON.parse(readFileSync23(repomapRef, "utf8"));
@@ -9371,7 +9520,7 @@ var init_sizing = __esm(() => {
 });
 
 // ../../loki-ts/src/project_model/schema.ts
-import { existsSync as existsSync19, lstatSync as lstatSync6, realpathSync as realpathSync14, statSync as statSync14 } from "fs";
+import { existsSync as existsSync20, lstatSync as lstatSync7, realpathSync as realpathSync15, statSync as statSync14 } from "fs";
 import { isAbsolute as isAbsolute3, join as join32, normalize, sep as sep9 } from "path";
 function safeRel(p) {
   const n2 = normalize(p.trim()).split(sep9).join("/").replace(/\/$/, "");
@@ -9381,8 +9530,8 @@ function safeRel(p) {
 }
 function insideRepo(repoDir, rel) {
   try {
-    const real2 = realpathSync14(join32(repoDir, rel));
-    const base = realpathSync14(repoDir);
+    const real2 = realpathSync15(join32(repoDir, rel));
+    const base = realpathSync15(repoDir);
     return real2 === base || real2.startsWith(base + sep9);
   } catch {
     return false;
@@ -9395,7 +9544,7 @@ function checkCitation(repoDir, raw2) {
   if (rel === null)
     return `citation "${raw2}" is not a repo-relative path`;
   const abs = join32(repoDir, rel);
-  if (!existsSync19(abs) || !statSync14(abs).isFile() || !insideRepo(repoDir, rel))
+  if (!existsSync20(abs) || !statSync14(abs).isFile() || !insideRepo(repoDir, rel))
     return `citation "${raw2}" names a file that does not exist`;
   return null;
 }
@@ -9406,7 +9555,7 @@ function checkFingerprint(repoDir, raw2) {
   if (rel === null)
     return `fingerprint "${raw2}" is not a repo-relative path`;
   try {
-    if (!lstatSync6(join32(repoDir, rel)).isFile() || !insideRepo(repoDir, rel))
+    if (!lstatSync7(join32(repoDir, rel)).isFile() || !insideRepo(repoDir, rel))
       return `fingerprint "${raw2}" is not a regular file inside the repo`;
   } catch {
     return `fingerprint "${raw2}" names a file that does not exist`;
@@ -9435,7 +9584,7 @@ function checkDir(repoDir, v, where, errs) {
     return ".";
   }
   const abs = join32(repoDir, rel);
-  if (!existsSync19(abs) || !statSync14(abs).isDirectory() || !insideRepo(repoDir, rel))
+  if (!existsSync20(abs) || !statSync14(abs).isDirectory() || !insideRepo(repoDir, rel))
     errs.push(`${where}: directory "${rel}" does not exist`);
   return rel;
 }
@@ -9538,7 +9687,7 @@ var init_schema = __esm(() => {
 
 // ../../loki-ts/src/project_model/gather.ts
 import { createHash as createHash8 } from "crypto";
-import { closeSync as closeSync6, lstatSync as lstatSync7, openSync as openSync6, readFileSync as readFileSync24, readSync as readSync5 } from "fs";
+import { closeSync as closeSync7, lstatSync as lstatSync8, openSync as openSync7, readFileSync as readFileSync24, readSync as readSync6 } from "fs";
 import { dirname as dirname11, join as join33 } from "path";
 function listShallow(repoDir) {
   try {
@@ -9566,7 +9715,7 @@ function computeKey(repoDir, fingerprintFiles, dirs, committedHash = null) {
         h.update("invalid");
       else {
         const abs = join33(repoDir, f);
-        const size = lstatSync7(abs).size;
+        const size = lstatSync8(abs).size;
         h.update(size <= GATHER_CAPS.maxHashBytes ? readFileSync24(abs) : `too-large:${size}`);
       }
     } catch {
@@ -9610,7 +9759,7 @@ var init_gather = __esm(() => {
 });
 
 // ../../loki-ts/src/project_model/discover.ts
-import { existsSync as existsSync20, mkdirSync as mkdirSync10, readFileSync as readFileSync25, rmSync as rmSync7, writeFileSync as writeFileSync13 } from "fs";
+import { existsSync as existsSync21, mkdirSync as mkdirSync10, readFileSync as readFileSync25, rmSync as rmSync7, writeFileSync as writeFileSync13 } from "fs";
 import { join as join34 } from "path";
 function projectModelEnabled(env = process.env) {
   return env["LOKI_E10_PROJECT_MODEL"] !== "0";
@@ -10324,10 +10473,10 @@ function classifyRisk(files, env = process.env) {
   };
 }
 function changedFiles(repoDir, baseSha) {
-  const run = (args) => safeGit(repoDir, args).split(`
+  const run2 = (args) => safeGit(repoDir, args).split(`
 `).map((l) => l.trim()).filter(Boolean);
-  const tracked = run(["diff", "--name-only", baseSha]);
-  const untracked = run(["ls-files", "--others", "--exclude-standard"]);
+  const tracked = run2(["diff", "--name-only", baseSha]);
+  const untracked = run2(["ls-files", "--others", "--exclude-standard"]);
   return [...new Set([...tracked, ...untracked])].filter((f) => !f.startsWith(".loki/"));
 }
 function diffFiles(repoDir, baseSha) {
@@ -10401,7 +10550,7 @@ var init_check_result = __esm(() => {
 
 // ../../loki-ts/src/runner/load_owner.ts
 import { spawnSync as spawnSync3 } from "child_process";
-import { mkdtempSync as mkdtempSync5, realpathSync as realpathSync15, rmSync as rmSync9 } from "fs";
+import { mkdtempSync as mkdtempSync5, realpathSync as realpathSync16, rmSync as rmSync9 } from "fs";
 import { tmpdir as tmpdir7 } from "os";
 import { basename as basename14, extname as extname2, join as join39 } from "path";
 function changedFilesNamed(out2, repoDir, changed) {
@@ -10423,7 +10572,7 @@ function loadSignature(out2, roots) {
   let o = out2;
   for (const r of roots.flatMap((x) => {
     try {
-      return [x, realpathSync15(x)];
+      return [x, realpathSync16(x)];
     } catch {
       return [x];
     }
@@ -10610,7 +10759,7 @@ var init_state = __esm(() => {
 });
 
 // ../../loki-ts/src/runner/repo_profile.ts
-import { existsSync as existsSync21, readFileSync as readFileSync28, mkdirSync as mkdirSync12, readdirSync as readdirSync11, renameSync as renameSync6, rmSync as rmSync10, writeFileSync as writeFileSync15 } from "fs";
+import { existsSync as existsSync22, readFileSync as readFileSync28, mkdirSync as mkdirSync12, readdirSync as readdirSync11, renameSync as renameSync6, rmSync as rmSync10, writeFileSync as writeFileSync15 } from "fs";
 import { basename as basename15, join as join41, resolve as resolve11, isAbsolute as isAbsolute5 } from "path";
 function loadProfile(repoDir) {
   try {
@@ -10637,10 +10786,10 @@ function attribute(repoDir, baseSha, failing) {
 }
 function attributeFullSuite(repoDir, baseSha, full, blocked, changed) {
   const bad = full.filter((c) => c.result === "fail"), none = { preExistingChecks: [], preExistingIds: [], introducedChecks: bad.map((c) => c.name), line: null };
-  const norm3 = (s) => s.replace(/\s+--silent\b/, "").trim(), p = loadProfile(repoDir);
+  const norm4 = (s) => s.replace(/\s+--silent\b/, "").trim(), p = loadProfile(repoDir);
   if (!bad.length || !p || p.revision !== baseSha || !p.baseline.attributable || !p.baseline.failing_ids.length)
     return none;
-  if (bad.some((c) => norm3(c.cmd) !== norm3(p.baseline.command ?? "")))
+  if (bad.some((c) => norm4(c.cmd) !== norm4(p.baseline.command ?? "")))
     return { ...none, line: `baseline: ran "${p.baseline.command}", not the full suite command, ids not comparable, full suite failures not excused` };
   const block = new Set(blocked);
   return attribute(repoDir, baseSha, bad.map((c) => ({ name: c.name, ...c.ids ? { ids: c.ids } : {}, eligible: (c.ids ?? []).every((i) => !block.has(i) && !changed.some((f) => i.includes(f))) })));
@@ -10657,7 +10806,7 @@ var init_repo_profile = __esm(() => {
 // ../../loki-ts/src/project_graph.ts
 import { createHash as createHash9 } from "crypto";
 import {
-  existsSync as existsSync22,
+  existsSync as existsSync23,
   readdirSync as readdirSync12,
   readFileSync as readFileSync29,
   statSync as statSync15,
@@ -10666,7 +10815,7 @@ import {
 } from "fs";
 import { basename as basename16, dirname as dirname12, join as join42, resolve as resolve12 } from "path";
 function readManifest(path) {
-  if (!existsSync22(path)) {
+  if (!existsSync23(path)) {
     return null;
   }
   let raw2;
@@ -10751,7 +10900,7 @@ function resolveMembers(rootDir, declared, selfBasename) {
       }
       if (!st.isDirectory())
         continue;
-      if (!existsSync22(join42(full, ".loki", "app.json")))
+      if (!existsSync23(join42(full, ".loki", "app.json")))
         continue;
       seen.add(full);
       out2.push(full);
@@ -10786,12 +10935,12 @@ function discoverProjectGraph(targetDir) {
   const examined = [];
   let chosenManifest = null;
   let chosenRoot = "";
-  if (existsSync22(parentManifest) && parentDir !== absTarget) {
+  if (existsSync23(parentManifest) && parentDir !== absTarget) {
     examined.push(parentManifest);
     chosenManifest = readManifest(parentManifest);
     chosenRoot = parentDir;
   }
-  if (!chosenManifest && existsSync22(targetManifest)) {
+  if (!chosenManifest && existsSync23(targetManifest)) {
     examined.push(targetManifest);
     chosenManifest = readManifest(targetManifest);
     chosenRoot = absTarget;
@@ -10803,7 +10952,7 @@ function discoverProjectGraph(targetDir) {
   const filtered = [];
   for (const m of members) {
     const sibManifestPath = join42(m, ".loki", "app.json");
-    if (existsSync22(sibManifestPath)) {
+    if (existsSync23(sibManifestPath)) {
       examined.push(sibManifestPath);
       const sibManifest = readManifest(sibManifestPath);
       if (sibManifest && sibManifest.app_id !== chosenManifest.app_id) {
@@ -10826,77 +10975,6 @@ var init_project_graph = __esm(() => {
   APP_ID_REGEX = /^[a-z0-9-]{3,40}$/;
 });
 
-// ../../loki-ts/src/util/shell.ts
-async function readStreamCapped(stream, maxBytes = MAX_STDOUT_BYTES) {
-  const reader = stream.getReader();
-  const decoder = new TextDecoder;
-  let out2 = "";
-  let total = 0;
-  try {
-    while (total < maxBytes) {
-      const { done, value } = await reader.read();
-      if (done)
-        break;
-      if (!value)
-        continue;
-      total += value.byteLength;
-      if (total > maxBytes) {
-        const keep = value.byteLength - (total - maxBytes);
-        out2 += decoder.decode(value.subarray(0, keep), { stream: true });
-        break;
-      }
-      out2 += decoder.decode(value, { stream: true });
-    }
-    out2 += decoder.decode();
-  } finally {
-    try {
-      await reader.cancel();
-    } catch {}
-    reader.releaseLock();
-  }
-  return out2;
-}
-async function run(argv, opts = {}) {
-  const proc = Bun.spawn({
-    cmd: [...argv],
-    stdout: "pipe",
-    stderr: "pipe",
-    env: opts.env ? { ...process.env, ...opts.env } : process.env,
-    cwd: opts.cwd
-  });
-  let timer;
-  let killTimer;
-  if (opts.timeoutMs && opts.timeoutMs > 0) {
-    timer = setTimeout(() => {
-      try {
-        proc.kill("SIGTERM");
-      } catch {}
-      killTimer = setTimeout(() => {
-        try {
-          proc.kill("SIGKILL");
-        } catch {}
-      }, 2000);
-    }, opts.timeoutMs);
-  }
-  try {
-    const [stdout, stderr, exitCode] = await Promise.all([
-      readStreamCapped(proc.stdout),
-      new Response(proc.stderr).text(),
-      proc.exited
-    ]);
-    return { stdout, stderr, exitCode };
-  } finally {
-    if (timer)
-      clearTimeout(timer);
-    if (killTimer)
-      clearTimeout(killTimer);
-  }
-}
-var MAX_STDOUT_BYTES;
-var init_shell = __esm(() => {
-  MAX_STDOUT_BYTES = 16 * 1024 * 1024;
-});
-
 // ../../loki-ts/src/e10ext/budget_cap.ts
 var DEFAULT_MAX_COST_USD;
 var init_budget_cap = __esm(() => {
@@ -10908,71 +10986,6 @@ var init_budget_cap = __esm(() => {
 // ../../loki-ts/src/runner/retry_class.ts
 var init_retry_class = () => {};
 
-// ../../loki-ts/src/features/speed/unit_mode.ts
-import { closeSync as closeSync7, constants as constants2, fstatSync as fstatSync5, lstatSync as lstatSync8, openSync as openSync7, readSync as readSync6, realpathSync as realpathSync16 } from "fs";
-function readBounded(path) {
-  const l = lstatSync8(path);
-  if (l.isSymbolicLink() || !l.isFile() || l.size > MAX_SPEC_BYTES)
-    return null;
-  const fd = openSync7(path, constants2.O_RDONLY | constants2.O_NOFOLLOW | constants2.O_NONBLOCK);
-  try {
-    const st = fstatSync5(fd);
-    if (!st.isFile() || st.size > MAX_SPEC_BYTES)
-      return null;
-    const buf = Buffer.alloc(st.size + 1);
-    let n2 = 0;
-    for (;; ) {
-      const r = readSync6(fd, buf, n2, buf.length - n2, null);
-      if (r <= 0)
-        break;
-      n2 += r;
-      if (n2 >= buf.length)
-        return null;
-    }
-    return buf.subarray(0, n2).toString("utf8");
-  } finally {
-    closeSync7(fd);
-  }
-}
-function parseText(txt) {
-  try {
-    const j = JSON.parse(txt), ws = strs(j.writeSet), pack = strs(j.pack), tb = j.tokenBudget;
-    if (typeof j.id !== "string" || !j.id || !ws || ws.length === 0 || !pack || typeof tb !== "number" || !Number.isFinite(tb) || !(tb > 0) || tb > MAX_TOKEN_BUDGET)
-      return null;
-    return { id: j.id, writeSet: ws, pack, tokenBudget: tb };
-  } catch {
-    return null;
-  }
-}
-function parseSpec(path) {
-  try {
-    const txt = readBounded(path);
-    return txt === null ? null : parseText(txt);
-  } catch {
-    return null;
-  }
-}
-function unitSpec(env = process.env) {
-  const path = env["LOKI_UNIT_SPEC"], frozen = env["LOKI_UNIT_SPEC_FROZEN"];
-  if (env["LOKI_SPEED"] === "0" || !path)
-    return null;
-  if (frozen !== undefined)
-    return frozen.length <= MAX_SPEC_BYTES ? parseText(frozen) : null;
-  if (!memo.has(path))
-    memo.set(path, parseSpec(path));
-  return memo.get(path) ?? null;
-}
-function unitFlags(staged, env = process.env, pre = {}) {
-  const s = unitSpec(env);
-  return s ? staged.filter(({ f }) => !inWriteSet(s, f) && !Object.hasOwn(pre, f)).map(({ f }) => f) : null;
-}
-var MAX_SPEC_BYTES, MAX_TOKEN_BUDGET = 1e9, norm3 = (p) => p.replace(/^\.\//, ""), CTRL, strs = (v) => Array.isArray(v) && v.every((x) => typeof x === "string" && !CTRL.test(x)) ? v.map(norm3) : null, memo, inWriteSet = (spec, f) => spec.writeSet.some((w) => w.endsWith("/") ? f.startsWith(w) : f === w);
-var init_unit_mode = __esm(() => {
-  MAX_SPEC_BYTES = 1024 * 1024;
-  CTRL = /[\x00-\x1f\x7f]/;
-  memo = new Map;
-});
-
 // ../../loki-ts/src/e10ext/repomemory.ts
 var init_repomemory = __esm(() => {
   init_cache();
@@ -11011,11 +11024,12 @@ var init_steer = __esm(() => {
 });
 
 // ../../loki-ts/src/util/pr_lessons.ts
-import { existsSync as existsSync23, mkdirSync as mkdirSync14, readFileSync as readFileSync30 } from "fs";
+import { existsSync as existsSync24, mkdirSync as mkdirSync14, readFileSync as readFileSync30 } from "fs";
 import { dirname as dirname13, join as join43 } from "path";
+import { createHash as createHash10 } from "crypto";
 function loadLessons(repoDir) {
   const p = lessonsPath(repoDir);
-  if (!existsSync23(p))
+  if (!existsSync24(p))
     return [];
   try {
     const j = JSON.parse(readFileSync30(p, "utf-8"));
@@ -11029,6 +11043,25 @@ function save(repoDir, lessons) {
   mkdirSync14(dirname13(p), { recursive: true });
   atomicWriteJson(p, { version: 2, lessons });
 }
+function appendReceiptFact(repoDir, f, now2 = () => new Date) {
+  const id = `rcp-${createHash10("sha256").update(f.runId).digest("hex").slice(0, 12)}`;
+  const lessons = loadLessons(repoDir);
+  if (lessons.some((l) => l.id === id))
+    return false;
+  const cited = f.receiptSha256 !== null;
+  const title = f.title.replace(/\s+/g, " ").trim().slice(0, 200);
+  lessons.push({
+    id,
+    kind: "receipt",
+    text: `Run ${f.runId} sealed ${f.verdict}: ${title}`,
+    source: { pr: `run:${f.runId}`, pr_url: "", comment_url: "", kind: "receipt", author: "loki" },
+    learned_at: now2().toISOString(),
+    uses: [],
+    justified_by: { run_id: f.runId, receipt_sha256: f.receiptSha256, verdict: cited ? f.verdict : "unverified" }
+  });
+  save(repoDir, lessons);
+  return true;
+}
 function recordRunVerdict(repoDir, runId, verdict) {
   const lessons = loadLessons(repoDir);
   let dirty = false;
@@ -11041,9 +11074,10 @@ function recordRunVerdict(repoDir, runId, verdict) {
   if (dirty)
     save(repoDir, lessons);
 }
-var lessonsPath = (repoDir) => join43(repoDir, ".loki", "memory", "semantic", "pr-lessons.json");
+var lessonsPath = (repoDir) => join43(repoDir, ".loki", "memory", "semantic", "pr-lessons.json"), KINDS;
 var init_pr_lessons = __esm(() => {
   init_atomic();
+  KINDS = new Set(["pr", "receipt", "ticket", "rejected"]);
 });
 
 // ../../loki-ts/src/runner/model_downgrades.ts
@@ -11056,7 +11090,7 @@ var init_model_downgrades = __esm(() => {
 var init_mcp_config = () => {};
 
 // ../../loki-ts/src/providers/claude_flags.ts
-import { existsSync as existsSync24, readFileSync as readFileSync31 } from "fs";
+import { existsSync as existsSync25, readFileSync as readFileSync31 } from "fs";
 import { resolve as resolvePath, dirname as dirname14 } from "path";
 import { fileURLToPath as fileURLToPath3 } from "url";
 function designArchetypesText() {
@@ -11067,7 +11101,7 @@ function designArchetypesText() {
       ["..", "..", "references", "design-archetypes.md"]
     ]) {
       const p = resolvePath(moduleDir, ...rel);
-      if (existsSync24(p))
+      if (existsSync25(p))
         return readFileSync31(p, "utf8");
     }
   } catch {}
@@ -11146,12 +11180,12 @@ var init_providers = __esm(() => {
 });
 
 // ../../loki-ts/src/runner/router/route_record.ts
-import { existsSync as existsSync25, lstatSync as lstatSync9, mkdirSync as mkdirSync15, readFileSync as readFileSync32, writeFileSync as writeFileSync17 } from "fs";
+import { existsSync as existsSync26, lstatSync as lstatSync9, mkdirSync as mkdirSync15, readFileSync as readFileSync32, writeFileSync as writeFileSync17 } from "fs";
 import { join as join44 } from "path";
 function loadRouteRecord(runDir) {
   try {
     const p = join44(runDir, ROUTE_RECORD_FILE);
-    if (!existsSync25(p) || !lstatSync9(p).isFile())
+    if (!existsSync26(p) || !lstatSync9(p).isFile())
       return;
     const v = JSON.parse(readFileSync32(p, "utf8"));
     return typeof v === "object" && v !== null && !Array.isArray(v) ? v : undefined;
@@ -11163,7 +11197,7 @@ var ROUTE_RECORD_FILE = "route.json";
 var init_route_record = () => {};
 
 // ../../loki-ts/src/runner/router/history_store.ts
-import { existsSync as existsSync26, mkdirSync as mkdirSync16, readFileSync as readFileSync33, renameSync as renameSync7, rmSync as rmSync11, writeFileSync as writeFileSync18 } from "fs";
+import { existsSync as existsSync27, mkdirSync as mkdirSync16, readFileSync as readFileSync33, renameSync as renameSync7, rmSync as rmSync11, writeFileSync as writeFileSync18 } from "fs";
 import { resolve as resolve13 } from "path";
 function validRun(v) {
   if (typeof v !== "object" || v === null)
@@ -11176,7 +11210,7 @@ function historyPath(key, cacheRoot) {
 }
 function readRunHistory(key, cacheRoot) {
   const path = historyPath(key, cacheRoot);
-  if (!existsSync26(path))
+  if (!existsSync27(path))
     return [];
   try {
     const parsed = JSON.parse(readFileSync33(path, "utf8"));
@@ -11426,7 +11460,7 @@ __export(exports_deep, {
   DEFAULT_SECRET_SCAN_SH: () => DEFAULT_SECRET_SCAN_SH,
   DEFAULT_PUSH_SH: () => DEFAULT_PUSH_SH
 });
-import { existsSync as existsSync27, mkdirSync as mkdirSync17, writeFileSync as writeFileSync19 } from "fs";
+import { existsSync as existsSync28, mkdirSync as mkdirSync17, writeFileSync as writeFileSync19 } from "fs";
 import { join as join47 } from "path";
 async function runFullSuite(ctx, signal, opts, checks, notProven) {
   if (await runPackageSuites(ctx.repoDir, signal, { path: opts.path, timeoutMs: opts.fullSuiteTimeoutMs ?? FULL_SUITE_TIMEOUT_MS, baseSha: ctx.baseSha }, checks, notProven))
@@ -11513,7 +11547,7 @@ async function runCouncilCheck(ctx, changed, baseSha, signal, opts, checks, notP
 async function runSecretScan(ctx, changed, opts, checks, notProven) {
   const scriptPath = opts.secretScanShPath ?? DEFAULT_SECRET_SCAN_SH;
   const name = "security scan";
-  if (!existsSync27(scriptPath)) {
+  if (!existsSync28(scriptPath)) {
     checks.push({ name, cmd: "secret-scan.sh", result: "not_run", duration_s: 0 });
     notProven.add(`not run: ${name} (secret-scan.sh not found)`);
     return;
@@ -11662,7 +11696,7 @@ var init_deep = __esm(() => {
 });
 
 // ../../loki-ts/src/engine10/stages/verify.ts
-import { existsSync as existsSync28, mkdtempSync as mkdtempSync6, realpathSync as realpathSync17, rmSync as rmSync12 } from "fs";
+import { existsSync as existsSync29, mkdtempSync as mkdtempSync6, realpathSync as realpathSync17, rmSync as rmSync12 } from "fs";
 import { tmpdir as tmpdir8 } from "os";
 import { dirname as dirname16, isAbsolute as isAbsolute6, join as join48, relative as relative5 } from "path";
 function resolveTool(repoDir, bin, fallback, lastResort = fallback) {
@@ -11675,7 +11709,7 @@ function resolveTool(repoDir, bin, fallback, lastResort = fallback) {
     }
   };
   const venvEnv = process.env["VIRTUAL_ENV"];
-  const project = [join48(repoDir, ".venv", "bin", bin), join48(repoDir, "venv", "bin", bin), ...venvEnv && inRepo(venvEnv) ? [join48(venvEnv, "bin", bin)] : []].find(existsSync28);
+  const project = [join48(repoDir, ".venv", "bin", bin), join48(repoDir, "venv", "bin", bin), ...venvEnv && inRepo(venvEnv) ? [join48(venvEnv, "bin", bin)] : []].find(existsSync29);
   return project ? [project, "project"] : [Bun.which(fallback) ? fallback : lastResort, "system"];
 }
 function runnerCmd(t, repoDir) {
@@ -11828,7 +11862,7 @@ async function subtractBase(ctx, api, checks, tests, changed, wall, rel, signal)
   return out2;
 }
 function isLokiModeRepo(repoDir) {
-  return existsSync28(join48(repoDir, "scripts", "select-tests.sh"));
+  return existsSync29(join48(repoDir, "scripts", "select-tests.sh"));
 }
 async function runLintChecks(ctx, changed, signal, checks, opts = {}) {
   const { api, ...runOpts } = opts;
@@ -11845,9 +11879,9 @@ async function runLintChecks(ctx, changed, signal, checks, opts = {}) {
   }
   for (const g of groupByPackage(api, ctx.repoDir, changed.filter((f) => /\.(ts|tsx|js|jsx)$/.test(f)))) {
     const sfx = g.root === "." ? "" : `:${g.root}`, co = g.root === "." ? opts : { ...opts, cwd: g.cwd };
-    if (existsSync28(join48(g.cwd, "tsconfig.json")))
+    if (existsSync29(join48(g.cwd, "tsconfig.json")))
       await runCheck(ctx, `lint:tsc${sfx}`, "npx", ["tsc", "--noEmit", "-p", "."], signal, checks, { ...co, kind: "static" });
-    if (ESLINT_CONFIGS.some((f) => existsSync28(join48(g.cwd, f))))
+    if (ESLINT_CONFIGS.some((f) => existsSync29(join48(g.cwd, f))))
       await runCheck(ctx, `lint:eslint${sfx}`, "npx", ["eslint", ...g.rel], signal, checks, { ...co, kind: "static" });
   }
 }
@@ -11979,7 +12013,7 @@ var init_verify = __esm(() => {
 });
 
 // ../../loki-ts/src/project_model/conventions.ts
-import { existsSync as existsSync29, readdirSync as readdirSync13, readFileSync as readFileSync34 } from "fs";
+import { existsSync as existsSync30, readdirSync as readdirSync13, readFileSync as readFileSync34 } from "fs";
 import { dirname as dirname17, join as join49 } from "path";
 function parseJsonc(text2) {
   let out2 = "", i = 0;
@@ -12016,7 +12050,7 @@ function moduleOf(file, depth = 0) {
   if (!ext || !ext.startsWith("."))
     return null;
   const next = join49(dirname17(file), ext.endsWith(".json") ? ext : `${ext}.json`);
-  return existsSync29(next) ? moduleOf(next, depth + 1) : null;
+  return existsSync30(next) ? moduleOf(next, depth + 1) : null;
 }
 function readPackageConventions(pkgDir, runner = null) {
   let names = [];
@@ -12065,7 +12099,7 @@ var init_conventions = () => {};
 
 // ../../loki-ts/src/engine10/stages/wall.ts
 import { spawnSync as spawnSync4 } from "child_process";
-import { existsSync as existsSync30, mkdirSync as mkdirSync18, mkdtempSync as mkdtempSync7, readFileSync as readFileSync35, readdirSync as readdirSync14, realpathSync as realpathSync18, rmSync as rmSync13, writeFileSync as writeFileSync20 } from "fs";
+import { existsSync as existsSync31, mkdirSync as mkdirSync18, mkdtempSync as mkdtempSync7, readFileSync as readFileSync35, readdirSync as readdirSync14, realpathSync as realpathSync18, rmSync as rmSync13, writeFileSync as writeFileSync20 } from "fs";
 import { tmpdir as tmpdir9 } from "os";
 import { dirname as dirname18, isAbsolute as isAbsolute7, join as join50, relative as relative6 } from "path";
 function pytestCollectionIsRed(output, repoDir) {
@@ -12110,7 +12144,7 @@ function pytestCollectionIsRed(output, repoDir) {
 }
 function moduleUnderRepo(repoDir, name) {
   const rel = name.replace(/\./g, "/");
-  return existsSync30(join50(repoDir, `${rel}.py`)) || existsSync30(join50(repoDir, rel, "__init__.py"));
+  return existsSync31(join50(repoDir, `${rel}.py`)) || existsSync31(join50(repoDir, rel, "__init__.py"));
 }
 function pytestExit1IsRed(output) {
   if (/^!+ _pytest\.outcomes\.Exit\b/m.test(output))
@@ -12187,13 +12221,16 @@ ${r.stderr ?? ""}`), repoDir, interpreter);
     return { pass, fail, not_run };
   }
 }
-function buildWallBrief(task, repomapText = "", runners = [], hasManifest = false, conventions = "") {
+function buildWallBrief(task, repomapText = "", runners = [], hasManifest = false, conventions = "", acceptance = []) {
   return withStagePrefix([
     "You are the Loki 10 Wall author.",
     `You cannot see the repository. This directory holds only task.md and repomap.txt${hasManifest ? " and wall_manifest.txt (signatures, runner config, test layout and test-style examples)" : ""}.`,
     ...repomapText ? [`Repository paths (repomap.txt):
 ${repomapText}`] : [],
     ...taskBlock(task),
+    ...acceptance.length ? [`Acceptance criteria frozen for this unit (each must be covered by a test):
+${acceptance.map((a) => `Acceptance: ${a}`).join(`
+`)}`] : [],
     "Write behavioral acceptance tests that prove the task is done. A test that errors on import, uses another framework's globals, or fails for a reason unrelated to the task is discarded.",
     `Test runner: ${runners.map((r) => RUNNER_HINT[r]).find(Boolean) ?? "the framework named in repomap.txt"}`,
     ...conventions ? [conventions] : [],
@@ -12206,7 +12243,7 @@ function loadTaskText(ctx, fromPrior) {
   if (fromPrior)
     return fromPrior;
   const issueJsonPath = process.env.LOKI_E10_ISSUE_JSON ?? join50(ctx.runDir, "issue.json");
-  if (existsSync30(issueJsonPath)) {
+  if (existsSync31(issueJsonPath)) {
     try {
       const issue = JSON.parse(readFileSync35(issueJsonPath, "utf8"));
       const text2 = [issue.title, issue.body].filter((s) => typeof s === "string" && s.length > 0).join(`
@@ -12258,7 +12295,7 @@ async function wallAuthor(ctx, signal) {
     writeFileSync20(join50(cwd, n2), c, "utf8");
   const session = await ctx.sessions.run({
     stage: "wall",
-    brief: buildWallBrief(task, repomapText, runners, !!wm, conventionsBrief(conv2)),
+    brief: buildWallBrief(task, repomapText, runners, !!wm, conventionsBrief(conv2), unitSpec()?.acceptance ?? []),
     tier: "development",
     model: wallModel(),
     iterationId: `${ctx.runId}-wall`,
@@ -12341,6 +12378,7 @@ async function runWall(ctx, signal, opts = {}) {
 var WALL_PREFIX = "loki_wall_", BASE_RUN_TIMEOUT_MS = 60000, WALL_MAP_MAX_LINES = 200, wallStage, stage2;
 var init_wall = __esm(() => {
   init_types();
+  init_unit_mode();
   init_lean_prefix();
   init_wall_hints();
   init_sizing();
@@ -12515,7 +12553,7 @@ var init_scope2 = __esm(() => {
 });
 
 // ../../loki-ts/src/util/receipt_signer.ts
-import { createHash as createHash10, randomBytes as randomBytes3, createPrivateKey, createPublicKey as createPublicKey2, generateKeyPairSync, sign } from "crypto";
+import { createHash as createHash11, randomBytes as randomBytes3, createPrivateKey, createPublicKey as createPublicKey2, generateKeyPairSync, sign } from "crypto";
 import { chmodSync as chmodSync5, linkSync, mkdirSync as mkdirSync20, readFileSync as readFileSync37, statSync as statSync16, unlinkSync as unlinkSync5, writeFileSync as writeFileSync22 } from "fs";
 import { homedir as homedir8 } from "os";
 import { dirname as dirname22, join as join52 } from "path";
@@ -12577,13 +12615,13 @@ function signReceipt(runId, hash) {
   const input = `${b64u(canonicalJson({ alg: "EdDSA", typ: "JWT", kid }))}.${b64u(canonicalJson({ job_id: runId, run_id: runId, receipt_sha256: hash, iat: Math.floor(Date.now() / 1000) }))}`;
   return { jwt: `${input}.${b64u(sign(null, Buffer.from(input), key))}`, kid };
 }
-var RECEIPT_SIGNER_BASENAME = "receipt-ed25519.pem", b64u = (b) => Buffer.from(b).toString("base64url"), kidOf2 = (pub) => b64u(createHash10("sha256").update(`{"crv":"Ed25519","kty":"OKP","x":"${pub.export({ format: "jwk" }).x}"}`).digest());
+var RECEIPT_SIGNER_BASENAME = "receipt-ed25519.pem", b64u = (b) => Buffer.from(b).toString("base64url"), kidOf2 = (pub) => b64u(createHash11("sha256").update(`{"crv":"Ed25519","kty":"OKP","x":"${pub.export({ format: "jwk" }).x}"}`).digest());
 var init_receipt_signer = () => {};
 
 // ../../loki-ts/src/features/visual_evidence.ts
 import { spawn as spawn7 } from "child_process";
-import { createHash as createHash11, randomBytes as randomBytes4 } from "crypto";
-import { existsSync as existsSync31, lstatSync as lstatSync11, mkdirSync as mkdirSync21, readdirSync as readdirSync15, readFileSync as readFileSync38, writeFileSync as writeFileSync23 } from "fs";
+import { createHash as createHash12, randomBytes as randomBytes4 } from "crypto";
+import { existsSync as existsSync32, lstatSync as lstatSync11, mkdirSync as mkdirSync21, readdirSync as readdirSync15, readFileSync as readFileSync38, writeFileSync as writeFileSync23 } from "fs";
 import { createServer } from "net";
 import { dirname as dirname23, isAbsolute as isAbsolute8, join as join53, normalize as normalize2, relative as relative8, sep as sep12 } from "path";
 function routeFor(file) {
@@ -12615,7 +12653,7 @@ function checkScreens(runDir, screens) {
       if (isSymlink(cur))
         return `evidence screenshot path is a symlink: ${s.path}`;
     }
-    if (!existsSync31(file))
+    if (!existsSync32(file))
       return `evidence screenshot is missing: ${s.path}`;
     if (!isRegularFile(file))
       return `evidence screenshot is not a regular file: ${s.path}`;
@@ -12659,7 +12697,7 @@ async function waitUp(url, ms, signal) {
 function openapiPaths(repoDir) {
   for (const f of ["openapi.json", "openapi.yaml", "openapi.yml", "swagger.json"]) {
     const p = join53(repoDir, f);
-    if (!existsSync31(p))
+    if (!existsSync32(p))
       continue;
     try {
       const txt = readFileSync38(p, "utf8");
@@ -12766,7 +12804,7 @@ async function captureVisualEvidence(repoDir, runDir, changed, opts = {}) {
     const pkgPath = join53(appDir, "package.json");
     let script = null;
     if (!boot) {
-      if (!existsSync31(pkgPath))
+      if (!existsSync32(pkgPath))
         return skip("no package.json");
       script = pickScript(JSON.parse(readFileSync38(pkgPath, "utf8")));
       if (!script)
@@ -12808,7 +12846,7 @@ async function captureVisualEvidence(repoDir, runDir, changed, opts = {}) {
           break;
         const rel = join53(rel0, `${screenName(route)}.png`);
         const ok = await shoot(pw, ["screenshot", `${base}${route}`, join53(runDir, rel)], appDir, left(), signal);
-        if (ok && !aborted() && !isSymlink(join53(runDir, rel)) && existsSync31(join53(runDir, rel)))
+        if (ok && !aborted() && !isSymlink(join53(runDir, rel)) && existsSync32(join53(runDir, rel)))
           rels.push(rel);
       }
       if (aborted())
@@ -12860,12 +12898,12 @@ async function sealEvidence(repoDir, runDir, o, notProven, signal, emit) {
 function receiptScreensProblem(receiptPath, receipt) {
   return receipt["evidence_screens"] === undefined ? null : checkScreens(dirname23(receiptPath), receipt["evidence_screens"]);
 }
-var visualEvidenceEnabled = (env = process.env) => env["LOKI_VISUAL_EVIDENCE"] !== "0", PAGE_RE, isPageFile = (p) => PAGE_RE.test(p), screenName = (route) => (route === "/" ? "index" : route.slice(1).replace(/[^A-Za-z0-9._-]+/g, "_")) || "index", sha256File = (p) => createHash11("sha256").update(readFileSync38(p)).digest("hex"), playwrightBin = (repoDir) => {
+var visualEvidenceEnabled = (env = process.env) => env["LOKI_VISUAL_EVIDENCE"] !== "0", PAGE_RE, isPageFile = (p) => PAGE_RE.test(p), screenName = (route) => (route === "/" ? "index" : route.slice(1).replace(/[^A-Za-z0-9._-]+/g, "_")) || "index", sha256File = (p) => createHash12("sha256").update(readFileSync38(p)).digest("hex"), playwrightBin = (repoDir) => {
   const bin = join53(repoDir, "node_modules", ".bin", "playwright");
-  return existsSync31(bin) ? bin : null;
+  return existsSync32(bin) ? bin : null;
 }, playwrightTestPkg = (repoDir) => {
   const d = join53(repoDir, "node_modules", "@playwright", "test");
-  return existsSync31(join53(d, "package.json")) ? d : null;
+  return existsSync32(join53(d, "package.json")) ? d : null;
 }, e2eSpecSource = (pkgDir, base, routes) => `const { test } = require(${JSON.stringify(pkgDir)});
 test("loki e2e walkthrough", async ({ page }) => {
   for (const r of ${JSON.stringify(routes)}) { await page.goto(${JSON.stringify(base)} + r); await page.waitForLoadState("load"); }
@@ -12896,7 +12934,7 @@ var init_visual_evidence = __esm(() => {
 });
 
 // ../../loki-ts/src/council/role_agents.ts
-import { existsSync as existsSync32, readdirSync as readdirSync16, readFileSync as readFileSync39 } from "fs";
+import { existsSync as existsSync33, readdirSync as readdirSync16, readFileSync as readFileSync39 } from "fs";
 import { homedir as homedir9 } from "os";
 import { join as join54 } from "path";
 function agentDirs(repoDir, env = process.env) {
@@ -12917,7 +12955,7 @@ function parseAgent(file, stem2) {
 }
 function loadRoleAgent(repoDir, role, env = process.env) {
   for (const d of agentDirs(repoDir, env)) {
-    if (!existsSync32(d))
+    if (!existsSync33(d))
       continue;
     let names;
     try {
@@ -12945,7 +12983,7 @@ var init_role_agents = __esm(() => {
 });
 
 // ../../loki-ts/src/engine10/stages/xreview.ts
-import { existsSync as existsSync33, readFileSync as readFileSync40 } from "fs";
+import { existsSync as existsSync34, readFileSync as readFileSync40 } from "fs";
 import { join as join55 } from "path";
 function minVerdict(verdict, review) {
   const ceiling = review?.level === "block" ? "PARTIAL" : verdict;
@@ -12960,7 +12998,7 @@ function explicitReview(repoDir, env) {
     return "off";
   for (const f of ["loki.yaml", "loki.yml"]) {
     const p = join55(repoDir, f);
-    if (!existsSync33(p))
+    if (!existsSync34(p))
       continue;
     try {
       const m = /^review:[ \t]*["']?([A-Za-z]+)["']?[ \t]*(?:#.*)?$/m.exec(readFileSync40(p, "utf8"));
@@ -13181,9 +13219,9 @@ var init_cost_preview = __esm(() => {
 });
 
 // ../../loki-ts/src/features/contract.ts
-import { existsSync as existsSync34, lstatSync as lstatSync12, mkdirSync as mkdirSync22, readFileSync as readFileSync41, rmSync as rmSync14, writeFileSync as writeFileSync24 } from "fs";
+import { existsSync as existsSync35, lstatSync as lstatSync12, mkdirSync as mkdirSync22, readFileSync as readFileSync41, rmSync as rmSync14, writeFileSync as writeFileSync24 } from "fs";
 import { dirname as dirname24, join as join56 } from "path";
-import { createHash as createHash12 } from "crypto";
+import { createHash as createHash13 } from "crypto";
 function contractEnabled(env = process.env) {
   return env["LOKI_CONTRACT"] !== "0";
 }
@@ -13234,7 +13272,7 @@ function readContract(repoDir) {
   } catch {
     return { contract: null, notes: ["contract unreadable: read failed"], sha256: null };
   }
-  const sha2563 = createHash12("sha256").update(raw2).digest("hex");
+  const sha2563 = createHash13("sha256").update(raw2).digest("hex");
   let j;
   try {
     j = JSON.parse(raw2.toString("utf8"));
@@ -13304,12 +13342,12 @@ var init_contract = __esm(() => {
 });
 
 // ../../loki-ts/src/features/speed/seal_group.ts
-import { createHash as createHash13 } from "crypto";
-import { existsSync as existsSync35, readdirSync as readdirSync17, readFileSync as readFileSync42, statSync as statSync17 } from "fs";
-import { dirname as dirname25, join as join57 } from "path";
+import { createHash as createHash14 } from "crypto";
+import { existsSync as existsSync36, readdirSync as readdirSync17, readFileSync as readFileSync42, statSync as statSync17 } from "fs";
+import { basename as basename19, dirname as dirname25, join as join57 } from "path";
 function sealGroup(runDir, rh) {
   const manifestPath = join57(runDir, "group", "manifest.json");
-  if (!existsSync35(manifestPath))
+  if (!existsSync36(manifestPath))
     return { section: undefined, notProven: [], problems: 0, allUnitsPass: true };
   const notProven = [];
   let problems = 0;
@@ -13353,7 +13391,7 @@ function sealGroup(runDir, rh) {
       unit_id: id,
       sub_receipt_sha256: sha2(bytes),
       receipt_sha256: sub["receipt_sha256"],
-      events_file_sha256: existsSync35(ep) ? sha2(readFileSync42(ep)) : null,
+      events_file_sha256: existsSync36(ep) ? sha2(readFileSync42(ep)) : null,
       verdict,
       goal: text2(u["goal"], 200),
       files: (Array.isArray(u["files"]) ? u["files"] : []).map((f) => text2(f, 200)).filter(Boolean).slice(0, 50),
@@ -13378,7 +13416,7 @@ async function verifyGroup(receiptPath, receipt, rh, verifyOne, deps = {}) {
   const bad = (reason) => ({ verdict: "TAMPERED", reason: `group: ${reason}` });
   const g = receipt["group"];
   if (g === undefined)
-    return existsSync35(join57(runDir, "group", "manifest.json")) ? bad("group directory present but the receipt has no group section") : null;
+    return existsSync36(join57(runDir, "group", "manifest.json")) ? bad("group directory present but the receipt has no group section") : null;
   if (!isObj10(g) || !ID_RE.test(String(g["group_id"] ?? "")) || !Array.isArray(g["units"]) || g["units"].length === 0)
     return bad("group section malformed");
   const entries = g["units"];
@@ -13403,7 +13441,7 @@ async function verifyGroup(receiptPath, receipt, rh, verifyOne, deps = {}) {
     }
     if (sha2(bytes) !== e["sub_receipt_sha256"])
       return bad(`unit ${id} sub-receipt does not match its recorded hash`);
-    const evSha = existsSync35(ep) ? sha2(readFileSync42(ep)) : null;
+    const evSha = existsSync36(ep) ? sha2(readFileSync42(ep)) : null;
     if (evSha !== (e["events_file_sha256"] ?? null))
       return bad(`unit ${id} events.jsonl does not match its recorded hash`);
     const sub = readJson5(rp);
@@ -13421,7 +13459,83 @@ async function verifyGroup(receiptPath, receipt, rh, verifyOne, deps = {}) {
   }
   return unchecked ? { verdict: "UNCHECKED", reason: `group: ${unchecked}` } : null;
 }
-var ID_RE, PASSING, sha2 = (b) => createHash13("sha256").update(b).digest("hex"), isObj10 = (v) => v !== null && typeof v === "object" && !Array.isArray(v), text2 = (v, cap) => typeof v === "string" ? v.replace(/[\x00-\x1f\x7f]+/g, " ").trim().slice(0, cap) : "", num4 = (v) => typeof v === "number" && Number.isFinite(v) && v >= 0 ? v : 0, unitsDir = (runDir) => join57(runDir, "group", "units"), readJson5 = (p) => {
+function compositeVerdict(childVerdicts) {
+  const base = childVerdicts.includes("SPEC_CONFLICT") ? "SPEC_CONFLICT" : childVerdicts.length > 0 && childVerdicts.every((v) => v === "ALREADY_SATISFIED") ? "ALREADY_SATISFIED" : "VERIFIED";
+  const failed = childVerdicts.filter((v) => v === "FAILED" || !["VERIFIED", "ALREADY_SATISFIED", "PARTIAL", "SPEC_CONFLICT"].includes(v)).length;
+  return capGroupVerdict(base, { section: undefined, notProven: [], problems: failed, allUnitsPass: childVerdicts.every((v) => PASSING.has(v)) });
+}
+async function verifyComposite(receiptPath, receipt, rh, verifyOne, deps = {}) {
+  const runDir = dirname25(receiptPath);
+  const signed = isObj10(receipt["verification"]) && typeof receipt["verification"]["jwt"] === "string";
+  const bad = (reason) => ({ problem: { verdict: "TAMPERED", reason: `composite: ${reason}` }, verdict: "FAILED" });
+  const kids = receipt["children"];
+  if (!Array.isArray(kids) || kids.length === 0 || !ID_RE.test(String(receipt["run_id"] ?? "")))
+    return bad("body malformed");
+  let ibytes;
+  try {
+    ibytes = readFileSync42(join57(runDir, "integration.json"));
+  } catch {
+    return bad("integration.json missing");
+  }
+  if (sha2(ibytes) !== receipt["integration_sha256"])
+    return bad("integration.json does not match its recorded hash");
+  const integ = readJson5(join57(runDir, "integration.json"));
+  if (!isObj10(integ) || !isObj10(integ["outcomes"]))
+    return bad("integration.json has no outcomes");
+  const heads = isObj10(integ["heads"]) ? integ["heads"] : {}, outcomes = integ["outcomes"];
+  const order2 = Array.isArray(integ["order"]) ? integ["order"].map(String) : Object.keys(outcomes).sort();
+  const kidRepos = kids.map((k) => isObj10(k) ? String(k["repo"] ?? "") : "");
+  if (new Set(kidRepos).size !== kidRepos.length)
+    return bad("children list a repo more than once");
+  if (kidRepos.length !== order2.length || kidRepos.some((r, i) => r !== order2[i]))
+    return bad("children do not cover the integrated repos in order (a repo is missing or extra)");
+  let unchecked = null;
+  const verdicts = [];
+  for (const raw2 of kids) {
+    const c = isObj10(raw2) ? raw2 : {}, repo = String(c["repo"] ?? ""), rel = String(c["receipt_path"] ?? "");
+    if (!repo || !relOk(rel) || !rel.startsWith(`worktrees/${slugOf(repo)}/.loki/runs/`))
+      return bad(`child ${text2(repo, 80) || "?"} has an invalid receipt path`);
+    if (outcomes[repo] !== "ok")
+      return bad(`child ${text2(repo, 80)} did not finish ok in integration.json`);
+    const rp = join57(runDir, rel);
+    let bytes;
+    try {
+      bytes = readFileSync42(rp);
+    } catch {
+      return bad(`child ${repo} receipt missing`);
+    }
+    if (sha2(bytes) !== c["receipt_file_sha256"])
+      return bad(`child ${repo} receipt does not match its recorded hash (swapped or edited)`);
+    const sub = readJson5(rp);
+    if (!isObj10(sub) || sub["receipt_sha256"] !== c["receipt_sha256"] || rh(sub) !== c["receipt_sha256"])
+      return bad(`child ${repo} receipt hash does not recompute`);
+    if (String(sub["verdict"] ?? "") !== c["verdict"])
+      return bad(`child ${repo} verdict differs from the composite`);
+    if (String(sub["head_sha"] ?? "") !== c["head_sha"] || !c["head_sha"])
+      return bad(`child ${repo} head_sha differs from the composite`);
+    verdicts.push(String(c["verdict"]));
+    if (typeof heads[repo] !== "string" || heads[repo] === "")
+      unchecked ??= `child ${repo} has no integrated head to compare (freshness not checked)`;
+    else if (heads[repo] !== c["head_sha"])
+      unchecked ??= `child ${repo} head ${String(c["head_sha"])} is not the integrated head ${String(heads[repo])}`;
+    const r = await verifyOne(rp, deps);
+    if (r.verdict === "TAMPERED")
+      return bad(`child ${repo} failed verify: ${r.reasons.join("; ")}`);
+    if (r.verdict === "UNSIGNED" && signed)
+      unchecked ??= `child ${repo} receipt is unsigned under a signed composite`;
+    if (r.verdict === "UNCHECKED")
+      unchecked ??= `child ${repo} not checked: ${r.reasons.join("; ")}`;
+  }
+  const expect = compositeVerdict(verdicts);
+  if (receipt["verdict"] !== expect)
+    return bad(`recorded verdict ${String(receipt["verdict"])} differs from the children (${expect})`);
+  return { problem: unchecked ? { verdict: "UNCHECKED", reason: `composite: ${unchecked}` } : null, verdict: expect };
+}
+function compositeHash(r) {
+  const { composite_sha256: _c, verification: _v, ...body } = r;
+  return sha2(canonicalJson(body));
+}
+var ID_RE, PASSING, sha2 = (b) => createHash14("sha256").update(b).digest("hex"), isObj10 = (v) => v !== null && typeof v === "object" && !Array.isArray(v), text2 = (v, cap) => typeof v === "string" ? v.replace(/[\x00-\x1f\x7f]+/g, " ").trim().slice(0, cap) : "", num4 = (v) => typeof v === "number" && Number.isFinite(v) && v >= 0 ? v : 0, unitsDir = (runDir) => join57(runDir, "group", "units"), readJson5 = (p) => {
   try {
     return JSON.parse(readFileSync42(p, "utf8"));
   } catch {
@@ -13433,15 +13547,16 @@ var ID_RE, PASSING, sha2 = (b) => createHash13("sha256").update(b).digest("hex")
   } catch {
     return null;
   }
-};
+}, COMPOSITE_SCHEMA = "loki.v10.composite/1", slugOf = (repo) => repo.replace(/\//g, "__"), isComposite = (r) => r["schema"] === COMPOSITE_SCHEMA, relOk = (p) => p !== "" && !p.startsWith("/") && !p.split("/").includes("..");
 var init_seal_group = __esm(() => {
+  init_receipt_signer();
   ID_RE = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
   PASSING = new Set(["VERIFIED", "ALREADY_SATISFIED"]);
 });
 
 // ../../loki-ts/src/supply/supply_guard.ts
-import { existsSync as existsSync36, readFileSync as readFileSync43, statSync as statSync18 } from "fs";
-import { basename as basename19, join as join58 } from "path";
+import { existsSync as existsSync37, readFileSync as readFileSync43, statSync as statSync18 } from "fs";
+import { basename as basename20, join as join58 } from "path";
 function supplyEnabled(env) {
   return env["LOKI_SUPPLY_GUARD"] !== "0";
 }
@@ -13453,11 +13568,11 @@ function supplyVerdict(verdict, r) {
   return r.blocked && verdict === "VERIFIED" ? "FAILED" : verdict;
 }
 function isManifestPath(path) {
-  return MANIFESTS.test(basename19(path));
+  return MANIFESTS.test(basename20(path));
 }
 function readDeclared(repoDir) {
   const p = join58(repoDir, ".loki", DECLARED_FILE);
-  if (!existsSync36(p))
+  if (!existsSync37(p))
     return { deps: [], problem: null };
   try {
     if (statSync18(p).size > MAX_FILE_BYTES)
@@ -13483,7 +13598,7 @@ function readDeclared(repoDir) {
 }
 function readAllowlist(repoDir) {
   const p = join58(repoDir, ".loki", "supply-allowlist");
-  if (!existsSync36(p))
+  if (!existsSync37(p))
     return new Set;
   try {
     return new Set(readFileSync43(p, "utf8").split(`
@@ -13684,9 +13799,9 @@ var init_supply_guard = __esm(() => {
 });
 
 // ../../loki-ts/src/engine10/stages/seal.ts
-import { createHash as createHash14 } from "crypto";
-import { existsSync as existsSync37, readdirSync as readdirSync18, mkdirSync as mkdirSync23, readFileSync as readFileSync44, writeFileSync as writeFileSync25 } from "fs";
-import { basename as basename20, isAbsolute as isAbsolute9, join as join59, relative as relative9 } from "path";
+import { createHash as createHash15 } from "crypto";
+import { existsSync as existsSync38, readdirSync as readdirSync18, mkdirSync as mkdirSync23, readFileSync as readFileSync44, writeFileSync as writeFileSync25 } from "fs";
+import { basename as basename21, isAbsolute as isAbsolute9, join as join59, relative as relative9 } from "path";
 function sanitizeReason(s) {
   const collapsed = s.replace(/[\x00-\x1f\x7f]+/g, " ").trim();
   const capped = collapsed.length > 500 ? `${collapsed.slice(0, 500)}...` : collapsed;
@@ -13760,7 +13875,7 @@ function renderReceiptMd(r) {
   ].join(`
 `);
 }
-var DEEP_NOT_PROVEN, SIGNING_UNAVAILABLE = "receipt signing unavailable (no usable signing key: invalid key or unwritable ~/.loki/keys)", EXCLUDE_LOKI = ":(exclude).loki", sha2562 = (s) => createHash14("sha256").update(s).digest("hex"), str3 = (v) => typeof v === "string" && v !== "" ? v : null, strs2 = (v) => Array.isArray(v) ? v.filter((x) => typeof x === "string" && x !== "") : [], receiptRel = (ctx) => {
+var DEEP_NOT_PROVEN, SIGNING_UNAVAILABLE = "receipt signing unavailable (no usable signing key: invalid key or unwritable ~/.loki/keys)", EXCLUDE_LOKI = ":(exclude).loki", sha2562 = (s) => createHash15("sha256").update(s).digest("hex"), str3 = (v) => typeof v === "string" && v !== "" ? v : null, strs2 = (v) => Array.isArray(v) ? v.filter((x) => typeof x === "string" && x !== "") : [], receiptRel = (ctx) => {
   const r = relative9(ctx.repoDir, join59(ctx.runDir, "receipt.json"));
   return r.startsWith("..") || isAbsolute9(r) ? `.loki/runs/${ctx.runId}/receipt.json` : r;
 }, commitStage, sealStage;
@@ -13863,7 +13978,7 @@ var init_seal = __esm(() => {
         notProven.add(`Wall test not executed: ${wallNotRun} file(s), no reason recorded`);
       if (wallNotRun > 0) {
         try {
-          const kept = new Set((Array.isArray(o.wall?.files) ? o.wall.files : []).map((f) => basename20(String(f.path))));
+          const kept = new Set((Array.isArray(o.wall?.files) ? o.wall.files : []).map((f) => basename21(String(f.path))));
           for (const n2 of readdirSync18(join59(ctx.runDir, "wall")).sort())
             if (!kept.has(n2))
               notProven.add(`wall test discarded: ${n2} (not_run)`);
@@ -13979,7 +14094,7 @@ var init_seal = __esm(() => {
         provider: ctx.provider,
         model: ctx.model,
         resumed: o.intake?.resumed === true,
-        events_sha256: sha2562(existsSync37(eventsPath) ? readFileSync44(eventsPath) : ""),
+        events_sha256: sha2562(existsSync38(eventsPath) ? readFileSync44(eventsPath) : ""),
         ...await sealEvidence(ctx.repoDir, ctx.runDir, o, notProven, signal, ctx.emit),
         log_seal: true,
         ...receiptBlock(process.env, cost.usd, cost.unmetered === true, totalS),
@@ -14010,6 +14125,11 @@ var init_seal = __esm(() => {
       try {
         recordRunVerdict(ctx.repoDir, ctx.runId, verdict);
       } catch {}
+      if (process.env["LOKI_AUTO_LEARN_PR"] !== "0") {
+        try {
+          appendReceiptFact(ctx.repoDir, { runId: ctx.runId, verdict, receiptSha256: signed ? hash : null, title: str3(ctx.outputs().intake?.title) ?? `run ${ctx.runId}`, headSha: receipt.head_sha });
+        } catch {}
+      }
       ctx.emit("receipt.sealed", "seal", { path, receipt_sha256: hash, signed, kid: sig.kid, verdict, not_proven: receipt.not_proven, ...routeBlock ? { route_line: routePrLine(routeBlock) } : {} });
       return { status: "completed", data: { ...data, summary: `${verdict} receipt ${hash.slice(0, 12)} ${signed ? `SIGNED kid ${sig.kid}` : "UNSIGNED"}` } };
     }
@@ -14109,9 +14229,9 @@ var init_keys_cmd = __esm(() => {
 });
 
 // ../../loki-ts/src/engine10/verify_cmd.ts
-import { existsSync as existsSync38, readFileSync as readFileSync46, statSync as statSync20 } from "fs";
-import { dirname as dirname27, join as join60 } from "path";
-import { createHash as createHash15, createPublicKey as createPublicKey4, verify as verify3 } from "crypto";
+import { existsSync as existsSync39, readFileSync as readFileSync46, renameSync as renameSync8, statSync as statSync20, writeFileSync as writeFileSync26 } from "fs";
+import { basename as basename22, dirname as dirname27, join as join60 } from "path";
+import { createHash as createHash16, createPublicKey as createPublicKey4, verify as verify3 } from "crypto";
 function pubFor(kid, given) {
   if (given)
     return kidOf2(given) === kid ? given : undefined;
@@ -14148,10 +14268,10 @@ function checkAttestation(jwt, expectedHash, given) {
 }
 function checkEventLog(receiptPath, receipt) {
   const bound = receipt["events_sha256"];
-  if (typeof bound !== "string" || bound === createHash15("sha256").digest("hex"))
+  if (typeof bound !== "string" || bound === createHash16("sha256").digest("hex"))
     return null;
   const path = join60(dirname27(receiptPath), "events.jsonl");
-  if (!existsSync38(path))
+  if (!existsSync39(path))
     return "events.jsonl is missing";
   const raw2 = readFileSync46(path, "utf8"), events2 = readEvents(path), lines = raw2.split(`
 `).filter((l) => l.trim() !== "");
@@ -14159,7 +14279,7 @@ function checkEventLog(receiptPath, receipt) {
     return "events.jsonl has a forged, edited or missing line";
   if (events2.some((e) => e.type === "tamper.detected"))
     return "the supervisor detected events.jsonl being modified during the run";
-  const h = createHash15("sha256");
+  const h = createHash16("sha256");
   for (const l of lines) {
     if (h.copy().digest("hex") === bound)
       return null;
@@ -14178,7 +14298,7 @@ function checkLogSeal(receiptPath, hash, kid, given) {
   if (!d)
     return { verdict: "TAMPERED", reason: "events.jsonl has no signed log.sealed line after run.completed" };
   const lines = readFileSync46(path, "utf8").split(`
-`).filter((l) => l.trim() !== ""), sha3 = createHash15("sha256").update(lines.slice(0, done + 1).join(`
+`).filter((l) => l.trim() !== ""), sha3 = createHash16("sha256").update(lines.slice(0, done + 1).join(`
 `) + `
 `).digest("hex");
   const pub = d["kid"] === kid ? pubFor(kid, given) : undefined;
@@ -14187,7 +14307,7 @@ function checkLogSeal(receiptPath, hash, kid, given) {
   return null;
 }
 async function verifyReceipt(receiptPath, deps = {}) {
-  if (!existsSync38(receiptPath))
+  if (!existsSync39(receiptPath))
     return { verdict: "UNCHECKED", reasons: [`receipt not found: ${receiptPath}`] };
   let receipt;
   try {
@@ -14197,6 +14317,8 @@ async function verifyReceipt(receiptPath, deps = {}) {
   }
   if (isEnvelope(receipt))
     return verifyDsseReceipt(receipt, { pubFor: (kid) => pubFor(kid, deps.pubkey), hash: computeReceiptHash, attest: (j, h) => checkAttestation(j, h, deps.pubkey) });
+  if (isComposite(receipt))
+    return verifyCompositeFile(receiptPath, receipt, deps);
   const recorded = receipt["receipt_sha256"];
   const computed = computeReceiptHash(receipt);
   if (typeof recorded !== "string" || recorded !== computed) {
@@ -14234,6 +14356,30 @@ async function verifyReceipt(receiptPath, deps = {}) {
     return { verdict: gp.verdict, reasons: [gp.reason] };
   return { verdict: "VERIFIED", reasons: [], receiptSha256: computed };
 }
+async function verifyCompositeFile(receiptPath, receipt, deps) {
+  const computed = compositeHash(receipt);
+  if (receipt["composite_sha256"] !== computed)
+    return { verdict: "TAMPERED", reasons: [`composite_sha256 mismatch: recorded ${JSON.stringify(receipt["composite_sha256"])}, computed ${computed}`] };
+  const c = await verifyComposite(receiptPath, receipt, computeReceiptHash, verifyReceipt, deps);
+  if (c.problem?.verdict === "TAMPERED")
+    return { verdict: "TAMPERED", reasons: [c.problem.reason] };
+  const jwt = (receipt["verification"] ?? {}).jwt ?? null;
+  if (jwt !== null && typeof jwt !== "string")
+    return { verdict: "UNCHECKED", reasons: ["verification.jwt is not a string"] };
+  if (!jwt)
+    return c.problem ? { verdict: c.problem.verdict, reasons: [c.problem.reason] } : { verdict: "UNSIGNED", reasons: [], receiptSha256: computed };
+  const outcome = checkAttestation(jwt, computed, deps.pubkey);
+  if (outcome.status === "unchecked")
+    return { verdict: "UNCHECKED", reasons: [outcome.reason ?? "attestation not checked"] };
+  if (outcome.status === "tampered")
+    return { verdict: "TAMPERED", reasons: [outcome.reason ?? "attestation invalid"] };
+  const shown = receipt["verification"].kid, signed = JSON.parse(Buffer.from(jwt.split(".")[0], "base64url").toString()).kid;
+  if (shown !== undefined && shown !== signed)
+    return { verdict: "TAMPERED", reasons: ["verification.kid differs from the signing kid in the attestation header"] };
+  if (c.problem)
+    return { verdict: c.problem.verdict, reasons: [c.problem.reason] };
+  return { verdict: "VERIFIED", reasons: [], receiptSha256: computed };
+}
 var computeReceiptHash = (receipt) => receiptSha256(receipt);
 var init_verify_cmd = __esm(() => {
   init_paths();
@@ -14247,7 +14393,7 @@ var init_verify_cmd = __esm(() => {
 });
 
 // src/server/app.ts
-import { existsSync as existsSync40, readFileSync as readFileSync49, statSync as statSync21 } from "fs";
+import { existsSync as existsSync41, readFileSync as readFileSync49, statSync as statSync21 } from "fs";
 import { join as join63, resolve as resolve15, sep as sep14 } from "path";
 
 // node_modules/hono/dist/request/constants.js
@@ -22455,7 +22601,7 @@ var loki_yaml_schema_default = {
       items: { type: "string", minLength: 1 }
     },
     workspaces: {
-      description: "Named groups of repos for cross-repo runs (`loki workspace run`). Accepted unconditionally; runtime behavior is gated by LOKI_WORKSPACES=1.",
+      description: "Named groups of repos for cross-repo runs (`loki workspace run`). On by default; LOKI_WORKSPACES=0 disables. Unknown or mistyped keys fail validation.",
       type: "object",
       additionalProperties: {
         type: "object",
@@ -22479,9 +22625,12 @@ var loki_yaml_schema_default = {
             additionalProperties: false,
             properties: {
               command: { type: "string", minLength: 1 },
-              timeout_s: { type: "integer", minimum: 1 }
+              timeout_s: { type: "integer", minimum: 1 },
+              per_stage: { type: "boolean" }
             }
           },
+          concurrency: { type: "integer", minimum: 1 },
+          plan: { type: "boolean" },
           integration_files: { type: "array", items: { type: "string", minLength: 1 } }
         }
       }
@@ -24609,7 +24758,7 @@ function ttlCache(ttlMs = PROBE_CACHE_MS, now2 = Date.now) {
 }
 
 // src/server/legacy/shim.ts
-import { existsSync as existsSync39, readFileSync as readFileSync48 } from "fs";
+import { existsSync as existsSync40, readFileSync as readFileSync48 } from "fs";
 import { join as join62 } from "path";
 
 // src/server/legacy/routes.ts
@@ -24984,7 +25133,7 @@ var NOT_SUPPORTED = "not yet supported by the Control Plane";
 var repoVersion = () => {
   for (const f of [join62(import.meta.dir, "../../../../../VERSION")]) {
     try {
-      if (existsSync39(f))
+      if (existsSync40(f))
         return readFileSync48(f, "utf8").trim();
     } catch {}
   }
@@ -25167,7 +25316,7 @@ function legacyShim(opts) {
 
 // src/server/app.ts
 var MAX_BODY2 = 1e6;
-var defaultUiDir = () => [join63(import.meta.dir, "../../ui/dist"), join63(import.meta.dir, "../ui/dist")].find((d) => existsSync40(join63(d, "index.html")));
+var defaultUiDir = () => [join63(import.meta.dir, "../../ui/dist"), join63(import.meta.dir, "../ui/dist")].find((d) => existsSync41(join63(d, "index.html")));
 function createApp(opts) {
   const uiDir = opts.uiDir ?? defaultUiDir();
   const { db, sqlite } = openDb(opts.dbPath);
@@ -25310,7 +25459,7 @@ function createApp(opts) {
       return c.json({ error: "not found" }, 404);
     const root = resolve15(uiDir);
     const f = resolve15(root, `.${p}`);
-    if (f.startsWith(root + sep14) && existsSync40(f) && statSync21(f).isFile())
+    if (f.startsWith(root + sep14) && existsSync41(f) && statSync21(f).isFile())
       return new Response(Bun.file(f));
     if (/\.[a-z0-9]+$/i.test(p))
       return c.json({ error: "not found" }, 404);