kibi-cli 0.12.8 → 0.16.1

package/dist/public/impact/symbol-quality.js

@@ -0,0 +1,159 @@
+import { isAllowedGranularityReason } from "../symbol-granularity.js";
+import { AGGREGATE_KINDS, collectSymbols, isModuleOrConfig, narrowerExtractedSymbols, narrowerManifestSymbols, } from "./symbol-quality-model.js";
+function thresholdFor(symbol) {
+    return AGGREGATE_KINDS.has(symbol.kind) ? 4 : 2;
+}
+function isMultiRequirementCandidate(symbol) {
+    if (isModuleOrConfig(symbol)) {
+        return !isAllowedGranularityReason(symbol.result.entity.granularity_reason);
+    }
+    return symbol.role === "behavioral";
+}
+function createMultiRequirementDiagnostics(symbols) {
+    return symbols.flatMap((symbol) => {
+        if (!isMultiRequirementCandidate(symbol))
+            return [];
+        const threshold = thresholdFor(symbol);
+        if (symbol.requirementTargetIds.length <= threshold)
+            return [];
+        return [
+            {
+                id: "multi_requirement_symbol_review",
+                severity: "review",
+                blocking: false,
+                category: "symbol",
+                entityId: symbol.id,
+                source: symbol.source,
+                files: [symbol.source, symbol.sourceFile],
+                docs: ["docs/symbol-traceability-taxonomy.md"],
+                message: `Symbol ${symbol.id} implements ${symbol.requirementTargetIds.length} requirements, above the ${threshold} target review threshold.`,
+                suggestion: "Review whether this symbol owns multiple unrelated behaviors; move relationships to narrower behavioral symbols or add a valid granularity_reason when broad ownership is intentional.",
+                evidence: {
+                    targetIds: symbol.requirementTargetIds,
+                    targetCount: symbol.requirementTargetIds.length,
+                    threshold,
+                    symbolKind: symbol.kind,
+                    symbolRole: symbol.role,
+                    sourceFile: symbol.sourceFile,
+                },
+            },
+        ];
+    });
+}
+function hasDistinctCoordinates(symbols) {
+    const coordinateKeys = symbols.map((symbol) => symbol.coordinateKey);
+    if (coordinateKeys.some((key) => key === null))
+        return false;
+    return new Set(coordinateKeys).size === coordinateKeys.length;
+}
+function createDuplicateCoordinateDiagnostics(symbols) {
+    const groups = Map.groupBy(symbols, (symbol) => `${symbol.sourceFile}\u0000${symbol.title}`);
+    return [...groups.values()].flatMap((group) => {
+        if (group.length < 2)
+            return [];
+        if (hasDistinctCoordinates(group))
+            return [];
+        const first = group[0];
+        if (first === undefined)
+            return [];
+        const candidateIds = group.map((symbol) => symbol.id).sort();
+        return [
+            {
+                id: "duplicate_symbol_coordinate_review",
+                severity: "review",
+                blocking: false,
+                category: "coordinate",
+                entityId: first.id,
+                source: first.source,
+                files: [first.source, first.sourceFile],
+                docs: ["docs/symbol-traceability-taxonomy.md"],
+                message: `Symbols ${candidateIds.join(", ")} share title ${first.title} and source ${first.sourceFile} without distinct coordinate evidence.`,
+                suggestion: "Refresh symbol coordinates or rename member-level manifest entries so duplicate modeled symbols are distinguishable after parsing.",
+                evidence: {
+                    candidateIds,
+                    title: first.title,
+                    sourceFile: first.sourceFile,
+                },
+            },
+        ];
+    });
+}
+function requirementTagsById(results) {
+    const tagsById = new Map();
+    for (const result of results) {
+        if (result.entity.type !== "req")
+            continue;
+        tagsById.set(result.entity.id, [...(result.entity.tags ?? [])].sort());
+    }
+    return tagsById;
+}
+function tagsForTargets(targetIds, tagsByRequirementId) {
+    return [
+        ...new Set(targetIds.flatMap((targetId) => tagsByRequirementId.get(targetId) ?? [])),
+    ].sort();
+}
+function hasSharedRequirementTag(targetIds, tagsByRequirementId) {
+    const tagSets = targetIds
+        .map((targetId) => new Set(tagsByRequirementId.get(targetId) ?? []))
+        .filter((tagSet) => tagSet.size > 0);
+    const first = tagSets[0];
+    if (first === undefined || tagSets.length !== targetIds.length)
+        return false;
+    return [...first].some((tag) => tagSets.every((tagSet) => tagSet.has(tag)));
+}
+function isMixedPurposeCandidate(symbol) {
+    return AGGREGATE_KINDS.has(symbol.kind) || isModuleOrConfig(symbol);
+}
+function createMixedPurposeDiagnostics(symbols, options) {
+    const tagsByRequirementId = requirementTagsById(options.manifestResults);
+    return symbols.flatMap((symbol) => {
+        if (!isMixedPurposeCandidate(symbol))
+            return [];
+        const manifestChildren = narrowerManifestSymbols(symbol, symbols);
+        const extractedChildren = narrowerExtractedSymbols(symbol, options.symbolsByFile);
+        if (manifestChildren.length === 0 && extractedChildren.length === 0)
+            return [];
+        const requirementTags = tagsForTargets(symbol.requirementTargetIds, tagsByRequirementId);
+        if (requirementTags.length < 3)
+            return [];
+        if (hasSharedRequirementTag(symbol.requirementTargetIds, tagsByRequirementId)) {
+            return [];
+        }
+        const narrowerSymbolIds = [
+            ...new Set([
+                ...manifestChildren.map((child) => child.id),
+                ...extractedChildren.map((child) => child.id),
+            ]),
+        ].sort();
+        return [
+            {
+                id: "component_mixed_purpose_review",
+                severity: "review",
+                blocking: false,
+                category: "mixed-purpose",
+                entityId: symbol.id,
+                source: symbol.source,
+                files: [symbol.source, symbol.sourceFile],
+                docs: ["docs/symbol-traceability-taxonomy.md"],
+                message: `Symbol ${symbol.id} spans unrelated requirement tag clusters while narrower same-file symbols exist.`,
+                suggestion: "Move unrelated requirement ownership to narrower class members/components/services or split the coarse symbol into cohesive behavioral anchors.",
+                evidence: {
+                    targetIds: symbol.requirementTargetIds,
+                    requirementTags,
+                    narrowerSymbolIds,
+                    sourceFile: symbol.sourceFile,
+                    symbolKind: symbol.kind,
+                    symbolRole: symbol.role,
+                },
+            },
+        ];
+    });
+}
+export function createSymbolQualityDiagnostics(options) {
+    const symbols = collectSymbols(options);
+    return [
+        ...createMultiRequirementDiagnostics(symbols),
+        ...createDuplicateCoordinateDiagnostics(symbols),
+        ...createMixedPurposeDiagnostics(symbols, options),
+    ];
+}

