kibi-cli 0.12.3 → 0.12.5

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

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AA2EA,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;AAgcD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0V/B"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAiFA,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;AA2bD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA0V/B"}

package/dist/commands/check.js

@@ -22,6 +22,7 @@ import { extractFromManifest, extractFromManifestString, } from "../extractors/m
 import { extractFromMarkdownString, } from "../extractors/markdown.js";
 import { PrologProcess } from "../prolog.js";
 import { escapeAtom, parseTriples, parseViolationRows, } from "../prolog/codec.js";
+import { getBehavioralSymbolNames, getNonBehavioralSymbolNames, isAllowedGranularityReason, isTraceabilityRelationshipType, } from "../public/symbol-granularity.js";
 import { KIBI_NO_IMPACT_DECLARATION, KIBI_SYMBOLS_MANIFEST_PATH, } from "../traceability/evidence-model.js";
 import { getStagedFiles } from "../traceability/git-staged.js";
 import { validateStagedMarkdown } from "../traceability/markdown-validate.js";
@@ -133,23 +134,11 @@ function buildManifestLookup(stagedFiles) {
         stagedAuthoredSymbolResults,
     };
 }
-const GRANULARITY_RELATIONSHIP_TYPES = new Set([
-    "implements",
-    "covered_by",
-    "executable_for",
-]);
-const ALLOWED_GRANULARITY_REASONS = new Set([
-    "config-artifact",
-    "module-level-behavior",
-    "extractor-miss",
-    "legacy-link",
-]);
 function hasTraceabilityRelationship(result) {
-    return result.relationships.some((relationship) => GRANULARITY_RELATIONSHIP_TYPES.has(relationship.type));
+    return result.relationships.some((relationship) => isTraceabilityRelationshipType(relationship.type));
 }
 function hasValidGranularityReason(result) {
-    const reason = result.entity.granularity_reason;
-    return typeof reason === "string" && ALLOWED_GRANULARITY_REASONS.has(reason);
+    return isAllowedGranularityReason(result.entity.granularity_reason);
 }
 function createSymbolGranularityDiagnostics(options) {
     const diagnostics = [];
@@ -168,13 +157,20 @@ function createSymbolGranularityDiagnostics(options) {
         ].sort();
         if (granularNames.includes(result.entity.title))
             continue;
+        const behavioralNames = getBehavioralSymbolNames(granularSymbols);
+        if (behavioralNames.length === 0)
+            continue;
+        const nonBehavioralNames = getNonBehavioralSymbolNames(granularSymbols);
+        const ignoredSymbolsSuggestion = nonBehavioralNames.length > 0
+            ? ` Non-behavioral symbols ignored for this decision: ${nonBehavioralNames.join(", ")}.`
+            : "";
         diagnostics.push({
             id: "symbol_granularity_violation",
             severity: "error",
             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: ${granularNames.join(", ")}`,
-            suggestion: "Move ownership/coverage/test relationships to the narrow function/class/type symbol, or add granularity_reason with config-artifact, module-level-behavior, extractor-miss, or legacy-link when the coarse symbol is intentional.",
+            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}`,
         });
     }
     return diagnostics;

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

