kibi-cli 0.19.0 → 1.0.1

package/dist/utils/manifest-paths.js

@@ -1,64 +1,16 @@
-import { existsSync, readFileSync } from "node:fs";
 import * as path from "node:path";
-export const DEFAULT_SYMBOLS_PATH = "documentation/symbols.yaml";
-export const DEFAULT_COORDINATES_PATH = "documentation/symbol-coordinates.yaml";
-function isNonEmptyString(value) {
-    return typeof value === "string" && value.trim().length > 0;
-}
-function resolveConfigPath(workspaceRoot, configPath) {
-    const configuredPath = configPath ?? path.join(workspaceRoot, ".kb", "config.json");
-    return path.isAbsolute(configuredPath)
-        ? configuredPath
-        : path.resolve(workspaceRoot, configuredPath);
-}
-function readManifestResolverConfig(workspaceRoot, configPath) {
-    const resolvedConfigPath = resolveConfigPath(workspaceRoot, configPath);
-    if (!existsSync(resolvedConfigPath)) {
-        return null;
-    }
-    try {
-        return JSON.parse(readFileSync(resolvedConfigPath, "utf8"));
-    }
-    catch {
-        return null;
-    }
-}
-function resolveConfiguredSymbolsPath(workspaceRoot, configPath) {
-    const config = readManifestResolverConfig(workspaceRoot, configPath);
-    if (!config) {
-        return null;
-    }
-    const configuredPathCandidate = config.paths?.symbols ?? config.symbolsManifest;
-    if (!isNonEmptyString(configuredPathCandidate)) {
-        return null;
-    }
-    return path.isAbsolute(configuredPathCandidate)
-        ? configuredPathCandidate
-        : path.resolve(workspaceRoot, configuredPathCandidate);
-}
-function resolveDefaultSymbolsPath(workspaceRoot) {
-    const candidates = [
-        path.join(workspaceRoot, DEFAULT_SYMBOLS_PATH),
-        path.join(workspaceRoot, "symbols.yaml"),
-        path.join(workspaceRoot, "symbols.yml"),
-    ];
-    return (candidates.find((candidate) => existsSync(candidate)) ??
-        candidates[0] ??
-        path.join(workspaceRoot, DEFAULT_SYMBOLS_PATH));
-}
-function deriveCoordinatesPath(symbolsPath) {
-    return path.join(path.dirname(symbolsPath), path.basename(DEFAULT_COORDINATES_PATH));
-}
+import { CANONICAL_ENTITY_PATHS, KB_PATHS } from "./kb-paths.js";
+export const DEFAULT_SYMBOLS_PATH = KB_PATHS.symbolsManifest;
+export const DEFAULT_COORDINATES_PATH = KB_PATHS.symbolCoordinates;
 // implements REQ-cli-sync
