kibi-cli 0.12.8 → 0.16.1

package/dist/public/skills.d.ts

@@ -1,42 +1,5 @@
-export declare function setBundledSkillsDir(dir: string): void;
-export declare function resetBundledSkillsDir(): void;
-export interface SkillManifest {
-    id: string;
-    name: string;
-    description: string;
-    version: string;
-    kibiCompatibility: string;
-    tags?: string[];
-    resources?: string[];
-}
-export interface SkillBundle {
-    manifest: SkillManifest;
-    body: string;
-    rootDir: string;
-}
-export declare class SkillNotFoundError extends Error {
-    constructor(id: string);
-}
-export declare class SkillResourceNotFoundError extends Error {
-    constructor(id: string, resourcePath: string);
-}
-export declare class SkillResourceOutOfBoundsError extends Error {
-    constructor(id: string, resourcePath: string);
-}
-export declare class SkillValidationError extends Error {
-    readonly field: string;
-    constructor(field: string, message: string);
-}
-export declare class SkillOversizeError extends Error {
-    readonly maxBytes: number;
-    readonly actualBytes: number;
-    constructor(pathLike: string, maxBytes: number, actualBytes: number);
-}
-export declare function listBundledSkills(): SkillManifest[];
-export declare function loadBundledSkill(id: string): SkillBundle;
-export declare function readBundledSkillResource(id: string, resourcePath: string): string;
-export declare function validateSkillBundle(pathLike: string): {
-    valid: boolean;
-    errors: SkillValidationError[];
-};
+export { SkillNotFoundError, SkillOversizeError, SkillResourceNotFoundError, SkillResourceOutOfBoundsError, SkillValidationError, } from "./skill-system/errors.js";
+export { listBundledSkills, loadBundledSkill, loadBundledSkillFrom, readBundledSkillResource, readBundledSkillResourceFrom, resetBundledSkillsDir, setBundledSkillsDir, } from "./skill-system/loader.js";
+export type { SkillBundle, SkillManifest } from "./skill-system/types.js";
+export { validateSkillBundle } from "./skill-system/validation.js";
 //# sourceMappingURL=skills.d.ts.map

