kibi-cursor 1.0.0 → 2.0.0

package/bin/launch-kibi-mcp.mjs

@@ -7,14 +7,17 @@
 /**
  * Launch the kibi-mcp package installed by the consumer project.
  *
- * Cursor starts plugin MCP commands with the plugin directory as their cwd.
- * This adapter deliberately knows nothing about the Kibi source tree: it only
- * resolves a consumer workspace, finds that workspace's kibi-mcp package, and
- * runs its declared bin with the consumer as both cwd and KIBI_WORKSPACE.
+ * Cursor resolves this command from the plugin-root manifest, but the process
+ * cwd is host-controlled and is not a reliable consumer workspace (it may be
+ * the plugin directory or another host directory). This adapter deliberately
+ * knows nothing about the Kibi source tree: it resolves the unrelated consumer
+ * workspace from Cursor's workspace-folder data or explicit environment,
+ * finds that workspace's kibi-mcp package, and runs its declared bin with the
+ * consumer as both cwd and KIBI_WORKSPACE.
  */
 
 import { spawn } from "node:child_process";
-import { existsSync, readFileSync, realpathSync, statSync } from "node:fs";
+import * as fs from "node:fs";
 import { createRequire } from "node:module";
 import { dirname, isAbsolute, join, relative, resolve } from "node:path";
 import { fileURLToPath } from "node:url";
