kibi-cli 1.0.1 → 2.1.0

package/dist/commands/check-generated.js

@@ -0,0 +1,192 @@
+import { spawnSync } from "node:child_process";
+import { existsSync, mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync, } from "node:fs";
+import { tmpdir } from "node:os";
+import * as path from "node:path";
+import { load as parseYAML } from "js-yaml";
+import { refreshManifestCoordinates } from "./sync/manifest.js";
+const MANIFESTS = [".kb/symbols.yaml", ".kb/symbol-coordinates.yaml"];
+const MAX_GIT_OUTPUT = 256 * 1024 * 1024;
+function git(args, input) {
+    const result = spawnSync("git", args, {
+        input,
+        maxBuffer: MAX_GIT_OUTPUT,
+        encoding: "buffer",
+    });
+    if (result.error || result.status !== 0) {
+        throw new Error(`git ${args.join(" ")} failed: ${result.error?.message ?? result.stderr.toString("utf8").trim()}`);
+    }
+    return result.stdout;
+}
+function indexTree() {
+    return git(["write-tree"]).toString("utf8").trim();
+}
+function treeBlobs(tree) {
+    const entries = git(["ls-tree", "-r", "-z", "--full-tree", tree]);
+    const blobs = new Map();
+    const nonRegularPaths = new Set();
+    for (const record of entries.toString("utf8").split("\0")) {
+        if (!record)
+            continue;
+        const match = /^(\d{6}) (\w+) ([a-f0-9]+)\t(.+)$/.exec(record);
+        if (!match)
+            throw new Error("Could not parse staged Git tree");
+        const [, mode, type, oid, file] = match;
+        if (file === undefined || oid === undefined)
+            throw new Error("Could not parse staged Git tree");
+        if (mode === "100644" || mode === "100755") {
+            if (type !== "blob")
+                throw new Error(`Unexpected Git object for ${file}`);
+            blobs.set(file, oid);
+        }
+        else {
+            nonRegularPaths.add(file);
+        }
+    }
+    return { blobs, nonRegularPaths };
+}
+function readBlobs(oids) {
+    if (oids.length === 0)
+        return new Map();
+    const response = git(["cat-file", "--batch"], Buffer.from(`${oids.join("\n")}\n`));
+    const contents = new Map();
+    let offset = 0;
+    for (const oid of oids) {
+        const end = response.indexOf(10, offset);
+        if (end < 0)
+            throw new Error("Incomplete Git blob response");
+        const header = response.subarray(offset, end).toString("utf8");
+        const match = /^([a-f0-9]+) blob (\d+)$/.exec(header);
+        if (!match || match[1] !== oid)
+            throw new Error(`Invalid Git blob response for ${oid}`);
+        const size = Number(match[2]);
+        const start = end + 1;
+        const finish = start + size;
+        if (!Number.isSafeInteger(size) ||
+            finish >= response.length ||
+            response[finish] !== 10) {
+            throw new Error(`Incomplete Git blob ${oid}`);
+        }
+        contents.set(oid, response.subarray(start, finish));
+        offset = finish + 1;
+    }
+    return contents;
+}
+function sourcePaths(symbols) {
+    const parsed = parseYAML(symbols.toString("utf8"));
+    if (!parsed ||
+        typeof parsed !== "object" ||
+        !("symbols" in parsed) ||
+        !Array.isArray(parsed.symbols)) {
+        throw new Error("Staged .kb/symbols.yaml has no symbols array");
+    }
+    const sources = new Set();
+    for (const symbol of parsed.symbols) {
+        const source = symbol?.sourceFile;
+        if (typeof source !== "string")
+            continue;
+        const normalized = path.posix.normalize(source.replaceAll("\\", "/"));
+        if (normalized === "." ||
+            path.posix.isAbsolute(normalized) ||
+            /^[A-Za-z]:/.test(normalized) ||
+            normalized.split("/").includes("..")) {
+            throw new Error(`Symbol source must be a repository-relative path: ${source}`);
+        }
+        sources.add(normalized);
+    }
+    return { paths: [...sources], symbolCount: parsed.symbols.length };
+}
+/** Compare generated artifacts for exactly one captured Git index tree. */
+// implements REQ-cli-check
+export async function checkGeneratedManifests(options = {}) {
+    let snapshotDir;
+    try {
+        const tree = indexTree();
+        const { blobs, nonRegularPaths } = treeBlobs(tree);
+        const symbolsOid = blobs.get(MANIFESTS[0]);
+        if (!symbolsOid)
+            throw new Error("Staged .kb/symbols.yaml is missing or is not a regular file");
+        const initial = readBlobs([symbolsOid]);
+        const symbols = initial.get(symbolsOid);
+        if (!symbols)
+            throw new Error("Could not read staged .kb/symbols.yaml");
+        const { paths: sources, symbolCount } = sourcePaths(symbols);
+        // Plain sync does not publish coordinate artifacts for a freshly
+        // initialized, empty symbols manifest. The first commit must remain usable.
+        if (symbolCount === 0) {
+            if (indexTree() !== tree)
+                throw new Error("Git index changed during generated-manifest analysis; retry the commit");
+            console.log("kibi: staged symbols manifest is empty; no coordinates to refresh.");
+            return { exitCode: 0 };
+        }
+        const nonRegularEntries = [...nonRegularPaths];
+        const nonRegular = sources.find((source) => nonRegularEntries.some((entry) => source === entry || source.startsWith(`${entry}/`)));
+        if (nonRegular)
+            throw new Error(`Staged symbol source is not a regular file: ${nonRegular}`);
+        if (options.changedOnly) {
+            const changed = new Set(git(["diff", "--cached", "--name-only", "--no-renames", "-z"])
+                .toString("utf8")
+                .split("\0")
+                .filter(Boolean));
+            if (![...MANIFESTS, ...sources].some((file) => changed.has(file))) {
+                if (indexTree() !== tree)
+                    throw new Error("Git index changed during generated-manifest analysis; retry the commit");
+                console.log("kibi: no staged symbol sources or generated manifests changed.");
+                return { exitCode: 0 };
+            }
+        }
+        const files = [...MANIFESTS, ...sources];
+        const objectIds = [
+            ...new Set(files
+                .map((file) => blobs.get(file))
+                .filter((oid) => !!oid)),
+        ];
+        const content = readBlobs(objectIds);
+        snapshotDir = mkdtempSync(path.join(tmpdir(), "kibi-generated-check-"));
+        for (const file of files) {
+            const oid = blobs.get(file);
+            if (!oid)
+                continue;
+            const target = path.join(snapshotDir, file);
+            mkdirSync(path.dirname(target), { recursive: true });
+            const bytes = content.get(oid);
+            if (!bytes)
+                throw new Error(`Could not read staged blob for ${file}`);
+            writeFileSync(target, bytes);
+        }
+        await refreshManifestCoordinates(path.join(snapshotDir, MANIFESTS[0]), snapshotDir, {
+            refreshSymbolCoordinates: true,
+            quiet: true,
+        });
+        const snapshot = snapshotDir;
+        const drift = MANIFESTS.filter((file) => {
+            const generatedPath = path.join(snapshot, file);
+            const expected = existsSync(generatedPath)
+                ? readFileSync(generatedPath)
+                : undefined;
+            const oid = blobs.get(file);
+            const staged = oid ? content.get(oid) : undefined;
+            return expected === undefined
+                ? staged !== undefined
+                : staged === undefined || !expected.equals(staged);
+        });
+        // An index mutation invalidates every comparison, even if the manifests
+        // themselves were untouched. Git will commit the later index state.
+        if (indexTree() !== tree)
+            throw new Error("Git index changed during generated-manifest analysis; retry the commit");
+        if (drift.length > 0) {
+            console.error(`kibi: generated manifest drift in staged snapshot: ${drift.join(", ")}`);
+            console.error("Run kibi sync --refresh-symbol-coordinates, review the diff, then stage only the intended hunks with git add -p (or git add <path> when the whole file is intended).");
+            return { exitCode: 1 };
+        }
+        console.log("kibi: staged generated manifests are current.");
+        return { exitCode: 0 };
+    }
+    catch (error) {
+        console.error(`kibi: generated manifest check failed: ${error instanceof Error ? error.message : String(error)}`);
+        return { exitCode: 1 };
+    }
+    finally {
+        if (snapshotDir)
+            rmSync(snapshotDir, { recursive: true, force: true });
+    }
+}

