karajan-code 4.25.0 → 4.27.0

package/src/harden/hook-templates.js

@@ -8,6 +8,8 @@
  * is imposed on non-JS repos. See docs/specs/quality-harness.md §5.
  */
 
+import { homedir } from "node:os";
+
 const CONVENTIONAL_TYPES = "feat|fix|docs|style|refactor|perf|test|build|ci|chore|revert";
 const AI_ATTRIBUTION = "co-authored-by:.*(claude|gpt|copilot|gemini)|(generated|written) (by|with) .*(claude|gpt|copilot)";
 
@@ -27,10 +29,18 @@ export const PROFILE_HOOKS = {
 // guarded, so machines without it are unaffected.
 function chainToGlobal(hook, globalHooksDir) {
   if (!globalHooksDir) return [];
+  // KJC-BUG-0161 (ADR 0009): a committed hook must not bake a machine's
+  // absolute home path — resolve through $HOME at runtime so the same
+  // generated content is valid on every machine and its provenance stays
+  // verifiable (and no local filesystem layout leaks into a public repo).
+  const home = homedir();
+  const dir = globalHooksDir === home || globalHooksDir.startsWith(`${home}/`)
+    ? `$HOME${globalHooksDir.slice(home.length)}`
+    : globalHooksDir;
   return [
     "# Chain the machine's previous global hook (kj harden keeps it active).",
-    `if [ -x "${globalHooksDir}/${hook}" ]; then`,
-    `  "${globalHooksDir}/${hook}" "$@"; rc=$?`,
+    `if [ -x "${dir}/${hook}" ]; then`,
+    `  "${dir}/${hook}" "$@"; rc=$?`,
     '  [ "$rc" -eq 0 ] || exit "$rc"',
     "fi",
   ];

package/src/harden/sentinel-hooks.js

@@ -43,6 +43,7 @@ export const CARD = new RegExp(${JSON.stringify(CARD_REF_RE.source)}, "i");
 export const BASE_BRANCHES = new Set(["main", "master"]);
 export const load = () => { try { return JSON.parse(readFileSync(STATE, "utf8")); } catch { return {}; } };
 export const save = (state) => writeFileSync(STATE, JSON.stringify(state, null, 2));
+export const doc = (a) => " — doc: https://karajancode.com/docs/guides/sentinel/#" + a;
 export const session = (state, sid) => {
   state.sessions ||= {};
   return (state.sessions[sid] ||= { edited_sources: [], edited_tests: [], escapes: [], errors: [], blocks: 0 });
@@ -108,9 +109,9 @@ export const recordEscape = (sid, escape, tool) => {
     const args = ["policy", "seal", "--escape", escape];
     if (tool) args.push("--tool", String(tool));
     const r = spawnSync("kj", args, { cwd: ROOT, encoding: "utf8" });
-    if (r.error || r.status !== 0) console.error("kj sentinel: escape " + escape + " usado pero NO sellado en el decision log (kj policy seal " + (r.error ? r.error.message : "exit " + r.status) + ") — revisa kj; el escape queda solo en sentinel-state.json");
+    if (r.error || r.status !== 0) console.error("karajan sentinel: escape " + escape + " usado pero NO sellado en el decision log (kj policy seal " + (r.error ? r.error.message : "exit " + r.status) + ") — revisa kj; el escape queda solo en sentinel-state.json" + doc("escapes"));
   } catch (e) {
-    console.error("kj sentinel: escape " + escape + " usado pero NO sellado en el decision log: " + e.message);
+    console.error("karajan sentinel: escape " + escape + " usado pero NO sellado en el decision log: " + e.message + doc("escapes"));
   }
 };
 `;
@@ -121,7 +122,7 @@ const POST_BODY = `#!/usr/bin/env node
 // a tool call (PostToolUse, always exit 0).
 import { relative } from "node:path";
 import { spawnSync } from "node:child_process";
-import { CODE, TESTS, ROOT, CARD, branchOf, load, save, session } from "./sentinel-lib.mjs";
+import { doc, CODE, TESTS, ROOT, CARD, branchOf, load, save, session } from "./sentinel-lib.mjs";
 const ESCAPES = ["KJ_ALLOW_WRITE", "KJ_ALLOW_REWRITE", "KJ_ALLOW_NO_CARD", "KJ_ALLOW_NO_TESTS", "KJ_ALLOW_PII", "KJ_ALLOW_POLICY", "KJ_ALLOW_IDENTITY", "KJ_ALLOW_BOARD"];
 let raw = "";
 process.stdin.on("data", (d) => { raw += d; });
@@ -233,7 +234,7 @@ import { spawnSync } from "node:child_process";
 import { readFileSync } from "node:fs";
 import { homedir } from "node:os";
 import { join } from "node:path";
-import { load, save, branchOf, violations, ROOT } from "./sentinel-lib.mjs";
+import { doc, load, save, branchOf, violations, ROOT } from "./sentinel-lib.mjs";
 // KJC-TSK-0774: when the turn ends green with cards closed, remind the user
 // where to look — the board URL if it runs (pid file alive), else how to start it.
 const boardHint = () => {
@@ -274,10 +275,10 @@ process.stdin.on("end", () => {
       state.tamper_blocks = (state.tamper_blocks || 0) + 1;
       save(state);
       if (state.tamper_blocks > 3) {
-        console.error("kj sentinel: fail-open tras 3 bloqueos por manipulacion sin restaurar — corre kj harden y avisa a tu usuario");
+        console.error("karajan sentinel: fail-open tras 3 bloqueos por manipulacion sin restaurar — corre kj harden y avisa a tu usuario" + doc("supervisor"));
         process.exit(0);
       }
-      console.error("kj sentinel: scripts del supervisor modificados fuera de kj harden (" + tampered.join(", ") + ") — restaura con kj harden antes de terminar; si lo cambiaste tu (humano), reinstalar lo deja en verde.");
+      console.error("karajan sentinel: scripts del supervisor modificados fuera de kj harden (" + tampered.join(", ") + ") — restaura con kj harden antes de terminar; si lo cambiaste tu (humano), reinstalar lo deja en verde." + doc("supervisor"));
       process.exit(2);
     }
     state.tamper_blocks = 0;
@@ -296,7 +297,7 @@ process.stdin.on("end", () => {
     }
     const s = state.sessions?.[sid];
     if (!s) {
-      if (claimsBlock) { console.error("kj sentinel: el turno NO puede terminar:" + String.fromCharCode(10) + "- " + claimsBlock); process.exit(2); }
+      if (claimsBlock) { console.error("karajan sentinel: el turno NO puede terminar:" + String.fromCharCode(10) + "- " + claimsBlock + doc("claims")); process.exit(2); }
       if (claimsNote) console.log(JSON.stringify({ systemMessage: claimsNote }));
       process.exit(0);
     }
@@ -306,9 +307,9 @@ process.stdin.on("end", () => {
       s.blocks = 0;
       const notes = [];
       if (claimsNote) notes.push(claimsNote);
-      if ((s.escapes || []).length) notes.push("kj sentinel: esta sesion uso " + s.escapes.length + " escape(s): " + s.escapes.join(", ") + " — decision registrada; detalle en kj sentinel status.");
+      if ((s.escapes || []).length) notes.push("karajan sentinel: esta sesion uso " + s.escapes.length + " escape(s): " + s.escapes.join(", ") + " — decision registrada; detalle en kj sentinel status.");
       if ((s.closed_cards || []).length) {
-        notes.push("kj sentinel: card(s) cerrada(s) en este turno: " + s.closed_cards.join(", ") + " — el board las muestra: " + boardHint());
+        notes.push("karajan sentinel: card(s) cerrada(s) en este turno: " + s.closed_cards.join(", ") + " — el board las muestra: " + boardHint());
         s.closed_cards = [];
       }
       save(state);
@@ -319,11 +320,11 @@ process.stdin.on("end", () => {
     if (s.blocks > 3) {
       (s.errors ||= []).push("fail-open: 3 bloqueos consecutivos sin resolver — el sentinel se aparta para no colgar la sesion");
       save(state);
-      console.error("kj sentinel: fail-open tras 3 bloqueos sin resolver — revisa kj sentinel status con tu usuario");
+      console.error("karajan sentinel: fail-open tras 3 bloqueos sin resolver — revisa kj sentinel status con tu usuario" + doc("stop-gate"));
       process.exit(0);
     }
     save(state);
-    console.error("kj sentinel: el turno NO puede terminar con el metodo en rojo:\\n" + v.map((x) => "- " + x).join("\\n") + "\\nResuelve las violaciones (o pide a tu usuario el escape) y termina de nuevo. Estado: kj sentinel status");
+    console.error("karajan sentinel: el turno NO puede terminar con el metodo en rojo:\\n" + v.map((x) => "- " + x).join("\\n") + "\\nResuelve las violaciones (o pide a tu usuario el escape) y termina de nuevo. Estado: kj sentinel status" + doc("stop-gate"));
     process.exit(2);
   } catch { /* fail open */ }
   process.exit(0);
@@ -340,7 +341,7 @@ import { dirname, join, relative, resolve } from "node:path";
 import { existsSync, readFileSync, realpathSync, statSync } from "node:fs";
 import { spawnSync } from "node:child_process";
 import { homedir } from "node:os";
-import { CODE, TESTS, ROOT, BASE_BRANCHES, CARD, branchOf, foreignLane, load, save, session, violations, recordEscape, pendingMoves, pendingText } from "./sentinel-lib.mjs";
+import { doc, CODE, TESTS, ROOT, BASE_BRANCHES, CARD, branchOf, foreignLane, load, save, session, violations, recordEscape, pendingMoves, pendingText } from "./sentinel-lib.mjs";
 const EDIT_TOOLS = ["Write", "Edit", "MultiEdit", "NotebookEdit"];
 const PUBLISH = /\\bnpm\\s+publish\\b|\\bfirebase\\s+deploy\\b|\\bgh\\s+release\\s+create\\b/;
 const PUSH = /\\bgit\\s+push\\b/;
@@ -357,7 +358,7 @@ process.stdin.on("end", () => {
       const target = input.file_path || input.notebook_path;
       const relT = target ? relative(ROOT, String(target)).replaceAll("\\\\", "/") : "";
       if (relT && PROTECTED.test(relT)) {
-        console.error("kj sentinel: ese fichero es parte del supervisor (" + relT + ") — solo el humano desmonta el sentinel, editalo fuera de la sesion.");
+        console.error("karajan sentinel: ese fichero es parte del supervisor (" + relT + ") — solo el humano desmonta el sentinel, editalo fuera de la sesion." + doc("supervisor"));
         process.exit(2);
       }
     }
@@ -367,9 +368,23 @@ process.stdin.on("end", () => {
     // substitution) cannot be resolved from command text: that vector is
     // caught by the Stop gate's checksum verification, which blocks the turn.
     if (tool === "Bash" && PROTECTED.test(String(input.command || "").replaceAll("\\\\", "/"))) {
-      console.error("kj sentinel: los ficheros del supervisor no se tocan desde Bash — consultalos con la tool Read/Grep; solo el humano los modifica, fuera de la sesion.");
+      console.error("karajan sentinel: los ficheros del supervisor no se tocan desde Bash — consultalos con la tool Read/Grep; solo el humano los modifica, fuera de la sesion." + doc("supervisor"));
       process.exit(2);
     }
+    // ADR 0009 (KJC-BUG-0161): kj harden --commit es un ACTO HUMANO — la
+    // sesion ni lo intenta. Sin escape (superficie de supervisor). includes()
+    // a proposito: cero ambiguedad de escapes en plantilla, y fail-closed
+    // (mencionarlo en un argumento tambien bloquea: preferible a un hueco).
+    // ANTES de KJ_SENTINEL_OFF a proposito, como el guard PROTECTED de
+    // arriba: un env var lo pone tambien un agente — el supervisor no se
+    // apaga con interruptores al alcance del supervisado.
+    {
+      const kjCmd = String(input.command || "");
+      if (tool === "Bash" && kjCmd.includes("harden") && kjCmd.includes("--commit")) {
+        console.error("karajan sentinel: kj harden --commit es un acto humano (ADR 0009) — pideselo a tu usuario; ninguna sesion de agente lo ejecuta." + doc("supervisor"));
+        process.exit(2);
+      }
+    }
     if (process.env.KJ_SENTINEL_OFF === "1") process.exit(0);
     // KJC-BUG-0142: cada deny anuncia su escape como prefijo del comando
     // (KJ_ALLOW_X=1 cmd), pero el hook corre con el env del HOST — el
@@ -411,7 +426,7 @@ process.stdin.on("end", () => {
       if (bad === null) return true;
       if (!escNoted.has(name)) {
         escNoted.add(name);
-        console.error("kj sentinel: " + name + "=1 presente pero IGNORADO — el escape solo vale en un comando simple y este contiene " + JSON.stringify(bad) + " fuera de comillas simples (sin ; | & $ ( ) backtick ni salto de linea: parte el comando o usa -F fichero)");
+        console.error("karajan sentinel: " + name + "=1 presente pero IGNORADO — el escape solo vale en un comando simple y este contiene " + JSON.stringify(bad) + " fuera de comillas simples (sin ; | & $ ( ) backtick ni salto de linea: parte el comando o usa -F fichero)" + doc("escapes"));
       }
       return false;
     };
@@ -530,7 +545,7 @@ process.stdin.on("end", () => {
       if (problems.length > 0) {
         if (escOn("KJ_ALLOW_IDENTITY")) { recordEscape(sid, "KJ_ALLOW_IDENTITY", tool); }
         else {
-          console.error("kj sentinel: identity lock (ADR 0005) —" + problems.map((p) => ESC_NL + "- " + p).join("") + ESC_NL + "(KJ_ALLOW_IDENTITY=1 = excepcion consciente, queda registrada)");
+          console.error("karajan sentinel: identity lock (ADR 0005) —" + problems.map((p) => ESC_NL + "- " + p).join("") + ESC_NL + "(KJ_ALLOW_IDENTITY=1 = excepcion consciente, queda registrada)" + doc("identity"));
           process.exit(2);
         }
       }
@@ -553,7 +568,7 @@ process.stdin.on("end", () => {
     };
     const laneDeny = (what, lane) => {
       if (escOn("KJ_ALLOW_CROSS_LANE")) { recordEscape(sid, "KJ_ALLOW_CROSS_LANE", tool); return false; }
-      console.error("kj sentinel: " + what + " vive en otro carril (" + lane + ") de este repo — cada sesion muta solo SU worktree (MONO-0). Cruce deliberado: KJ_ALLOW_CROSS_LANE=1, queda registrado.");
+      console.error("karajan sentinel: " + what + " vive en otro carril (" + lane + ") de este repo — cada sesion muta solo SU worktree (MONO-0). Cruce deliberado: KJ_ALLOW_CROSS_LANE=1, queda registrado." + doc("cross-lane"));
       return true;
     };
     if (EDIT_TOOLS.includes(tool)) {
@@ -581,7 +596,7 @@ process.stdin.on("end", () => {
         if (/(^|[;&|(\\s])(cd|pushd)([ \\t]|$)/.test(cmd)) {
           if (escOn("KJ_ALLOW_CROSS_LANE")) { recordEscape(sid, "KJ_ALLOW_CROSS_LANE", tool); }
           else {
-            console.error("kj sentinel: cd/pushd en un comando mutador — las rutas posteriores no son verificables por el guard de carriles (MONO-0); usa git -C / npm --prefix / rutas ABSOLUTAS sin cd (o KJ_ALLOW_CROSS_LANE=1, queda registrado).");
+            console.error("karajan sentinel: cd/pushd en un comando mutador — las rutas posteriores no son verificables por el guard de carriles (MONO-0); usa git -C / npm --prefix / rutas ABSOLUTAS sin cd (o KJ_ALLOW_CROSS_LANE=1, queda registrado)." + doc("cross-lane"));
             process.exit(2);
           }
         }
@@ -600,7 +615,7 @@ process.stdin.on("end", () => {
         if (/>{1,2}[ \\t]*["']?[\\$\`]/.test(cmd)) {
           if (escOn("KJ_ALLOW_CROSS_LANE")) { recordEscape(sid, "KJ_ALLOW_CROSS_LANE", tool); }
           else {
-            console.error("kj sentinel: redireccion con destino tras variable/sustitucion — el guard de carriles no puede verificarlo (MONO-0); usa una ruta LITERAL (o KJ_ALLOW_CROSS_LANE=1, queda registrado).");
+            console.error("karajan sentinel: redireccion con destino tras variable/sustitucion — el guard de carriles no puede verificarlo (MONO-0); usa una ruta LITERAL (o KJ_ALLOW_CROSS_LANE=1, queda registrado)." + doc("cross-lane"));
             process.exit(2);
           }
         }
@@ -666,7 +681,7 @@ process.stdin.on("end", () => {
         if (/\\$\\(|\`/.test(cmd) || quotedPathWithSpaces(cmd)) {
           if (escOn("KJ_ALLOW_CROSS_LANE")) { recordEscape(sid, "KJ_ALLOW_CROSS_LANE", tool); }
           else {
-            console.error("kj sentinel: sustitucion de comandos o ruta entrecomillada con espacios en un comando mutador — no verificable por el guard de carriles (MONO-0); usa valores/rutas LITERALES sin sustitucion (o KJ_ALLOW_CROSS_LANE=1, queda registrado).");
+            console.error("karajan sentinel: sustitucion de comandos o ruta entrecomillada con espacios en un comando mutador — no verificable por el guard de carriles (MONO-0); usa valores/rutas LITERALES sin sustitucion (o KJ_ALLOW_CROSS_LANE=1, queda registrado)." + doc("cross-lane"));
             process.exit(2);
           }
         }
@@ -675,7 +690,7 @@ process.stdin.on("end", () => {
         if (!segs.every((s) => !/[\\$]/.test(s) || SAFE_EXP_SEG.test(s))) {
           if (escOn("KJ_ALLOW_CROSS_LANE")) { recordEscape(sid, "KJ_ALLOW_CROSS_LANE", tool); }
           else {
-            console.error("kj sentinel: expansion de shell en una herramienta generica de fichero/interprete — el objetivo no es verificable por el guard de carriles (MONO-0); usa rutas LITERALES o un runner del toolchain (o KJ_ALLOW_CROSS_LANE=1, queda registrado).");
+            console.error("karajan sentinel: expansion de shell en una herramienta generica de fichero/interprete — el objetivo no es verificable por el guard de carriles (MONO-0); usa rutas LITERALES o un runner del toolchain (o KJ_ALLOW_CROSS_LANE=1, queda registrado)." + doc("cross-lane"));
             process.exit(2);
           }
         }
@@ -708,7 +723,7 @@ process.stdin.on("end", () => {
       const actorRole = process.env.KJ_POLICY_ROLE || "coder";
       const pres = spawnSync("kj", ["policy", "eval", "--strict", "--role", actorRole, "--tool", tool, "--input", JSON.stringify(input)], { cwd: ROOT, encoding: "utf8" });
       if (pres.error || pres.status === null) {
-        console.error("kj sentinel: .karajan/policy.yml declara enforcement pero kj no es ejecutable — la policy no se puede evaluar; restaura kj en el PATH (npm i -g @karajan-family/code, o el nombre legacy karajan-code) o retira la policy conscientemente.");
+        console.error("karajan sentinel: .karajan/policy.yml declara enforcement pero kj no es ejecutable — la policy no se puede evaluar; restaura kj en el PATH (npm i -g @karajan-family/code, o el nombre legacy karajan-code) o retira la policy conscientemente." + doc("policy"));
         process.exit(2);
       }
       if (pres.status === 2) {
@@ -717,13 +732,13 @@ process.stdin.on("end", () => {
         const secure = !!(v && v.class === "security");
         if (!secure && escOn("KJ_ALLOW_POLICY")) { recordEscape(sid, "KJ_ALLOW_POLICY", tool); }
         else {
-          console.error("kj sentinel: policy deny [" + ((v && v.rule_id) || "policy") + "] " + ((v && v.reason) || "la tool call viola la policy del proyecto") + (secure ? " [security — sin escape ni arbitraje]" : " (KJ_ALLOW_POLICY=1 = excepcion consciente, queda registrada; el commit exigira ademas KJ_POLICY_REASON)"));
+          console.error("karajan sentinel: policy deny [" + ((v && v.rule_id) || "policy") + "] " + ((v && v.reason) || "la tool call viola la policy del proyecto") + (secure ? " [security — sin escape ni arbitraje]" : " (KJ_ALLOW_POLICY=1 = excepcion consciente, queda registrada; el commit exigira ademas KJ_POLICY_REASON)") + doc("policy"));
           process.exit(2);
         }
       } else if (pres.status !== 0) {
         if (escOn("KJ_ALLOW_POLICY")) { recordEscape(sid, "KJ_ALLOW_POLICY", tool); }
         else {
-          console.error("kj sentinel: kj policy eval fallo (exit " + pres.status + ") — la policy declarada no se pudo evaluar, deny por defecto; diagnostica con kj policy check y corrige .karajan/policy.yml fuera de la sesion (o KJ_ALLOW_POLICY=1 = excepcion consciente, queda registrada).");
+          console.error("karajan sentinel: kj policy eval fallo (exit " + pres.status + ") — la policy declarada no se pudo evaluar, deny por defecto; diagnostica con kj policy check y corrige .karajan/policy.yml fuera de la sesion (o KJ_ALLOW_POLICY=1 = excepcion consciente, queda registrada)." + doc("policy"));
           process.exit(2);
         }
       }
@@ -746,7 +761,7 @@ process.stdin.on("end", () => {
           if (hard.length && blockOn) {
             if (escOn("KJ_ALLOW_STEWARD")) { recordEscape(sid, "KJ_ALLOW_STEWARD", tool); }
             else {
-              console.error("kj sentinel: steward — el estado del proyecto bloquea empezar (barrido " + rep.sweptAt + "):" + String.fromCharCode(10) + hard.map((r) => "- " + r.id + ": " + (r.evidence || "") + " -> " + (r.remedy || r.renew || "kj steward sweep")).join(String.fromCharCode(10)) + String.fromCharCode(10) + "(KJ_ALLOW_STEWARD=1 = excepcion consciente de esta sesion, queda registrada)");
+              console.error("karajan sentinel: steward — el estado del proyecto bloquea empezar (barrido " + rep.sweptAt + "):" + String.fromCharCode(10) + hard.map((r) => "- " + r.id + ": " + (r.evidence || "") + " -> " + (r.remedy || r.renew || "kj steward sweep")).join(String.fromCharCode(10)) + String.fromCharCode(10) + "(KJ_ALLOW_STEWARD=1 = excepcion consciente de esta sesion, queda registrada)" + doc("steward"));
               process.exit(2);
             }
           }
@@ -768,8 +783,8 @@ process.stdin.on("end", () => {
         if (why) {
           if (escOn("KJ_ALLOW_NO_CARD")) { recordEscape(sid, "KJ_ALLOW_NO_CARD", tool); process.exit(0); }
           console.error(why === "base"
-            ? "kj sentinel: no se editan fuentes en la rama base '" + branch + "' — crea la card (kj hu add) y la rama: git checkout -b feat/<CARD-ID>-descripcion. (KJ_ALLOW_NO_CARD=1 = excepcion consciente, queda registrada)"
-            : "kj sentinel: la rama '" + branch + "' no referencia ninguna card — crea/mueve la card a running (kj hu add | kj hu move) y usa una rama feat/<CARD-ID>-descripcion. (KJ_ALLOW_NO_CARD=1 = excepcion consciente, queda registrada)");
+            ? "karajan sentinel: no se editan fuentes en la rama base '" + branch + "' — crea la card (kj hu add) y la rama: git checkout -b feat/<CARD-ID>-descripcion. (KJ_ALLOW_NO_CARD=1 = excepcion consciente, queda registrada)" + doc("card-first")
+            : "karajan sentinel: la rama '" + branch + "' no referencia ninguna card — crea/mueve la card a running (kj hu add | kj hu move) y usa una rama feat/<CARD-ID>-descripcion. (KJ_ALLOW_NO_CARD=1 = excepcion consciente, queda registrada)" + doc("card-first"));
           process.exit(2);
         }
       }
@@ -787,7 +802,7 @@ process.stdin.on("end", () => {
       if (pend.length > 0 && (mergeM || ADVANCE.test(cmd))) {
         if (escOn("KJ_ALLOW_BOARD")) { recordEscape(sid, "KJ_ALLOW_BOARD", tool); }
         else {
-          console.error("kj sentinel: board-sync — el metodo no avanza con cards mergeadas sin mover:\\n" + pend.map((p) => "- " + pendingText(p)).join("\\n") + "\\n(KJ_ALLOW_BOARD=1 = excepcion consciente, queda registrada)");
+          console.error("karajan sentinel: board-sync — el metodo no avanza con cards mergeadas sin mover:\\n" + pend.map((p) => "- " + pendingText(p)).join("\\n") + "\\n(KJ_ALLOW_BOARD=1 = excepcion consciente, queda registrada)" + doc("board-sync"));
           process.exit(2);
         }
       }
@@ -802,7 +817,7 @@ process.stdin.on("end", () => {
         const body = bodyFile[2] || bodyFile[3] || bodyFile[4];
         const g = spawnSync("kj", ["claims", "gate", "--transcript", transcript, "--file", body], { cwd: ROOT, encoding: "utf8" });
         if (!g.error && g.status === 2) {
-          console.error("kj sentinel: claims — un dato del cuerpo de la PR esta DESMENTIDO por las salidas de este turno:\\n" + (g.stderr || "").trim() + "\\nVerificalo o marcalo como no comprobado antes de crear la PR. Detalle: kj claims check --transcript " + transcript + " --file " + body);
+          console.error("karajan sentinel: claims — un dato del cuerpo de la PR esta DESMENTIDO por las salidas de este turno:\\n" + (g.stderr || "").trim() + "\\nVerificalo o marcalo como no comprobado antes de crear la PR. Detalle: kj claims check --transcript " + transcript + " --file " + body + doc("claims"));
           process.exit(2);
         }
       }
@@ -813,7 +828,7 @@ process.stdin.on("end", () => {
         if (res.status !== 0) {
           let items = "";
           try { items = (JSON.parse(res.stdout).checks || []).filter((c) => !c.ok).map((c) => "\\n- " + c.name + ": " + c.detail).join(""); } catch { /* raw output */ }
-          console.error("kj sentinel: release check en ROJO — no se publica ni despliega hasta resolverlo:" + (items || "\\n- corre kj release check para el detalle") + "\\n(KJ_ALLOW_RELEASE=1 = excepcion consciente, queda registrada)");
+          console.error("karajan sentinel: release check en ROJO — no se publica ni despliega hasta resolverlo:" + (items || "\\n- corre kj release check para el detalle") + "\\n(KJ_ALLOW_RELEASE=1 = excepcion consciente, queda registrada)" + doc("release"));
           process.exit(2);
         }
       } else if (PUSH.test(cmd)) {
@@ -827,7 +842,7 @@ process.stdin.on("end", () => {
           v = violations({ ...sess, pending_moves: [] }, branchOf());
         }
         if (v.length) {
-          console.error("kj sentinel: git push con el metodo en rojo:\\n" + v.map((x) => "- " + x).join("\\n") + "\\nResuelve antes de empujar. Estado: kj sentinel status");
+          console.error("karajan sentinel: git push con el metodo en rojo:\\n" + v.map((x) => "- " + x).join("\\n") + "\\nResuelve antes de empujar. Estado: kj sentinel status" + doc("push-gate"));
           process.exit(2);
         }
       }

package/src/harden/supervisor-commit.js

@@ -0,0 +1,147 @@
+/**
+ * KJC-BUG-0161 / ADR 0009 (opción A) — `kj harden --commit`, el cauce
+ * sancionado del supervisor: ACTO HUMANO que versiona la regeneración con
+ * provenance trackeada (versión, parámetros, sha256), sello en el acta y
+ * commit quirúrgico. El --no-verify es a conciencia: lo que salta en local
+ * lo re-verifica CI contra la provenance (pieza 3).
+ */
+import { execFileSync } from "node:child_process";
+import { createHash } from "node:crypto";
+import { closeSync, existsSync, openSync, readFileSync, readSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+
+import { recordGateDecision } from "../policy/decisions.js";
+import { readIdentity } from "../identity/store.js";
+
+export const PROVENANCE_FILE = ".karajan/supervisor-provenance.json";
+const HOOKS_PREFIX = ".karajan/hooks/";
+
+const sha256 = (abs) => createHash("sha256").update(readFileSync(abs)).digest("hex");
+
+// Capa 3 del acto humano (test adversarial del 6-sep): un pty falso engaña a
+// isTTY y `env -u` borra CLAUDECODE, pero el kj que lanza un agente DESCIENDE
+// de su proceso — y eso está en /proc lo falsifique quien lo falsifique.
+const AGENT_PROC = /claude|codex|copilot|gemini|opencode|\bagy\b/i;
+export function agentAncestry({ pid = process.pid, readProc = null, maxDepth = 40 } = {}) {
+  const read = readProc || ((p) => {
+    const stat = readFileSync(`/proc/${p}/stat`, "utf8");
+    const ppid = Number(stat.slice(stat.lastIndexOf(")") + 2).split(" ")[1]);
+    let cmd = "";
+    try { cmd = readFileSync(`/proc/${p}/cmdline`).toString("utf8").replaceAll("\0", " "); } catch { /* gone */ }
+    return { ppid, cmd };
+  });
+  let cur = pid;
+  for (let i = 0; i < maxDepth && cur > 1; i += 1) {
+    let info;
+    try { info = read(cur); } catch { return { agent: false, unknown: true }; }
+    if (info?.cmd && AGENT_PROC.test(info.cmd)) return { agent: true, match: info.cmd.slice(0, 80) };
+    if (!Number.isFinite(info?.ppid) || info.ppid === cur) break;
+    cur = info.ppid;
+  }
+  return { agent: false };
+}
+
+// Lee la respuesta del nonce de la TTY REAL del proceso (no de stdin, que un
+// atacante alimenta por pipe): /dev/tty solo existe con terminal de control.
+function defaultConfirm(nonce) {
+  process.stdout.write(`harden --commit: teclea "${nonce}" para confirmar que eres humano: `);
+  try {
+    const buf = Buffer.alloc(64);
+    const fd = openSync("/dev/tty", "r");
+    const n = readSync(fd, buf, 0, 64);
+    closeSync(fd);
+    return buf.toString("utf8", 0, n).trim();
+  } catch {
+    return null;
+  }
+}
+
+/** Ficheros de supervisor TRACKEADOS con cambios (staged o no). */
+export function supervisorDrift({ projectDir, gitFn }) {
+  const run = gitFn || ((args) => execFileSync("git", args, { cwd: projectDir, encoding: "utf8" }));
+  // Un rename sale como "R  old -> new" (catch de codex): ambas rutas son
+  // drift — la vieja se versiona como borrado y la nueva con su hash.
+  return run(["status", "--porcelain", "--", ".karajan/hooks"])
+    .split("\n")
+    .flatMap((l) => l.slice(3).trim().split(" -> "))
+    .filter((f) => f.startsWith(HOOKS_PREFIX));
+}
+
+/**
+ * @returns {{committed: boolean, reason?: string, files?: object[]}}
+ */
+export function commitSupervisorRegeneration({
+  projectDir,
+  kjVersion,
+  generation,
+  logger = console,
+  gitFn = null,
+  env = process.env,
+  tty = process.stdout.isTTY,
+  deps = {},
+}) {
+  // El cauce es humano por diseño (ADR 0009): una sesión de agente no lo usa.
+  if (env.CLAUDECODE || env.KJ_NON_INTERACTIVE === "1" || !tty) {
+    throw new Error(
+      "harden --commit es un acto humano: córrelo desde TU terminal, fuera de una sesión de agente (ADR 0009)",
+    );
+  }
+  const anc = agentAncestry(deps.ancestry ?? {});
+  if (anc.agent) {
+    throw new Error(
+      `harden --commit es un acto humano y este proceso desciende de un agente (${anc.match}) — ni con pty falso ni con el entorno limpio (ADR 0009)`,
+    );
+  }
+  // Capa 4 (test adversarial 6-sep: un huérfano a init con pty falso y
+  // prompts a ciegas llegó hasta aquí): nonce aleatorio tecleado de vuelta.
+  // Un alimentador ciego no conoce el código; automatizar su lectura exige
+  // un driver expect — premeditación inequívoca, no un descuido.
+  const nonce = createHash("sha256").update(String(Math.random())).digest("hex").slice(0, 6);
+  const answer = (deps.confirm ?? defaultConfirm)(nonce);
+  if (answer !== nonce) {
+    throw new Error(`harden --commit: confirmación humana fallida (esperaba "${nonce}") — ADR 0009`);
+  }
+  const run = gitFn || ((args) => execFileSync("git", args, { cwd: projectDir, encoding: "utf8" }));
+  const files = supervisorDrift({ projectDir, gitFn: run });
+  if (files.length === 0) {
+    logger.info?.("harden --commit: sin drift en el supervisor — nada que versionar");
+    return { committed: false, reason: "sin drift" };
+  }
+  // Borrados/renombrados también son drift (catch de codex): ausente ⇒ deleted.
+  const hashed = files.map((file) => {
+    const abs = join(projectDir, file);
+    return existsSync(abs) ? { file, sha256: sha256(abs) } : { file, deleted: true };
+  });
+  const who = readIdentity(projectDir);
+  const provenance = {
+    kj_version: kjVersion,
+    generated_at: new Date().toISOString(),
+    generation,
+    who: who ? { gh: who.gh_user ?? null, git: who.git_email ?? null, grade: "declarada" } : null,
+    files: hashed,
+  };
+  writeFileSync(join(projectDir, PROVENANCE_FILE), `${JSON.stringify(provenance, null, 2)}\n`, "utf8");
+  recordGateDecision(projectDir, {
+    decision: "exempt",
+    chokepoint: "supervisor",
+    kind: "supervisor-regeneration",
+    kj_version: kjVersion,
+    files: hashed,
+    who: provenance.who,
+  });
+  // Por DIRECTORIO, no por fichero: un rename ya staged deja la ruta vieja
+  // sin existir y `git add -- <vieja>` falla; `-A` sobre el dir del
+  // supervisor versiona altas, cambios, borrados y renombrados por igual.
+  run(["add", "-A", "--", PROVENANCE_FILE, ".karajan/hooks"]);
+  run([
+    "commit",
+    "--no-verify",
+    "-m",
+    `chore(harden): supervisor regenerated and sealed by kj harden v${kjVersion}`,
+    "--",
+    PROVENANCE_FILE,
+    ".karajan/hooks",
+  ]);
+  logger.info?.(`harden --commit: ${files.length} fichero(s) de supervisor versionados con procedencia sellada`);
+  return { committed: true, files: hashed };
+}

package/src/harden/workflow-templates.js

@@ -40,7 +40,9 @@ export const NO_AI_ATTRIBUTION_WORKFLOW = [
   "        env:",
   "          BASE_REF: ${{ github.base_ref }}",
   "        run: |",
-  '          msgs=$(git log --format=%B "origin/${BASE_REF}...HEAD" || true)',
+  '          if ! msgs=$(git log --format=%B "origin/${BASE_REF}...HEAD"); then',
+  '            echo "::error::cannot resolve origin/${BASE_REF}...HEAD — the scan did not run"; exit 1',
+  "          fi",
   "          pat='co-authored-by:.*(claude|anthropic|openai|chatgpt|gpt-[0-9]|copilot|gemini|cursor|windsurf|codeium|deepseek)'",
   "          pat=\"$pat|(generated|written|authored|assisted|powered) (by|with|using) .*(claude|anthropic|openai|copilot|gemini)\"",
   '          if printf "%s" "$msgs" | grep -qiE "$pat"; then',

package/src/policy/engine.js

@@ -25,7 +25,9 @@ import {
 export const SUPERVISOR_DEFAULTS = [
   {
     id: "defaults.supervisor.write",
-    pattern: /\.claude\/settings\.json\b|\.karajan\/(hooks|harness)\//,
+    // ADR 0009: la provenance del supervisor es superficie de supervisor —
+    // un agente no la escribe; solo kj harden --commit (humano) la produce.
+    pattern: /\.claude\/settings\.json\b|\.karajan\/(hooks|harness)\/|\.karajan\/supervisor-provenance\.json\b/,
     message: "nombra ficheros del supervisor — solo el humano los modifica, fuera de la sesión",
   },
 ];

package/src/policy/exceptions.js

@@ -6,7 +6,7 @@
  */
 import { appendFileSync, mkdirSync, readFileSync } from "node:fs";
 import { join } from "node:path";
-import { userInfo } from "node:os";
+import { homedir, userInfo } from "node:os";
 import { spawnSync } from "node:child_process";
 import { recordPolicyException as kernelRecord } from "@karajan-family/governance";
 
@@ -23,20 +23,25 @@ function defaultIdentity(projectDir) {
  * reporta), jamás rompe la evaluación. Las puntuales no dan standing.
  * @returns {{standing: object[], discarded: number}}
  */
-export function loadStandingExceptions(projectDir) {
-  const { records, discarded } = loadExceptionRecords(projectDir);
-  return { standing: records.filter((rec) => rec.scopeKind === "permanente"), discarded };
+export function loadStandingExceptions(projectDir, { home } = {}) {
+  const proj = loadExceptionRecords(projectDir);
+  const glob = loadGlobalExceptionRecords({ home });
+  return {
+    standing: [...proj.records, ...glob.records].filter((rec) => rec.scopeKind === "permanente"),
+    discarded: proj.discarded + glob.discarded,
+  };
 }
 
 /**
- * TODOS los registros del jsonl (permanentes y puntuales) con el mismo parse
- * tolerante — el informe (PL-E) cuenta también las puntuales.
- * @returns {{records: object[], discarded: number}}
+ * Ruta del almacén GLOBAL (~/.karajan): excepciones de la máquina, no de un
+ * proyecto. `home` es inyectable SOLO para tests.
  */
-export function loadExceptionRecords(projectDir) {
+export const globalExceptionsFile = ({ home } = {}) => join(home ?? homedir(), ".karajan", "policy-exceptions.jsonl");
+
+function readRecordsAt(file, origin) {
   let raw;
   try {
-    raw = readFileSync(join(projectDir, ".karajan", "policy-exceptions.jsonl"), "utf8");
+    raw = readFileSync(file, "utf8");
   } catch {
     return { records: [], discarded: 0 };
   }
@@ -49,7 +54,9 @@ export function loadExceptionRecords(projectDir) {
       // JSON válido pero no-objeto (null, número…) es tan corrupto como el
       // que no parsea: se descarta contando (catch de codex, explícito).
       if (typeof rec !== "object" || rec === null) discarded += 1;
-      else records.push(rec);
+      // Procedencia FÍSICA (KJC-TSK-0813): el origin es el almacén del que
+      // se LEYÓ la línea, pisando lo que la línea declare — no se miente.
+      else records.push({ ...rec, origin });
     } catch {
       discarded += 1;
     }
@@ -57,14 +64,43 @@ export function loadExceptionRecords(projectDir) {
   return { records, discarded };
 }
 
+/**
+ * TODOS los registros del jsonl (permanentes y puntuales) con el mismo parse
+ * tolerante — el informe (PL-E) cuenta también las puntuales.
+ * @returns {{records: object[], discarded: number}}
+ */
+export function loadExceptionRecords(projectDir) {
+  return readRecordsAt(join(projectDir, ".karajan", "policy-exceptions.jsonl"), "project");
+}
+
+/** @returns {{records: object[], discarded: number}} */
+export function loadGlobalExceptionRecords({ home } = {}) {
+  return readRecordsAt(globalExceptionsFile({ home }), "global");
+}
+
 function defaultAppend(projectDir, line) {
   const dir = join(projectDir, ".karajan");
   mkdirSync(dir, { recursive: true });
   appendFileSync(join(dir, "policy-exceptions.jsonl"), line, "utf8");
 }
 
+const globalAppend = (home) => (_projectDir, line) => {
+  const dir = join(home ?? homedir(), ".karajan");
+  mkdirSync(dir, { recursive: true });
+  appendFileSync(join(dir, "policy-exceptions.jsonl"), line, "utf8");
+};
+
 /** @returns {object} the recorded entry (with ts + who resolved). */
-export function recordPolicyException({ projectDir, entry, deps = {} }) {
-  const { append = defaultAppend, identity = defaultIdentity } = deps;
-  return kernelRecord({ projectDir, entry, deps: { append, identity } });
+export function recordPolicyException({ projectDir, entry, deps = {}, scope = "project" }) {
+  if (scope !== "project" && scope !== "global") {
+    throw new TypeError(`recordPolicyException: scope "${scope}" no existe — solo project o global`);
+  }
+  // Un global puntual NO existe: lo puntual liga al hash de un artefacto de
+  // UN proyecto; el ámbito global solo admite permanentes con caducidad.
+  if (scope === "global" && (entry?.scopeKind !== "permanente" || !entry?.expiresAt)) {
+    throw new TypeError("recordPolicyException: el ámbito global exige scopeKind permanente con expiresAt — un global puntual no existe");
+  }
+  const { home, append = scope === "global" ? globalAppend(home) : defaultAppend, identity = defaultIdentity } = deps;
+  // El origin escrito es informativo: la carga re-estampa el FÍSICO igualmente.
+  return kernelRecord({ projectDir, entry: { ...entry, origin: scope }, deps: { append, identity } });
 }