kibi-cli 1.0.1 → 2.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "1.0.1",
+  "version": "2.0.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -19,7 +19,7 @@
     "templates"
   ],
   "scripts": {
-    "build": "tsc -p tsconfig.json && rm -rf dist/public/skills && mkdir -p dist/public/skills && cp -r src/public/skills/. dist/public/skills/ && node ../../scripts/generate-entity-schema.mjs --check",
+    "build": "tsc -p tsconfig.json && rm -rf dist/public/skills && mkdir -p dist/public/skills dist/report && cp -r src/public/skills/. dist/public/skills/ && cp src/report/html-report.css dist/report/html-report.css && node ../../scripts/generate-entity-schema.mjs --check",
     "test": "node ../../scripts/run-owned-engine-tests.mjs -- bun test --timeout 15000 .",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "schema:generate": "tsc -p tsconfig.json && node ../../scripts/generate-entity-schema.mjs",
@@ -59,10 +59,6 @@
       "types": "./dist/public/operations/node-ports.d.ts",
       "default": "./dist/public/operations/node-ports.js"
     },
-    "./verification-receipt": {
-      "types": "./dist/public/verification-receipt.d.ts",
-      "default": "./dist/public/verification-receipt.js"
-    },
     "./operations/semantic-advisor/analyze-prose": {
       "types": "./dist/operations/semantic-advisor/analyze-prose.d.ts",
       "default": "./dist/operations/semantic-advisor/analyze-prose.js"
@@ -120,12 +116,12 @@
       "default": "./dist/intent-search.js"
     },
     "./playwright-reporter": {
-      "types": "./dist/verification/playwright-reporter.d.ts",
-      "default": "./dist/verification/playwright-reporter.js"
+      "types": "./dist/proof/producers/playwright-reporter.d.ts",
+      "default": "./dist/proof/producers/playwright-reporter.js"
     },
     "./playwright-case-id": {
-      "types": "./dist/public/playwright-case-id.d.ts",
-      "default": "./dist/public/playwright-case-id.js"
+      "types": "./dist/proof/producers/playwright-case-id.d.ts",
+      "default": "./dist/proof/producers/playwright-case-id.js"
     },
     "./public/check-types": {
       "types": "./dist/public/check-types.d.ts",
@@ -230,7 +226,8 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.11.0",
+    "kibi-core": "^0.12.0",
+    "saxes": "^6.0.0",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0",
     "yaml": "^2.9.0"

package/src/public/diagnostic-usage.ts

@@ -85,12 +85,12 @@ function appendSemanticFields(
 }
 
 const RECEIPT_GAP_CODES = new Set([
-  "missing_verification_receipt",
-  "stale_verification_receipt",
-  "failed_verification_receipt",
-  "invalid_verification_receipt",
-  "verification_contract_mismatch",
-  "verification_snapshot_unavailable",
+  "missing_proof_receipt",
+  "stale_proof_receipt",
+  "failed_proof_receipt",
+  "invalid_proof_receipt",
+  "proof_contract_mismatch",
+  "proof_snapshot_unavailable",
 ]);
 
 const MAX_COVERAGE_RECEIPT_GAPS = 50;

package/src/public/distribution-parity.ts

@@ -19,8 +19,8 @@ export const REQUIREMENT_COMPILER_CAPABILITIES = [
   "contradiction_witnesses",
   "conservative_proof",
   "repair_plan",
-  "verification_receipts",
-  "verification_contract",
+  "proof_receipts",
+  "proof_contract",
   "telemetry_acceptance",
 ] as const;
 
@@ -170,7 +170,10 @@ const DEFAULT_VOLATILE_KEYS = new Set([
   "updated_at",
   "updatedAt",
   "usageLogLineNumber",
-  "verificationSnapshot",
+  "proofSnapshot",
+  // Per-workspace filesystem identity; CLI and MCP parity runs use two temp trees.
+  "attachedIno",
+  "attachedDev",
 ]);
 
 type PackageManifest = {
@@ -178,12 +181,17 @@ type PackageManifest = {
   readonly version?: string;
 };
 
-function nearestPackageInfo(entrypoint: string): {
+export function nextAncestorDirectory(current: string): string | undefined {
+  const parent = path.dirname(current);
+  return parent === current ? undefined : parent;
+}
+
+export function nearestPackageInfo(entrypoint: string): {
   readonly packageRoot?: string;
   readonly version?: string;
 } {
-  let current = path.dirname(entrypoint);
-  while (true) {
+  let current: string | undefined = path.dirname(entrypoint);
+  while (current !== undefined) {
     const manifestPath = path.join(current, "package.json");
     if (existsSync(manifestPath)) {
       try {
@@ -200,10 +208,9 @@ function nearestPackageInfo(entrypoint: string): {
         return { packageRoot: current };
       }
     }
-    const parent = path.dirname(current);
-    if (parent === current) return {};
-    current = parent;
+    current = nextAncestorDirectory(current);
   }
+  return {};
 }
 
 function declaredEntrypoint(contents: string): string | undefined {
@@ -305,7 +312,7 @@ function semanticFingerprint(value: unknown): string {
   return JSON.stringify(value);
 }
 
-function sortedUnique(values: readonly string[] | undefined): string[] {
+export function sortedUnique(values: readonly string[] | undefined): string[] {
   return [...new Set(values ?? [])].sort((left, right) =>
     left.localeCompare(right),
   );

package/src/public/impact/coverage-depth-quality.ts

@@ -136,7 +136,7 @@ function isReviewableCoverageDepth(
   );
 }
 
-function uniqueStrings(values: readonly string[]): readonly string[] {
+export function uniqueStrings(values: readonly string[]): readonly string[] {
   return [...new Set(values)].toSorted((left, right) =>
     left.localeCompare(right),
   );

package/src/public/impact/diagnostics.ts

@@ -7,6 +7,7 @@ import {
   extractSymbolsFromStagedFile,
 } from "../../traceability/symbol-extract.js";
 import {
+  ALLOWED_GRANULARITY_REASONS_PROSE,
   getBehavioralSymbolNames,
   getNonBehavioralSymbolNames,
   isAllowedGranularityReason,
@@ -151,7 +152,7 @@ export function createSymbolGranularityDiagnostics(
       files: [result.entity.source, result.sourceFile],
       docs: ["docs/symbol-traceability-taxonomy.md"],
       message: `Symbol ${result.entity.id} links ${result.sourceFile} coarsely while granular symbols are available (behavioral only): ${behavioralNames.join(", ")}`,
-      suggestion: `Move ownership/coverage/test relationships to the narrow behavioral symbol, add a manifest behavioral anchor, or add granularity_reason with config-artifact, module-level-behavior, extractor-miss, or legacy-link when the coarse symbol is intentional.${ignoredSymbolsSuggestion}`,
+      suggestion: `Move ownership/coverage/test relationships to the narrow behavioral symbol, add a manifest behavioral anchor, or add granularity_reason with ${ALLOWED_GRANULARITY_REASONS_PROSE} when the coarse symbol is intentional.${ignoredSymbolsSuggestion}`,
     });
   }
 

package/src/public/impact/diff-meaning.ts

@@ -1,3 +1,13 @@
+export function isTrailingCommaBeforeCloser(
+  character: string,
+  nextCharacter: string | undefined,
+): boolean {
+  return (
+    character === "," &&
+    (nextCharacter === ")" || nextCharacter === "]" || nextCharacter === "}")
+  );
+}
+
 function normalizeDiffContent(line: string): string {
   let normalized = "";
   let quote: '"' | "'" | "`" | null = null;
@@ -62,10 +72,7 @@ function removeSyntacticTrailingCommas(content: string): string {
     }
 
     const nextCharacter = content[index + 1];
-    if (
-      character === "," &&
-      (nextCharacter === ")" || nextCharacter === "]" || nextCharacter === "}")
-    ) {
+    if (isTrailingCommaBeforeCloser(character, nextCharacter)) {
       continue;
     }