package/dist/commands/check.d.ts

@@ -1,3 +1,4 @@
+import { PrologProcess } from "../prolog.js";
 import type { Violation } from "../utils/rule-registry.js";
 export type { Violation };
 export interface CheckOptions {
@@ -9,7 +10,20 @@ export interface CheckOptions {
     dryRun?: boolean;
     format?: "text" | "json";
 }
+export declare function requireActiveProlog<E, P>(engine: E | null | undefined, prolog: P | null | undefined): NonNullable<E | P>;
 export declare function checkCommand(options: CheckOptions): Promise<{
     exitCode: number;
 }>;
+export declare function checkMustPriorityCoverage(prolog: PrologProcess): Promise<Violation[]>;
+export declare function findMustPriorityReqs(prolog: PrologProcess): Promise<string[]>;
+export declare function getAllEntityIds(prolog: PrologProcess, type?: string): Promise<string[]>;
+export declare function checkNoDanglingRefs(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkNoCycles(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkRequiredFields(prolog: PrologProcess, allEntityIds: string[]): Promise<Violation[]>;
+export declare function checkDeprecatedAdrs(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkDomainContradictions(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkStrictFactShape(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkStrictReqFactPairing(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkStrictReadiness(prolog: PrologProcess): Promise<Violation[]>;
+export declare function checkSymbolCoverage(prolog: PrologProcess): Promise<Violation[]>;
 //# sourceMappingURL=check.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAqFA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AAmaD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA4W/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAgE7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AAifD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EACtC,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5B,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,GAC3B,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAMpB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAib/B;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAoDtB;AAID,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AACD,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA+DtB;AAID,wBAAsB,aAAa,CACjC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAmGtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC,CAyCtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA+BtB"}