@@ -1,7 +1,7 @@
 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 type SourceSymbolKind = "function" | "class" | "method" | "interface" | "type" | "enum" | "variable" | "unknown";
 export interface SourceSymbolAnalysis {
     name: string;
     kind: SourceSymbolKind;

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,EAExB,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;AAkCxB,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,EACL,KAAK,mBAAmB,EAExB,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,QAAQ,GACR,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;AAkCxB,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-ts.js

@@ -184,10 +184,16 @@ function collectSourceSymbols(sourceFile) {
     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
+        symbols.push(toSourceSymbolAnalysis(sourceFile, decl.getName() ?? "<anonymous>", "class", decl.getNameNode() ?? decl, decl, decl
             .getJsDocs()
             .map((doc) => doc.getFullText())
-            .join("\n")}`));
+            .join("\n")));
+        for (const method of decl.getMethods()) {
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), method.getName()), "method", method.getNameNode() ?? method, method, `${method.getFullText()}\n${method
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
     }
     for (const decl of sourceFile.getInterfaces()) {
         if (!decl.isExported())
@@ -226,6 +232,9 @@ function toSourceSymbolAnalysis(sourceFile, name, kind, startNode, endNode, dire
         directiveText,
     };
 }
+function formatMethodSymbolName(className, methodName) {
+    return className ? `${className}.${methodName}` : methodName;
+}
 function chooseScriptKind(filePath) {
     const lower = filePath.toLowerCase();
     if (lower.endsWith(".tsx"))
@@ -252,6 +261,22 @@ function inferModuleTitle(filePath) {
     return basename.length > 0 ? basename : path.basename(filePath);
 }
 function findNamedDeclaration(sourceFile, title) {
+    const qualifiedMethod = parseQualifiedMethodTitle(title);
+    if (qualifiedMethod) {
+        for (const cls of sourceFile.getClasses()) {
+            if (cls.getName() !== qualifiedMethod.className)
+                continue;
+            for (const method of cls.getMethods()) {
+                if (method.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = method.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: method, getNameNode: () => nameNode };
+            }
+        }
+        return null;
+    }
     const candidates = [];
     for (const decl of sourceFile.getFunctions()) {
         if (!decl.isExported())
@@ -357,3 +382,12 @@ function findNamedDeclaration(sourceFile, title) {
     candidates.sort((a, b) => a.getNameNode().getStart() - b.getNameNode().getStart());
     return candidates[0] ?? null;
 }
+function parseQualifiedMethodTitle(title) {
+    const separatorIndex = title.lastIndexOf(".");
+    if (separatorIndex <= 0 || separatorIndex === title.length - 1)
+        return null;
+    return {
+        className: title.slice(0, separatorIndex),
+        methodName: title.slice(separatorIndex + 1),
+    };
+}

package/dist/public/schemas/entity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/entity.ts"],"names":[],"mappings":"AA+EA,QAAA,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CA2JzC,CAAC;AAEF,eAAe,YAAY,CAAC"}
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/public/schemas/entity.ts"],"names":[],"mappings":"AAiFA,QAAA,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CA+JzC,CAAC;AAEF,eAAe,YAAY,CAAC"}

package/dist/public/schemas/entity.js

@@ -15,6 +15,8 @@
  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/>.
  */
+// Typed fact field enums per proposal
+import { SYMBOL_ROLES } from "../symbol-granularity.js";
 const factConditionals = JSON.parse(`[
   {
     "if": {
@@ -113,6 +115,10 @@ const entitySchema = {
                 "legacy-link",
             ],
         },
+        symbol_role: {
+            type: "string",
+            enum: [...SYMBOL_ROLES],
+        },
         type: {
             type: "string",
             enum: [

package/dist/public/symbol-granularity.d.ts

@@ -0,0 +1,23 @@
+export declare const SYMBOL_ROLES: readonly ["behavioral", "structural", "type-shape", "config", "module", "unknown"];
+export type SymbolRole = (typeof SYMBOL_ROLES)[number];
+export declare const TRACEABILITY_RELATIONSHIP_TYPES: readonly ["implements", "covered_by", "executable_for"];
+export type TraceabilityRelationshipType = (typeof TRACEABILITY_RELATIONSHIP_TYPES)[number];
+export declare const ALLOWED_GRANULARITY_REASONS: readonly ["config-artifact", "module-level-behavior", "extractor-miss", "legacy-link"];
+export type GranularityReason = (typeof ALLOWED_GRANULARITY_REASONS)[number];
+export type SymbolKind = "function" | "class" | "method" | "interface" | "type" | "variable" | "enum" | "unknown";
+export type SourceSymbolKind = SymbolKind;
+export interface GranularSymbolCandidate {
+    name: string;
+    kind?: SymbolKind;
+    role?: SymbolRole;
+}
+export declare function inferSymbolRole(kind: SymbolKind): SymbolRole;
+export declare const inferSymbolRoleFromKind: typeof inferSymbolRole;
+export declare function isSymbolRole(value: unknown): value is SymbolRole;
+export declare function isTraceabilityRelationshipType(value: unknown): value is TraceabilityRelationshipType;
+export declare function isAllowedGranularityReason(value: unknown): value is GranularityReason;
+export declare function getSymbolRole(candidate: GranularSymbolCandidate): SymbolRole;
+export declare function isBehavioralSymbol(candidate: GranularSymbolCandidate): boolean;
+export declare function getBehavioralSymbolNames(candidates: GranularSymbolCandidate[]): string[];
+export declare function getNonBehavioralSymbolNames(candidates: GranularSymbolCandidate[]): string[];
+//# sourceMappingURL=symbol-granularity.d.ts.map

package/dist/public/symbol-granularity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-granularity.d.ts","sourceRoot":"","sources":["../../src/public/symbol-granularity.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,oFAOf,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC;AAEvD,eAAO,MAAM,+BAA+B,yDAIlC,CAAC;AAEX,MAAM,MAAM,4BAA4B,GACtC,CAAC,OAAO,+BAA+B,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,eAAO,MAAM,2BAA2B,wFAK9B,CAAC;AAEX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,2BAA2B,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,UAAU,GAClB,UAAU,GACV,OAAO,GACP,QAAQ,GACR,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;AAEd,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC;AAE1C,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,IAAI,CAAC,EAAE,UAAU,CAAC;CACnB;AASD,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAc5D;AAED,eAAO,MAAM,uBAAuB,wBAAkB,CAAC;AAEvD,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,UAAU,CAIhE;AAED,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,4BAA4B,CAIvC;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,iBAAiB,CAE5B;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,uBAAuB,GAAG,UAAU,CAI5E;AAED,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,uBAAuB,GACjC,OAAO,CAET;AAED,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAMV;AAED,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,uBAAuB,EAAE,GACpC,MAAM,EAAE,CAQV"}

package/dist/public/symbol-granularity.js

@@ -0,0 +1,68 @@
+export const SYMBOL_ROLES = [
+    "behavioral",
+    "structural",
+    "type-shape",
+    "config",
+    "module",
+    "unknown",
+];
+export const TRACEABILITY_RELATIONSHIP_TYPES = [
+    "implements",
+    "covered_by",
+    "executable_for",
+];
+export const ALLOWED_GRANULARITY_REASONS = [
+    "config-artifact",
+    "module-level-behavior",
+    "extractor-miss",
+    "legacy-link",
+];
+const traceabilityRelationshipTypeSet = new Set(TRACEABILITY_RELATIONSHIP_TYPES);
+const allowedGranularityReasonSet = new Set(ALLOWED_GRANULARITY_REASONS);
+export function inferSymbolRole(kind) {
+    switch (kind) {
+        case "function":
+        case "class":
+        case "method":
+            return "behavioral";
+        case "interface":
+        case "type":
+        case "enum":
+            return "type-shape";
+        case "variable":
+        case "unknown":
+            return "unknown";
+    }
+}
+export const inferSymbolRoleFromKind = inferSymbolRole;
+export function isSymbolRole(value) {
+    return (typeof value === "string" && SYMBOL_ROLES.some((role) => role === value));
+}
+export function isTraceabilityRelationshipType(value) {
+    return (typeof value === "string" && traceabilityRelationshipTypeSet.has(value));
+}
+export function isAllowedGranularityReason(value) {
+    return typeof value === "string" && allowedGranularityReasonSet.has(value);
+}
+export function getSymbolRole(candidate) {
+    if (candidate.role)
+        return candidate.role;
+    if (candidate.kind)
+        return inferSymbolRole(candidate.kind);
+    return "unknown";
+}
+export function isBehavioralSymbol(candidate) {
+    return getSymbolRole(candidate) === "behavioral";
+}
+export function getBehavioralSymbolNames(candidates) {
+    return [
+        ...new Set(candidates.filter(isBehavioralSymbol).map((candidate) => candidate.name)),
+    ].sort();
+}
+export function getNonBehavioralSymbolNames(candidates) {
+    return [
+        ...new Set(candidates
+            .filter((candidate) => !isBehavioralSymbol(candidate))
+            .map((candidate) => candidate.name)),
+    ].sort();
+}

package/dist/schemas/entity.schema.json

@@ -48,6 +48,17 @@
                 "legacy-link"
             ]
         },
+        "symbol_role": {
+            "type": "string",
+            "enum": [
+                "behavioral",
+                "structural",
+                "type-shape",
+                "config",
+                "module",
+                "unknown"
+            ]
+        },
         "verification_scope": {
             "type": "string",
             "enum": ["unit", "integration", "end_to_end"]

package/dist/traceability/symbol-extract.d.ts

@@ -1,3 +1,4 @@
+import { type SymbolKind, type SymbolRole } from "../public/symbol-granularity.js";
 import type { HunkRange, StagedFile } from "./git-staged.js";
 type TraceabilityRelationship = {
     type: string;
@@ -6,7 +7,8 @@ type TraceabilityRelationship = {
 export interface ExtractedSymbol {
     id: string;
     name: string;
-    kind: "function" | "class" | "interface" | "type" | "variable" | "enum" | "unknown";
+    kind: SymbolKind;
+    role: SymbolRole;
     location: {
         file: string;
         startLine: number;

package/dist/traceability/symbol-extract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EACA,UAAU,GACV,OAAO,GACP,WAAW,GACX,MAAM,GACN,UAAU,GACV,MAAM,GACN,SAAS,CAAC;IACd,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAkOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CAiNnB"}
+{"version":3,"file":"symbol-extract.d.ts","sourceRoot":"","sources":["../../src/traceability/symbol-extract.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7D,KAAK,wBAAwB,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAU7D,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM,CAAC;QACb,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;KACjB,CAAC;IACF,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,aAAa,CAAC,EAAE,wBAAwB,EAAE,CAAC;CAC5C;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAE9D,wBAAgB,+BAA+B,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,CAG5E;AAmOD,wBAAgB,4BAA4B,CAE1C,UAAU,EAAE,UAAU,EACtB,cAAc,CAAC,EAAE,cAAc,GAC9B,eAAe,EAAE,CAyOnB"}

package/dist/traceability/symbol-extract.js

@@ -1,6 +1,7 @@
 import { createHash } from "node:crypto";
 import { Project, ScriptKind } from "ts-morph";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
+import { inferSymbolRole, } from "../public/symbol-granularity.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
     "implements",
     "covered_by",
@@ -109,6 +110,7 @@ function buildSymbolResult(stagedFile, name, kind, span, inlineReqLinks, manifes
         id,
         name,
         kind,
+        role: inferSymbolRole(kind),
         location: {
             file: stagedFile.path,
             startLine: span.startLine,
@@ -229,15 +231,30 @@ stagedFile, manifestLookup) {
             const start = cls.getNameNode()?.getStart() ?? cls.getStart();
             const end = cls.getEnd();
             const span = getSpan(start, end);
-            const reqLinks = parseReqDirectives(`${cls.getText()}\n${cls
-                .getJsDocs()
-                .map((d) => d.getFullText())
-                .join("\n")}`);
+            const reqLinks = parseReqDirectives(getJsDocText(cls.getJsDocs()));
             results.push(buildSymbolResult(stagedFile, name, "class", span, reqLinks, manifestLookup));
         }
         catch {
             void stagedFile.path;
         }
+        for (const method of typeof cls.getMethods === "function"
+            ? cls.getMethods()
+            : []) {
+            try {
+                const name = formatMethodSymbolName(cls.getName(), method.getName());
+                const start = method.getNameNode()?.getStart() ?? method.getStart();
+                const end = method.getEnd();
+                const span = getSpan(start, end);
+                const reqLinks = parseReqDirectives(`${method.getFullText()}\n${method
+                    .getJsDocs()
+                    .map((d) => d.getFullText())
+                    .join("\n")}`);
+                results.push(buildSymbolResult(stagedFile, name, "method", span, reqLinks, manifestLookup));
+            }
+            catch {
+                void stagedFile.path;
+            }
+        }
     }
     // Enums
     for (const en of sf.getEnums()) {
@@ -315,6 +332,12 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
+function formatMethodSymbolName(className, methodName) {
+    return className ? `${className}.${methodName}` : methodName;
+}
+function getJsDocText(jsDocs) {
+    return jsDocs.map((d) => d.getFullText()).join("\n");
+}
 function intersectingHunks(startLine, endLine, hunks) {
     const out = [];
     for (const h of hunks) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "kibi-cli",
-  "version": "0.12.3",
+  "version": "0.12.5",
   "type": "module",
   "description": "Kibi CLI for knowledge base management",
   "engines": {
@@ -69,6 +69,10 @@
       "types": "./dist/public/check-types.d.ts",
       "default": "./dist/public/check-types.js"
     },
+    "./public/symbol-granularity": {
+      "types": "./dist/public/symbol-granularity.d.ts",
+      "default": "./dist/public/symbol-granularity.js"
+    },
     "./schema-version": {
       "types": "./dist/public/schema-version.d.ts",
       "default": "./dist/public/schema-version.js"
@@ -95,7 +99,7 @@
     "fast-glob": "^3.2.12",
     "gray-matter": "^4.0.3",
     "js-yaml": "^4.1.0",
-    "kibi-core": "^0.6.0",
+    "kibi-core": "^0.6.1",
     "ts-morph": "^23.0.0",
     "ignore": "^5.3.0"
   },

package/src/public/schemas/entity.ts

@@ -17,6 +17,8 @@
  */
 
 // Typed fact field enums per proposal
+import { SYMBOL_ROLES, type SymbolRole } from "../symbol-granularity.js";
+
 type FactKind =
   | "subject"
   | "property_value"
@@ -127,6 +129,10 @@ const entitySchema: Record<string, unknown> = {
         "legacy-link",
       ],
     },
+    symbol_role: {
+      type: "string",
+      enum: [...SYMBOL_ROLES] satisfies SymbolRole[],
+    },
     type: {
       type: "string",
       enum: [

package/src/public/symbol-granularity.ts

@@ -0,0 +1,125 @@
+export const SYMBOL_ROLES = [
+  "behavioral",
+  "structural",
+  "type-shape",
+  "config",
+  "module",
+  "unknown",
+] as const;
+
+export type SymbolRole = (typeof SYMBOL_ROLES)[number];
+
+export const TRACEABILITY_RELATIONSHIP_TYPES = [
+  "implements",
+  "covered_by",
+  "executable_for",
+] as const;
+
+export type TraceabilityRelationshipType =
+  (typeof TRACEABILITY_RELATIONSHIP_TYPES)[number];
+
+export const ALLOWED_GRANULARITY_REASONS = [
+  "config-artifact",
+  "module-level-behavior",
+  "extractor-miss",
+  "legacy-link",
+] as const;
+
+export type GranularityReason = (typeof ALLOWED_GRANULARITY_REASONS)[number];
+
+export type SymbolKind =
+  | "function"
+  | "class"
+  | "method"
+  | "interface"
+  | "type"
+  | "variable"
+  | "enum"
+  | "unknown";
+
+export type SourceSymbolKind = SymbolKind;
+
+export interface GranularSymbolCandidate {
+  name: string;
+  kind?: SymbolKind;
+  role?: SymbolRole;
+}
+
+const traceabilityRelationshipTypeSet: ReadonlySet<string> = new Set(
+  TRACEABILITY_RELATIONSHIP_TYPES,
+);
+const allowedGranularityReasonSet: ReadonlySet<string> = new Set(
+  ALLOWED_GRANULARITY_REASONS,
+);
+
+export function inferSymbolRole(kind: SymbolKind): SymbolRole {
+  switch (kind) {
+    case "function":
+    case "class":
+    case "method":
+      return "behavioral";
+    case "interface":
+    case "type":
+    case "enum":
+      return "type-shape";
+    case "variable":
+    case "unknown":
+      return "unknown";
+  }
+}
+
+export const inferSymbolRoleFromKind = inferSymbolRole;
+
+export function isSymbolRole(value: unknown): value is SymbolRole {
+  return (
+    typeof value === "string" && SYMBOL_ROLES.some((role) => role === value)
+  );
+}
+
+export function isTraceabilityRelationshipType(
+  value: unknown,
+): value is TraceabilityRelationshipType {
+  return (
+    typeof value === "string" && traceabilityRelationshipTypeSet.has(value)
+  );
+}
+
+export function isAllowedGranularityReason(
+  value: unknown,
+): value is GranularityReason {
+  return typeof value === "string" && allowedGranularityReasonSet.has(value);
+}
+
+export function getSymbolRole(candidate: GranularSymbolCandidate): SymbolRole {
+  if (candidate.role) return candidate.role;
+  if (candidate.kind) return inferSymbolRole(candidate.kind);
+  return "unknown";
+}
+
+export function isBehavioralSymbol(
+  candidate: GranularSymbolCandidate,
+): boolean {
+  return getSymbolRole(candidate) === "behavioral";
+}
+
+export function getBehavioralSymbolNames(
+  candidates: GranularSymbolCandidate[],
+): string[] {
+  return [
+    ...new Set(
+      candidates.filter(isBehavioralSymbol).map((candidate) => candidate.name),
+    ),
+  ].sort();
+}
+
+export function getNonBehavioralSymbolNames(
+  candidates: GranularSymbolCandidate[],
+): string[] {
+  return [
+    ...new Set(
+      candidates
+        .filter((candidate) => !isBehavioralSymbol(candidate))
+        .map((candidate) => candidate.name),
+    ),
+  ].sort();
+}

package/src/schemas/entity.schema.json

@@ -48,6 +48,17 @@
         "legacy-link"
       ]
     },
+    "symbol_role": {
+      "type": "string",
+      "enum": [
+        "behavioral",
+        "structural",
+        "type-shape",
+        "config",
+        "module",
+        "unknown"
+      ]
+    },
     "verification_scope": {
       "type": "string",
       "enum": ["unit", "integration", "end_to_end"]