kibi-cli 1.0.1 → 2.0.0

package/dist/commands/engine.d.ts

@@ -1,6 +1,18 @@
 export declare function engineStatusCommand(): Promise<void>;
 export declare function engineStopCommand(): Promise<void>;
 export declare function storageStatusCommand(): Promise<void>;
+export interface EngineJanitorOptions {
+    readonly all?: boolean;
+    readonly apply?: boolean;
+    readonly format?: string;
+}
+/**
+ * Classify and (optionally) clean stale engine daemons and branch-store
+ * locks: crashed engines leave ownership journals behind, worktree removals
+ * strand live daemons, dead daemons leave sockets. Report-only by default;
+ `--apply` executes the clean actions.
+ */
+export declare function engineJanitorCommand(options: EngineJanitorOptions): Promise<void>;
 export declare function storageCompactCommand(): Promise<void>;
 export declare function storageExportCommand(options: {
     output: string;

package/dist/commands/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/commands/engine.ts"],"names":[],"mappings":"AAkCA,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CA4BzD;AAED,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAWvD;AAED,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAE1D;AAED,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAkB3D;AAED,wBAAsB,oBAAoB,CAAC,OAAO,EAAE;IAClD,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhB"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/commands/engine.ts"],"names":[],"mappings":"AAkCA,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CA4BzD;AAED,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,IAAI,CAAC,CAWvD;AAED,wBAAsB,oBAAoB,IAAI,OAAO,CAAC,IAAI,CAAC,CAE1D;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AAEH,wBAAsB,oBAAoB,CACxC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,IAAI,CAAC,CAyCf;AAED,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,IAAI,CAAC,CAkB3D;AAED,wBAAsB,oBAAoB,CAAC,OAAO,EAAE;IAClD,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,OAAO,CAAC,IAAI,CAAC,CAWhB"}

package/dist/commands/engine.js

