kibi-cli 1.0.1 → 2.1.0

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

@@ -0,0 +1,102 @@
+export declare const GENERATED_RULES: readonly [{
+    readonly name: "must-priority-coverage";
+    readonly description: "Every must-priority requirement must have a scenario and a test";
+    readonly enforcementClass: "canonical";
+    readonly category: "coverage";
+}, {
+    readonly name: "symbol-coverage";
+    readonly description: "Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path";
+    readonly enforcementClass: "canonical";
+    readonly category: "coverage";
+}, {
+    readonly name: "symbol-traceability";
+    readonly description: "Production symbols must directly implement requirements for ownership; covered_by is coverage only and executable_for is test identity only";
+    readonly enforcementClass: "canonical";
+    readonly category: "traceability";
+}, {
+    readonly name: "no-dangling-refs";
+    readonly description: "All relationship targets must exist in the KB";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "source-relationship-parity";
+    readonly description: "Authored Markdown and relationship-shard edges must exactly match the compiled KB";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "no-cycles";
+    readonly description: "No circular dependency chains in requirements";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "required-fields";
+    readonly description: "All entities must have required fields";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "deprecated-adr-no-successor";
+    readonly description: "Deprecated ADRs must have a successor ADR that supersedes them";
+    readonly enforcementClass: "canonical";
+    readonly category: "lifecycle";
+}, {
+    readonly name: "domain-contradictions";
+    readonly description: "Detect contradictions between requirements constraining the same fact";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "logic-coverage";
+    readonly description: "Require every explicitly declared atomic requirement claim to be grounded by a linked strict-property or predicate fact";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "rule-safety";
+    readonly description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "rule-verifiability";
+    readonly description: "Requirement rule links resolve to safe rules and registered rule schemas";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "query-plan-safety";
+    readonly description: "Detect Prolog validation clauses that place negation before generator calls";
+    readonly enforcementClass: "canonical";
+    readonly category: "integrity";
+}, {
+    readonly name: "req-status-vocabulary";
+    readonly description: "Requirement statuses must use the canonical vocabulary (open, in_progress, closed; legacy: active, approved); ADR statuses such as accepted silently fall out of the proof ladder";
+    readonly enforcementClass: "canonical";
+    readonly category: "lifecycle";
+}, {
+    readonly name: "strict-fact-shape";
+    readonly description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)";
+    readonly enforcementClass: "advisory";
+    readonly category: "integrity";
+}, {
+    readonly name: "strict-req-fact-pairing";
+    readonly description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics";
+    readonly enforcementClass: "advisory";
+    readonly category: "integrity";
+}, {
+    readonly name: "predicate-verifiability";
+    readonly description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts";
+    readonly enforcementClass: "advisory";
+    readonly category: "integrity";
+}, {
+    readonly name: "strict-readiness";
+    readonly description: "Report strict contradiction-readiness levels for requirements that are still prose-only or otherwise not contradiction-ready";
+    readonly enforcementClass: "migration";
+    readonly category: "integrity";
+}, {
+    readonly name: "semantic-completeness";
+    readonly description: "Every inventoried assertive proposition is modeled or explicitly classified";
+    readonly enforcementClass: "migration";
+    readonly category: "integrity";
+}, {
+    readonly name: "proof-contract-symbols";
+    readonly description: "Detect unresolved required_proofs.symbol_id values, type-shape required proofs, and proof_bindings.source_file disagreement with the named symbol sourceFile";
+    readonly enforcementClass: "advisory";
+    readonly category: "integrity";
+}];
+//# sourceMappingURL=rule-registry.generated.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rule-registry.generated.d.ts","sourceRoot":"","sources":["../../src/utils/rule-registry.generated.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA0IlB,CAAC"}

package/dist/utils/rule-registry.generated.js

