kibi-cli 0.6.2 → 0.7.0

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAuDA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AA+GD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgR/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAuDA,OAAO,EAGL,KAAK,SAAS,EAEf,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AA+GD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAkR/B"}

package/dist/commands/check.js

@@ -277,6 +277,7 @@ export async function checkCommand(options) {
             "deprecated-adr-no-successor",
             "domain-contradictions",
             "strict-fact-shape",
+            "strict-req-fact-pairing",
         ];
         const canUseAggregated = Array.from(effectiveRules).every((r) => supportedRules.includes(r));
         if (canUseAggregated) {
@@ -300,6 +301,7 @@ export async function checkCommand(options) {
             await runCheck("deprecated-adr-no-successor", checkDeprecatedAdrs);
             await runCheck("domain-contradictions", checkDomainContradictions);
             await runCheck("strict-fact-shape", checkStrictFactShape);
+            await runCheck("strict-req-fact-pairing", checkStrictReqFactPairing);
         }
         if (violations.length === 0) {
             console.log("✓ No violations found. KB is valid.");
@@ -640,6 +642,22 @@ async function checkStrictFactShape(prolog) {
     }
     return violations;
 }
+async function checkStrictReqFactPairing(prolog) {
+    const violations = [];
+    const result = await prolog.query(`findall(violation(Rule, EntityId, Desc, Sugg, Src),
+      checks:strict_req_fact_pairing_violation(violation(Rule, EntityId, Desc, Sugg, Src)),
+      Violations)`);
+    if (!result.success || !result.bindings.Violations) {
+        return violations;
+    }
+    const violationsStr = result.bindings.Violations;
+    if (violationsStr && violationsStr !== "[]") {
+        for (const v of parseViolationRows(violationsStr)) {
+            violations.push(v);
+        }
+    }
+    return violations;
+}
 async function checkSymbolCoverage(prolog) {
     const violations = [];
     const uncoveredResult = await prolog.query("setof(Symbol, symbol_no_req_coverage(Symbol, _), Symbols)");

package/dist/commands/init-helpers.d.ts

@@ -2,6 +2,7 @@ export declare function getCurrentBranch(cwd?: string): Promise<string>;
 export declare function createKbDirectoryStructure(kbDir: string, currentBranch: string): void;
 export declare function createConfigFile(kbDir: string): void;
 export declare function updateGitIgnore(cwd: string): void;
+export declare function ensureSymbolsManifestFile(cwd: string): void;
 export declare function copySchemaFiles(kbDir: string, schemaSourceDir: string): Promise<void>;
 export declare function installHook(hookPath: string, content: string): void;
 export declare function installGitHooks(gitDir: string): void;

package/dist/commands/init-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AAuFA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CAQN;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAMpD;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAajD;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAYf;AASD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAkCnE;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAiBpD"}
+{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AAuGA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CAQN;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAMpD;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAsBjD;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAU3D;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAYf;AASD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAkCnE;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAiBpD"}

package/dist/commands/init-helpers.js

@@ -20,6 +20,7 @@ import * as path from "node:path";
 import fg from "fast-glob";
 import { getBranchDiagnostic, resolveActiveBranch, } from "../utils/branch-resolver.js";
 import { DEFAULT_CONFIG } from "../utils/config.js";
+import { SYMBOLS_MANIFEST_COMMENT_BLOCK } from "./sync/manifest.js";
 const POST_CHECKOUT_HOOK = `#!/bin/sh
 # post-checkout hook for kibi
 # Parameters: old_ref new_ref branch_flag
@@ -67,6 +68,21 @@ const PRE_COMMIT_HOOK = `#!/bin/sh
 # The OpenCode plugin remains advisory and must not replace this gate.
 
 set -e
+
+symbols_manifest="documentation/symbols.yaml"
+
+if [ ! -f "$symbols_manifest" ]; then
+  echo "Kibi symbols manifest is missing: $symbols_manifest" >&2
+  echo "Run 'kibi init' to create it, then stage and commit it." >&2
+  exit 1
+fi
+
+if ! git diff --quiet -- "$symbols_manifest"; then
+  echo "Kibi symbols manifest has unstaged changes: $symbols_manifest" >&2
+  echo "Stage and commit documentation/symbols.yaml with the code changes that refreshed it." >&2
+  exit 1
+fi
+
 kibi check --staged
 `;
 export async function getCurrentBranch(cwd = process.cwd()) {
@@ -91,17 +107,34 @@ export function createConfigFile(kbDir) {
     console.log("✓ Created config.json with default paths");
 }
 export function updateGitIgnore(cwd) {
+    // implements REQ-001
     const gitignorePath = path.join(cwd, ".gitignore");
     const gitignoreContent = existsSync(gitignorePath)
         ? readFileSync(gitignorePath, "utf8")
         : "";
-    if (!gitignoreContent.includes(".kb/")) {
-        const newContent = gitignoreContent
-            ? `${gitignoreContent.trimEnd()}\n.kb/\n`
-            : ".kb/\n";
-        writeFileSync(gitignorePath, newContent);
-        console.log("✓ Added .kb/ to .gitignore");
+    const ensureEntry = (current, entry) => {
+        if (current.includes(entry)) {
+            return current;
+        }
+        return current ? `${current.trimEnd()}\n${entry}\n` : `${entry}\n`;
+    };
+    const updatedWithKb = ensureEntry(gitignoreContent, ".kb/");
+    const updatedContent = ensureEntry(updatedWithKb, ".kb/briefs/");
+    if (updatedContent !== gitignoreContent) {
+        writeFileSync(gitignorePath, updatedContent);
+        console.log("✓ Added .kb/ and .kb/briefs/ to .gitignore");
+    }
+}
+// implements REQ-003
+export function ensureSymbolsManifestFile(cwd) {
+    const symbolsRelPath = DEFAULT_CONFIG.paths.symbols ?? "documentation/symbols.yaml";
+    const symbolsPath = path.join(cwd, symbolsRelPath);
+    if (existsSync(symbolsPath)) {
+        return;
     }
+    mkdirSync(path.dirname(symbolsPath), { recursive: true });
+    writeFileSync(symbolsPath, `${SYMBOLS_MANIFEST_COMMENT_BLOCK}symbols: []\n`);
+    console.log(`✓ Created ${symbolsRelPath}`);
 }
 export async function copySchemaFiles(kbDir, schemaSourceDir) {
     const schemaFiles = await fg("*.pl", {

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

@@ -1 +1 @@
-{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAiCA,UAAU,WAAW;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAGD,wBAAsB,WAAW,CAC/B,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA6D/B"}
+{"version":3,"file":"init.d.ts","sourceRoot":"","sources":["../../src/commands/init.ts"],"names":[],"mappings":"AAkCA,UAAU,WAAW;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAGD,wBAAsB,WAAW,CAC/B,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA+D/B"}

package/dist/commands/init.js

@@ -19,7 +19,7 @@ import { existsSync } from "node:fs";
 import * as path from "node:path";
 import { fileURLToPath } from "node:url";
 import { resolveActiveBranch } from "../utils/branch-resolver.js";
-import { copySchemaFiles, createConfigFile, createKbDirectoryStructure, installGitHooks, updateGitIgnore, } from "./init-helpers.js";
+import { copySchemaFiles, createConfigFile, createKbDirectoryStructure, ensureSymbolsManifestFile, installGitHooks, updateGitIgnore, } from "./init-helpers.js";
 const __filename = fileURLToPath(import.meta.url);
 const __dirname = path.dirname(__filename);
 // implements REQ-003
@@ -58,6 +58,7 @@ export async function initCommand(options) {
         else {
             console.log("✓ .kb/ directory already exists, skipping creation");
         }
+        ensureSymbolsManifestFile(process.cwd());
         if (options.hooks) {
             const gitDir = path.join(process.cwd(), ".git");
             if (!existsSync(gitDir)) {

package/dist/commands/sync/manifest.d.ts

@@ -9,6 +9,7 @@ interface ManifestDeps {
     readFileSync: typeof readFileSync;
     writeFileSync: typeof writeFileSync;
 }
+export declare const SYMBOLS_MANIFEST_COMMENT_BLOCK = "# symbols.yaml\n# AUTHORED fields (edit freely):\n#   id, title, sourceFile, links, status, tags, owner, priority\n# GENERATED fields (never edit manually \u2014 overwritten by kibi sync and kb.symbols.refresh):\n#   sourceLine, sourceColumn, sourceEndLine, sourceEndColumn, coordinatesGeneratedAt\n# Run `kibi sync` or call the `kb.symbols.refresh` MCP tool to refresh coordinates.\n";
 export declare function refreshManifestCoordinates(manifestPath: string, workspaceRoot: string, deps?: Partial<ManifestDeps>): Promise<void>;
 export declare function hasAllGeneratedCoordinates(entry: ManifestSymbolEntry): boolean;
 export declare function isEligibleForCoordinateRefresh(sourceFile: string | undefined, workspaceRoot: string, deps?: Partial<ManifestDeps>): boolean;

package/dist/commands/sync/manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/manifest.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAElE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EACL,KAAK,mBAAmB,EACxB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AAEjD,UAAU,YAAY;IACpB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAyCD,wBAAsB,0BAA0B,CAE9C,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAAC,IAAI,CAAC,CA8Ef;AAED,wBAAgB,0BAA0B,CAExC,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAST;AAED,wBAAgB,8BAA8B,CAE5C,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAUT"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/manifest.ts"],"names":[],"mappings":"AAkBA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAElE,OAAO,EAAE,IAAI,IAAI,QAAQ,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,SAAS,CAAC;AAC9D,OAAO,EACL,KAAK,mBAAmB,EACxB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AAEjD,UAAU,YAAY;IACpB,QAAQ,EAAE,OAAO,QAAQ,CAAC;IAC1B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD,UAAU,EAAE,OAAO,UAAU,CAAC;IAC9B,SAAS,EAAE,OAAO,SAAS,CAAC;IAC5B,YAAY,EAAE,OAAO,YAAY,CAAC;IAClC,aAAa,EAAE,OAAO,aAAa,CAAC;CACrC;AAcD,eAAO,MAAM,8BAA8B,qYAM1C,CAAC;AAqBF,wBAAsB,0BAA0B,CAE9C,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAAC,IAAI,CAAC,CA8Ef;AAED,wBAAgB,0BAA0B,CAExC,KAAK,EAAE,mBAAmB,GACzB,OAAO,CAST;AAED,wBAAgB,8BAA8B,CAE5C,UAAU,EAAE,MAAM,GAAG,SAAS,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,GAC3B,OAAO,CAUT"}

package/dist/commands/sync/manifest.js

@@ -30,7 +30,7 @@ function resolveDeps(overrides) {
         ...overrides,
     };
 }
-const SYMBOLS_MANIFEST_COMMENT_BLOCK = `# symbols.yaml
+export const SYMBOLS_MANIFEST_COMMENT_BLOCK = `# symbols.yaml
 # AUTHORED fields (edit freely):
 #   id, title, sourceFile, links, status, tags, owner, priority
 # GENERATED fields (never edit manually — overwritten by kibi sync and kb.symbols.refresh):

package/dist/commands/sync/persistence.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA0ErD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAoEvD;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAiI7D"}
+{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/persistence.ts"],"names":[],"mappings":"AAmBA,OAAO,KAAK,EAEV,qBAAqB,EACrB,gBAAgB,EACjB,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AA0ErD,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAsB,eAAe,CAEnC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,OAAO,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAqEvD;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,EAC3B,kBAAkB,EAAE,qBAAqB,EAAE,GAC1C,OAAO,CAAC;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAiI7D"}

package/dist/commands/sync/persistence.js

@@ -98,10 +98,10 @@ prolog, results, entityIds) {
             }
         }
     }
-    for (const { entity } of results) {
+    for (const { entity, sourceFile } of results) {
         entityIds.add(entity.id);
     }
-    for (const { entity } of results) {
+    for (const { entity, sourceFile } of results) {
         try {
             const props = [
                 `id=${toPrologAtom(entity.id)}`,
@@ -123,6 +123,8 @@ prolog, results, entityIds) {
                 props.push(`severity=${toPrologAtom(entity.severity)}`);
             if (entity.text_ref)
                 props.push(`text_ref=${toPrologString(entity.text_ref)}`);
+            if (sourceFile)
+                props.push(`sourceFile=${toPrologString(sourceFile)}`);
             // Add typed fact fields for fact entities
             if (entity.type === "fact") {
                 const factFields = serializeTypedFactFields(entity);

package/dist/extractors/markdown.d.ts

@@ -38,6 +38,8 @@ export interface ExtractedRelationship {
 export interface ExtractionResult {
     entity: ExtractedEntity;
     relationships: ExtractedRelationship[];
+    /** The per-symbol source code file, distinct from the manifest file path. */
+    sourceFile?: string;
 }
 export declare class FrontmatterError extends Error {
     filePath: string;

package/dist/extractors/markdown.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAwDA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAEnD,SAAS,CAAC,EAAE,SAAS,GAAG,gBAAgB,GAAG,aAAa,GAAG,MAAM,CAAC;IAClE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;CACxC;AA2BD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA8DD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAmRD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}
+{"version":3,"file":"markdown.d.ts","sourceRoot":"","sources":["../../src/extractors/markdown.ts"],"names":[],"mappings":"AAwDA,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,MAAM,GAAG,aAAa,GAAG,YAAY,CAAC;IAC3D,wBAAwB,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IAEnD,SAAS,CAAC,EAAE,SAAS,GAAG,gBAAgB,GAAG,aAAa,GAAG,MAAM,CAAC;IAClE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;IACtD,UAAU,CAAC,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAClD,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,SAAS,GAAG,QAAQ,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,eAAe,CAAC;IACxB,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,6EAA6E;IAC7E,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA2BD,qBAAa,gBAAiB,SAAQ,KAAK;IAOhC,QAAQ,EAAE,MAAM;IANlB,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;gBAG5B,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE;QACR,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAYM,QAAQ;CAUlB;AA8DD,wBAAgB,sBAAsB,CAEpC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC7B,UAAU,EAAE,MAAM,GACjB,MAAM,EAAE,CAkDV;AAmRD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,CAElB;AAGD,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,CAatE;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CASjE;AASD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAQpE"}

package/dist/extractors/symbols-coordinator.d.ts

@@ -1,7 +1,41 @@
 import { type ManifestSymbolEntry, enrichSymbolCoordinatesWithTsMorph } from "./symbols-ts.js";
 export type { ManifestSymbolEntry };
+export type SourceAnalysisMode = "parser" | "fallback";
+export type SourceSymbolKind = "function" | "class" | "interface" | "type" | "enum" | "variable" | "unknown";
+export interface SourceSymbolAnalysis {
+    name: string;
+    kind: SourceSymbolKind;
+    startLine: number;
+    startColumn: number;
+    endLine: number;
+    endColumn: number;
+    directiveText?: string;
+}
+export interface SourceModuleAnalysis {
+    title: string;
+    language: string;
+    analysisMode: SourceAnalysisMode;
+    fallbackReason?: string;
+}
+export interface SourceAnalysisResult {
+    sourceFile: string;
+    language: string;
+    providerId: string | null;
+    module: SourceModuleAnalysis;
+    symbols: SourceSymbolAnalysis[];
+}
+export interface SourceAnalysisProvider {
+    id: string;
+    supportsFile(filePath: string): boolean;
+    analyzeText(filePath: string, content: string): SourceAnalysisResult;
+}
+export interface AnalyzeSourceTextOptions {
+    providers?: SourceAnalysisProvider[];
+}
 interface EnrichSymbolCoordinatesDeps {
     enrichTsCoordinates: typeof enrichSymbolCoordinatesWithTsMorph;
 }
+export declare function analyzeSourceText(entries: ManifestSymbolEntry[], workspaceRoot: string, deps?: Partial<EnrichSymbolCoordinatesDeps>): Promise<ManifestSymbolEntry[]>;
+export declare function analyzeSourceText(filePath: string, content: string, options?: AnalyzeSourceTextOptions): SourceAnalysisResult;
 export declare function enrichSymbolCoordinates(entries: ManifestSymbolEntry[], workspaceRoot: string, deps?: Partial<EnrichSymbolCoordinatesDeps>): Promise<ManifestSymbolEntry[]>;
 //# sourceMappingURL=symbols-coordinator.d.ts.map

package/dist/extractors/symbols-coordinator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,mBAAmB,EACxB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AAED,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}
+{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAoBA,OAAO,EAEL,KAAK,mBAAmB,EACxB,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAazB,YAAY,EAAE,mBAAmB,EAAE,CAAC;AAEpC,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,UAAU,CAAC;AAEvD,MAAM,MAAM,gBAAgB,GACxB,UAAU,GACV,OAAO,GACP,WAAW,GACX,MAAM,GACN,MAAM,GACN,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,kBAAkB,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,oBAAoB,CAAC;IAC7B,OAAO,EAAE,oBAAoB,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxC,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,oBAAoB,CAAC;CACtE;AAED,MAAM,WAAW,wBAAwB;IACvC,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;CACtC;AAED,UAAU,2BAA2B;IACnC,mBAAmB,EAAE,OAAO,kCAAkC,CAAC;CAChE;AA+BD,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAAC;AAClC,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,wBAAwB,GACjC,oBAAoB,CAAC;AAgCxB,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,EACrB,IAAI,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,GAC1C,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAqChC"}

package/dist/extractors/symbols-coordinator.js

@@ -17,7 +17,7 @@
 */
 import * as fs from "node:fs";
 import * as path from "node:path";
-import { enrichSymbolCoordinatesWithTsMorph, } from "./symbols-ts.js";
+import { createTsMorphSourceAnalysisProvider, enrichSymbolCoordinatesWithTsMorph, } from "./symbols-ts.js";
 const TS_JS_EXTENSIONS = new Set([
     ".ts",
     ".tsx",
@@ -28,6 +28,52 @@ const TS_JS_EXTENSIONS = new Set([
     ".mjs",
     ".cjs",
 ]);
+const SOURCE_LANGUAGE_EXTENSIONS = {
+    ".c": "c",
+    ".cc": "cpp",
+    ".cjs": "javascript",
+    ".cpp": "cpp",
+    ".cs": "csharp",
+    ".cts": "typescript",
+    ".go": "go",
+    ".h": "c",
+    ".hpp": "cpp",
+    ".java": "java",
+    ".js": "javascript",
+    ".jsx": "javascript",
+    ".kt": "kotlin",
+    ".mjs": "javascript",
+    ".mts": "typescript",
+    ".php": "php",
+    ".py": "python",
+    ".rb": "ruby",
+    ".rs": "rust",
+    ".swift": "swift",
+    ".ts": "typescript",
+    ".tsx": "typescript",
+};
+const DEFAULT_SOURCE_ANALYSIS_PROVIDERS = [
+    createTsMorphSourceAnalysisProvider(),
+];
+// implements REQ-001
+export function analyzeSourceText(filePathOrEntries, contentOrWorkspaceRoot, optionsOrDeps) {
+    if (Array.isArray(filePathOrEntries)) {
+        return enrichSymbolCoordinates(filePathOrEntries, contentOrWorkspaceRoot, optionsOrDeps);
+    }
+    const providers = optionsOrDeps?.providers ??
+        DEFAULT_SOURCE_ANALYSIS_PROVIDERS;
+    for (const provider of providers) {
+        if (!provider.supportsFile(filePathOrEntries))
+            continue;
+        try {
+            return provider.analyzeText(filePathOrEntries, contentOrWorkspaceRoot);
+        }
+        catch {
+            return createFallbackAnalysis(filePathOrEntries, "provider_error");
+        }
+    }
+    return createFallbackAnalysis(filePathOrEntries, "unsupported_language");
+}
 export async function enrichSymbolCoordinates(entries, workspaceRoot, deps) {
     // implements REQ-vscode-traceability
     const enrichTsCoordinates = deps?.enrichTsCoordinates ?? enrichSymbolCoordinatesWithTsMorph;
@@ -106,3 +152,26 @@ function resolveSourcePath(sourceFile, workspaceRoot) {
 function escapeRegex(value) {
     return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
+function createFallbackAnalysis(filePath, fallbackReason) {
+    const language = detectSourceLanguage(filePath);
+    return {
+        sourceFile: filePath,
+        language,
+        providerId: null,
+        module: {
+            title: inferModuleTitle(filePath),
+            language,
+            analysisMode: "fallback",
+            fallbackReason,
+        },
+        symbols: [],
+    };
+}
+function detectSourceLanguage(filePath) {
+    return SOURCE_LANGUAGE_EXTENSIONS[path.extname(filePath).toLowerCase()] ?? "unknown";
+}
+function inferModuleTitle(filePath) {
+    const extension = path.extname(filePath);
+    const basename = path.basename(filePath, extension);
+    return basename.length > 0 ? basename : path.basename(filePath);
+}

package/dist/extractors/symbols-ts.d.ts

@@ -1,3 +1,4 @@
+import type { SourceAnalysisProvider } from "./symbols-coordinator.js";
 export interface SymbolCoordinates {
     sourceLine: number;
     sourceColumn: number;
@@ -17,5 +18,6 @@ export interface ManifestSymbolEntry {
     links?: string[];
     [key: string]: unknown;
 }
+export declare function createTsMorphSourceAnalysisProvider(): SourceAnalysisProvider;
 export declare function enrichSymbolCoordinatesWithTsMorph(entries: ManifestSymbolEntry[], workspaceRoot: string): Promise<ManifestSymbolEntry[]>;
 //# sourceMappingURL=symbols-ts.d.ts.map

package/dist/extractors/symbols-ts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-ts.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-ts.ts"],"names":[],"mappings":"AA2BA,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAaD,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAuEhC"}
+{"version":3,"file":"symbols-ts.d.ts","sourceRoot":"","sources":["../../src/extractors/symbols-ts.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EACV,sBAAsB,EAIvB,MAAM,0BAA0B,CAAC;AAElC,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAcD,wBAAgB,mCAAmC,IAAI,sBAAsB,CA6B5E;AAED,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,mBAAmB,EAAE,EAC9B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAuEhC"}

package/dist/extractors/symbols-ts.js

@@ -17,7 +17,7 @@
 */
 import { access, readFile } from "node:fs/promises";
 import * as path from "node:path";
-import { Project, } from "ts-morph";
+import { Project, ScriptKind, } from "ts-morph";
 const SUPPORTED_SOURCE_EXTENSIONS = new Set([
     ".ts",
     ".tsx",
@@ -28,6 +28,35 @@ const SUPPORTED_SOURCE_EXTENSIONS = new Set([
     ".mjs",
     ".cjs",
 ]);
+// implements REQ-001
+export function createTsMorphSourceAnalysisProvider() {
+    const project = new Project({
+        skipAddingFilesFromTsConfig: true,
+    });
+    return {
+        id: "ts-morph",
+        supportsFile(filePath) {
+            return SUPPORTED_SOURCE_EXTENSIONS.has(path.extname(filePath).toLowerCase());
+        },
+        analyzeText(filePath, content) {
+            const sourceFile = project.createSourceFile(filePath, content, {
+                overwrite: true,
+                scriptKind: chooseScriptKind(filePath),
+            });
+            return {
+                sourceFile: filePath,
+                language: inferSourceLanguage(filePath),
+                providerId: "ts-morph",
+                module: {
+                    title: inferModuleTitle(filePath),
+                    language: inferSourceLanguage(filePath),
+                    analysisMode: "parser",
+                },
+                symbols: collectSourceSymbols(sourceFile),
+            };
+        },
+    };
+}
 export async function enrichSymbolCoordinatesWithTsMorph(entries, workspaceRoot) {
     // implements REQ-vscode-traceability
     const project = new Project({
@@ -142,6 +171,84 @@ async function enrichWithTextFallbackInternal(entry, absolutePath) {
         return entry;
     }
 }
+function collectSourceSymbols(sourceFile) {
+    const symbols = [];
+    for (const decl of sourceFile.getFunctions()) {
+        if (!decl.isExported())
+            continue;
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "function", decl.getNameNode() ?? decl, decl, `${decl.getFullText()}\n${decl
+            .getJsDocs()
+            .map((doc) => doc.getFullText())
+            .join("\n")}`));
+    }
+    for (const decl of sourceFile.getClasses()) {
+        if (!decl.isExported())
+            continue;
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "class", decl.getNameNode() ?? decl, decl, `${decl.getText()}\n${decl
+            .getJsDocs()
+            .map((doc) => doc.getFullText())
+            .join("\n")}`));
+    }
+    for (const decl of sourceFile.getInterfaces()) {
+        if (!decl.isExported())
+            continue;
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "interface", decl.getNameNode() ?? decl, decl, decl.getText()));
+    }
+    for (const decl of sourceFile.getTypeAliases()) {
+        if (!decl.isExported())
+            continue;
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "type", decl.getNameNode() ?? decl, decl, decl.getText()));
+    }
+    for (const decl of sourceFile.getEnums()) {
+        if (!decl.isExported())
+            continue;
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "enum", decl.getNameNode() ?? decl, decl, decl.getText()));
+    }
+    for (const statement of sourceFile.getVariableStatements()) {
+        if (!statement.isExported())
+            continue;
+        for (const declaration of statement.getDeclarations()) {
+            symbols.push(toSourceSymbolAnalysis(sourceFile, declaration.getName(), "variable", declaration.getNameNode() ?? declaration, declaration, declaration.getText()));
+        }
+    }
+    return symbols;
+}
+function toSourceSymbolAnalysis(sourceFile, name, kind, startNode, endNode, directiveText) {
+    const start = sourceFile.getLineAndColumnAtPos(startNode.getStart());
+    const end = sourceFile.getLineAndColumnAtPos(endNode.getEnd());
+    return {
+        name,
+        kind,
+        startLine: start.line,
+        startColumn: Math.max(0, start.column - 1),
+        endLine: end.line,
+        endColumn: Math.max(0, end.column - 1),
+        directiveText,
+    };
+}
+function chooseScriptKind(filePath) {
+    const lower = filePath.toLowerCase();
+    if (lower.endsWith(".tsx"))
+        return ScriptKind.TSX;
+    if (lower.endsWith(".ts") || lower.endsWith(".mts") || lower.endsWith(".cts")) {
+        return ScriptKind.TS;
+    }
+    if (lower.endsWith(".jsx"))
+        return ScriptKind.JSX;
+    return ScriptKind.JS;
+}
+function inferSourceLanguage(filePath) {
+    const extension = path.extname(filePath).toLowerCase();
+    if ([".ts", ".tsx", ".mts", ".cts"].includes(extension)) {
+        return "typescript";
+    }
+    return "javascript";
+}
+function inferModuleTitle(filePath) {
+    const extension = path.extname(filePath);
+    const basename = path.basename(filePath, extension);
+    return basename.length > 0 ? basename : path.basename(filePath);
+}
 function findNamedDeclaration(sourceFile, title) {
     const candidates = [];
     for (const decl of sourceFile.getFunctions()) {

package/dist/public/brief-config.d.ts

@@ -0,0 +1,4 @@
+import { type BriefsConfig } from "../utils/config.js";
+export type { BriefsConfig } from "../utils/config.js";
+export declare function loadBriefConfig(cwd?: string): BriefsConfig;
+//# sourceMappingURL=brief-config.d.ts.map

package/dist/public/brief-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brief-config.d.ts","sourceRoot":"","sources":["../../src/public/brief-config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEnE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,wBAAgB,eAAe,CAAC,GAAG,GAAE,MAAsB,GAAG,YAAY,CAoBzE"}

package/dist/public/brief-config.js

@@ -0,0 +1,21 @@
+import { loadConfig } from "../utils/config.js";
+export function loadBriefConfig(cwd = process.cwd()) {
+    const briefs = loadConfig(cwd).briefs;
+    return {
+        enabled: briefs?.enabled ?? true,
+        retention: {
+            maxPerBranch: briefs?.retention?.maxPerBranch ?? 200,
+            maxAgeDays: briefs?.retention?.maxAgeDays ?? 14,
+            keepUnread: briefs?.retention?.keepUnread ?? true,
+        },
+        channels: {
+            vscode: briefs?.channels?.vscode ?? true,
+            tui: briefs?.channels?.tui ?? true,
+        },
+        tui: {
+            toast: briefs?.tui?.toast ?? true,
+            appendPrompt: briefs?.tui?.appendPrompt ?? true,
+            idleDelayMs: briefs?.tui?.idleDelayMs ?? 1500,
+        },
+    };
+}

package/dist/public/extractors/symbols-coordinator.d.ts

@@ -1,2 +1,2 @@
-export { enrichSymbolCoordinates, type ManifestSymbolEntry, } from "../../extractors/symbols-coordinator.js";
+export { analyzeSourceText, enrichSymbolCoordinates, type ManifestSymbolEntry, type AnalyzeSourceTextOptions, type SourceAnalysisProvider, type SourceAnalysisResult, type SourceModuleAnalysis, type SourceSymbolAnalysis, type SourceSymbolKind, } from "../../extractors/symbols-coordinator.js";
 //# sourceMappingURL=symbols-coordinator.d.ts.map

package/dist/public/extractors/symbols-coordinator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../../src/public/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,uBAAuB,EACvB,KAAK,mBAAmB,GACzB,MAAM,yCAAyC,CAAC"}
+{"version":3,"file":"symbols-coordinator.d.ts","sourceRoot":"","sources":["../../../src/public/extractors/symbols-coordinator.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,KAAK,mBAAmB,EACxB,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,GACtB,MAAM,yCAAyC,CAAC"}

package/dist/public/extractors/symbols-coordinator.js

@@ -15,4 +15,4 @@
  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/>.
  */
-export { enrichSymbolCoordinates, } from "../../extractors/symbols-coordinator.js";
+export { analyzeSourceText, enrichSymbolCoordinates, } from "../../extractors/symbols-coordinator.js";

package/dist/utils/config.d.ts

@@ -12,12 +12,30 @@ export interface KbConfigPaths {
     facts?: string;
     symbols?: string;
 }
+export interface BriefsConfig {
+    enabled: boolean;
+    retention?: {
+        maxPerBranch?: number;
+        maxAgeDays?: number;
+        keepUnread?: boolean;
+    };
+    channels: {
+        vscode: boolean;
+        tui: boolean;
+    };
+    tui: {
+        toast: boolean;
+        appendPrompt: boolean;
+        idleDelayMs?: number;
+    };
+}
 /**
  * Shared configuration for Kibi.
  * Stored in .kb/config.json
  */
 export interface KbConfig {
     paths: KbConfigPaths;
+    briefs?: BriefsConfig;
     /**
      * @deprecated defaultBranch is deprecated. Branch lifecycle now follows git naturally
      * without requiring a configured default. This field is ignored but kept for compatibility.
@@ -26,9 +44,6 @@ export interface KbConfig {
     checks?: ChecksConfig;
 }
 export type { ChecksConfig, SymbolTraceabilityOptions };
-/**
- * Default configuration values for new repositories.
- */
 export declare const DEFAULT_CONFIG: KbConfig & {
     $schema: string;
 };

package/dist/utils/config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/utils/config.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,YAAY,EAEjB,KAAK,yBAAyB,EAC/B,MAAM,oBAAoB,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,aAAa,CAAC;IACrB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,YAAY,EAAE,YAAY,EAAE,yBAAyB,EAAE,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,cAAc,EAAE,QAAQ,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAcxD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,aAShC,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,GAAE,MAAsB,GAAG,QAAQ,CAoChE;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,GAAG,GAAE,MAAsB,GAAG,QAAQ,CAoCpE"}
+{"version":3,"file":"config.d.ts","sourceRoot":"","sources":["../../src/utils/config.ts"],"names":[],"mappings":"AAoBA,OAAO,EACL,KAAK,YAAY,EAEjB,KAAK,yBAAyB,EAC/B,MAAM,oBAAoB,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,SAAS,CAAC,EAAE;QACV,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,UAAU,CAAC,EAAE,OAAO,CAAC;KACtB,CAAC;IACF,QAAQ,EAAE;QACR,MAAM,EAAE,OAAO,CAAC;QAChB,GAAG,EAAE,OAAO,CAAC;KACd,CAAC;IACF,GAAG,EAAE;QACH,KAAK,EAAE,OAAO,CAAC;QACf,YAAY,EAAE,OAAO,CAAC;QACtB,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,aAAa,CAAC;IACrB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,YAAY,EAAE,YAAY,EAAE,yBAAyB,EAAE,CAAC;AAwBxD,eAAO,MAAM,cAAc,EAAE,QAAQ,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAexD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,aAShC,CAAC;AAqBF;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,GAAG,GAAE,MAAsB,GAAG,QAAQ,CAqChE;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,GAAG,GAAE,MAAsB,GAAG,QAAQ,CAqCpE"}

package/dist/utils/config.js

@@ -21,6 +21,24 @@ import { DEFAULT_CHECKS_CONFIG, } from "./rule-registry.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 = {
     $schema: "https://raw.githubusercontent.com/Looted/kibi/master/packages/cli/schema/config.json",
     paths: {
@@ -33,6 +51,7 @@ export const DEFAULT_CONFIG = {
         facts: "documentation/facts",
         symbols: "documentation/symbols.yaml",
     },
+    briefs: DEFAULT_BRIEFS_CONFIG,
     checks: DEFAULT_CHECKS_CONFIG,
 };
 /**
@@ -48,6 +67,24 @@ 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,
+        },
+    };
+}
 /**
  * Load and parse the Kibi configuration from .kb/config.json.
  * Falls back to DEFAULT_CONFIG if the file doesn't exist or is invalid.
@@ -74,6 +111,7 @@ export function loadConfig(cwd = process.cwd()) {
             ...DEFAULT_CONFIG.paths,
             ...userConfig.paths,
         },
+        briefs: mergeBriefsConfig(userConfig.briefs),
         ...(userConfig.defaultBranch !== undefined
             ? { defaultBranch: userConfig.defaultBranch }
             : {}),
@@ -118,6 +156,7 @@ export function loadSyncConfig(cwd = process.cwd()) {
             ...DEFAULT_SYNC_PATHS,
             ...userConfig.paths,
         },
+        briefs: mergeBriefsConfig(userConfig.briefs),
         ...(userConfig.defaultBranch !== undefined
             ? { defaultBranch: userConfig.defaultBranch }
             : {}),

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;CACjB;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,EA8DjC,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;;;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;CACjB;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,EAqEjC,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"}

package/dist/utils/rule-registry.js

@@ -75,6 +75,12 @@ export const RULES = [
         defaultEnabled: false,
         category: "integrity",
     },
+    {
+        name: "strict-req-fact-pairing",
+        description: "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
+        defaultEnabled: false,
+        category: "integrity",
+    },
 ];
 /**
  * Set of all rule names for quick lookups.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.6.2",
+  "version": "0.7.0",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -74,6 +74,10 @@
     "./public/check-types": {
       "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"
     }
   },
   "types": "./dist/cli.d.ts",
@@ -84,7 +88,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.5.1",
+    "kibi-core": "^0.5.2",
     "ts-morph": "^23.0.0"
   },
   "devDependencies": {

package/schema/config.json

@@ -61,6 +61,74 @@
       "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",
@@ -113,6 +181,11 @@
               "type": "boolean",
               "description": "Detect malformed strict facts (facts with fact_kind that are missing required fields)",
               "default": false
+            },
+            "strict-req-fact-pairing": {
+              "type": "boolean",
+              "description": "Detect requirements with incomplete strict subject/property fact pairing for contradiction-safe semantics",
+              "default": false
             }
           },
           "additionalProperties": false

package/schema/entities.pl

@@ -20,6 +20,7 @@ entity_property(_, status, atom).
 entity_property(_, created_at, datetime).
 entity_property(_, updated_at, datetime).
 entity_property(_, source, uri).
+entity_property(_, sourceFile, uri).
 
 % Optional properties
 entity_property(_, tags, list).

package/schema/relationships.pl

@@ -9,6 +9,7 @@ relationship_type(verified_by).
 relationship_type(validates).
 relationship_type(implements).
 relationship_type(covered_by).
+relationship_type(executable_for).
 relationship_type(constrained_by).
 relationship_type(guards).
 relationship_type(publishes).
@@ -25,6 +26,9 @@ valid_relationship(verified_by, req, test).
 valid_relationship(validates, test, req).
 valid_relationship(implements, symbol, req).
 valid_relationship(covered_by, symbol, test).
+valid_relationship(executable_for, symbol, test).
+valid_relationship(verified_by, scenario, test).
+valid_relationship(validates, test, scenario).
 valid_relationship(constrained_by, symbol, adr).
 % guards can target symbol, event, or req
 valid_relationship(guards, flag, symbol).

package/src/public/brief-config.ts

@@ -0,0 +1,25 @@
+import { loadConfig, type BriefsConfig } from "../utils/config.js";
+
+export type { BriefsConfig } from "../utils/config.js";
+
+export function loadBriefConfig(cwd: string = process.cwd()): BriefsConfig { // implements REQ-003
+  const briefs = loadConfig(cwd).briefs;
+
+  return {
+    enabled: briefs?.enabled ?? true,
+    retention: {
+      maxPerBranch: briefs?.retention?.maxPerBranch ?? 200,
+      maxAgeDays: briefs?.retention?.maxAgeDays ?? 14,
+      keepUnread: briefs?.retention?.keepUnread ?? true,
+    },
+    channels: {
+      vscode: briefs?.channels?.vscode ?? true,
+      tui: briefs?.channels?.tui ?? true,
+    },
+    tui: {
+      toast: briefs?.tui?.toast ?? true,
+      appendPrompt: briefs?.tui?.appendPrompt ?? true,
+      idleDelayMs: briefs?.tui?.idleDelayMs ?? 1500,
+    },
+  };
+}

package/src/public/extractors/symbols-coordinator.ts

@@ -17,6 +17,13 @@
  */
 
 export {
+  analyzeSourceText,
   enrichSymbolCoordinates,
   type ManifestSymbolEntry,
+  type AnalyzeSourceTextOptions,
+  type SourceAnalysisProvider,
+  type SourceAnalysisResult,
+  type SourceModuleAnalysis,
+  type SourceSymbolAnalysis,
+  type SourceSymbolKind,
 } from "../../extractors/symbols-coordinator.js";