package/dist/public/impact/types.d.ts

@@ -0,0 +1,79 @@
+import type { ExtractionResult } from "../../extractors/markdown.js";
+import type { HunkRange, StagedFile } from "../../traceability/git-staged.js";
+import type { KibiImpactDiagnostic } from "../../traceability/staged-diagnostics.js";
+import type { ExtractedSymbol } from "../../traceability/symbol-extract.js";
+export type QualityDiagnosticSeverity = "error" | "warning" | "review" | "info";
+export type QualityDiagnostic = {
+    readonly id: string;
+    readonly severity: QualityDiagnosticSeverity;
+    readonly blocking: boolean;
+    readonly category: "symbol" | "requirement" | "coverage" | "fact" | "status" | "coordinate" | "mixed-purpose" | string;
+    readonly entityId?: string;
+    readonly source?: string;
+    readonly files?: readonly string[];
+    readonly docs?: readonly string[];
+    readonly message: string;
+    readonly suggestion: string;
+    readonly evidence?: Readonly<Record<string, unknown>>;
+};
+export type SymbolsByFile = Map<string, readonly ExtractedSymbol[]>;
+export type TraceabilityRelationship = {
+    readonly type: string;
+    readonly to: string;
+};
+export type SymbolGranularityDiagnosticsOptions = {
+    readonly manifestResults: readonly ExtractionResult[];
+    readonly activeEntityIds?: ReadonlySet<string>;
+    readonly symbolsByFile: SymbolsByFile;
+    readonly sourceContentByFile?: ReadonlyMap<string, string>;
+    readonly workspaceRoot?: string;
+};
+export type SemanticReviewDiagnosticsOptions = {
+    readonly symbolsByFile: SymbolsByFile;
+};
+export type SymbolQualityDiagnosticsOptions = {
+    readonly manifestResults: readonly ExtractionResult[];
+    readonly activeEntityIds?: ReadonlySet<string>;
+    readonly symbolsByFile: SymbolsByFile;
+};
+export type RequirementQualityDiagnosticsOptions = {
+    readonly manifestResults: readonly ExtractionResult[];
+    readonly hardViolationEntityIds?: ReadonlySet<string>;
+};
+export type ChangedFileImpactOptions = {
+    readonly workspaceRoot: string;
+    readonly sourceFiles?: readonly string[];
+    readonly staged?: boolean;
+    readonly includeWorkingTreeDiff?: boolean;
+    readonly includeImpactDiagnostics?: boolean;
+    readonly maxDiagnostics?: number;
+};
+export type ImpactExtractedSymbol = {
+    readonly id: string;
+    readonly name: string;
+    readonly kind: string;
+    readonly role: string;
+    readonly location: ExtractedSymbol["location"];
+    readonly hunkRanges: readonly HunkRange[];
+    readonly linkedEntityIds: readonly string[];
+};
+export type ImpactLinkedEntity = {
+    readonly id: string;
+    readonly relationshipType: string;
+    readonly sourceSymbolId: string;
+    readonly sourceSymbolName: string;
+};
+export type ChangedFileImpactResult = {
+    readonly impactDiagnostics: readonly KibiImpactDiagnostic[];
+    readonly sourceFiles: readonly string[];
+    readonly extractedSymbols: readonly ImpactExtractedSymbol[];
+    readonly linkedEntities: readonly ImpactLinkedEntity[];
+    readonly nextActions: readonly string[];
+};
+export type SourceChange = {
+    readonly file: string;
+    readonly status: StagedFile["status"];
+    readonly hunkRanges: readonly HunkRange[];
+    readonly content: string;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/public/impact/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/public/impact/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAE5E,MAAM,MAAM,yBAAyB,GAAG,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAC;AAEhF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EACb,QAAQ,GACR,aAAa,GACb,UAAU,GACV,MAAM,GACN,QAAQ,GACR,YAAY,GACZ,eAAe,GACf,MAAM,CAAC;IACX,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;AAEpE,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,mCAAmC,GAAG;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtD,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3D,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gCAAgC,GAAG;IAC7C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,QAAQ,CAAC,eAAe,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtD,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,QAAQ,CAAC,eAAe,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACtD,QAAQ,CAAC,sBAAsB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAC5C,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7C,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5D,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAC5D,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC"}

package/dist/public/impact/types.js

@@ -0,0 +1 @@
+export {};

package/dist/public/impact-diagnostics.d.ts

@@ -0,0 +1,7 @@
+export { analyzeChangedFileImpact } from "./impact/analyzer.js";
+export { collectFullKbQualityDiagnostics } from "./impact/full-kb-quality.js";
+export { createSemanticReviewDiagnostics, createSymbolGranularityDiagnostics, hasBlockingImpactDiagnostics, hasBlockingQualityDiagnostics, } from "./impact/diagnostics.js";
+export { createRequirementQualityDiagnostics } from "./impact/requirement-quality.js";
+export { createSymbolQualityDiagnostics } from "./impact/symbol-quality.js";
+export type { ChangedFileImpactOptions, ChangedFileImpactResult, ImpactExtractedSymbol, ImpactLinkedEntity, QualityDiagnostic, QualityDiagnosticSeverity, RequirementQualityDiagnosticsOptions, SemanticReviewDiagnosticsOptions, SymbolGranularityDiagnosticsOptions, SymbolQualityDiagnosticsOptions, } from "./impact/types.js";
+//# sourceMappingURL=impact-diagnostics.d.ts.map

package/dist/public/impact-diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact-diagnostics.d.ts","sourceRoot":"","sources":["../../src/public/impact-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,+BAA+B,EAAE,MAAM,6BAA6B,CAAC;AAC9E,OAAO,EACL,+BAA+B,EAC/B,kCAAkC,EAClC,4BAA4B,EAC5B,6BAA6B,GAC9B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mCAAmC,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,YAAY,EACV,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,kBAAkB,EAClB,iBAAiB,EACjB,yBAAyB,EACzB,oCAAoC,EACpC,gCAAgC,EAChC,mCAAmC,EACnC,+BAA+B,GAChC,MAAM,mBAAmB,CAAC"}

package/dist/public/impact-diagnostics.js

@@ -0,0 +1,5 @@
+export { analyzeChangedFileImpact } from "./impact/analyzer.js";
+export { collectFullKbQualityDiagnostics } from "./impact/full-kb-quality.js";
+export { createSemanticReviewDiagnostics, createSymbolGranularityDiagnostics, hasBlockingImpactDiagnostics, hasBlockingQualityDiagnostics, } from "./impact/diagnostics.js";
+export { createRequirementQualityDiagnostics } from "./impact/requirement-quality.js";
+export { createSymbolQualityDiagnostics } from "./impact/symbol-quality.js";