kibi-cli 0.1.6 → 0.1.7

package/dist/commands/aggregated-checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,GACjC,OAAO,CAAC,SAAS,EAAE,CAAC,CAoFtB"}
+{"version":3,"file":"aggregated-checks.d.ts","sourceRoot":"","sources":["../../src/commands/aggregated-checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,aAAa,EAAmB,MAAM,cAAc,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAU5C;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,GACjC,OAAO,CAAC,SAAS,EAAE,CAAC,CAqDtB"}

package/dist/commands/aggregated-checks.js

@@ -7,27 +7,6 @@ import { resolveKbPlPath } from "../prolog.js";
  */
 export async function runAggregatedChecks(prolog, rulesAllowlist) {
     const violations = [];
-    // Build the check goal based on allowlist
-    const checkGoals = [];
-    const supportedRules = [
-        "must-priority-coverage",
-        "symbol-coverage",
-        "no-dangling-refs",
-        "no-cycles",
-        "required-fields",
-        "deprecated-adr-no-successor",
-        "domain-contradictions",
-    ];
-    for (const rule of supportedRules) {
-        if (!rulesAllowlist || rulesAllowlist.has(rule)) {
-            // Convert kebab-case to snake_case for Prolog
-            const prologRule = rule.replace(/-/g, "_");
-            checkGoals.push(`findall(V, checks:check_${prologRule}(V), ${prologRule}_violations)`);
-        }
-    }
-    if (checkGoals.length === 0) {
-        return violations;
-    }
     const checksPlPath = path.join(path.dirname(resolveKbPlPath()), "checks.pl");
     const checksPlPathEscaped = checksPlPath.replace(/'/g, "''");
     const query = `(use_module('${checksPlPathEscaped}'), call(checks:check_all_json(JsonString)))`;
@@ -37,37 +16,33 @@ export async function runAggregatedChecks(prolog, rulesAllowlist) {
             console.warn("Aggregated checks query failed, falling back to individual checks");
             return [];
         }
-        // Parse the JSON from the binding
         let violationsDict;
         try {
             const jsonString = result.bindings.JsonString;
-            if (jsonString) {
-                violationsDict = JSON.parse(jsonString);
-            }
-            else {
+            if (!jsonString) {
                 throw new Error("No JSON string in binding");
             }
+            let parsed = JSON.parse(jsonString);
+            if (typeof parsed === "string") {
+                parsed = JSON.parse(parsed);
+            }
+            violationsDict = parsed;
         }
         catch (parseError) {
             console.warn("Failed to parse violations JSON:", parseError);
             return [];
         }
-        // Convert Prolog violation terms to Violation objects
-        for (const [ruleKey, ruleViolations] of Object.entries(violationsDict)) {
-            const rule = ruleKey.replace(/_/g, "-");
+        for (const ruleViolations of Object.values(violationsDict)) {
             for (const v of ruleViolations) {
-                if (typeof v === "string") {
-                    // Parse Prolog violation/5 term: violation(Rule, EntityId, Desc, Sugg, Source)
-                    const match = v.match(/violation\(([^,]+),\s*'([^']+)'\s*,\s*"([^"]*)"\s*,\s*"([^"]*)"\s*,\s*"([^"]*)"\)/);
-                    if (match) {
-                        violations.push({
-                            rule: rule,
-                            entityId: match[2],
-                            description: match[3],
-                            suggestion: match[4] || undefined,
-                            source: match[5] || undefined,
-                        });
-                    }
+                const isAllowed = !rulesAllowlist || rulesAllowlist.has(v.rule);
+                if (isAllowed) {
+                    violations.push({
+                        rule: v.rule,
+                        entityId: v.entityId,
+                        description: v.description,
+                        suggestion: v.suggestion || undefined,
+                        source: v.source || undefined,
+                    });
                 }
             }
         }

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAsDA,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;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAqMvE"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA8DA,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;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA6MvE"}

package/dist/commands/check.js

@@ -46,10 +46,10 @@ import * as path from "node:path";
 import { PrologProcess } from "../prolog.js";
 import { getStagedFiles } from "../traceability/git-staged.js";
 import { extractSymbolsFromStagedFile } from "../traceability/symbol-extract.js";
-import { cleanupTempKb, consultOverlay, createOverlayFacts, createTempKb } from "../traceability/temp-kb.js";
-import { formatViolations as formatStagedViolations, validateStagedSymbols } from "../traceability/validate.js";
-import { getCurrentBranch } from "./init-helpers.js";
+import { cleanupTempKb, consultOverlay, createOverlayFacts, createTempKb, } from "../traceability/temp-kb.js";
+import { formatViolations as formatStagedViolations, validateStagedSymbols, } from "../traceability/validate.js";
 import { runAggregatedChecks } from "./aggregated-checks.js";
+import { getCurrentBranch } from "./init-helpers.js";
 export async function checkCommand(options) {
     try {
         // Resolve KB path with priority:
@@ -111,7 +111,10 @@ export async function checkCommand(options) {
                 await fs.writeFile(tempCtx.overlayPath, overlayFacts, "utf8");
                 await consultOverlay(tempCtx);
                 // Validate staged symbols using the temp KB prolog session
-                const violationsRaw = await validateStagedSymbols({ minLinks, prolog: tempCtx.prolog });
+                const violationsRaw = await validateStagedSymbols({
+                    minLinks,
+                    prolog: tempCtx.prolog,
+                });
                 const violationsFormatted = formatStagedViolations(violationsRaw);
                 if (violationsRaw && violationsRaw.length > 0) {
                     console.log(violationsFormatted);
@@ -167,16 +170,16 @@ export async function checkCommand(options) {
         // This is significantly faster in Bun/Docker environments where one-shot mode
         // spawns a new Prolog process for each query
         const supportedRules = [
-            'must-priority-coverage',
-            'symbol-coverage',
-            'no-dangling-refs',
-            'no-cycles',
-            'required-fields',
-            'deprecated-adr-no-successor',
-            'domain-contradictions',
+            "must-priority-coverage",
+            "symbol-coverage",
+            "no-dangling-refs",
+            "no-cycles",
+            "required-fields",
+            "deprecated-adr-no-successor",
+            "domain-contradictions",
         ];
         const canUseAggregated = !rulesAllowlist ||
-            Array.from(rulesAllowlist).every(r => supportedRules.includes(r));
+            Array.from(rulesAllowlist).every((r) => supportedRules.includes(r));
         if (canUseAggregated) {
             // Fast path: single Prolog call returning all violations
             const aggregatedViolations = await runAggregatedChecks(prolog, rulesAllowlist);
@@ -193,14 +196,6 @@ export async function checkCommand(options) {
             await runCheck("deprecated-adr-no-successor", checkDeprecatedAdrs);
             await runCheck("domain-contradictions", checkDomainContradictions);
         }
-        await runCheck("must-priority-coverage", checkMustPriorityCoverage);
-        await runCheck("symbol-coverage", checkSymbolCoverage);
-        await runCheck("no-dangling-refs", checkNoDanglingRefs);
-        await runCheck("no-cycles", checkNoCycles);
-        const allEntityIds = await getAllEntityIds(prolog);
-        await runCheck("required-fields", checkRequiredFields, allEntityIds);
-        await runCheck("deprecated-adr-no-successor", checkDeprecatedAdrs);
-        await runCheck("domain-contradictions", checkDomainContradictions);
         await prolog.query("kb_detach");
         await prolog.terminate();
         if (violations.length === 0) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.1.6",
+  "version": "0.1.7",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -11,13 +11,7 @@
   "bin": {
     "kibi": "bin/kibi"
   },
-  "files": [
-    "dist",
-    "bin",
-    "schema",
-    "src/schemas",
-    "src/public"
-  ],
+  "files": ["dist", "bin", "schema", "src/schemas", "src/public"],
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "prepack": "npm run build"
@@ -52,7 +46,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.1.5",
+    "kibi-core": "^0.1.6",
     "ts-morph": "^23.0.0"
   },
   "license": "AGPL-3.0-or-later",