-export function resolveSymbolsManifestPaths(workspaceRoot, configPath) {
-    const symbolsPath = resolveConfiguredSymbolsPath(workspaceRoot, configPath) ??
-        resolveDefaultSymbolsPath(workspaceRoot);
+export function resolveSymbolsManifestPaths(workspaceRoot) {
+    const symbolsPath = path.join(workspaceRoot, CANONICAL_ENTITY_PATHS.symbols);
     return {
         symbolsPath,
-        coordinatesPath: deriveCoordinatesPath(symbolsPath),
+        coordinatesPath: path.join(workspaceRoot, DEFAULT_COORDINATES_PATH),
     };
 }
 // implements REQ-cli-sync
-export function resolveSymbolsManifestPath(workspaceRoot, configPath) {
-    return resolveSymbolsManifestPaths(workspaceRoot, configPath).symbolsPath;
+export function resolveSymbolsManifestPath(workspaceRoot) {
+    return resolveSymbolsManifestPaths(workspaceRoot).symbolsPath;
 }

package/dist/utils/rule-registry.d.ts

@@ -1,16 +1,34 @@
 /**
- * Central registry of all KB check rules.
- * This is the single source of truth for rule names, descriptions, and defaults.
+ * Central registry of KB check rules.
+ *
+ * Kibi — not the repository — owns each rule's enforcement class. Projects
+ * can no longer disable canonical checks. `--rules` remains an
+ * invocation-time diagnostic selector only and never persists policy.
  */
+export type RuleEnforcementClass = 
+/**
+ * Canonical blocking correctness checks. Always evaluated by
+ * `kibi check`, hooks, CI, reports, and coverage summaries. Not
+ * configurable by any project surface.
+ */
+"canonical"
+/**
+ * Advisory modeling-quality checks. Reported as quality diagnostics to
+ * guide agents, but never gate canonical health on their own.
+ */
+ | "advisory"
+/**
+ * Migration/experimental diagnostics. Default-off; surfaced only through
+ * explicit invocation-time `--rules` selection for focused diagnosis.
+ */
+ | "migration";
 export interface RuleDefinition {
     name: string;
     description: string;
-    defaultEnabled: boolean;
+    /** Kibi-owned role of this rule in the enforcement contract. */
+    enforcementClass: RuleEnforcementClass;
     category: "coverage" | "integrity" | "lifecycle" | "traceability";
 }
-export interface SymbolTraceabilityOptions {
-    requireAdr: boolean;
-}
 /** A single KB check violation. */
 export interface Violation {
     rule: string;
@@ -21,10 +39,6 @@ export interface Violation {
     /** Exact source-bound proof evidence, when the check can produce it. */
     evidence?: Readonly<Record<string, unknown>>;
 }
-export interface ChecksConfig {
-    rules: Record<string, boolean>;
-    symbolTraceability: SymbolTraceabilityOptions;
-}
 /**
  * All known check rules.
  * When adding a new rule, add it here.
@@ -34,24 +48,38 @@ export declare const RULES: readonly RuleDefinition[];
  * Set of all rule names for quick lookups.
  */
 export declare const RULE_NAMES: Set<string>;
+export declare function getRuleDefinition(name: string): RuleDefinition | undefined;
+export declare function getRuleEnforcementClass(name: string): RuleEnforcementClass | undefined;
+/**
+ * Whether a plain `kibi check` evaluates this enforcement class.
+ * Canonical and advisory rules run; migration rules run only when
+ * explicitly selected with `--rules`.
+ */
+export declare function ruleRunsByDefault(enforcementClass: RuleEnforcementClass): boolean;
 /**
- * Default checks configuration with all rules enabled.
+ * Rules that a plain `kibi check` evaluates. Derived from enforcement
+ * class: canonical and advisory run, migration does not.
  */
-export declare const DEFAULT_CHECKS_CONFIG: ChecksConfig;
+export declare function getDefaultRules(): Set<string>;
 /**
- * Get effective rules based on config and CLI --rules filter.
- * @param configRules Rules from .kb/config.json (may be partial)
- * @param cliRules Optional comma-separated list from --rules CLI flag
+ * Canonical blocking rules only. Used by health badges, reports, and CI
+ * gates that must not fail on advisory or migration diagnostics.
+ */
+export declare function getCanonicalRules(): Set<string>;
+export declare function isCanonicalRule(name: string): boolean;
+/**
+ * Resolve the rule set for one check invocation.
+ *
+ * @param requestedRules Optional invocation-time diagnostic selector
+ *   (`--rules`). When absent, canonical and advisory rules run. When
+ *   present, only the selected rules run for that invocation and nothing is
+ *   persisted. Selection never changes enforcement class.
  * @returns Set of rule names that should run
  */
-export declare function getEffectiveRules(configRules?: Record<string, boolean>, cliRules?: string): Set<string>;
+export declare function getEffectiveRules(requestedRules?: readonly string[]): Set<string>;
 /**
  * Validate a rule name.
  * @returns Error message if invalid, null if valid
  */
 export declare function validateRuleName(name: string): string | null;
-/**
- * Merge partial checks config with defaults.
- */
-export declare function mergeChecksConfig(partial?: Partial<ChecksConfig>): ChecksConfig;
 //# sourceMappingURL=rule-registry.d.ts.map

package/dist/utils/rule-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;GAGG;AAEH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,OAAO,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,mCAAmC;AACnC,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;IAChB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,kBAAkB,EAAE,yBAAyB,CAAC;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EAsHjC,CAAC;AAEX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D;;GAEG;AACH,eAAO,MAAM,qBAAqB,EAAE,YAKnC,CAAC;AAEF;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACrC,QAAQ,CAAC,EAAE,MAAM,GAChB,GAAG,CAAC,MAAM,CAAC,CAsBb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC9B,YAAY,CAWd"}
+{"version":3,"file":"rule-registry.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.ts"],"names":[],"mappings":"AAkBA;;;;;;GAMG;AAEH,MAAM,MAAM,oBAAoB;AAC9B;;;;GAIG;AACD,WAAW;AACb;;;GAGG;GACD,UAAU;AACZ;;;GAGG;GACD,WAAW,CAAC;AAEhB,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,gEAAgE;IAChE,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,QAAQ,EAAE,UAAU,GAAG,WAAW,GAAG,WAAW,GAAG,cAAc,CAAC;CACnE;AAED,mCAAmC;AACnC,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;IAChB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9C;AAED;;;GAGG;AACH,eAAO,MAAM,KAAK,EAAE,SAAS,cAAc,EA6HjC,CAAC;AAIX;;GAEG;AACH,eAAO,MAAM,UAAU,aAAoC,CAAC;AAE5D,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAE1E;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,MAAM,GACX,oBAAoB,GAAG,SAAS,CAElC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,gBAAgB,EAAE,oBAAoB,GACrC,OAAO,CAET;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,GAAG,CAAC,MAAM,CAAC,CAM7C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,GAAG,CAAC,MAAM,CAAC,CAM/C;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;;;;;;GAQG;AAEH,wBAAgB,iBAAiB,CAC/B,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,GACjC,GAAG,CAAC,MAAM,CAAC,CAOb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAK5D"}

package/dist/utils/rule-registry.js

@@ -24,143 +24,163 @@ export const RULES = [
     {
         name: "must-priority-coverage",
         description: "Every must-priority requirement must have a scenario and a test",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "coverage",
     },
     {
         name: "symbol-coverage",
         description: "Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "coverage",
     },
     {
         name: "symbol-traceability",
-        description: "Production symbols must directly implement requirements for ownership; covered_by is coverage only, executable_for is test identity only, and ADR constraints are optional unless configured",
-        defaultEnabled: true,
+        description: "Production symbols must directly implement requirements for ownership; covered_by is coverage only and executable_for is test identity only",
+        enforcementClass: "canonical",
         category: "traceability",
     },
     {
         name: "no-dangling-refs",
         description: "All relationship targets must exist in the KB",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "source-relationship-parity",
+        description: "Authored Markdown and relationship-shard edges must exactly match the compiled KB",
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
         name: "no-cycles",
         description: "No circular dependency chains in requirements",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
         name: "required-fields",
         description: "All entities must have required fields",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
         name: "deprecated-adr-no-successor",
         description: "Deprecated ADRs must have a successor ADR that supersedes them",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "lifecycle",
     },
     {
         name: "domain-contradictions",
         description: "Detect contradictions between requirements constraining the same fact",
-        defaultEnabled: true,
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
-        name: "strict-fact-shape",
-        description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
-        defaultEnabled: false,
+        name: "logic-coverage",
+        description: "Require every explicitly declared atomic requirement claim to be grounded by a linked strict-property or predicate fact",
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
-        name: "strict-req-fact-pairing",
-        description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
-        defaultEnabled: false,
+        name: "rule-safety",
+        description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary",
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
-        name: "strict-readiness",
-        description: "Report strict contradiction-readiness levels for requirements that are still prose-only or otherwise not contradiction-ready",
-        defaultEnabled: false,
+        name: "rule-verifiability",
+        description: "Requirement rule links resolve to safe rules and registered rule schemas",
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
-        name: "predicate-verifiability",
-        description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts",
-        defaultEnabled: false,
+        name: "query-plan-safety",
+        description: "Detect Prolog validation clauses that place negation before generator calls",
+        enforcementClass: "canonical",
         category: "integrity",
     },
     {
-        name: "logic-coverage",
-        description: "Require every explicitly declared atomic requirement claim to be grounded by a linked strict-property or predicate fact",
-        defaultEnabled: true,
+        name: "strict-fact-shape",
+        description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
+        enforcementClass: "advisory",
         category: "integrity",
     },
     {
-        name: "rule-safety",
-        description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary",
-        defaultEnabled: true,
+        name: "strict-req-fact-pairing",
+        description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
+        enforcementClass: "advisory",
         category: "integrity",
     },
     {
-        name: "rule-verifiability",
-        description: "Requirement rule links resolve to safe rules and registered rule schemas",
-        defaultEnabled: true,
+        name: "predicate-verifiability",
+        description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts",
+        enforcementClass: "advisory",
         category: "integrity",
     },
     {
-        name: "semantic-completeness",
-        description: "Every inventoried assertive proposition is modeled or explicitly classified",
-        defaultEnabled: false,
+        name: "strict-readiness",
+        description: "Report strict contradiction-readiness levels for requirements that are still prose-only or otherwise not contradiction-ready",
+        enforcementClass: "migration",
         category: "integrity",
     },
     {
-        name: "query-plan-safety",
-        description: "Detect Prolog validation clauses that place negation before generator calls",
-        defaultEnabled: true,
+        name: "semantic-completeness",
+        description: "Every inventoried assertive proposition is modeled or explicitly classified",
+        enforcementClass: "migration",
         category: "integrity",
     },
 ];
+const RULES_BY_NAME = new Map(RULES.map((rule) => [rule.name, rule]));
 /**
  * Set of all rule names for quick lookups.
  */
 export const RULE_NAMES = new Set(RULES.map((r) => r.name));
+export function getRuleDefinition(name) {
+    return RULES_BY_NAME.get(name);
+}
+export function getRuleEnforcementClass(name) {
+    return RULES_BY_NAME.get(name)?.enforcementClass;
+}
 /**
- * Default checks configuration with all rules enabled.
+ * Whether a plain `kibi check` evaluates this enforcement class.
+ * Canonical and advisory rules run; migration rules run only when
+ * explicitly selected with `--rules`.
  */
-export const DEFAULT_CHECKS_CONFIG = {
-    rules: Object.fromEntries(RULES.map((r) => [r.name, r.defaultEnabled])),
-    symbolTraceability: {
-        requireAdr: false,
-    },
-};
+export function ruleRunsByDefault(enforcementClass) {
+    return enforcementClass !== "migration";
+}
 /**
- * Get effective rules based on config and CLI --rules filter.
- * @param configRules Rules from .kb/config.json (may be partial)
- * @param cliRules Optional comma-separated list from --rules CLI flag
+ * Rules that a plain `kibi check` evaluates. Derived from enforcement
+ * class: canonical and advisory run, migration does not.
+ */
+export function getDefaultRules() {
+    return new Set(RULES.filter((rule) => ruleRunsByDefault(rule.enforcementClass)).map((rule) => rule.name));
+}
+/**
+ * Canonical blocking rules only. Used by health badges, reports, and CI
+ * gates that must not fail on advisory or migration diagnostics.
+ */
+export function getCanonicalRules() {
+    return new Set(RULES.filter((rule) => rule.enforcementClass === "canonical").map((r) => r.name));
+}
+export function isCanonicalRule(name) {
+    return RULES_BY_NAME.get(name)?.enforcementClass === "canonical";
+}
+/**
+ * Resolve the rule set for one check invocation.
+ *
+ * @param requestedRules Optional invocation-time diagnostic selector
+ *   (`--rules`). When absent, canonical and advisory rules run. When
+ *   present, only the selected rules run for that invocation and nothing is
+ *   persisted. Selection never changes enforcement class.
  * @returns Set of rule names that should run
  */
 // implements REQ-006
-export function getEffectiveRules(configRules, cliRules) {
-    if (cliRules) {
-        return new Set(cliRules
-            .split(",")
-            .map((s) => s.trim())
-            .filter((s) => RULE_NAMES.has(s)));
-    }
-    // Start with all known rules
-    const effective = new Set();
-    for (const rule of RULES) {
-        // Config value takes precedence over default, missing means use default
-        const enabled = configRules?.[rule.name] ?? rule.defaultEnabled;
-        if (enabled) {
-            effective.add(rule.name);
-        }
+export function getEffectiveRules(requestedRules) {
+    if (requestedRules !== undefined) {
+        return new Set(requestedRules.filter((name) => RULE_NAMES.has(name)));
     }
-    return effective;
+    return getDefaultRules();
 }
 /**
  * Validate a rule name.
@@ -172,18 +192,3 @@ export function validateRuleName(name) {
     }
     return null;
 }
-/**
- * Merge partial checks config with defaults.
- */
-export function mergeChecksConfig(partial) {
-    return {
-        rules: {
-            ...DEFAULT_CHECKS_CONFIG.rules,
-            ...partial?.rules,
-        },
-        symbolTraceability: {
-            ...DEFAULT_CHECKS_CONFIG.symbolTraceability,
-            ...partial?.symbolTraceability,
-        },
-    };
-}

package/dist/utils/schema-version.d.ts

@@ -1,5 +1,4 @@
-import type { KbConfig } from "./config.js";
-export declare const LATEST_KB_SCHEMA_VERSION = 4;
+export declare const LATEST_KB_SCHEMA_VERSION = 5;
 export interface SchemaVersionStatus {
     status: "missing" | "invalid" | "older" | "current" | "newer";
     currentVersion: number | null;
@@ -7,8 +6,9 @@ export interface SchemaVersionStatus {
     needsMigration: boolean;
     warning: string | null;
 }
-type SchemaVersionConfig = Pick<KbConfig, "schemaVersion"> | null | undefined;
+export type SchemaVersionSource = {
+    schemaVersion: number | string | null | undefined;
+} | null | undefined;
 export declare function normalizeSchemaVersion(schemaVersion: number | string | null | undefined): number | null;
-export declare function getSchemaVersionStatus(config?: SchemaVersionConfig): SchemaVersionStatus;
-export {};
+export declare function getSchemaVersionStatus(config?: SchemaVersionSource): SchemaVersionStatus;
 //# sourceMappingURL=schema-version.d.ts.map

package/dist/utils/schema-version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-version.d.ts","sourceRoot":"","sources":["../../src/utils/schema-version.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAG5C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,KAAK,mBAAmB,GAAG,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC;AAG9E,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAChD,MAAM,GAAG,IAAI,CAgBf;AAGD,wBAAgB,sBAAsB,CACpC,MAAM,CAAC,EAAE,mBAAmB,GAC3B,mBAAmB,CA6CrB"}
+{"version":3,"file":"schema-version.d.ts","sourceRoot":"","sources":["../../src/utils/schema-version.ts"],"names":[],"mappings":"AAmBA,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9D,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAE,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;CAAE,GACrD,IAAI,GACJ,SAAS,CAAC;AAGd,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAChD,MAAM,GAAG,IAAI,CAgBf;AAGD,wBAAgB,sBAAsB,CACpC,MAAM,CAAC,EAAE,mBAAmB,GAC3B,mBAAmB,CAgDrB"}

package/dist/utils/schema-version.js

@@ -1,5 +1,22 @@
+/*
+ * Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ * Copyright (C) 2026 Piotr Franczyk
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Affero General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Affero General Public License for more details.
+ *
+ * You should have received a copy of the GNU Affero General Public License
+ * along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
 // implements REQ-003
-export const LATEST_KB_SCHEMA_VERSION = 4;
+export const LATEST_KB_SCHEMA_VERSION = 5;
 // implements REQ-003
 export function normalizeSchemaVersion(schemaVersion) {
     if (schemaVersion === undefined || schemaVersion === null) {
@@ -18,7 +35,10 @@ export function normalizeSchemaVersion(schemaVersion) {
 // implements REQ-003
 export function getSchemaVersionStatus(config) {
     const latestVersion = LATEST_KB_SCHEMA_VERSION;
-    const hasSchemaVersion = config !== null && config !== undefined && "schemaVersion" in config;
+    const hasSchemaVersion = config !== null &&
+        config !== undefined &&
+        "schemaVersion" in config &&
+        config.schemaVersion !== undefined;
     const currentVersion = normalizeSchemaVersion(config?.schemaVersion);
     if (currentVersion === null) {
         return {
@@ -27,8 +47,8 @@ export function getSchemaVersionStatus(config) {
             latestVersion,
             needsMigration: true,
             warning: hasSchemaVersion
-                ? "KB config schemaVersion is invalid and should be migrated."
-                : "KB config schemaVersion is missing; legacy config should be migrated.",
+                ? "KB schemaVersion is invalid and should be migrated."
+                : "KB schemaVersion is missing; the repository should be initialized or migrated.",
         };
     }
     if (currentVersion > latestVersion) {
@@ -37,7 +57,7 @@ export function getSchemaVersionStatus(config) {
             currentVersion,
             latestVersion,
             needsMigration: false,
-            warning: `KB config schemaVersion ${currentVersion} is newer than the latest supported version ${latestVersion}.`,
+            warning: `KB schemaVersion ${currentVersion} is newer than the latest supported version ${latestVersion}.`,
         };
     }
     if (currentVersion < latestVersion) {
@@ -46,7 +66,7 @@ export function getSchemaVersionStatus(config) {
             currentVersion,
             latestVersion,
             needsMigration: true,
-            warning: `KB config schemaVersion ${currentVersion} is older than the latest version ${latestVersion} and should be migrated.`,
+            warning: `KB schemaVersion ${currentVersion} is older than the latest version ${latestVersion} and should be migrated.`,
         };
     }
     return {

package/dist/utils/strict-modeling.d.ts

@@ -1,6 +1,5 @@
 import type { BaseEntity, FactFields } from "../types/entities.js";
 import type { BaseRelationship } from "../types/relationships.js";
-import { type KbConfigPaths } from "./config.js";
 export interface SemanticClaim {
     source: string;
     subjectKey: string;
@@ -13,9 +12,6 @@ export interface SemanticClaim {
 export interface StrictModelInput {
     claim: SemanticClaim;
     statement: string;
-    config?: Pick<{
-        paths: KbConfigPaths;
-    }, "paths">;
 }
 type EntityProperties = Partial<Omit<BaseEntity, "created_at" | "updated_at"> & FactFields> & {
     id: string;

package/dist/utils/strict-modeling.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strict-modeling.d.ts","sourceRoot":"","sources":["../../src/utils/strict-modeling.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAkB,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AAIjE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC;IAC7D,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,IAAI,CAAC;QAAE,KAAK,EAAE,aAAa,CAAA;KAAE,EAAE,OAAO,CAAC,CAAC;CAClD;AAED,KAAK,gBAAgB,GAAG,OAAO,CAC7B,IAAI,CAAC,UAAU,EAAE,YAAY,GAAG,YAAY,CAAC,GAAG,UAAU,CAC3D,GAAG;IACF,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,WAAW,UAAU,CACzB,KAAK,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,EAC7C,WAAW,SAAS,gBAAgB,GAAG,gBAAgB;IAEvD,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,WAAW,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,CACjC,gBAAgB,EAChB,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,QAAQ,GAAG,YAAY,CACjD,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,yBAAyB;IACjC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,IAAI,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,mBAAmB;IAC3B,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,KAAK,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,mBAAmB,CAAC;AAE7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAiBzD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAe1D;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,aAAa,GACnB,oBAAoB,CAwBtB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,CAsH3E;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GACtC,cAAc,EAAE,CAkBlB"}
+{"version":3,"file":"strict-modeling.d.ts","sourceRoot":"","sources":["../../src/utils/strict-modeling.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAKlE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC;IAC7D,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,aAAa,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,KAAK,gBAAgB,GAAG,OAAO,CAC7B,IAAI,CAAC,UAAU,EAAE,YAAY,GAAG,YAAY,CAAC,GAAG,UAAU,CAC3D,GAAG;IACF,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,WAAW,UAAU,CACzB,KAAK,SAAS,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,EAC7C,WAAW,SAAS,gBAAgB,GAAG,gBAAgB;IAEvD,IAAI,EAAE,KAAK,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,WAAW,CAAC;CACzB;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,CACjC,gBAAgB,EAChB,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,QAAQ,GAAG,YAAY,CACjD,CAAC;AAEF,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,yBAAyB;IACjC,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;IACvB,WAAW,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChC,YAAY,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,IAAI,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,UAAU,mBAAmB;IAC3B,eAAe,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IACpC,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,QAAQ,EAAE,KAAK,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,cAAc,GAAG,yBAAyB,GAAG,mBAAmB,CAAC;AAE7E,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAiBzD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAe1D;AAED,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,aAAa,GACnB,oBAAoB,CAwBtB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,CAsH3E;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GACtC,cAAc,EAAE,CAkBlB"}

package/dist/utils/strict-modeling.js

@@ -17,7 +17,7 @@
  */
 import { createHash } from "node:crypto";
 import * as path from "node:path";
-import { DEFAULT_CONFIG } from "./config.js";
+import { CANONICAL_ENTITY_PATHS } from "./kb-paths.js";
 const STRICT_CONFIDENCE_THRESHOLD = 0.7;
 export function normalizeSubjectKey(value) {
     const normalized = value
@@ -78,7 +78,7 @@ export function buildStrictWriteSet(input) {
         confidence,
         provenance: textRef,
     });
-    const sourcePaths = resolveEntitySourcePaths(input.config?.paths);
+    const sourcePaths = resolveEntitySourcePaths();
     if (confidence < STRICT_CONFIDENCE_THRESHOLD) {
         return {
             observationFact: {
@@ -366,15 +366,14 @@ function dedupeRelationships(relationships) {
     }
     return deduped;
 }
-function resolveEntitySourcePaths(configPaths) {
+function resolveEntitySourcePaths() {
     return {
-        requirements: normalizeEntityDirectory(configPaths?.requirements, DEFAULT_CONFIG.paths.requirements),
-        facts: normalizeEntityDirectory(configPaths?.facts, DEFAULT_CONFIG.paths.facts),
+        requirements: normalizeEntityDirectory(CANONICAL_ENTITY_PATHS.requirements),
+        facts: normalizeEntityDirectory(CANONICAL_ENTITY_PATHS.facts),
     };
 }
-function normalizeEntityDirectory(directory, fallback) {
-    const selected = directory?.trim() || fallback?.trim() || "documentation";
-    return selected.split(path.sep).join("/").replace(/\/+$/g, "");
+function normalizeEntityDirectory(directory) {
+    return directory.split(path.sep).join("/").replace(/\/+$/g, "");
 }
 function buildEntitySourcePath(directory, entityId) {
     return `${directory}/${entityId}.md`;

package/dist/verification/playwright-reporter.d.ts

@@ -0,0 +1,21 @@
+export declare const PLAYWRIGHT_RUN_VERSION: "kibi.playwright-run.v1";
+export type KibiPlaywrightReporterOptions = Readonly<{
+    outputPath?: string;
+    codeSnapshot?: string;
+    commandArgv?: readonly string[];
+    environmentHash?: string;
+    workspaceRoot?: string;
+    now?: () => Date;
+}>;
+/** Reporter callback surface intentionally uses structural types, no Playwright dependency. */
+export declare class KibiPlaywrightReporter {
+    private readonly options;
+    private readonly cases;
+    private startedAt;
+    constructor(options?: KibiPlaywrightReporterOptions);
+    onBegin(): void;
+    onTestEnd(test: unknown, result: unknown): void;
+    onEnd(result?: unknown): Promise<void>;
+}
+export default KibiPlaywrightReporter;
+//# sourceMappingURL=playwright-reporter.d.ts.map

package/dist/verification/playwright-reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright-reporter.d.ts","sourceRoot":"","sources":["../../src/verification/playwright-reporter.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,sBAAsB,EAAG,wBAAiC,CAAC;AAGxE,MAAM,MAAM,6BAA6B,GAAG,QAAQ,CAAC;IACnD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;CAClB,CAAC,CAAC;AAuDH,+FAA+F;AAC/F,qBAAa,sBAAsB;IACjC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAgC;IACxD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAoB;IAC1C,OAAO,CAAC,SAAS,CAAS;gBAEd,OAAO,GAAE,6BAAkC;IAMvD,OAAO,IAAI,IAAI;IAKf,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI;IAoCzC,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;CA0B7C;AAED,eAAe,sBAAsB,CAAC"}