kibi-cli 0.11.1 → 0.12.0

package/dist/utils/config.js

@@ -22,25 +22,9 @@ import { LATEST_KB_SCHEMA_VERSION } from "./schema-version.js";
 /**
  * Default configuration values for new repositories.
  */
-const DEFAULT_BRIEFS_CONFIG = {
-    enabled: true,
-    retention: {
-        maxPerBranch: 200,
-        maxAgeDays: 14,
-        keepUnread: true,
-    },
-    channels: {
-        vscode: true,
-        tui: true,
-    },
-    tui: {
-        toast: true,
-        appendPrompt: true,
-        idleDelayMs: 1500,
-    },
-};
 // implements REQ-003
 export const DEFAULT_CONFIG = {
+    // implements REQ-003
     $schema: "https://raw.githubusercontent.com/Looted/kibi/master/packages/cli/schema/config.json",
     schemaVersion: LATEST_KB_SCHEMA_VERSION,
     paths: {
@@ -53,13 +37,13 @@ export const DEFAULT_CONFIG = {
         facts: "documentation/facts",
         symbols: "documentation/symbols.yaml",
     },
-    briefs: DEFAULT_BRIEFS_CONFIG,
     checks: DEFAULT_CHECKS_CONFIG,
 };
 /**
  * Default paths used by sync command (backward compatible glob patterns).
  */
 export const DEFAULT_SYNC_PATHS = {
+    // implements REQ-003
     requirements: "requirements/**/*.md",
     scenarios: "scenarios/**/*.md",
     tests: "tests/**/*.md",
@@ -69,24 +53,6 @@ export const DEFAULT_SYNC_PATHS = {
     facts: "facts/**/*.md",
     symbols: "symbols.yaml",
 };
-function mergeBriefsConfig(userBriefs) {
-    return {
-        ...DEFAULT_BRIEFS_CONFIG,
-        ...userBriefs,
-        channels: {
-            ...DEFAULT_BRIEFS_CONFIG.channels,
-            ...userBriefs?.channels,
-        },
-        tui: {
-            ...DEFAULT_BRIEFS_CONFIG.tui,
-            ...userBriefs?.tui,
-        },
-        retention: {
-            ...DEFAULT_BRIEFS_CONFIG.retention,
-            ...userBriefs?.retention,
-        },
-    };
-}
 function readUserConfig(configPath) {
     if (!existsSync(configPath)) {
         return {
@@ -124,12 +90,11 @@ export function loadConfig(cwd = process.cwd()) {
             ...DEFAULT_CONFIG.paths,
             ...userConfig.paths,
         },
-        ...((userConfig.schemaVersion !== undefined || useDefaultSchemaVersion)
+        ...(userConfig.schemaVersion !== undefined || useDefaultSchemaVersion
             ? {
                 schemaVersion: userConfig.schemaVersion ?? DEFAULT_CONFIG.schemaVersion,
             }
             : {}),
-        briefs: mergeBriefsConfig(userConfig.briefs),
         ...(userConfig.defaultBranch !== undefined
             ? { defaultBranch: userConfig.defaultBranch }
             : {}),
@@ -164,12 +129,11 @@ export function loadSyncConfig(cwd = process.cwd()) {
             ...DEFAULT_SYNC_PATHS,
             ...userConfig.paths,
         },
-        ...((userConfig.schemaVersion !== undefined || useDefaultSchemaVersion)
+        ...(userConfig.schemaVersion !== undefined || useDefaultSchemaVersion
             ? {
                 schemaVersion: userConfig.schemaVersion ?? DEFAULT_CONFIG.schemaVersion,
             }
             : {}),
-        briefs: mergeBriefsConfig(userConfig.briefs),
         ...(userConfig.defaultBranch !== undefined
             ? { defaultBranch: userConfig.defaultBranch }
             : {}),

package/dist/utils/manifest-paths.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manifest-paths.d.ts","sourceRoot":"","sources":["../../src/utils/manifest-paths.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB,+BAA+B,CAAC;AACjE,eAAO,MAAM,wBAAwB,0CAA0C,CAAC;AAuEhF,wBAAgB,2BAA2B,CACzC,aAAa,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CASlD;AAGD,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB,MAAM,CAER"}
+{"version":3,"file":"manifest-paths.d.ts","sourceRoot":"","sources":["../../src/utils/manifest-paths.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB,+BAA+B,CAAC;AACjE,eAAO,MAAM,wBAAwB,0CAA0C,CAAC;AAkFhF,wBAAgB,2BAA2B,CACzC,aAAa,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CASlD;AAGD,wBAAgB,0BAA0B,CACxC,aAAa,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB,MAAM,CAER"}

package/dist/utils/manifest-paths.js

@@ -42,7 +42,9 @@ function resolveDefaultSymbolsPath(workspaceRoot) {
         path.join(workspaceRoot, "symbols.yaml"),
         path.join(workspaceRoot, "symbols.yml"),
     ];
-    return candidates.find((candidate) => existsSync(candidate)) ?? candidates[0] ?? path.join(workspaceRoot, DEFAULT_SYMBOLS_PATH);
+    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));

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,CA8CrB"}
+{"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"}

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

@@ -1,6 +1,6 @@
-import { type KbConfigPaths } from "./config.js";
 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;

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,EAAkB,KAAK,aAAa,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAIlE,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,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,GAAG,YAAY,CAAC,GAAG,UAAU,CAAC,GAAG;IAC5F,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,CAezD;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAa1D;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,CAwBpF;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,gBAAgB,GAAG,cAAc,CA2G3E;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,aAAa,CAAC,gBAAgB,CAAC,GACtC,cAAc,EAAE,CAgBlB"}
+{"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"}

package/dist/utils/strict-modeling.js

@@ -90,7 +90,11 @@ export function buildStrictWriteSet(input) {
                     status: "active",
                     source: buildEntitySourcePath(sourcePaths.facts, ids.observationFactId),
                     text_ref: textRef,
-                    tags: buildUniqueTags([...metadataTags, "lane:observation", "review:required"]),
+                    tags: buildUniqueTags([
+                        ...metadataTags,
+                        "lane:observation",
+                        "review:required",
+                    ]),
                     fact_kind: "observation",
                     subject_key: ids.normalizedSubjectKey,
                     property_key: ids.normalizedPropertyKey,
@@ -138,7 +142,11 @@ export function buildStrictWriteSet(input) {
             status: "active",
             source: buildEntitySourcePath(sourcePaths.facts, ids.propertyFactId),
             text_ref: textRef,
-            tags: buildUniqueTags([...metadataTags, "lane:strict", "fact:property_value"]),
+            tags: buildUniqueTags([
+                ...metadataTags,
+                "lane:strict",
+                "fact:property_value",
+            ]),
             fact_kind: "property_value",
             subject_key: ids.normalizedSubjectKey,
             property_key: ids.normalizedPropertyKey,
@@ -176,7 +184,9 @@ export function modelRequirementClaims(inputs) {
     const modeled = [];
     for (const input of inputs) {
         const writeSet = buildStrictWriteSet(input);
-        const stableId = writeSet.isStrict ? writeSet.req.id : writeSet.observationFact.id;
+        const stableId = writeSet.isStrict
+            ? writeSet.req.id
+            : writeSet.observationFact.id;
         if (seen.has(stableId)) {
             continue;
         }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.11.1",
+  "version": "0.12.0",
   "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 && mkdir -p dist/public/skills && cp -r src/public/skills/. dist/public/skills/",
     "prepack": "npm run build"
@@ -75,10 +69,6 @@
       "types": "./dist/public/check-types.d.ts",
       "default": "./dist/public/check-types.js"
     },
-    "./brief-config": {
-      "types": "./dist/public/brief-config.d.ts",
-      "default": "./dist/public/brief-config.js"
-    },
     "./schema-version": {
       "types": "./dist/public/schema-version.d.ts",
       "default": "./dist/public/schema-version.js"
@@ -105,7 +95,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.5.3",
+    "kibi-core": "^0.6.0",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0"
   },

package/schema/config.json

@@ -61,74 +61,6 @@
       "description": "[DEPRECATED] No longer used. Branch lifecycle now follows git naturally without requiring a configured default. This field is ignored but kept for backward compatibility.",
       "deprecated": true
     },
-    "briefs": {
-      "type": "object",
-      "description": "Configuration for shared brief delivery defaults",
-      "properties": {
-        "enabled": {
-          "type": "boolean",
-          "default": true
-        },
-        "retention": {
-          "type": "object",
-          "properties": {
-            "maxPerBranch": {
-              "type": "integer",
-              "minimum": 1,
-              "maximum": 10000,
-              "default": 200
-            },
-            "maxAgeDays": {
-              "type": "integer",
-              "minimum": 1,
-              "maximum": 3650,
-              "default": 14
-            },
-            "keepUnread": {
-              "type": "boolean",
-              "default": true
-            }
-          },
-          "additionalProperties": false
-        },
-        "channels": {
-          "type": "object",
-          "properties": {
-            "vscode": {
-              "type": "boolean",
-              "default": true
-            },
-            "tui": {
-              "type": "boolean",
-              "default": true
-            }
-          },
-          "additionalProperties": false
-        },
-        "tui": {
-          "type": "object",
-          "properties": {
-            "toast": {
-              "type": "boolean",
-              "default": true
-            },
-            "appendPrompt": {
-              "type": "boolean",
-              "default": true
-            },
-            "idleDelayMs": {
-              "type": "integer",
-              "minimum": 0,
-              "maximum": 60000,
-              "default": 1500,
-              "description": "Delay in milliseconds after session.idle before idle-brief generation is attempted"
-            }
-          },
-          "additionalProperties": false
-        }
-      },
-      "additionalProperties": false
-    },
     "checks": {
       "type": "object",
       "description": "Configuration for KB validation rules",

package/src/public/ignore-policy.ts

@@ -1,4 +1,10 @@
-import { readFileSync, existsSync, readdirSync, statSync } from "node:fs";
+import {
+  type Dirent,
+  existsSync,
+  readFileSync,
+  readdirSync,
+  statSync,
+} from "node:fs";
 import * as path from "node:path";
 import ignore from "ignore";
 
@@ -51,7 +57,7 @@ export function createRepoIgnorePolicy(workspaceRoot: string): IgnorePolicy {
   const nestedPatterns = new Map<string, string[]>();
 
   function walk(dirAbs: string) {
-    let entries;
+    let entries: Dirent[];
     try {
       entries = readdirSync(dirAbs, { withFileTypes: true });
     } catch {
@@ -95,7 +101,9 @@ export function createRepoIgnorePolicy(workspaceRoot: string): IgnorePolicy {
   }
 
   // Prepare nested directories sorted by specificity (longest first)
-  const nestedDirsSorted = Array.from(nestedIgnoreMap.keys()).sort((a, b) => b.length - a.length);
+  const nestedDirsSorted = Array.from(nestedIgnoreMap.keys()).sort(
+    (a, b) => b.length - a.length,
+  );
 
   function isPathOutsideWorkspace(absPath: string): boolean {
     const rel = path.relative(root, absPath);
@@ -111,9 +119,14 @@ export function createRepoIgnorePolicy(workspaceRoot: string): IgnorePolicy {
     return false;
   }
 
-  function isIgnoredInternal(inputPath: string): { ignored: boolean; reason?: string } {
+  function isIgnoredInternal(inputPath: string): {
+    ignored: boolean;
+    reason?: string;
+  } {
     // Resolve to absolute and relative path inside workspace
-    const abs = path.isAbsolute(inputPath) ? path.resolve(inputPath) : path.resolve(root, inputPath);
+    const abs = path.isAbsolute(inputPath)
+      ? path.resolve(inputPath)
+      : path.resolve(root, inputPath);
 
     if (path.isAbsolute(inputPath) && isPathOutsideWorkspace(abs)) {
       return { ignored: true, reason: "outside_workspace" };
@@ -123,7 +136,8 @@ export function createRepoIgnorePolicy(workspaceRoot: string): IgnorePolicy {
     const relPosix = toPosix(rel);
 
     // Hard denylist always wins
-    if (matchesHardDeny(relPosix)) return { ignored: true, reason: "hard_deny" };
+    if (matchesHardDeny(relPosix))
+      return { ignored: true, reason: "hard_deny" };
 
     // Root .gitignore
     try {
@@ -147,11 +161,13 @@ export function createRepoIgnorePolicy(workspaceRoot: string): IgnorePolicy {
     for (const dirRel of nestedDirsSorted) {
       // dirRel is '.' for nested at root which we skipped, so dirRel will be like 'docs'
       if (dirRel === ".") continue;
-      if (relPosix === dirRel || relPosix.startsWith(dirRel + "/")) {
-        const sub = relPosix === dirRel ? "." : relPosix.slice(dirRel.length + 1);
-        const ig = nestedIgnoreMap.get(dirRel)!;
+      if (relPosix === dirRel || relPosix.startsWith(`${dirRel}/`)) {
+        const sub =
+          relPosix === dirRel ? "." : relPosix.slice(dirRel.length + 1);
+        const ig = nestedIgnoreMap.get(dirRel);
+        if (!ig) continue;
         try {
-          if (ig && ig.ignores(sub)) return { ignored: true, reason: "gitignored" };
+          if (ig.ignores(sub)) return { ignored: true, reason: "gitignored" };
         } catch (e) {
           // noop
         }

package/src/public/operational-artifacts.ts

@@ -1,4 +1,5 @@
-export function isOperationalArtifactPath(pathLike: string): boolean { // implements REQ-001
+export function isOperationalArtifactPath(pathLike: string): boolean {
+  // implements REQ-001
   const normalized = pathLike.replaceAll("\\", "/");
 
   return /(^|\/)\.sisyphus\//.test(normalized);

package/src/public/schemas/entity.ts

@@ -17,12 +17,67 @@
  */
 
 // Typed fact field enums per proposal
-type FactKind = "subject" | "property_value" | "observation" | "meta";
+type FactKind =
+  | "subject"
+  | "property_value"
+  | "observation"
+  | "meta"
+  | "predicate_schema"
+  | "predicate";
 type Operator = "eq" | "neq" | "lt" | "lte" | "gt" | "gte";
 type ValueType = "string" | "int" | "number" | "bool";
-type Polarity = "require" | "forbid";
+type Polarity = "require" | "forbid" | "assert" | "deny";
 
-const entitySchema = {
+const factConditionals = JSON.parse(`[
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate_schema" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": [
+        "predicate_name",
+        "predicate_arity",
+        "argument_names",
+        "argument_types"
+      ]
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "predicate" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "required": ["predicate_name", "predicate_args", "canonical_key"],
+      "properties": {
+        "polarity": { "enum": ["assert", "deny"] }
+      }
+    }
+  },
+  {
+    "if": {
+      "properties": {
+        "type": { "const": "fact" },
+        "fact_kind": { "const": "property_value" }
+      },
+      "required": ["type", "fact_kind"]
+    },
+    "then": {
+      "properties": {
+        "polarity": { "enum": ["require", "forbid"] }
+      }
+    }
+  }
+]`) as Array<Record<string, unknown>>;
+
+const entitySchema: Record<string, unknown> = {
   $id: "entity.schema.json",
   title: "Entity",
   type: "object",
@@ -79,7 +134,14 @@ const entitySchema = {
     // Typed fact fields - only valid when type === "fact"
     fact_kind: {
       type: "string",
-      enum: ["subject", "property_value", "observation", "meta"],
+      enum: [
+        "subject",
+        "property_value",
+        "observation",
+        "meta",
+        "predicate_schema",
+        "predicate",
+      ] satisfies FactKind[],
     },
     subject_key: { type: "string" },
     property_key: { type: "string" },
@@ -91,11 +153,23 @@ const entitySchema = {
     value_bool: { type: "boolean" },
     unit: { type: "string" },
     scope: { type: "string" },
-    polarity: { type: "string", enum: ["require", "forbid"] },
+    polarity: {
+      type: "string",
+      enum: ["require", "forbid", "assert", "deny"] satisfies Polarity[],
+    },
     closed_world: { type: "boolean" },
     valid_from: { type: "string" },
     valid_to: { type: "string" },
     canonical_key: { type: "string" },
+    predicate_name: { type: "string" },
+    predicate_namespace: { type: "string" },
+    predicate_arity: { type: "integer", minimum: 1 },
+    argument_names: { type: "array", items: { type: "string" } },
+    argument_types: { type: "array", items: { type: "string" } },
+    argument_descriptions: { type: "array", items: { type: "string" } },
+    aliases: { type: "array", items: { type: "string" } },
+    examples: { type: "array", items: { type: "string" } },
+    predicate_args: { type: "array", items: { type: "string" } },
   },
   required: [
     "id",
@@ -133,10 +207,20 @@ const entitySchema = {
             { required: ["valid_from"] },
             { required: ["valid_to"] },
             { required: ["canonical_key"] },
+            { required: ["predicate_name"] },
+            { required: ["predicate_namespace"] },
+            { required: ["predicate_arity"] },
+            { required: ["argument_names"] },
+            { required: ["argument_types"] },
+            { required: ["argument_descriptions"] },
+            { required: ["aliases"] },
+            { required: ["examples"] },
+            { required: ["predicate_args"] },
           ],
         },
       },
     },
+    ...factConditionals,
   ],
   additionalProperties: false,
 };

package/src/public/schemas/relationship.ts

@@ -34,6 +34,7 @@ const relationshipSchema = {
         "constrained_by",
         "constrains",
         "requires_property",
+        "requires_predicate",
         "guards",
         "publishes",
         "consumes",

package/src/public/skills/kibi-usage/SKILL.md

@@ -48,6 +48,24 @@ Relationship direction is fixed and semantic. Getting it wrong breaks traceabili
 
 See `resources/relationship-directions.md` for detailed payload examples.
 
+## Symbol-First Traceability
+
+Trace code through `symbol` entities, not inline legacy comments. Do not use legacy `// implements REQ-xxx` comments as the primary marker for new or modified code. If a symbol is new or its requirement ownership changes, create or update the `symbol` entity and add an `implements` relationship from the symbol to the requirement.
+
+Use comments only as a temporary backward-compatibility fallback when the symbol manifest cannot be updated in the same task. Prefer durable symbol coordinates in `documentation/symbols.yaml` and `documentation/symbol-coordinates.yaml`, then link those symbols through MCP relationships.
+
+```yaml
+# Preferred traceability model
+symbol:
+  id: SYM-admin-billing-policy
+  title: Admin billing policy check
+  status: active
+relationships:
+  - type: implements
+    from: SYM-admin-billing-policy
+    to: REQ-ADMIN-BILLING-POLICY
+```
+
 ## Strict Fact Lane
 
 Normative requirements that must participate in contradiction blocking use the strict fact lane. Create a `fact_kind: subject` fact and link it from the requirement via `constrains`. Create a `fact_kind: property_value` fact and link it via `requires_property`.
@@ -75,6 +93,67 @@ relationships:
 
 See `resources/fact-lanes.md` for the full strict vs observation lane comparison.
 
+### Granular fact examples for coherence checks
+
+Model one semantic claim per strict `property_value` fact. Reusing the same `subject_key` and `property_key` lets `domain-contradictions` compare requirements mechanically.
+
+Incoherent role-set example: `REQ-ROLE-SET-2` says the allowed user roles are exactly `[user, admin]`, while `REQ-ROLE-SET-3` says the same property is exactly `[user, admin, superadmin]`. Both constrain `FACT-USER-ROLES` and require different values for `user.roles.allowed_set`, so they cannot both be current.
+
+```yaml
+subject:
+  id: FACT-USER-ROLES
+  fact_kind: subject
+  subject_key: user.roles
+
+property_values:
+  - id: FACT-USER-ROLES-ALLOWED-2
+    fact_kind: property_value
+    subject_key: user.roles
+    property_key: user.roles.allowed_set
+    operator: eq
+    value_type: list
+    value_json: '["user", "admin"]'
+  - id: FACT-USER-ROLES-ALLOWED-3
+    fact_kind: property_value
+    subject_key: user.roles
+    property_key: user.roles.allowed_set
+    operator: eq
+    value_type: list
+    value_json: '["user", "admin", "superadmin"]'
+
+requirements:
+  - id: REQ-ROLE-SET-2
+    relationships:
+      - { type: constrains, from: REQ-ROLE-SET-2, to: FACT-USER-ROLES }
+      - { type: requires_property, from: REQ-ROLE-SET-2, to: FACT-USER-ROLES-ALLOWED-2 }
+  - id: REQ-ROLE-SET-3
+    relationships:
+      - { type: constrains, from: REQ-ROLE-SET-3, to: FACT-USER-ROLES }
+      - { type: requires_property, from: REQ-ROLE-SET-3, to: FACT-USER-ROLES-ALLOWED-3 }
+```
+
+Incoherent permission example: `REQ-ADMIN-CAN-MANAGE-BILLING` says `admin` can manage billing, while `REQ-ONLY-SUPERADMIN-MANAGES-BILLING` says the only allowed actor is `superadmin`. Model both against `billing.manage.allowed_actor` with `operator: eq` so the conflict is explicit.
+
+```yaml
+property_values:
+  - id: FACT-BILLING-MANAGE-ACTOR-ADMIN
+    fact_kind: property_value
+    subject_key: billing.manage
+    property_key: billing.manage.allowed_actor
+    operator: eq
+    value_type: string
+    value_string: admin
+  - id: FACT-BILLING-MANAGE-ACTOR-SUPERADMIN
+    fact_kind: property_value
+    subject_key: billing.manage
+    property_key: billing.manage.allowed_actor
+    operator: eq
+    value_type: string
+    value_string: superadmin
+```
+
+If a new requirement intentionally changes a value, create a replacement requirement and link the old requirement to the new one with `supersedes` instead of leaving two current contradictory requirements.
+
 ## Fact vs Flag
 
 Use `flag` for runtime or config gates only. Feature flags, kill-switches, and deferred capabilities are valid `flag` entities.
@@ -110,6 +189,7 @@ Call `kb_status` when you suspect the branch KB is stale or when switching conte
 | Anti-Pattern | Problem | Remediation |
 |-------------|---------|-------------|
 | Reversed relationship direction | Traceability queries break | Verify direction against the relationship table above |
+| Legacy implements comments | Comments are not durable queryable symbols | Create or update a `symbol` entity and link it to the requirement |
 | Bug-as-flag | `flag` misused for defect tracking | Use `fact` with `fact_kind: observation` or `meta` |
 | Parallel upserts | Lock contention and nondeterminism | Execute `kb_upsert` calls sequentially |
 | Embedded scenarios in reqs | Violates canonical traceability chain | Create separate `req`, `scen`, and `test` entities |