@@ -69,6 +69,46 @@ export async function engineStopCommand() {
 export async function storageStatusCommand() {
     await engineStatusCommand();
 }
+/**
+ * Classify and (optionally) clean stale engine daemons and branch-store
+ * locks: crashed engines leave ownership journals behind, worktree removals
+ * strand live daemons, dead daemons leave sockets. Report-only by default;
+ `--apply` executes the clean actions.
+ */
+// implements REQ-core-journaled-engine-persistence
+export async function engineJanitorCommand(options) {
+    const { runtimeDirectory } = await import("../engine.js");
+    const { runJanitor } = await import("../prolog/janitor.js");
+    const findings = runJanitor({
+        workspaceRoot: workspaceRoot(),
+        runtimeDirectory: runtimeDirectory(),
+        all: options.all === true,
+        apply: options.apply === true,
+    });
+    const cleanable = findings.filter((f) => f.action !== "keep").length;
+    const cleaned = options.apply === true ? cleanable : 0;
+    if (options.format === "json") {
+        console.log(JSON.stringify({ findings, cleaned, cleanable, total: findings.length }));
+        return;
+    }
+    if (findings.length === 0) {
+        console.log("No engine or lock artifacts found.");
+        return;
+    }
+    for (const finding of findings) {
+        const holder = "pid" in finding && finding.pid !== undefined ? ` pid=${finding.pid}` : "";
+        const workspace = finding.kind === "store-lock" && finding.workspaceRoot !== undefined
+            ? ` workspace=${finding.workspaceRoot}`
+            : "";
+        const scope = finding.kind === "store-lock"
+            ? `store ${finding.storePath}`
+            : `socket ${finding.socketPath}`;
+        console.log(`[${finding.action}] ${scope}${holder}${workspace} holder=${finding.holderState}`);
+    }
+    console.log(options.apply === true
+        ? `${findings.length} finding(s), ${cleaned} cleaned`
+        : `${findings.length} finding(s), ${cleanable} cleanable (report only; re-run with --apply)`);
+}
 export async function storageCompactCommand() {
     const root = workspaceRoot();
     const attachment = resolveBranchAttachment(root);

package/dist/commands/github-init.d.ts

@@ -53,4 +53,5 @@ export declare function resolveGitHubRepo(remotes: readonly GitRemote[]): GitHub
 export declare function writeGitHubWorkflow(cwd: string, kind: GitHubWorkflowKind, template: string): WorkflowWriteStatus;
 export declare function ensureKibiReportGitIgnore(cwd: string): GitIgnoreWriteStatus;
 export declare function scaffoldGitHubIntegration(options: GitHubScaffoldOptions, deps?: GitHubInitDeps): GitHubScaffoldResult;
+export declare function skipBlankLines(lines: readonly string[], start: number): number;
 //# sourceMappingURL=github-init.d.ts.map

package/dist/commands/github-init.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"github-init.d.ts","sourceRoot":"","sources":["../../src/commands/github-init.ts"],"names":[],"mappings":"AA0BA,eAAO,MAAM,8BAA8B,sCACN,CAAC;AACtC,eAAO,MAAM,6BAA6B,qCAAqC,CAAC;AAChF,eAAO,MAAM,sBAAsB,gBAAgB,CAAC;AACpD,eAAO,MAAM,cAAc,4BAA4B,CAAC;AACxD,eAAO,MAAM,oBAAoB,gGAC8D,CAAC;AAChG,eAAO,MAAM,iBAAiB,UAAU,CAAC;AACzC,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAM7C,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AACvE,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,WAAW,GACX,SAAS,GACT,sBAAsB,CAAC;AAC3B,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,WAAW,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,WAAW,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;IAC3C,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,SAAS,EAAE,oBAAoB,CAAC;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9B,CAAC,CAAC;AAGH,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,kBAAkB,GACvB,MAAM,CAER;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAS3E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CA+BrE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAUjE;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,MAAM,CAER;AAED,wBAAgB,oBAAoB,IAAI,eAAe,CAKtD;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAMnE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAErD;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQhE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,GACpB,MAAM,CAuBR;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBvD;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,UAAU,GAAG,SAAS,CASxB;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,MAAM,GACf,mBAAmB,CAcrB;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAa3E;AAGD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,GAAE,cAAmB,GACxB,oBAAoB,CAsDtB"}
+{"version":3,"file":"github-init.d.ts","sourceRoot":"","sources":["../../src/commands/github-init.ts"],"names":[],"mappings":"AA0BA,eAAO,MAAM,8BAA8B,sCACN,CAAC;AACtC,eAAO,MAAM,6BAA6B,qCAAqC,CAAC;AAChF,eAAO,MAAM,sBAAsB,gBAAgB,CAAC;AACpD,eAAO,MAAM,cAAc,4BAA4B,CAAC;AACxD,eAAO,MAAM,oBAAoB,gGAC8D,CAAC;AAChG,eAAO,MAAM,iBAAiB,UAAU,CAAC;AACzC,eAAO,MAAM,gBAAgB,eAAe,CAAC;AAM7C,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAAC;AAEH,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,CAAC,CAAC;AAEH,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEpD,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AACvE,MAAM,MAAM,iBAAiB,GACzB,SAAS,GACT,WAAW,GACX,SAAS,GACT,sBAAsB,CAAC;AAC3B,MAAM,MAAM,oBAAoB,GAAG,SAAS,GAAG,WAAW,CAAC;AAE3D,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC,CAAC;AAEH,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,WAAW,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;IAC3C,GAAG,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAChC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACnC,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,MAAM,EAAE,iBAAiB,CAAC;IAC1B,SAAS,EAAE,oBAAoB,CAAC;IAChC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;CAC9B,CAAC,CAAC;AAGH,wBAAgB,iBAAiB,IAAI,MAAM,CAE1C;AAED,wBAAgB,8BAA8B,CAC5C,IAAI,EAAE,kBAAkB,GACvB,MAAM,CAER;AAED,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAS3E;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CA+BrE;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,eAAe,CAUjE;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,MAAM,CAER;AAED,wBAAgB,oBAAoB,IAAI,eAAe,CAKtD;AAED,wBAAgB,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,CAMnE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAErD;AAED,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQhE;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,GACpB,MAAM,CAuBR;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,EAAE,CAiBvD;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,SAAS,SAAS,EAAE,GAC5B,UAAU,GAAG,SAAS,CASxB;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,kBAAkB,EACxB,QAAQ,EAAE,MAAM,GACf,mBAAmB,CAcrB;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,oBAAoB,CAa3E;AAGD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,qBAAqB,EAC9B,IAAI,GAAE,cAAmB,GACxB,oBAAoB,CAsDtB;AAsDD,wBAAgB,cAAc,CAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,KAAK,EAAE,MAAM,GACZ,MAAM,CAMR"}

package/dist/commands/github-init.js

@@ -50,7 +50,7 @@ export function parseGitHubRemote(url) {
         return undefined;
     }
     const patterns = [
-        /^https?:\/\/(?:www\.)?github\.com\/([^/]+)\/([^/]+?)(?:\.git)?\/?$/i,
+        /^https?:\/\/(?:[^/@]+@)?(?:www\.)?github\.com\/([^/]+)\/([^/]+?)(?:\.git)?\/?$/i,
         /^git@github\.com:([^/]+)\/([^/]+?)(?:\.git)?\/?$/i,
         /^ssh:\/\/(?:git@)?github\.com(?::\d+)?\/([^/]+)\/([^/]+?)(?:\.git)?\/?$/i,
         /^git:\/\/github\.com\/([^/]+)\/([^/]+?)(?:\.git)?\/?$/i,
@@ -264,6 +264,13 @@ function normalizeNewlines(value) {
     const unix = value.replace(/\r\n/g, "\n");
     return unix.endsWith("\n") ? unix : `${unix}\n`;
 }
+export function skipBlankLines(lines, start) {
+    let peek = start;
+    while (peek < lines.length && (lines[peek] ?? "").trim() === "") {
+        peek += 1;
+    }
+    return peek;
+}
 function findBadgeClusterEnd(lines, start) {
     let index = start;
     while (index < lines.length && (lines[index] ?? "").trim() === "") {
@@ -279,10 +286,7 @@ function findBadgeClusterEnd(lines, start) {
             continue;
         }
         if (line.trim() === "") {
-            let peek = index + 1;
-            while (peek < lines.length && (lines[peek] ?? "").trim() === "") {
-                peek += 1;
-            }
+            const peek = skipBlankLines(lines, index + 1);
             if (peek < lines.length && BADGE_OR_IMAGE_LINE.test(lines[peek] ?? "")) {
                 index = peek;
                 continue;

package/dist/commands/init-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AAgGA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CAUN;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGtD;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CA6BjD;AAiDD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAU3D;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAYf;AASD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAkCnE;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAiBpD"}
+{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AAkIA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CAUN;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGtD;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CA6BjD;AAiDD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAU3D;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAYf;AASD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAkCnE;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAiBpD"}

package/dist/commands/init-helpers.js

@@ -23,6 +23,31 @@ import { ensureBranchStoreManifest } from "../utils/branch-store-locator.js";
 import { defaultKbManifest, writeKbManifest } from "../utils/kb-manifest.js";
 import { ENTITY_LANES, KB_PATHS } from "../utils/kb-paths.js";
 import { SYMBOLS_MANIFEST_COMMENT_BLOCK } from "./sync/manifest.js";
+// Git executes hooks with the caller's PATH, which does not include
+// node_modules/.bin, so a locally installed kibi CLI would not resolve.
+// Each hook resolves the binary up front: PATH first (global installs),
+// then a walk up from the repository root (git runs hooks from the top of
+// the working tree) for local npm/bun dependencies.
+const KIBI_BIN_RESOLVER = `KIBI_BIN="$(command -v kibi 2>/dev/null || true)"
+if [ -z "$KIBI_BIN" ]; then
+  kibi_dir="$PWD"
+  while [ -n "$kibi_dir" ] && [ "$kibi_dir" != "/" ]; do
+    if [ -x "$kibi_dir/node_modules/.bin/kibi" ]; then
+      KIBI_BIN="$kibi_dir/node_modules/.bin/kibi"
+      break
+    fi
+    kibi_parent="\${kibi_dir%/*}"
+    if [ -z "$kibi_parent" ]; then
+      kibi_parent="/"
+    fi
+    kibi_dir="$kibi_parent"
+  done
+fi
+if [ -z "$KIBI_BIN" ]; then
+  echo "kibi: cannot locate the kibi CLI (checked PATH and node_modules/.bin)." >&2
+  echo "Install kibi globally or as a project dependency, then re-run 'kibi init'." >&2
+  exit 1
+fi`;
 const POST_CHECKOUT_HOOK = `#!/bin/sh
 # post-checkout hook for kibi
 # Parameters: old_ref new_ref branch_flag
@@ -36,10 +61,12 @@ old_ref=$1
 new_ref=$2
 branch_flag=$3
 
+${KIBI_BIN_RESOLVER}
+
 if [ "$branch_flag" = "1" ]; then
   # Branch stores are derived from the checked-out tracked sources. Never copy
   # the old branch's compiled store during checkout.
-  kibi sync
+  "$KIBI_BIN" sync
 fi
 `;
 const POST_MERGE_HOOK = `#!/bin/sh
@@ -49,7 +76,9 @@ const POST_MERGE_HOOK = `#!/bin/sh
 # Uses default non-coordinate-writing sync to avoid writing
 # committed symbol artifacts during automatic hook execution.
 
-kibi sync
+${KIBI_BIN_RESOLVER}
+
+"$KIBI_BIN" sync
 `;
 const POST_REWRITE_HOOK = `#!/bin/sh
 # post-rewrite hook for kibi
@@ -60,8 +89,10 @@ const POST_REWRITE_HOOK = `#!/bin/sh
 
 rewrite_type=$1
 
+${KIBI_BIN_RESOLVER}
+
 if [ "$rewrite_type" = "rebase" ]; then
-  kibi sync
+  "$KIBI_BIN" sync
 fi
 `;
 const PRE_COMMIT_HOOK = `#!/bin/sh
@@ -76,7 +107,9 @@ const PRE_COMMIT_HOOK = `#!/bin/sh
 
 set -e
 
-kibi check --staged
+${KIBI_BIN_RESOLVER}
+
+"$KIBI_BIN" check --staged
 `;
 export async function getCurrentBranch(cwd = process.cwd()) {
     const result = resolveActiveBranch(cwd);
@@ -131,7 +164,7 @@ export function updateGitIgnore(cwd) {
 const CANONICAL_DERIVED_GITIGNORE_ENTRIES = [
     ".kb/branches/",
     ".kb/recovery/",
-    ".kb/verification/",
+    ".kb/proof/runs/",
     ".kb/briefs/",
     ".kb/migrations/",
     ".kb/usage.log",

package/dist/commands/migrate.d.ts

@@ -9,6 +9,10 @@ interface MigrateOptions {
     /** Internal migration-plan executor: create only the canonical baseline manifest. */
     initializeMissingConfig?: boolean;
 }
+export declare function formatSchemaVersion(rawSchemaVersion: unknown, normalized: number | null): string;
+export declare function warnMigrationRequiredWithoutYes(): {
+    exitCode: number;
+};
 export declare function migrateCommand(options?: MigrateOptions): Promise<{
     exitCode: number;
 }>;

package/dist/commands/migrate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAgDA,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AA4WD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAuO/B"}
+{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAgDA,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AA0ID,wBAAgB,mBAAmB,CACjC,gBAAgB,EAAE,OAAO,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,MAAM,CAUR;AAoND,wBAAgB,+BAA+B,IAAI;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKtE;AAGD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgO/B"}

package/dist/commands/migrate.js

@@ -98,7 +98,7 @@ function writeTextAtomically(filePath, content) {
     writeFileSync(tempPath, content, "utf8");
     renameSync(tempPath, filePath);
 }
-function formatSchemaVersion(rawSchemaVersion, normalized) {
+export function formatSchemaVersion(rawSchemaVersion, normalized) {
     if (normalized === null) {
         if (rawSchemaVersion === undefined) {
             return "missing";
@@ -261,6 +261,12 @@ function migrateSymbolGranularity(options) {
     }
     return { count, manifestPath };
 }
+export function warnMigrationRequiredWithoutYes() {
+    printWarning("Migration required for this repository.");
+    console.log("No changes applied.");
+    console.log("Use --dry-run to preview or --yes to apply the migration.");
+    return { exitCode: 0 };
+}
 // implements REQ-003
 export async function migrateCommand(options = {}) {
     if (options.applySafe === true ||
@@ -359,12 +365,6 @@ export async function migrateCommand(options = {}) {
         console.log("Re-run with --yes to apply these changes.");
         return { exitCode: 0 };
     }
-    if (!options.yes) {
-        printWarning("Migration required for this repository.");
-        console.log("No changes applied.");
-        console.log("Use --dry-run to preview or --yes to apply the migration.");
-        return { exitCode: 0 };
-    }
     // One-way storage cutover first: files must reach the canonical layout
     // before the manifest records the new schema generation.
     if (needsStorageMigration) {

package/dist/commands/proof-migrate-legacy.d.ts

@@ -0,0 +1,7 @@
+export type ProofMigrateLegacyOptions = Readonly<{
+    test?: string;
+}>;
+export declare function proofMigrateLegacyCommand(options: ProofMigrateLegacyOptions): Promise<{
+    exitCode: number;
+}>;
+//# sourceMappingURL=proof-migrate-legacy.d.ts.map

package/dist/commands/proof-migrate-legacy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-migrate-legacy.d.ts","sourceRoot":"","sources":["../../src/commands/proof-migrate-legacy.ts"],"names":[],"mappings":"AAsBA,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAE/C,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AAGH,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqC/B"}

package/dist/commands/proof-migrate-legacy.js

@@ -0,0 +1,45 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+import { executeMigrateLegacyReceipts } from "../operations/proof/migrate-legacy-receipts.js";
+import { createCliRuntime } from "../runtime/cli-runtime.js";
+// implements REQ-kibi-proof-evidence-protocol
+export async function proofMigrateLegacyCommand(options) {
+    const runtime = createCliRuntime();
+    const context = await runtime.open({
+        name: "kibi_proof_migrate_legacy",
+        effects: ["kb-mutate", "workspace-write"],
+        requiresProlog: true,
+        execute: async () => undefined,
+    }, {});
+    let completed = false;
+    try {
+        const result = await executeMigrateLegacyReceipts(options.test === undefined ? {} : { testId: options.test }, context);
+        process.stdout.write(`${result.content[0]?.text ?? ""}\n`);
+        for (const row of result.structuredContent.tests) {
+            process.stdout.write(`  ${row.testId}: legacy verification_receipts removed\n`);
+        }
+        completed = true;
+        await runtime.afterSuccess({ name: "kibi_proof_migrate_legacy" }, context);
+        return { exitCode: 0 };
+    }
+    finally {
+        await runtime.close(context, completed
+            ? { status: "success", result: 0 }
+            : { status: "error", error: 1 });
+    }
+}

package/dist/commands/proof-prune.d.ts

@@ -0,0 +1,8 @@
+export type ProofPruneOptions = Readonly<{
+    test?: string;
+    keep?: string;
+}>;
+export declare function proofPruneCommand(options: ProofPruneOptions): Promise<{
+    exitCode: number;
+}>;
+//# sourceMappingURL=proof-prune.d.ts.map

package/dist/commands/proof-prune.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-prune.d.ts","sourceRoot":"","sources":["../../src/commands/proof-prune.ts"],"names":[],"mappings":"AAsBA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IAEvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC,CAAC;AAGH,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC;IAC3E,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CA0CD"}

package/dist/commands/proof-prune.js

@@ -0,0 +1,53 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+import { executePruneReceipts } from "../operations/proof/prune-receipts.js";
+import { createCliRuntime } from "../runtime/cli-runtime.js";
+// implements REQ-kibi-proof-evidence-protocol
+export async function proofPruneCommand(options) {
+    const keepRaw = options.keep ?? "1";
+    const keep = Number.parseInt(keepRaw, 10);
+    if (!Number.isSafeInteger(keep) || keep < 1 || keep > 50) {
+        throw new Error("proof prune: --keep must be an integer between 1 and 50");
+    }
+    const runtime = createCliRuntime();
+    const context = await runtime.open({
+        name: "kibi_proof_prune",
+        effects: ["kb-mutate", "workspace-write"],
+        requiresProlog: true,
+        execute: async () => undefined,
+    }, {});
+    let completed = false;
+    try {
+        const result = await executePruneReceipts({
+            keep,
+            ...(options.test === undefined ? {} : { testId: options.test }),
+        }, context);
+        process.stdout.write(`${result.content[0]?.text ?? ""}\n`);
+        for (const row of result.structuredContent.tests) {
+            process.stdout.write(`  ${row.testId}: ${row.before} -> ${row.after} receipt(s)\n`);
+        }
+        completed = true;
+        await runtime.afterSuccess({ name: "kibi_proof_prune" }, context);
+        return { exitCode: 0 };
+    }
+    finally {
+        await runtime.close(context, completed
+            ? { status: "success", result: 0 }
+            : { status: "error", error: 1 });
+    }
+}

package/dist/commands/prove.d.ts

@@ -0,0 +1,37 @@
+import { executeIngestProof } from "../operations/proof/ingest-proof.js";
+import type { ProofIntegration } from "../proof/integrations.js";
+import type { OperationRuntime } from "../public/operations/runtime-types.js";
+import { readWorkspaceSnapshot } from "../public/operations/workspace-snapshot.js";
+export type ProveCommandOptions = Readonly<{
+    testId?: string;
+    requirement?: string;
+    integration?: string;
+    integrationExcept?: string;
+    all?: boolean;
+    workspaceRoot?: string;
+}>;
+export type ProveCommandDependencies = Readonly<{
+    runtime?: OperationRuntime;
+    ingestProof?: typeof executeIngestProof;
+}>;
+type SelectedTest = Record<string, unknown>;
+/**
+ * Describe which paths moved when a proof snapshot refusal fires, so
+ * consumers can see what kibi thinks changed instead of diffing by hand.
+ * Snapshot-relevant changes come first (receipt-only and ignored edits do
+ * not affect the hash), and the list is capped to keep the error readable.
+ */
+export declare function describeWorkspaceDrift(snapshot: Awaited<ReturnType<typeof readWorkspaceSnapshot>>): string;
+/**
+ * Parse a comma-separated integration selector ("a", "a,b,c") into a set of
+ * trimmed, non-empty ids. Empty selectors yield an empty set; blank items
+ * fail fast instead of silently narrowing the selection.
+ */
+export declare function parseIntegrationSelector(value: string | undefined, flagName: string): Set<string>;
+export declare function testId(test: SelectedTest): string;
+export declare function commandEnvironment(integration: ProofIntegration, commandArgv: readonly string[], snapshot: string, workspaceRoot: string, testIds: readonly string[], outputPath: string): NodeJS.ProcessEnv;
+export declare function proveCommand(options: ProveCommandOptions, deps?: ProveCommandDependencies): Promise<{
+    exitCode: number;
+}>;
+export {};
+//# sourceMappingURL=prove.d.ts.map

package/dist/commands/prove.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AASjE,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAYnF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,kBAAkB,CAAC;CACzC,CAAC,CAAC;AAEH,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,GAC1D,MAAM,CAiBR;AAED;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAUb;AAQD,wBAAgB,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEjD;AAkCD,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,UAAU,CAWnB;AA4KD,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,IAAI,GAAE,wBAA6B,GAClC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgL/B"}