@@ -0,0 +1,131 @@
+/*
+ * Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ * Copyright (C) 2026 Piotr Franczyk
+ *
+ * This file is generated by scripts/generate-rule-registry.mjs from
+ * packages/core/schema/rule-registry.json. Do not edit it directly; edit the
+ * JSON source and regenerate.
+ */
+// implements REQ-006
+export const GENERATED_RULES = [
+    {
+        name: "must-priority-coverage",
+        description: "Every must-priority requirement must have a scenario and a test",
+        enforcementClass: "canonical",
+        category: "coverage",
+    },
+    {
+        name: "symbol-coverage",
+        description: "Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path",
+        enforcementClass: "canonical",
+        category: "coverage",
+    },
+    {
+        name: "symbol-traceability",
+        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",
+        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",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "required-fields",
+        description: "All entities must have required fields",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "deprecated-adr-no-successor",
+        description: "Deprecated ADRs must have a successor ADR that supersedes them",
+        enforcementClass: "canonical",
+        category: "lifecycle",
+    },
+    {
+        name: "domain-contradictions",
+        description: "Detect contradictions between requirements constraining the same fact",
+        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",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "rule-safety",
+        description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "rule-verifiability",
+        description: "Requirement rule links resolve to safe rules and registered rule schemas",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "query-plan-safety",
+        description: "Detect Prolog validation clauses that place negation before generator calls",
+        enforcementClass: "canonical",
+        category: "integrity",
+    },
+    {
+        name: "req-status-vocabulary",
+        description: "Requirement statuses must use the canonical vocabulary (open, in_progress, closed; legacy: active, approved); ADR statuses such as accepted silently fall out of the proof ladder",
+        enforcementClass: "canonical",
+        category: "lifecycle",
+    },
+    {
+        name: "strict-fact-shape",
+        description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
+        enforcementClass: "advisory",
+        category: "integrity",
+    },
+    {
+        name: "strict-req-fact-pairing",
+        description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
+        enforcementClass: "advisory",
+        category: "integrity",
+    },
+    {
+        name: "predicate-verifiability",
+        description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts",
+        enforcementClass: "advisory",
+        category: "integrity",
+    },
+    {
+        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: "semantic-completeness",
+        description: "Every inventoried assertive proposition is modeled or explicitly classified",
+        enforcementClass: "migration",
+        category: "integrity",
+    },
+    {
+        name: "proof-contract-symbols",
+        description: "Detect unresolved required_proofs.symbol_id values, type-shape required proofs, and proof_bindings.source_file disagreement with the named symbol sourceFile",
+        enforcementClass: "advisory",
+        category: "integrity",
+    },
+];

package/dist/utils/rule-registry.js

@@ -16,120 +16,19 @@
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
  */
 /**
- * All known check rules.
- * When adding a new rule, add it here.
+ * 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.
+ *
+ * RULES itself is generated from packages/core/schema/rule-registry.json by
+ * scripts/generate-rule-registry.mjs; that JSON is the single editing point
+ * shared with the kb_check input enum and the Prolog rule_registry facts.
  */