package/dist/public/skills.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"skills.d.ts","sourceRoot":"","sources":["../../src/public/skills.ts"],"names":[],"mappings":"AA0BA,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAErD;AAED,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,aAAa,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qBAAa,kBAAmB,SAAQ,KAAK;gBAC/B,EAAE,EAAE,MAAM;CAIvB;AAED,qBAAa,0BAA2B,SAAQ,KAAK;gBACvC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM;CAI7C;AAED,qBAAa,6BAA8B,SAAQ,KAAK;gBAC1C,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM;CAI7C;AAED,qBAAa,oBAAqB,SAAQ,KAAK;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;gBAEX,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK3C;AAED,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;gBAEjB,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM;CAQpE;AAED,wBAAgB,iBAAiB,IAAI,aAAa,EAAE,CAYnD;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,CAQxD;AAED,wBAAgB,wBAAwB,CACtC,EAAE,EAAE,MAAM,EACV,YAAY,EAAE,MAAM,GACnB,MAAM,CA6BR;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG;IACrD,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,oBAAoB,EAAE,CAAC;CAChC,CAoBA"}
+{"version":3,"file":"skills.d.ts","sourceRoot":"","sources":["../../src/public/skills.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,0BAA0B,EAC1B,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,0BAA0B,CAAC;AAClC,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC"}

package/dist/public/skills.js

@@ -1,270 +1,3 @@
-import { existsSync, readFileSync, readdirSync, realpathSync, statSync, } from "node:fs";
-import { dirname, isAbsolute, join, normalize, relative, resolve, } from "node:path";
-import { fileURLToPath } from "node:url";
-import matter from "gray-matter";
-const SKILL_MARKDOWN_MAX_BYTES = 256 * 1024;
-const RESOURCE_MAX_BYTES = 128 * 1024;
-const SKILL_FILE_NAME = "SKILL.md";
-const moduleDir = dirname(fileURLToPath(import.meta.url));
-let bundledSkillsDir = resolve(moduleDir, "skills");
-const defaultBundledSkillsDir = bundledSkillsDir;
-export function setBundledSkillsDir(dir) {
-    bundledSkillsDir = dir;
-}
-export function resetBundledSkillsDir() {
-    bundledSkillsDir = defaultBundledSkillsDir;
-}
-export class SkillNotFoundError extends Error {
-    constructor(id) {
-        super(`Skill not found: ${id}`);
-        this.name = "SkillNotFoundError";
-    }
-}
-export class SkillResourceNotFoundError extends Error {
-    constructor(id, resourcePath) {
-        super(`Skill resource not found: ${id}/${resourcePath}`);
-        this.name = "SkillResourceNotFoundError";
-    }
-}
-export class SkillResourceOutOfBoundsError extends Error {
-    constructor(id, resourcePath) {
-        super(`Skill resource escapes bundle root: ${id}/${resourcePath}`);
-        this.name = "SkillResourceOutOfBoundsError";
-    }
-}
-export class SkillValidationError extends Error {
-    field;
-    constructor(field, message) {
-        super(message);
-        this.name = "SkillValidationError";
-        this.field = field;
-    }
-}
-export class SkillOversizeError extends Error {
-    maxBytes;
-    actualBytes;
-    constructor(pathLike, maxBytes, actualBytes) {
-        super(`Skill file exceeds ${maxBytes} bytes: ${pathLike} (${actualBytes} bytes)`);
-        this.name = "SkillOversizeError";
-        this.maxBytes = maxBytes;
-        this.actualBytes = actualBytes;
-    }
-}
-export function listBundledSkills() {
-    // implements REQ-001
-    if (!existsSync(bundledSkillsDir)) {
-        return [];
-    }
-    return readdirSync(bundledSkillsDir, { withFileTypes: true })
-        .filter((entry) => entry.isDirectory())
-        .map((entry) => join(bundledSkillsDir, entry.name))
-        .filter((rootDir) => existsSync(join(rootDir, SKILL_FILE_NAME)))
-        .map((rootDir) => parseSkillBundle(rootDir).manifest)
-        .sort((left, right) => left.id.localeCompare(right.id));
-}
-export function loadBundledSkill(id) {
-    // implements REQ-001
-    const rootDir = findBundledSkillRoot(id);
-    if (!rootDir) {
-        throw new SkillNotFoundError(id);
-    }
-    return parseSkillBundle(rootDir);
-}
-export function readBundledSkillResource(id, resourcePath) {
-    // implements REQ-001
-    const bundle = loadBundledSkill(id);
-    const declaredResource = normalizeResourcePath(resourcePath);
-    if (!declaredResource || isPathOutOfBounds(resourcePath)) {
-        throw new SkillResourceOutOfBoundsError(id, resourcePath);
-    }
-    if (!isDeclaredResource(bundle.manifest, declaredResource)) {
-        throw new SkillResourceNotFoundError(id, resourcePath);
-    }
-    const candidatePath = resolve(bundle.rootDir, declaredResource);
-    let realResourcePath;
-    let realRootDir;
-    try {
-        realResourcePath = realpathSync(candidatePath);
-        realRootDir = realpathSync(bundle.rootDir);
-    }
-    catch {
-        throw new SkillResourceNotFoundError(id, resourcePath);
-    }
-    if (!isWithinRoot(realRootDir, realResourcePath)) {
-        throw new SkillResourceOutOfBoundsError(id, resourcePath);
-    }
-    assertMaxBytes(candidatePath, RESOURCE_MAX_BYTES);
-    return readFileSync(candidatePath, "utf8");
-}
-export function validateSkillBundle(pathLike) {
-    // implements REQ-001
-    const skillFilePath = resolveSkillFilePath(pathLike);
-    const errors = [];
-    if (!existsSync(skillFilePath)) {
-        errors.push(new SkillValidationError("SKILL.md", `Missing ${SKILL_FILE_NAME}`));
-        return { valid: false, errors };
-    }
-    const parsed = matter(readFileSync(skillFilePath, "utf8"));
-    errors.push(...validateManifestData(parsed.data));
-    if (errors.length === 0) {
-        validateBundleContents(skillFilePath, coerceManifest(parsed.data), errors);
-    }
-    return { valid: errors.length === 0, errors };
-}
-function validateBundleContents(skillFilePath, manifest, errors) {
-    try {
-        assertMaxBytes(skillFilePath, SKILL_MARKDOWN_MAX_BYTES);
-    }
-    catch (error) {
-        errors.push(new SkillValidationError("SKILL.md", error instanceof Error ? error.message : String(error)));
-    }
-    const rootDir = dirname(skillFilePath);
-    let realRootDir;
-    try {
-        realRootDir = realpathSync(rootDir);
-    }
-    catch (error) {
-        errors.push(new SkillValidationError("SKILL.md", error instanceof Error ? error.message : String(error)));
-        return;
-    }
-    for (const resource of manifest.resources ?? []) {
-        const resourcePath = resolve(rootDir, resource);
-        try {
-            if (!existsSync(resourcePath)) {
-                errors.push(new SkillValidationError("resources", `Missing skill resource: ${resource}`));
-                continue;
-            }
-            const realResourcePath = realpathSync(resourcePath);
-            if (!isWithinRoot(realRootDir, realResourcePath)) {
-                errors.push(new SkillValidationError("resources", `Skill resource escapes bundle root: ${resource}`));
-                continue;
-            }
-            assertMaxBytes(resourcePath, RESOURCE_MAX_BYTES);
-        }
-        catch (error) {
-            errors.push(new SkillValidationError("resources", error instanceof Error ? error.message : String(error)));
-        }
-    }
-}
-function findBundledSkillRoot(id) {
-    if (!existsSync(bundledSkillsDir)) {
-        return undefined;
-    }
-    for (const entry of readdirSync(bundledSkillsDir, { withFileTypes: true })) {
-        if (!entry.isDirectory()) {
-            continue;
-        }
-        const rootDir = join(bundledSkillsDir, entry.name);
-        const skillFilePath = join(rootDir, SKILL_FILE_NAME);
-        if (!existsSync(skillFilePath)) {
-            continue;
-        }
-        const manifest = parseSkillBundle(rootDir).manifest;
-        if (manifest.id === id) {
-            return rootDir;
-        }
-    }
-    return undefined;
-}
-function parseSkillBundle(rootDir) {
-    const skillFilePath = join(rootDir, SKILL_FILE_NAME);
-    assertMaxBytes(skillFilePath, SKILL_MARKDOWN_MAX_BYTES);
-    const parsed = matter(readFileSync(skillFilePath, "utf8"));
-    const errors = validateManifestData(parsed.data);
-    if (errors.length > 0) {
-        throw errors[0];
-    }
-    return {
-        manifest: coerceManifest(parsed.data),
-        body: parsed.content,
-        rootDir: resolve(rootDir),
-    };
-}
-function validateManifestData(data) {
-    const errors = [];
-    const requiredFields = [
-        "id",
-        "name",
-        "description",
-        "version",
-        "kibiCompatibility",
-    ];
-    for (const field of requiredFields) {
-        if (typeof data[field] !== "string" || data[field].trim() === "") {
-            errors.push(new SkillValidationError(field, `Missing required skill field: ${field}`));
-        }
-    }
-    if (typeof data.version === "string" &&
-        !/^\d+\.\d+\.\d+(?:[-+][0-9A-Za-z.-]+)?$/.test(data.version)) {
-        errors.push(new SkillValidationError("version", `Invalid skill version: ${data.version}`));
-    }
-    if (data.tags !== undefined && !isStringArray(data.tags)) {
-        errors.push(new SkillValidationError("tags", "Skill tags must be strings"));
-    }
-    if (data.resources !== undefined) {
-        if (!isStringArray(data.resources)) {
-            errors.push(new SkillValidationError("resources", "Skill resources must be strings"));
-        }
-        else {
-            for (const resource of data.resources) {
-                const normalized = normalizeResourcePath(resource);
-                if (!normalized || isPathOutOfBounds(resource)) {
-                    errors.push(new SkillValidationError("resources", `Invalid skill resource: ${resource}`));
-                }
-            }
-        }
-    }
-    return errors;
-}
-function coerceManifest(data) {
-    const manifest = {
-        id: String(data.id),
-        name: String(data.name),
-        description: String(data.description),
-        version: String(data.version),
-        kibiCompatibility: String(data.kibiCompatibility),
-    };
-    if (isStringArray(data.tags)) {
-        manifest.tags = data.tags;
-    }
-    if (isStringArray(data.resources)) {
-        manifest.resources = data.resources.map((resource) => normalizeResourcePath(resource));
-    }
-    return manifest;
-}
-function isStringArray(value) {
-    return (Array.isArray(value) && value.every((item) => typeof item === "string"));
-}
-function normalizeResourcePath(pathLike) {
-    return normalize(pathLike).replaceAll("\\", "/");
-}
-function isPathOutOfBounds(pathLike) {
-    const normalized = normalizeResourcePath(pathLike);
-    return (isAbsolute(pathLike) ||
-        normalized === ".." ||
-        normalized.startsWith("../") ||
-        normalized.includes("/../"));
-}
-function isDeclaredResource(manifest, resourcePath) {
-    return (manifest.resources ?? []).some((declared) => normalizeResourcePath(declared) === resourcePath);
-}
-function isWithinRoot(rootDir, candidatePath) {
-    const relativePath = relative(rootDir, candidatePath);
-    return (relativePath === "" ||
-        (!relativePath.startsWith("..") && !isAbsolute(relativePath)));
-}
-function assertMaxBytes(pathLike, maxBytes) {
-    const size = statSync(pathLike).size;
-    if (size > maxBytes) {
-        throw new SkillOversizeError(pathLike, maxBytes, size);
-    }
-}
-function resolveSkillFilePath(pathLike) {
-    const resolved = resolve(pathLike);
-    if (existsSync(resolved) && statSync(resolved).isDirectory()) {
-        return join(resolved, SKILL_FILE_NAME);
-    }
-    return resolved.endsWith(SKILL_FILE_NAME)
-        ? resolved
-        : join(resolved, SKILL_FILE_NAME);
-}
+export { SkillNotFoundError, SkillOversizeError, SkillResourceNotFoundError, SkillResourceOutOfBoundsError, SkillValidationError, } from "./skill-system/errors.js";
+export { listBundledSkills, loadBundledSkill, loadBundledSkillFrom, readBundledSkillResource, readBundledSkillResourceFrom, resetBundledSkillsDir, setBundledSkillsDir, } from "./skill-system/loader.js";
+export { validateSkillBundle } from "./skill-system/validation.js";

package/dist/public/symbol-granularity.d.ts

@@ -4,7 +4,7 @@ export declare const TRACEABILITY_RELATIONSHIP_TYPES: readonly ["implements", "c
 export type TraceabilityRelationshipType = (typeof TRACEABILITY_RELATIONSHIP_TYPES)[number];
 export declare const ALLOWED_GRANULARITY_REASONS: readonly ["config-artifact", "module-level-behavior", "extractor-miss", "legacy-link"];
 export type GranularityReason = (typeof ALLOWED_GRANULARITY_REASONS)[number];
-export type SymbolKind = "function" | "class" | "method" | "interface" | "type" | "variable" | "enum" | "unknown";
+export type SymbolKind = "function" | "class" | "method" | "property" | "accessor" | "interface" | "type" | "variable" | "enum" | "unknown";
 export type SourceSymbolKind = SymbolKind;
 export interface GranularSymbolCandidate {
     name: string;

package/dist/public/symbol-granularity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-granularity.d.ts","sourceRoot":"","sources":["../../src/public/symbol-granularity.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,oFAOf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,eAAO,MAAM,+BAA+B,yDAIlC,CAAC;AAEX,MAAM,MAAM,4BAA4B,GACtC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,eAAO,MAAM,2BAA2B,wFAK9B,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;AAEd,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAE1C,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,IAAI,CAAC,EAAE,UAAU,CAAC;CACnB;AASD,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAc5D;AAED,eAAO,MAAM,uBAAuB,wBAAkB,CAAC;AAEvD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,4BAA4B,CAIvC;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,CAE5B;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,uBAAuB,GAAG,UAAU,CAI5E;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,uBAAuB,GACjC,OAAO,CAET;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAMV;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAQV"}
+{"version":3,"file":"symbol-granularity.d.ts","sourceRoot":"","sources":["../../src/public/symbol-granularity.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,oFAOf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,eAAO,MAAM,+BAA+B,yDAIlC,CAAC;AAEX,MAAM,MAAM,4BAA4B,GACtC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,eAAO,MAAM,2BAA2B,wFAK9B,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,UAAU,GACV,UAAU,GACV,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;AAEd,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAE1C,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,IAAI,CAAC,EAAE,UAAU,CAAC;CACnB;AASD,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAgB5D;AAED,eAAO,MAAM,uBAAuB,wBAAkB,CAAC;AAEvD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,4BAA4B,CAIvC;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,CAE5B;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,uBAAuB,GAAG,UAAU,CAI5E;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,uBAAuB,GACjC,OAAO,CAET;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAMV;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAQV"}

package/dist/public/symbol-granularity.js

@@ -24,6 +24,8 @@ export function inferSymbolRole(kind) {
         case "function":
         case "class":
         case "method":
+        case "property":
+        case "accessor":
             return "behavioral";
         case "interface":
         case "type":

package/dist/runtime/cli-runtime.d.ts

@@ -0,0 +1,3 @@
+import type { OperationRuntime, RuntimeOptions } from "../public/operations/runtime-types.js";
+export declare function createCliRuntime(options?: RuntimeOptions): OperationRuntime;
+//# sourceMappingURL=cli-runtime.d.ts.map

package/dist/runtime/cli-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/cli-runtime.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAEV,gBAAgB,EAGhB,cAAc,EACf,MAAM,uCAAuC,CAAC;AAwC/C,wBAAgB,gBAAgB,CAC9B,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAoElB"}

package/dist/runtime/cli-runtime.js

@@ -0,0 +1,96 @@
+import path from "node:path";
+import { PrologProcess } from "../prolog.js";
+import { nodeFilesystem, nodeGit, nodeNetwork, } from "../public/operations/node-ports.js";
+import { resolveActiveBranch } from "../utils/branch-resolver.js";
+function createDefaultProlog() {
+    const process = new PrologProcess({ timeout: 120_000 });
+    let lastResult = null;
+    return {
+        start: () => process.start(),
+        query: async (goal) => {
+            lastResult = await process.query(goal);
+            return lastResult;
+        },
+        nextSolution: async () => {
+            const result = lastResult;
+            lastResult = null;
+            return result;
+        },
+        save: () => process.query("kb_save"),
+        terminate: () => process.terminate(),
+    };
+}
+function workspaceRoot(options) {
+    const envRoot = process.env.KIBI_WORKSPACE ??
+        process.env.KIBI_PROJECT_ROOT ??
+        process.env.KIBI_ROOT;
+    return path.resolve(options.workspaceRoot ?? envRoot ?? process.cwd());
+}
+function quoteProlog(value) {
+    return value.replaceAll("'", "''");
+}
+// implements REQ-kibi-operation-interface-parity
+export function createCliRuntime(options = {}) {
+    const ownedPrologs = new WeakMap();
+    return {
+        open: async (spec, invocationOptions = {}) => {
+            const merged = {
+                ...options,
+                ...invocationOptions,
+            };
+            const root = workspaceRoot(merged);
+            const signal = merged.signal ?? new AbortController().signal;
+            const clock = merged.clock ?? (() => new Date());
+            const git = merged.git ?? nodeGit;
+            const contextBase = {
+                workspaceRoot: root,
+                signal,
+                clock,
+                fs: merged.fs ?? nodeFilesystem,
+                git,
+                net: merged.net ?? nodeNetwork,
+            };
+            if (!spec.requiresProlog) {
+                return contextBase;
+            }
+            const prolog = merged.prolog ?? createDefaultProlog();
+            try {
+                await prolog.start?.();
+                let branch = process.env.KIBI_BRANCH?.trim();
+                if (!branch) {
+                    const resolved = resolveActiveBranch(root);
+                    if ("error" in resolved) {
+                        const isNonGitContext = resolved.code === "NOT_A_GIT_REPO" ||
+                            resolved.code === "GIT_NOT_AVAILABLE";
+                        if (isNonGitContext) {
+                            branch = "main";
+                        }
+                        else {
+                            throw new Error(`Failed to resolve active branch: ${resolved.error}`);
+                        }
+                    }
+                    else {
+                        branch = resolved.branch;
+                    }
+                }
+                const kbPath = path.join(root, ".kb", "branches", branch);
+                const attached = await prolog.query(`kb_attach('${quoteProlog(kbPath)}')`);
+                if (!attached.success) {
+                    throw new Error(attached.error ?? "Failed to attach branch KB");
+                }
+                const context = { ...contextBase, prolog };
+                ownedPrologs.set(context, prolog);
+                return context;
+            }
+            catch (error) {
+                await prolog.terminate?.();
+                throw error;
+            }
+        },
+        afterSuccess: async () => undefined,
+        close: async (context) => {
+            await ownedPrologs.get(context)?.terminate?.();
+            ownedPrologs.delete(context);
+        },
+    };
+}

package/dist/schemas/entity.schema.json

@@ -38,6 +38,12 @@
         "severity": { "type": "string" },
         "links": { "type": "array", "items": { "type": "string" } },
         "text_ref": { "type": "string" },
+        "logic_claims": {
+            "type": "array",
+            "minItems": 1,
+            "uniqueItems": true,
+            "items": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" }
+        },
         "sourceFile": { "type": "string" },
         "granularity_reason": {
             "type": "string",
@@ -115,6 +121,8 @@
         "valid_from": { "type": "string" },
         "valid_to": { "type": "string" },
         "canonical_key": { "type": "string" },
+        "claim_key": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" },
+        "claim_text": { "type": "string" },
         "predicate_name": { "type": "string" },
         "predicate_namespace": { "type": "string" },
         "predicate_arity": { "type": "integer", "minimum": 1 },
@@ -138,6 +146,19 @@
         "type"
     ],
     "allOf": [
+        {
+            "if": {
+                "properties": { "type": { "const": "req" } }
+            },
+            "then": {},
+            "else": { "not": { "required": ["logic_claims"] } }
+        },
+        {
+            "if": {
+                "anyOf": [{ "required": ["claim_key"] }, { "required": ["claim_text"] }]
+            },
+            "then": { "required": ["claim_key", "claim_text"] }
+        },
         {
             "if": {
                 "properties": { "type": { "const": "test" } }
@@ -176,6 +197,8 @@
                         { "required": ["valid_from"] },
                         { "required": ["valid_to"] },
                         { "required": ["canonical_key"] },
+                        { "required": ["claim_key"] },
+                        { "required": ["claim_text"] },
                         { "required": ["predicate_name"] },
                         { "required": ["predicate_namespace"] },
                         { "required": ["predicate_arity"] },

package/dist/traceability/evidence-model.d.ts

@@ -5,7 +5,7 @@
  * analysis decides whether a source edit is behavior-changing; this contract only
  * records that decision and the staged KB artifacts that cover it.
  */
-/** User-facing KB schema documentation cited by staged diagnostics. */
+export declare const KIBI_STAGED_IMPACT_EVIDENCE_DOC = "docs/cli-reference.md#staged-impact-evidence";
 export declare const KIBI_ENTITY_SCHEMA_DOC = "docs/entity-schema.md";
 /** Canonical symbols manifest path used by staged traceability enforcement. */
 export declare const KIBI_SYMBOLS_MANIFEST_PATH = "documentation/symbols.yaml";

package/dist/traceability/evidence-model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-model.d.ts","sourceRoot":"","sources":["../../src/traceability/evidence-model.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,uEAAuE;AACvE,eAAO,MAAM,sBAAsB,0BAA0B,CAAC;AAE9D,+EAA+E;AAC/E,eAAO,MAAM,0BAA0B,+BAA+B,CAAC;AAEvE,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,0CACA,CAAC;AAE1C,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,sBAAsB,CAAC;AAE9D,oEAAoE;AACpE,MAAM,MAAM,cAAc,GACtB,KAAK,GACL,UAAU,GACV,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,GACP,QAAQ,GACR,MAAM,CAAC;AAEX;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,GACxB,sBAAsB,GACtB,0BAA0B,CAAC;AAE/B,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,IAAI,EAAE,iBAAiB,GAAG,kBAAkB,CAAC;IAC7C,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,sEAAsE;IACtE,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,yCAAyC;IACzC,KAAK,EAAE,cAAc,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;IACtD,kFAAkF;IAClF,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,0DAA0D;AAC1D,MAAM,MAAM,kBAAkB,GAC1B,gBAAgB,GAChB,4BAA4B,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,oCAAoC;IACpC,WAAW,EAAE,OAAO,0BAA0B,CAAC;IAC/C,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gDAAgD;IAChD,MAAM,EAAE,kBAAkB,CAAC;IAC3B,oEAAoE;IACpE,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,gEAAgE;AAChE,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,YAAY,CAAC;IACnB,oEAAoE;IACpE,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAED,0EAA0E;AAC1E,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,0EAA0E;IAC1E,QAAQ,EAAE,oBAAoB,CAAC;CAChC;AAED,yEAAyE;AACzE,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,6EAA6E;AAC7E,MAAM,MAAM,cAAc,GACtB,uBAAuB,GACvB,8BAA8B,GAC9B,qBAAqB,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,aAAa,EAAE,sBAAsB,EAAE,CAAC;IACxC,2EAA2E;IAC3E,eAAe,EAAE,yBAAyB,CAAC;IAC3C,wDAAwD;IACxD,IAAI,EAAE,cAAc,CAAC;CACtB;AAMD,0DAA0D;AAC1D,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAK7E;AAED,oEAAoE;AACpE,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAQV;AAED,gFAAgF;AAChF,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAMV;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAYzE;AAED,4EAA4E;AAC5E,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,OAAO,CAK1E;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAQV"}
+{"version":3,"file":"evidence-model.d.ts","sourceRoot":"","sources":["../../src/traceability/evidence-model.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,eAAO,MAAM,+BAA+B,iDACI,CAAC;AAEjD,eAAO,MAAM,sBAAsB,0BAA0B,CAAC;AAE9D,+EAA+E;AAC/E,eAAO,MAAM,0BAA0B,+BAA+B,CAAC;AAEvE,qFAAqF;AACrF,eAAO,MAAM,4BAA4B,0CACA,CAAC;AAE1C,mEAAmE;AACnE,eAAO,MAAM,0BAA0B,sBAAsB,CAAC;AAE9D,oEAAoE;AACpE,MAAM,MAAM,cAAc,GACtB,KAAK,GACL,UAAU,GACV,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,GACP,QAAQ,GACR,MAAM,CAAC;AAEX;;;;;;;GAOG;AACH,MAAM,MAAM,gBAAgB,GACxB,sBAAsB,GACtB,0BAA0B,CAAC;AAE/B,sEAAsE;AACtE,MAAM,WAAW,sBAAsB;IACrC,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,wEAAwE;IACxE,IAAI,EAAE,iBAAiB,GAAG,kBAAkB,CAAC;IAC7C,6CAA6C;IAC7C,IAAI,EAAE,MAAM,CAAC;IACb,kEAAkE;IAClE,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,2DAA2D;IAC3D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,sEAAsE;IACtE,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,yBAAyB;IACxC,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,yCAAyC;IACzC,KAAK,EAAE,cAAc,GAAG,OAAO,GAAG,OAAO,GAAG,SAAS,CAAC;IACtD,kFAAkF;IAClF,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,0DAA0D;AAC1D,MAAM,MAAM,kBAAkB,GAC1B,gBAAgB,GAChB,4BAA4B,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,oCAAoC;IACpC,WAAW,EAAE,OAAO,0BAA0B,CAAC;IAC/C,8DAA8D;IAC9D,IAAI,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gDAAgD;IAChD,MAAM,EAAE,kBAAkB,CAAC;IAC3B,oEAAoE;IACpE,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,gEAAgE;AAChE,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,YAAY,CAAC;IACnB,oEAAoE;IACpE,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAED,0EAA0E;AAC1E,MAAM,WAAW,8BAA8B;IAC7C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,0EAA0E;IAC1E,QAAQ,EAAE,oBAAoB,CAAC;CAChC;AAED,yEAAyE;AACzE,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,SAAS,CAAC;CACjB;AAED,6EAA6E;AAC7E,MAAM,MAAM,cAAc,GACtB,uBAAuB,GACvB,8BAA8B,GAC9B,qBAAqB,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,oEAAoE;IACpE,aAAa,EAAE,sBAAsB,EAAE,CAAC;IACxC,2EAA2E;IAC3E,eAAe,EAAE,yBAAyB,CAAC;IAC3C,wDAAwD;IACxD,IAAI,EAAE,cAAc,CAAC;CACtB;AAMD,0DAA0D;AAC1D,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAK7E;AAED,oEAAoE;AACpE,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAQV;AAED,gFAAgF;AAChF,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAMV;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAYzE;AAED,4EAA4E;AAC5E,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,kBAAkB,GAAG,OAAO,CAK1E;AAED;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,EAAE,CAQV"}

package/dist/traceability/evidence-model.js

@@ -5,7 +5,7 @@
  * analysis decides whether a source edit is behavior-changing; this contract only
  * records that decision and the staged KB artifacts that cover it.
  */
-/** User-facing KB schema documentation cited by staged diagnostics. */
+export const KIBI_STAGED_IMPACT_EVIDENCE_DOC = "docs/cli-reference.md#staged-impact-evidence";
 export const KIBI_ENTITY_SCHEMA_DOC = "docs/entity-schema.md";
 /** Canonical symbols manifest path used by staged traceability enforcement. */
 export const KIBI_SYMBOLS_MANIFEST_PATH = "documentation/symbols.yaml";

package/dist/traceability/staged-diagnostics.d.ts

@@ -1,14 +1,14 @@
+import type { QualityDiagnostic } from "../public/impact/types.js";
 import { type KibiImpactEvidence } from "./evidence-model.js";
-export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "kibi_impact_override_missing_rationale";
-export interface KibiImpactDiagnostic {
+export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "symbol_semantic_review_needed" | "multi_requirement_symbol_review" | "duplicate_symbol_coordinate_review" | "component_mixed_purpose_review" | "broad_requirement_review" | "requirement_status_review" | "strict_fact_modeling_review" | "logical_coverage_review" | "kibi_impact_override_missing_rationale";
+export interface KibiImpactDiagnostic extends QualityDiagnostic {
     /** Stable staged-enforcement diagnostic identifier. */
     id: KibiImpactDiagnosticId;
-    /** Hard-gate severity for staged enforcement. */
-    severity: "error";
+    category: QualityDiagnostic["category"];
     /** Repo-relative files that explain why the diagnostic fired. */
-    files: string[];
+    files: readonly string[];
     /** User-facing docs that explain the policy. */
-    docs: string[];
+    docs: readonly string[];
     /** Exact CLI-facing diagnostic message. */
     message: string;
     /** Deterministic remediation guidance. */

package/dist/traceability/staged-diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,kBAAkB,EAIxB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,wCAAwC,CAAC;AAE7C,MAAM,WAAW,oBAAoB;IACnC,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,iDAAiD;IACjD,QAAQ,EAAE,OAAO,CAAC;IAClB,iEAAiE;IACjE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gDAAgD;IAChD,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AAsDD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,EAAE,CAoCxB"}
+{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAIL,KAAK,kBAAkB,EAIxB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,+BAA+B,GAC/B,iCAAiC,GACjC,oCAAoC,GACpC,gCAAgC,GAChC,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,wCAAwC,CAAC;AAE7C,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxC,iEAAiE;IACjE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gDAAgD;IAChD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AA4DD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,EAAE,CAoCxB"}

package/dist/traceability/staged-diagnostics.js

@@ -1,4 +1,4 @@
-import { KIBI_ENTITY_SCHEMA_DOC, KIBI_SYMBOLS_MANIFEST_PATH, KIBI_SYMBOL_COORDINATES_PATH, getBehaviorSourcePaths, getMissingBehaviorSourcePaths, hasOverrideRationale, } from "./evidence-model.js";
+import { KIBI_STAGED_IMPACT_EVIDENCE_DOC, KIBI_SYMBOLS_MANIFEST_PATH, KIBI_SYMBOL_COORDINATES_PATH, getBehaviorSourcePaths, getMissingBehaviorSourcePaths, hasOverrideRationale, } from "./evidence-model.js";
 function formatFileList(paths) {
     return paths.join(", ");
 }
@@ -6,18 +6,22 @@ function createMissingEvidenceDiagnostic(paths) {
     return {
         id: "kibi_impact_evidence_missing",
         severity: "error",
+        blocking: true,
+        category: "fact",
         files: [...paths],
-        docs: [KIBI_ENTITY_SCHEMA_DOC],
-        message: `Behavior-changing staged files are missing Kibi impact evidence (see ${KIBI_ENTITY_SCHEMA_DOC}): ${formatFileList(paths)}`,
-        suggestion: `Query Kibi via MCP before deciding, then stage requirement/scenario/test/fact/symbol markdown evidence, staged authored ${KIBI_SYMBOLS_MANIFEST_PATH} metadata, or refreshed ${KIBI_SYMBOL_COORDINATES_PATH}. Re-run kibi check --staged after staging the evidence.`,
+        docs: [KIBI_STAGED_IMPACT_EVIDENCE_DOC],
+        message: `Behavior-changing staged files are missing staged Kibi impact evidence (see ${KIBI_STAGED_IMPACT_EVIDENCE_DOC}): ${formatFileList(paths)}`,
+        suggestion: `Query Kibi via MCP before deciding. MCP writes update KB state but do not stage tracked evidence; also stage requirement/scenario/test/fact/symbol markdown, authored ${KIBI_SYMBOLS_MANIFEST_PATH} metadata, or refreshed ${KIBI_SYMBOL_COORDINATES_PATH}. Re-run kibi check --staged after staging tracked evidence.`,
     };
 }
 function createSymbolsManifestStaleDiagnostic(paths) {
     return {
         id: "symbols_manifest_stale",
         severity: "error",
+        blocking: true,
+        category: "symbol",
         files: [KIBI_SYMBOL_COORDINATES_PATH, ...paths],
-        docs: [KIBI_ENTITY_SCHEMA_DOC],
+        docs: [KIBI_STAGED_IMPACT_EVIDENCE_DOC],
         message: `${KIBI_SYMBOL_COORDINATES_PATH} is stale or missing for staged source files: ${formatFileList(paths)}`,
         suggestion: `Run kibi sync --refresh-symbol-coordinates && git add ${KIBI_SYMBOL_COORDINATES_PATH} ${KIBI_SYMBOLS_MANIFEST_PATH}, then re-run kibi check --staged.`,
     };
@@ -30,8 +34,10 @@ function createMissingOverrideRationaleDiagnostic(evidence) {
     return {
         id: "kibi_impact_override_missing_rationale",
         severity: "error",
+        blocking: true,
+        category: "fact",
         files: [evidence.mode.override.path, ...paths],
-        docs: [KIBI_ENTITY_SCHEMA_DOC],
+        docs: [KIBI_STAGED_IMPACT_EVIDENCE_DOC],
         message: `Kibi-Impact: none override is missing rationale for staged source files: ${formatFileList(paths)}`,
         suggestion: "Add a non-empty rationale in the same staged override record, keep overrides limited to false positives or non-behavioral source edits, and re-run kibi check --staged.",
     };

package/dist/traceability/staged-impact-contract.js

@@ -49,7 +49,7 @@ export const KIBI_IMPACT_DIAGNOSTICS = {
         title: "Behavior edit requires staged Kibi impact evidence",
         resolution: [
             "Query Kibi via MCP first: use kb_search for discovery, then kb_query for exact follow-up.",
-            "Stage related KB entity markdown, stage authored documentation/symbols.yaml metadata, or refresh coordinates with kibi sync --refresh-symbol-coordinates and stage documentation/symbol-coordinates.yaml documentation/symbols.yaml.",
+            "MCP writes update KB state but do not stage tracked evidence; also stage related KB entity markdown, authored documentation/symbols.yaml metadata, or refreshed documentation/symbol-coordinates.yaml.",
             "Re-run or let the hook run kibi check --staged.",
         ],
     },

package/dist/traceability/staged-symbols-manifest.d.ts

@@ -10,6 +10,7 @@ export interface StagedAuthoredSymbolsManifestEvidence {
         sourcePath: string;
         entityIds: string[];
     }>;
+    changedEntityIds: string[];
 }
 export declare function assessStagedSymbolsManifest(options: {
     symbolsManifestPath: string;

package/dist/traceability/staged-symbols-manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA8BlD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,cAAc,CAAC;IACtD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAC7D;AA8QD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,+BAA+B,CA8ElC;AAoBD,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,qCAAqC,CAmDxC"}
+{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA+BlD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,cAAc,CAAC;IACtD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC5D,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AA2TD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,+BAA+B,CAmFlC;AAED,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,qCAAqC,CAmExC"}