@@ -29,12 +32,12 @@ const SIGNAL_EXIT_CODES = {
 };
 
 function readJson(path) {
-  return JSON.parse(readFileSync(path, "utf8"));
+  return JSON.parse(fs.readFileSync(path, "utf8"));
 }
 
 function isDirectory(path) {
   try {
-    return statSync(path).isDirectory();
+    return fs.statSync(path).isDirectory();
   } catch {
     return false;
   }
@@ -86,17 +89,22 @@ export function parseWorkspaceFolderPaths(value) {
     .filter(Boolean);
 }
 
-function packageJsonForResolvedFile(startPath) {
+export function nextAncestorDirectory(current) {
+  const parent = dirname(current);
+  return parent === current ? undefined : parent;
+}
+
+export function packageJsonForResolvedFile(startPath) {
   let current = resolve(startPath);
   try {
-    if (!statSync(current).isDirectory()) current = dirname(current);
+    if (!fs.statSync(current).isDirectory()) current = dirname(current);
   } catch {
     current = dirname(current);
   }
 
-  while (true) {
+  while (current !== undefined) {
     const packageJsonPath = join(current, "package.json");
-    if (existsSync(packageJsonPath)) {
+    if (fs.existsSync(packageJsonPath)) {
       try {
         const packageJson = readJson(packageJsonPath);
         if (packageJson.name === PACKAGE_NAME) {
@@ -106,10 +114,9 @@ function packageJsonForResolvedFile(startPath) {
         // Keep walking if a parent package manifest is malformed.
       }
     }
-    const parent = dirname(current);
-    if (parent === current) return null;
-    current = parent;
+    current = nextAncestorDirectory(current);
   }
+  return null;
 }
 
 function isWithinRoot(rootPath, candidatePath) {
@@ -120,10 +127,10 @@ function isWithinRoot(rootPath, candidatePath) {
   );
 }
 
-function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
+export function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
   try {
     const linkPath = join(workspaceRoot, "node_modules", PACKAGE_NAME);
-    const linkedRoot = realpathSync(linkPath);
+    const linkedRoot = fs.realpathSync(linkPath);
     return (
       isWithinRoot(linkedRoot, packageRoot) ||
       isWithinRoot(packageRoot, linkedRoot)
@@ -133,7 +140,7 @@ function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
   }
 }
 
-function isProjectScopedPackage(workspaceRoot, packageRoot) {
+export function isProjectScopedPackage(workspaceRoot, packageRoot) {
   if (isWithinRoot(workspaceRoot, packageRoot)) return true;
 
   // pnpm can expose a package through a symlink whose realpath is outside the
@@ -197,7 +204,7 @@ export function resolveProjectLocalMcp(workspaceRoot) {
   }
 
   const binPath = resolve(packageInfo.packageRoot, binEntry);
-  if (!existsSync(binPath)) {
+  if (!fs.existsSync(binPath)) {
     throw new Error(
       `[KIBI-CURSOR] Project-local ${PACKAGE_NAME} declares a missing executable: ${binPath}. Reinstall the workspace dependency and reload Cursor.`,
     );
@@ -211,9 +218,9 @@ export function resolveProjectLocalMcp(workspaceRoot) {
   };
 }
 
-function hasDeclaredProjectDependency(workspaceRoot) {
+export function hasDeclaredProjectDependency(workspaceRoot) {
   const packageJsonPath = join(workspaceRoot, "package.json");
-  if (!existsSync(packageJsonPath)) return false;
+  if (!fs.existsSync(packageJsonPath)) return false;
   try {
     const packageJson = readJson(packageJsonPath);
     return [
@@ -235,8 +242,8 @@ function hasDeclaredProjectDependency(workspaceRoot) {
 
 function isDemonstrablyProjectWorkspace(workspaceRoot) {
   return (
-    existsSync(join(workspaceRoot, ".git")) ||
-    existsSync(join(workspaceRoot, ".kb")) ||
+    fs.existsSync(join(workspaceRoot, ".git")) ||
+    fs.existsSync(join(workspaceRoot, ".kb")) ||
     hasDeclaredProjectDependency(workspaceRoot)
   );
 }
@@ -311,12 +318,30 @@ export function resolveWorkspaceRoot(explicitWorkspace, options = {}) {
   );
 }
 
-function signalExitCode(signal) {
+export function signalExitCode(signal) {
   return SIGNAL_EXIT_CODES[signal] ?? 1;
 }
 
+export function isLaunchEntrypoint(argv1, moduleUrl) {
+  const entrypoint = argv1 ? resolve(argv1) : undefined;
+  return entrypoint === resolve(fileURLToPath(moduleUrl));
+}
+
+export async function runLaunchEntrypoint(
+  argv = process.argv.slice(2),
+  env = process.env,
+) {
+  const exitCode = await launchKibiMcp(argv, env);
+  process.exitCode = exitCode;
+  return exitCode;
+}
+
 /** Spawn the project-local MCP server and mirror its transport and exit state. */
-export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
+export function launchKibiMcp(
+  argv = process.argv.slice(2),
+  env = process.env,
+  spawnImpl = spawn,
+) {
   const [explicitWorkspace, ...childArgs] = argv;
   let workspaceRoot;
   let projectLocal;
@@ -332,11 +357,15 @@ export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
     return Promise.resolve(1);
   }
 
-  const child = spawn(process.execPath, [projectLocal.binPath, ...childArgs], {
-    cwd: workspaceRoot,
-    env: { ...env, KIBI_WORKSPACE: workspaceRoot },
-    stdio: ["inherit", "inherit", "inherit"],
-  });
+  const child = spawnImpl(
+    process.execPath,
+    [projectLocal.binPath, ...childArgs],
+    {
+      cwd: workspaceRoot,
+      env: { ...env, KIBI_WORKSPACE: workspaceRoot },
+      stdio: ["inherit", "inherit", "inherit"],
+    },
+  );
 
   return new Promise((resolveExit) => {
     let finished = false;
@@ -371,8 +400,12 @@ export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
   });
 }
 
-const entrypoint = process.argv[1] ? resolve(process.argv[1]) : undefined;
-if (entrypoint === resolve(fileURLToPath(import.meta.url))) {
-  const exitCode = await launchKibiMcp(process.argv.slice(2));
-  process.exitCode = exitCode;
+export async function runLaunchIfEntrypoint(
+  isEntrypoint = isLaunchEntrypoint(process.argv[1], import.meta.url),
+  start = runLaunchEntrypoint,
+) {
+  if (!isEntrypoint) return;
+  await start();
 }
+
+await runLaunchIfEntrypoint();

package/dist/.cursor-plugin/plugin.json

@@ -1,7 +1,7 @@
 {
   "name": "kibi-cursor",
   "displayName": "Kibi",
-  "version": "1.0.0",
+  "version": "2.0.0",
   "description": "Optional Cursor adapter for Kibi. Requires SWI-Prolog 9+ and project-local kibi-cli, kibi-mcp, and kibi-core before the bundled MCP server can start.",
   "license": "AGPL-3.0-or-later",
   "author": {

package/dist/bin/launch-kibi-mcp.d.mts

@@ -1,5 +1,23 @@
 export function parseWorkspaceFolderPaths(value: unknown): string[];
 
+export function nextAncestorDirectory(current: string): string | undefined;
+
+export function packageJsonForResolvedFile(startPath: string): {
+  packageJsonPath: string;
+  packageRoot: string;
+  packageJson: Record<string, unknown>;
+} | null;
+
+export function hasConsumerNodeModulesLink(
+  workspaceRoot: string,
+  packageRoot: string,
+): boolean;
+
+export function isProjectScopedPackage(
+  workspaceRoot: string,
+  packageRoot: string,
+): boolean;
+
 export function resolveProjectLocalMcp(workspaceRoot: string): {
   packageRoot: string;
   packageJsonPath: string;
@@ -7,12 +25,32 @@ export function resolveProjectLocalMcp(workspaceRoot: string): {
   binPath: string;
 };
 
+export function hasDeclaredProjectDependency(workspaceRoot: string): boolean;
+
 export function resolveWorkspaceRoot(
   explicitWorkspace?: string,
   options?: { cwd?: string; env?: NodeJS.ProcessEnv },
 ): string;
 
+export function signalExitCode(signal: NodeJS.Signals | string): number;
+
+export function isLaunchEntrypoint(
+  argv1: string | undefined,
+  moduleUrl: string,
+): boolean;
+
+export function runLaunchEntrypoint(
+  argv?: string[],
+  env?: NodeJS.ProcessEnv,
+): Promise<number>;
+
 export function launchKibiMcp(
   argv?: string[],
   env?: NodeJS.ProcessEnv,
+  spawnImpl?: typeof import("node:child_process").spawn,
 ): Promise<number>;
+
+export function runLaunchIfEntrypoint(
+  isEntrypoint?: boolean,
+  start?: () => Promise<number> | Promise<void>,
+): Promise<void>;

package/dist/bin/launch-kibi-mcp.mjs

@@ -7,14 +7,17 @@
 /**
  * Launch the kibi-mcp package installed by the consumer project.
  *
- * Cursor starts plugin MCP commands with the plugin directory as their cwd.
- * This adapter deliberately knows nothing about the Kibi source tree: it only
- * resolves a consumer workspace, finds that workspace's kibi-mcp package, and
- * runs its declared bin with the consumer as both cwd and KIBI_WORKSPACE.
+ * Cursor resolves this command from the plugin-root manifest, but the process
+ * cwd is host-controlled and is not a reliable consumer workspace (it may be
+ * the plugin directory or another host directory). This adapter deliberately
+ * knows nothing about the Kibi source tree: it resolves the unrelated consumer
+ * workspace from Cursor's workspace-folder data or explicit environment,
+ * finds that workspace's kibi-mcp package, and runs its declared bin with the
+ * consumer as both cwd and KIBI_WORKSPACE.
  */
 
 import { spawn } from "node:child_process";
-import { existsSync, readFileSync, realpathSync, statSync } from "node:fs";
+import * as fs from "node:fs";
 import { createRequire } from "node:module";
 import { dirname, isAbsolute, join, relative, resolve } from "node:path";
 import { fileURLToPath } from "node:url";
@@ -29,12 +32,12 @@ const SIGNAL_EXIT_CODES = {
 };
 
 function readJson(path) {
-  return JSON.parse(readFileSync(path, "utf8"));
+  return JSON.parse(fs.readFileSync(path, "utf8"));
 }
 
 function isDirectory(path) {
   try {
-    return statSync(path).isDirectory();
+    return fs.statSync(path).isDirectory();
   } catch {
     return false;
   }
@@ -86,17 +89,22 @@ export function parseWorkspaceFolderPaths(value) {
     .filter(Boolean);
 }
 
-function packageJsonForResolvedFile(startPath) {
+export function nextAncestorDirectory(current) {
+  const parent = dirname(current);
+  return parent === current ? undefined : parent;
+}
+
+export function packageJsonForResolvedFile(startPath) {
   let current = resolve(startPath);
   try {
-    if (!statSync(current).isDirectory()) current = dirname(current);
+    if (!fs.statSync(current).isDirectory()) current = dirname(current);
   } catch {
     current = dirname(current);
   }
 
-  while (true) {
+  while (current !== undefined) {
     const packageJsonPath = join(current, "package.json");
-    if (existsSync(packageJsonPath)) {
+    if (fs.existsSync(packageJsonPath)) {
       try {
         const packageJson = readJson(packageJsonPath);
         if (packageJson.name === PACKAGE_NAME) {
@@ -106,10 +114,9 @@ function packageJsonForResolvedFile(startPath) {
         // Keep walking if a parent package manifest is malformed.
       }
     }
-    const parent = dirname(current);
-    if (parent === current) return null;
-    current = parent;
+    current = nextAncestorDirectory(current);
   }
+  return null;
 }
 
 function isWithinRoot(rootPath, candidatePath) {
@@ -120,10 +127,10 @@ function isWithinRoot(rootPath, candidatePath) {
   );
 }
 
-function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
+export function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
   try {
     const linkPath = join(workspaceRoot, "node_modules", PACKAGE_NAME);
-    const linkedRoot = realpathSync(linkPath);
+    const linkedRoot = fs.realpathSync(linkPath);
     return (
       isWithinRoot(linkedRoot, packageRoot) ||
       isWithinRoot(packageRoot, linkedRoot)
@@ -133,7 +140,7 @@ function hasConsumerNodeModulesLink(workspaceRoot, packageRoot) {
   }
 }
 
-function isProjectScopedPackage(workspaceRoot, packageRoot) {
+export function isProjectScopedPackage(workspaceRoot, packageRoot) {
   if (isWithinRoot(workspaceRoot, packageRoot)) return true;
 
   // pnpm can expose a package through a symlink whose realpath is outside the
@@ -197,7 +204,7 @@ export function resolveProjectLocalMcp(workspaceRoot) {
   }
 
   const binPath = resolve(packageInfo.packageRoot, binEntry);
-  if (!existsSync(binPath)) {
+  if (!fs.existsSync(binPath)) {
     throw new Error(
       `[KIBI-CURSOR] Project-local ${PACKAGE_NAME} declares a missing executable: ${binPath}. Reinstall the workspace dependency and reload Cursor.`,
     );
@@ -211,9 +218,9 @@ export function resolveProjectLocalMcp(workspaceRoot) {
   };
 }
 
-function hasDeclaredProjectDependency(workspaceRoot) {
+export function hasDeclaredProjectDependency(workspaceRoot) {
   const packageJsonPath = join(workspaceRoot, "package.json");
-  if (!existsSync(packageJsonPath)) return false;
+  if (!fs.existsSync(packageJsonPath)) return false;
   try {
     const packageJson = readJson(packageJsonPath);
     return [
@@ -235,8 +242,8 @@ function hasDeclaredProjectDependency(workspaceRoot) {
 
 function isDemonstrablyProjectWorkspace(workspaceRoot) {
   return (
-    existsSync(join(workspaceRoot, ".git")) ||
-    existsSync(join(workspaceRoot, ".kb")) ||
+    fs.existsSync(join(workspaceRoot, ".git")) ||
+    fs.existsSync(join(workspaceRoot, ".kb")) ||
     hasDeclaredProjectDependency(workspaceRoot)
   );
 }
@@ -311,12 +318,30 @@ export function resolveWorkspaceRoot(explicitWorkspace, options = {}) {
   );
 }
 
-function signalExitCode(signal) {
+export function signalExitCode(signal) {
   return SIGNAL_EXIT_CODES[signal] ?? 1;
 }
 
+export function isLaunchEntrypoint(argv1, moduleUrl) {
+  const entrypoint = argv1 ? resolve(argv1) : undefined;
+  return entrypoint === resolve(fileURLToPath(moduleUrl));
+}
+
+export async function runLaunchEntrypoint(
+  argv = process.argv.slice(2),
+  env = process.env,
+) {
+  const exitCode = await launchKibiMcp(argv, env);
+  process.exitCode = exitCode;
+  return exitCode;
+}
+
 /** Spawn the project-local MCP server and mirror its transport and exit state. */
-export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
+export function launchKibiMcp(
+  argv = process.argv.slice(2),
+  env = process.env,
+  spawnImpl = spawn,
+) {
   const [explicitWorkspace, ...childArgs] = argv;
   let workspaceRoot;
   let projectLocal;
@@ -332,11 +357,15 @@ export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
     return Promise.resolve(1);
   }
 
-  const child = spawn(process.execPath, [projectLocal.binPath, ...childArgs], {
-    cwd: workspaceRoot,
-    env: { ...env, KIBI_WORKSPACE: workspaceRoot },
-    stdio: ["inherit", "inherit", "inherit"],
-  });
+  const child = spawnImpl(
+    process.execPath,
+    [projectLocal.binPath, ...childArgs],
+    {
+      cwd: workspaceRoot,
+      env: { ...env, KIBI_WORKSPACE: workspaceRoot },
+      stdio: ["inherit", "inherit", "inherit"],
+    },
+  );
 
   return new Promise((resolveExit) => {
     let finished = false;
@@ -371,8 +400,12 @@ export function launchKibiMcp(argv = process.argv.slice(2), env = process.env) {
   });
 }
 
-const entrypoint = process.argv[1] ? resolve(process.argv[1]) : undefined;
-if (entrypoint === resolve(fileURLToPath(import.meta.url))) {
-  const exitCode = await launchKibiMcp(process.argv.slice(2));
-  process.exitCode = exitCode;
+export async function runLaunchIfEntrypoint(
+  isEntrypoint = isLaunchEntrypoint(process.argv[1], import.meta.url),
+  start = runLaunchEntrypoint,
+) {
+  if (!isEntrypoint) return;
+  await start();
 }
+
+await runLaunchIfEntrypoint();

package/dist/hook-runner.d.ts

@@ -11,4 +11,8 @@ export type HookEnvironment = {
     workspaceTrusted?: boolean;
 };
 export declare function runHook(rawInput: unknown, environment?: HookEnvironment): Promise<CursorHookResult>;
+export declare function main(): Promise<void>;
+export declare function isInvokedAsCli(argv1: string | undefined, moduleUrl: string): boolean;
+export declare function runHookCli(): Promise<void>;
+export declare function runHookCliIfMain(isMain?: boolean, start?: typeof runHookCli): Promise<void>;
 export declare const hookRunnerPath: string;

package/dist/hook-runner.js

@@ -195,21 +195,33 @@ export async function runHook(rawInput, environment = {}) {
             return emptyResult();
     }
 }
-async function main() {
+export async function main() {
     const result = await runHook(parseStdinJson(await readStdin()), {
         workspaceTrusted: process.argv.includes("--trusted-workspace"),
     });
     process.stdout.write(`${JSON.stringify(result)}\n`);
 }
-const invokedPath = process.argv[1]
-    ? pathToFileURL(path.resolve(process.argv[1])).href
-    : "";
-if (import.meta.url === invokedPath) {
-    main().catch((error) => {
+// implements REQ-cursor-kibi-plugin-v1
+// covered_by TEST-cursor-kibi-plugin-v1
+export function isInvokedAsCli(argv1, moduleUrl) {
+    const invokedPath = argv1 ? pathToFileURL(path.resolve(argv1)).href : "";
+    return moduleUrl === invokedPath;
+}
+export async function runHookCli() {
+    try {
+        await main();
+    }
+    catch (error) {
         const message = error instanceof Error ? error.message : "Unknown hook error";
         process.stdout.write(`${JSON.stringify({
             additional_context: `Kibi hook runner error: ${message}`,
         })}\n`);
-    });
+    }
+}
+export async function runHookCliIfMain(isMain = isInvokedAsCli(process.argv[1], import.meta.url), start = runHookCli) {
+    if (!isMain)
+        return;
+    await start();
 }
+void runHookCliIfMain();
 export const hookRunnerPath = fileURLToPath(import.meta.url);

package/dist/mcp.json

@@ -2,7 +2,10 @@
   "mcpServers": {
     "kibi": {
       "command": "node",
-      "args": ["bin/launch-kibi-mcp.mjs", "${workspaceFolder}"]
+      "args": [
+        "${CURSOR_PLUGIN_ROOT}/bin/launch-kibi-mcp.mjs",
+        "${workspaceFolder}"
+      ]
     }
   }
 }

package/dist/path-policy.d.ts

@@ -1,3 +1,4 @@
+export declare function isFreshnessLane(lane: string | undefined): boolean;
 export declare function extractExplicitPathFields(input: unknown): string[];
 export declare function isDirectKbPath(candidate: string): boolean;
 export declare function isMeaningfulTrackedPath(candidate: string): boolean;

package/dist/path-policy.js

@@ -1,3 +1,14 @@
+export function isFreshnessLane(lane) {
+    return (lane === "requirements" ||
+        lane === "scenarios" ||
+        lane === "tests" ||
+        lane === "facts" ||
+        lane === "adr" ||
+        lane === "flags" ||
+        lane === "events" ||
+        lane === "symbols.yaml" ||
+        lane === "symbol-coordinates.yaml");
+}
 // implements REQ-cursor-kibi-plugin-v1
 const explicitPathKeys = new Set([
     "absolute_path",
@@ -145,17 +156,8 @@ export function isKbFreshnessRelevantPath(candidate) {
     const segments = pathSegments(normalizePath(candidate));
     if (segments[0] === ".kb") {
         const lane = segments[1];
-        if (lane === "requirements" ||
-            lane === "scenarios" ||
-            lane === "tests" ||
-            lane === "facts" ||
-            lane === "adr" ||
-            lane === "flags" ||
-            lane === "events" ||
-            lane === "symbols.yaml" ||
-            lane === "symbol-coordinates.yaml") {
+        if (isFreshnessLane(lane))
             return true;
-        }
     }
     // Legacy layout during migration
     if (segments.includes("documentation")) {

package/dist/rules/kibi-workflow.mdc

@@ -3,7 +3,22 @@ description: Kibi capability-based discovery-first workflow and KB mutation disc
 alwaysApply: true
 ---
 
-Use Kibi via MCP tools when available, or via CLI JSON routes when MCP is unavailable. If MCP tools are visible, use MCP. If MCP availability is unknown and a trusted project-local CLI is available, use `kibi <route> --input <file|->`. If neither interface is available, stop and tell the operator. Do not infer MCP availability from config file existence. Do not read or edit `.kb/` files directly.
+Use Kibi via MCP tools when available, or via CLI JSON routes when MCP is unavailable.
+
+Interface selection:
+1. If any `kb_*` or `kibi_kb_*` tool is in the tool list, use MCP only. Do not use the CLI path.
+2. Else if Shell (or equivalent) is available and the project-local CLI is trusted, run the non-installing JSON recipe below. Missing MCP tools does not mean Kibi is unavailable.
+3. Else stop and tell the operator. Do not probe the CLI, do not install packages, and do not infer MCP availability from config file existence.
+4. Shell is in-policy only for the trusted project-local `npx --no-install kibi ...` (or `bunx --no-install kibi ...`) command when step 2 applies.
+5. Never use a global fallback, an installing runner, or an unapproved route. Do not read or edit `.kb/` files directly.
+
+CLI JSON recipe (stdin is one UTF-8 JSON object):
+
+```bash
+printf '%s\n' '{"query":"checkout","limit":10}' | npx --no-install kibi search --input -
+```
+
+Map canonical MCP names to CLI routes by dropping the `kb_` prefix and replacing `_` with `-` (`kb_search` → `search`, `kb_find_gaps` → `find-gaps`, `kb_query` → `query`, `kb_status` → `status`, `kb_check` → `check`, `kb_upsert` → `upsert`).
 
 Discovery workflow:
 - Start with `kb_search` for broad discovery.

package/dist/skills/.canon-hash.json

@@ -4,7 +4,7 @@
   "kibi-bootstrap/resources/branch-lifecycle.md": "c854264ce888439140883a3fc636db5e522f020dd27b30a5c1ecc4105b64ed13",
   "kibi-bootstrap/resources/operation-access.md": "b5a6a59e72d800c376e7fad79132897623c32a0ce152a1e8d73f9628b444db51",
   "kibi-bootstrap/resources/source-authoring.md": "bf296e62f69474e01797d6cb9469bf624551dca834dd188abb6e705bd96fa586",
-  "kibi-freshness/SKILL.md": "67c3eda1c7c12bbbc320e84119bd7a179d2dfc0189964d2f052e032b21a8af10",
+  "kibi-freshness/SKILL.md": "fa90d34663ddd6f03468008fb26e4417211f7b7d46ffde082291747743464c54",
   "kibi-freshness/resources/branch-lifecycle.md": "ebc01b19fe3dca8df5fc0175978963f6f1204f71f7c805cb2a5fb1b277ac78e4",
   "kibi-freshness/resources/operation-access.md": "4e1db9294ee540cd29b8b3a2532a81e7894d5b4228b39e99ba48b37212f489f3",
   "kibi-freshness/resources/source-authoring.md": "41a0547ce4d2a112a0f3671d36720f07c447864db3b473e94eb88a8ce2d371ff",
@@ -13,14 +13,15 @@
   "kibi-traceability/resources/operation-access.md": "39f7972ab7f4ae7479e78f7072bb50e8e6c4cdf4f857425f69d2522d37db437c",
   "kibi-traceability/resources/source-authoring.md": "408c6ee2bef1b84e0194c0538ef929c26a0a617e631b2234247388140dbbdd08",
   "kibi-traceability/resources/traceability.md": "38c290a0bc71bd1692e115f22694743946e2f69630e134acfd43cee5f613fb88",
-  "kibi-usage/SKILL.md": "3d347a430cb8be2017df34d22d151355abc5083173988dafb4c8433ee81281da",
+  "kibi-usage/SKILL.md": "47a76e74fa1439e3745afe4c883b9cb1383df7696b1a0d695c02fe4e34e3205d",
   "kibi-usage/resources/branch-lifecycle.md": "f1bf359e9826e83c548f3cd0287f8175a62456527b0132b06b3f9f74aa59b7d6",
   "kibi-usage/resources/fact-lanes.md": "41b28023a57593009867ea0ebc8e9f3f05c3bd837144772d12844423f922e763",
   "kibi-usage/resources/kb-improvement.md": "17e8b6cf6a0dd43b443a2bfd92e7205d099647a5f1c75fe85413a6cea63d86c6",
   "kibi-usage/resources/logic-ir.md": "151675d0ffa813cb9e271084102a3af42de369b8f9a0c64866af0cdc4d924063",
-  "kibi-usage/resources/operation-access.md": "b33c5be8cab5c27dfa68b7655fad8a52cead6d3adacd2488f1779a1176007fbf",
+  "kibi-usage/resources/operation-access.md": "e8b4a3676892d2f7e2cfd708ec4ad1f41b6f296e1eb3a5ecc047f43322b4a92a",
+  "kibi-usage/resources/proof.md": "e1a44ea4bf342afebb0aaa7800221067a511f6607c687ac38db6392b7e3d9f9a",
   "kibi-usage/resources/relationship-directions.md": "a357072d3370db9b7d80e505795f952909a68778cc18b1d089970de91e4fda46",
   "kibi-usage/resources/source-authoring.md": "ac4f1a9b5785462f8c3530bdcdb82ad9a0ee1f4049454ae28bf4df09ff267ebd",
   "kibi-usage/resources/ui-requirements.md": "b7c31ab1affa3ab25ae5242d8fd8c4d546532d1cafc65d84088375317c1682cc",
-  "kibi-usage/resources/workflows.md": "1c6b8a2c40d3a3c3f4bdfe9165b3dae4a669b8ddb7808be9ff5b670cecceded8"
+  "kibi-usage/resources/workflows.md": "776b97a794325e7012a230d2b9fc32fc89b2a51df45dfd8498cad49170bdc43d"
 }

package/dist/skills/kibi-freshness/SKILL.md

@@ -39,7 +39,7 @@ echo '{}' | npx --no-install kibi status --input -
   matching `branch.json`; a `legacy_compat` attachment is read-only until an
   explicit old/new migration is approved.
 - Inspect bounded `staleReasons` (indexed source missing/newer or documentation
-  source newer) and `verificationSnapshotChanges`. Kibi deliberately reports
+  source newer) and `proofSnapshotChanges`. Kibi deliberately reports
   editor/config paths such as editor dot-directories; do not silently ignore them.
 - Use `kb_query`, or `query --input`, with `sourceFile` and text references for source-linked discovery.
 - Re-run `kb_search`, or `search --input`, after sync gaps or stale context are detected.