-export const RULES = [
-    // implements REQ-006
-    {
-        name: "must-priority-coverage",
-        description: "Every must-priority requirement must have a scenario and a test",
-        enforcementClass: "canonical",
-        category: "coverage",
-    },
-    {
-        name: "symbol-coverage",
-        description: "Production symbols need qualifying coverage via covered_by plus a canonical requirement/scenario test path",
-        enforcementClass: "canonical",
-        category: "coverage",
-    },
-    {
-        name: "symbol-traceability",
-        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",
-        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",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "required-fields",
-        description: "All entities must have required fields",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "deprecated-adr-no-successor",
-        description: "Deprecated ADRs must have a successor ADR that supersedes them",
-        enforcementClass: "canonical",
-        category: "lifecycle",
-    },
-    {
-        name: "domain-contradictions",
-        description: "Detect contradictions between requirements constraining the same fact",
-        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",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "rule-safety",
-        description: "Stored Logic IR rules use only the typed, bounded, stratified vocabulary",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "rule-verifiability",
-        description: "Requirement rule links resolve to safe rules and registered rule schemas",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "query-plan-safety",
-        description: "Detect Prolog validation clauses that place negation before generator calls",
-        enforcementClass: "canonical",
-        category: "integrity",
-    },
-    {
-        name: "strict-fact-shape",
-        description: "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
-        enforcementClass: "advisory",
-        category: "integrity",
-    },
-    {
-        name: "strict-req-fact-pairing",
-        description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
-        enforcementClass: "advisory",
-        category: "integrity",
-    },
-    {
-        name: "predicate-verifiability",
-        description: "Detect requires_predicate links that do not target ground fact_kind: predicate facts",
-        enforcementClass: "advisory",
-        category: "integrity",
-    },
-    {
-        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: "semantic-completeness",
-        description: "Every inventoried assertive proposition is modeled or explicitly classified",
-        enforcementClass: "migration",
-        category: "integrity",
-    },
-];
+import { GENERATED_RULES } from "./rule-registry.generated.js";
+/** All known check rules, generated from the shared registry JSON. */
+export const RULES = GENERATED_RULES;
 const RULES_BY_NAME = new Map(RULES.map((rule) => [rule.name, rule]));
 /**
  * Set of all rule names for quick lookups.

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

@@ -56,5 +56,6 @@ export declare function normalizePropertyKey(value: string): string;
 export declare function buildStableRequirementIds(claim: SemanticClaim): StableRequirementIds;
 export declare function buildStrictWriteSet(input: StrictModelInput): StrictWriteSet;
 export declare function modelRequirementClaims(inputs: ReadonlyArray<StrictModelInput>): StrictWriteSet[];
+export declare function normalizeTextRef(provenance: string | undefined, source: string): string;
 export {};
 //# sourceMappingURL=strict-modeling.d.ts.map

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;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"}
+{"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;AAiDD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,MAAM,EAAE,MAAM,GACb,MAAM,CAMR"}

package/dist/utils/strict-modeling.js

@@ -232,7 +232,7 @@ function normalizeStatement(statement) {
     }
     return normalized;
 }
-function normalizeTextRef(provenance, source) {
+export function normalizeTextRef(provenance, source) {
     const value = provenance?.trim() || source.trim();
     if (!value) {
         throw new Error("Strict modeling requires claim provenance or source");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "1.0.1",
+  "version": "2.1.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -10,16 +10,9 @@
   "bin": {
     "kibi": "bin/kibi"
   },
-  "files": [
-    "dist",
-    "bin",
-    "schema",
-    "src/schemas",
-    "src/public",
-    "templates"
-  ],
+  "files": ["dist", "bin", "schema", "src/schemas", "src/public", "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",
@@ -55,14 +48,14 @@
       "types": "./dist/runtime/cli-runtime.d.ts",
       "default": "./dist/runtime/cli-runtime.js"
     },
+    "./plugins": {
+      "types": "./dist/plugins/index.d.ts",
+      "default": "./dist/plugins/index.js"
+    },
     "./operations/node-ports": {
       "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 +113,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",
@@ -220,6 +213,10 @@
       "types": "./dist/public/ignore-policy.d.ts",
       "import": "./dist/public/ignore-policy.js",
       "default": "./dist/public/ignore-policy.js"
+    },
+    "./env-bootstrap": {
+      "types": "./dist/env/bootstrap.d.ts",
+      "default": "./dist/env/bootstrap.js"
     }
   },
   "types": "./dist/cli.d.ts",
@@ -230,14 +227,17 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.11.0",
-    "ts-morph": "^23.0.0",
+    "kibi-core": "^0.13.0",
+    "kibi-plugin-builtin": "^0.2.0",
+    "kibi-plugin-sdk": "^0.2.0",
+    "saxes": "^6.0.0",
     "ignore": "^5.3.0",
     "yaml": "^2.9.0"
   },
   "devDependencies": {
     "@types/node": "latest",
     "semver": "^7.7.4",
+    "ts-morph": "^23.0.0",
     "typescript": "^5.7.0"
   },
   "license": "AGPL-3.0-or-later",

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/extractors/symbols-coordinator.ts

@@ -18,6 +18,7 @@
 
 export {
   analyzeSourceText,
+  analyzeSourceTextWithRegistry,
   enrichSymbolCoordinates,
   type ManifestSymbolEntry,
   type AnalyzeSourceTextOptions,

package/src/public/impact/analyzer.ts

@@ -1,6 +1,6 @@
 import * as path from "node:path";
 import type { ExtractedSymbol } from "../../traceability/symbol-extract.js";
-import { extractSymbolsFromStagedFile } from "../../traceability/symbol-extract.js";
+import { extractSymbolsFromStagedFileAsync } from "../../traceability/symbol-extract.js";
 import {
   createSemanticReviewDiagnostics,
   createSymbolGranularityDiagnostics,
@@ -21,9 +21,9 @@ import type {
   ChangedFileImpactResult,
 } from "./types.js";
 
-export function analyzeChangedFileImpact(
+export async function analyzeChangedFileImpact(
   options: ChangedFileImpactOptions,
-): ChangedFileImpactResult {
+): Promise<ChangedFileImpactResult> {
   const workspaceRoot = path.resolve(options.workspaceRoot);
   const sourceChanges = collectSourceChanges({ ...options, workspaceRoot });
   const sourceFiles = uniqueSorted(sourceChanges.map((change) => change.file));
@@ -34,17 +34,20 @@ export function analyzeChangedFileImpact(
 
   for (const change of sourceChanges) {
     sourceContentByFile.set(change.file, change.content);
+    // Maintenance path: builtin-only (do not pass registry / workspaceRoot).
+    const extracted = await extractSymbolsFromStagedFileAsync(
+      {
+        path: change.file,
+        status: change.status,
+        hunkRanges: [...change.hunkRanges],
+        content: change.content,
+      },
+      manifestLookup,
+      {},
+    );
     symbolsByFile.set(
       change.file,
-      extractSymbolsFromStagedFile(
-        {
-          path: change.file,
-          status: change.status,
-          hunkRanges: [...change.hunkRanges],
-          content: change.content,
-        },
-        manifestLookup,
-      ).filter((symbol) => symbol.hunkRanges.length > 0),
+      extracted.filter((symbol) => symbol.hunkRanges.length > 0),
     );
   }
 

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}`,
     });
   }