kibi-cli 0.14.0 → 0.16.1

package/dist/public/skills.js

@@ -1,270 +1,3 @@
-import { existsSync, readFileSync, readdirSync, realpathSync, statSync, } from "node:fs";
-import { dirname, isAbsolute, join, normalize, relative, resolve, } from "node:path";
-import { fileURLToPath } from "node:url";
-import matter from "gray-matter";
-const SKILL_MARKDOWN_MAX_BYTES = 256 * 1024;
-const RESOURCE_MAX_BYTES = 128 * 1024;
-const SKILL_FILE_NAME = "SKILL.md";
-const moduleDir = dirname(fileURLToPath(import.meta.url));
-let bundledSkillsDir = resolve(moduleDir, "skills");
-const defaultBundledSkillsDir = bundledSkillsDir;
-export function setBundledSkillsDir(dir) {
-    bundledSkillsDir = dir;
-}
-export function resetBundledSkillsDir() {
-    bundledSkillsDir = defaultBundledSkillsDir;
-}
-export class SkillNotFoundError extends Error {
-    constructor(id) {
-        super(`Skill not found: ${id}`);
-        this.name = "SkillNotFoundError";
-    }
-}
-export class SkillResourceNotFoundError extends Error {
-    constructor(id, resourcePath) {
-        super(`Skill resource not found: ${id}/${resourcePath}`);
-        this.name = "SkillResourceNotFoundError";
-    }
-}
-export class SkillResourceOutOfBoundsError extends Error {
-    constructor(id, resourcePath) {
-        super(`Skill resource escapes bundle root: ${id}/${resourcePath}`);
-        this.name = "SkillResourceOutOfBoundsError";
-    }
-}
-export class SkillValidationError extends Error {
-    field;
-    constructor(field, message) {
-        super(message);
-        this.name = "SkillValidationError";
-        this.field = field;
-    }
-}
-export class SkillOversizeError extends Error {
-    maxBytes;
-    actualBytes;
-    constructor(pathLike, maxBytes, actualBytes) {
-        super(`Skill file exceeds ${maxBytes} bytes: ${pathLike} (${actualBytes} bytes)`);
-        this.name = "SkillOversizeError";
-        this.maxBytes = maxBytes;
-        this.actualBytes = actualBytes;
-    }
-}
-export function listBundledSkills() {
-    // implements REQ-001
-    if (!existsSync(bundledSkillsDir)) {
-        return [];
-    }
-    return readdirSync(bundledSkillsDir, { withFileTypes: true })
-        .filter((entry) => entry.isDirectory())
-        .map((entry) => join(bundledSkillsDir, entry.name))
-        .filter((rootDir) => existsSync(join(rootDir, SKILL_FILE_NAME)))
-        .map((rootDir) => parseSkillBundle(rootDir).manifest)
-        .sort((left, right) => left.id.localeCompare(right.id));
-}
-export function loadBundledSkill(id) {
-    // implements REQ-001
-    const rootDir = findBundledSkillRoot(id);
-    if (!rootDir) {
-        throw new SkillNotFoundError(id);
-    }
-    return parseSkillBundle(rootDir);
-}
-export function readBundledSkillResource(id, resourcePath) {
-    // implements REQ-001
-    const bundle = loadBundledSkill(id);
-    const declaredResource = normalizeResourcePath(resourcePath);
-    if (!declaredResource || isPathOutOfBounds(resourcePath)) {
-        throw new SkillResourceOutOfBoundsError(id, resourcePath);
-    }
-    if (!isDeclaredResource(bundle.manifest, declaredResource)) {
-        throw new SkillResourceNotFoundError(id, resourcePath);
-    }
-    const candidatePath = resolve(bundle.rootDir, declaredResource);
-    let realResourcePath;
-    let realRootDir;
-    try {
-        realResourcePath = realpathSync(candidatePath);
-        realRootDir = realpathSync(bundle.rootDir);
-    }
-    catch {
-        throw new SkillResourceNotFoundError(id, resourcePath);
-    }
-    if (!isWithinRoot(realRootDir, realResourcePath)) {
-        throw new SkillResourceOutOfBoundsError(id, resourcePath);
-    }
-    assertMaxBytes(candidatePath, RESOURCE_MAX_BYTES);
-    return readFileSync(candidatePath, "utf8");
-}
-export function validateSkillBundle(pathLike) {
-    // implements REQ-001
-    const skillFilePath = resolveSkillFilePath(pathLike);
-    const errors = [];
-    if (!existsSync(skillFilePath)) {
-        errors.push(new SkillValidationError("SKILL.md", `Missing ${SKILL_FILE_NAME}`));
-        return { valid: false, errors };
-    }
-    const parsed = matter(readFileSync(skillFilePath, "utf8"));
-    errors.push(...validateManifestData(parsed.data));
-    if (errors.length === 0) {
-        validateBundleContents(skillFilePath, coerceManifest(parsed.data), errors);
-    }
-    return { valid: errors.length === 0, errors };
-}
-function validateBundleContents(skillFilePath, manifest, errors) {
-    try {
-        assertMaxBytes(skillFilePath, SKILL_MARKDOWN_MAX_BYTES);
-    }
-    catch (error) {
-        errors.push(new SkillValidationError("SKILL.md", error instanceof Error ? error.message : String(error)));
-    }
-    const rootDir = dirname(skillFilePath);
-    let realRootDir;
-    try {
-        realRootDir = realpathSync(rootDir);
-    }
-    catch (error) {
-        errors.push(new SkillValidationError("SKILL.md", error instanceof Error ? error.message : String(error)));
-        return;
-    }
-    for (const resource of manifest.resources ?? []) {
-        const resourcePath = resolve(rootDir, resource);
-        try {
-            if (!existsSync(resourcePath)) {
-                errors.push(new SkillValidationError("resources", `Missing skill resource: ${resource}`));
-                continue;
-            }
-            const realResourcePath = realpathSync(resourcePath);
-            if (!isWithinRoot(realRootDir, realResourcePath)) {
-                errors.push(new SkillValidationError("resources", `Skill resource escapes bundle root: ${resource}`));
-                continue;
-            }
-            assertMaxBytes(resourcePath, RESOURCE_MAX_BYTES);
-        }
-        catch (error) {
-            errors.push(new SkillValidationError("resources", error instanceof Error ? error.message : String(error)));
-        }
-    }
-}
-function findBundledSkillRoot(id) {
-    if (!existsSync(bundledSkillsDir)) {
-        return undefined;
-    }
-    for (const entry of readdirSync(bundledSkillsDir, { withFileTypes: true })) {
-        if (!entry.isDirectory()) {
-            continue;
-        }
-        const rootDir = join(bundledSkillsDir, entry.name);
-        const skillFilePath = join(rootDir, SKILL_FILE_NAME);
-        if (!existsSync(skillFilePath)) {
-            continue;
-        }
-        const manifest = parseSkillBundle(rootDir).manifest;
-        if (manifest.id === id) {
-            return rootDir;
-        }
-    }
-    return undefined;
-}
-function parseSkillBundle(rootDir) {
-    const skillFilePath = join(rootDir, SKILL_FILE_NAME);
-    assertMaxBytes(skillFilePath, SKILL_MARKDOWN_MAX_BYTES);
-    const parsed = matter(readFileSync(skillFilePath, "utf8"));
-    const errors = validateManifestData(parsed.data);
-    if (errors.length > 0) {
-        throw errors[0];
-    }
-    return {
-        manifest: coerceManifest(parsed.data),
-        body: parsed.content,
-        rootDir: resolve(rootDir),
-    };
-}
-function validateManifestData(data) {
-    const errors = [];
-    const requiredFields = [
-        "id",
-        "name",
-        "description",
-        "version",
-        "kibiCompatibility",
-    ];
-    for (const field of requiredFields) {
-        if (typeof data[field] !== "string" || data[field].trim() === "") {
-            errors.push(new SkillValidationError(field, `Missing required skill field: ${field}`));
-        }
-    }
-    if (typeof data.version === "string" &&
-        !/^\d+\.\d+\.\d+(?:[-+][0-9A-Za-z.-]+)?$/.test(data.version)) {
-        errors.push(new SkillValidationError("version", `Invalid skill version: ${data.version}`));
-    }
-    if (data.tags !== undefined && !isStringArray(data.tags)) {
-        errors.push(new SkillValidationError("tags", "Skill tags must be strings"));
-    }
-    if (data.resources !== undefined) {
-        if (!isStringArray(data.resources)) {
-            errors.push(new SkillValidationError("resources", "Skill resources must be strings"));
-        }
-        else {
-            for (const resource of data.resources) {
-                const normalized = normalizeResourcePath(resource);
-                if (!normalized || isPathOutOfBounds(resource)) {
-                    errors.push(new SkillValidationError("resources", `Invalid skill resource: ${resource}`));
-                }
-            }
-        }
-    }
-    return errors;
-}
-function coerceManifest(data) {
-    const manifest = {
-        id: String(data.id),
-        name: String(data.name),
-        description: String(data.description),
-        version: String(data.version),
-        kibiCompatibility: String(data.kibiCompatibility),
-    };
-    if (isStringArray(data.tags)) {
-        manifest.tags = data.tags;
-    }
-    if (isStringArray(data.resources)) {
-        manifest.resources = data.resources.map((resource) => normalizeResourcePath(resource));
-    }
-    return manifest;
-}
-function isStringArray(value) {
-    return (Array.isArray(value) && value.every((item) => typeof item === "string"));
-}
-function normalizeResourcePath(pathLike) {
-    return normalize(pathLike).replaceAll("\\", "/");
-}
-function isPathOutOfBounds(pathLike) {
-    const normalized = normalizeResourcePath(pathLike);
-    return (isAbsolute(pathLike) ||
-        normalized === ".." ||
-        normalized.startsWith("../") ||
-        normalized.includes("/../"));
-}
-function isDeclaredResource(manifest, resourcePath) {
-    return (manifest.resources ?? []).some((declared) => normalizeResourcePath(declared) === resourcePath);
-}
-function isWithinRoot(rootDir, candidatePath) {
-    const relativePath = relative(rootDir, candidatePath);
-    return (relativePath === "" ||
-        (!relativePath.startsWith("..") && !isAbsolute(relativePath)));
-}
-function assertMaxBytes(pathLike, maxBytes) {
-    const size = statSync(pathLike).size;
-    if (size > maxBytes) {
-        throw new SkillOversizeError(pathLike, maxBytes, size);
-    }
-}
-function resolveSkillFilePath(pathLike) {
-    const resolved = resolve(pathLike);
-    if (existsSync(resolved) && statSync(resolved).isDirectory()) {
-        return join(resolved, SKILL_FILE_NAME);
-    }
-    return resolved.endsWith(SKILL_FILE_NAME)
-        ? resolved
-        : join(resolved, SKILL_FILE_NAME);
-}
+export { SkillNotFoundError, SkillOversizeError, SkillResourceNotFoundError, SkillResourceOutOfBoundsError, SkillValidationError, } from "./skill-system/errors.js";
+export { listBundledSkills, loadBundledSkill, loadBundledSkillFrom, readBundledSkillResource, readBundledSkillResourceFrom, resetBundledSkillsDir, setBundledSkillsDir, } from "./skill-system/loader.js";
+export { validateSkillBundle } from "./skill-system/validation.js";

package/dist/runtime/cli-runtime.d.ts

@@ -0,0 +1,3 @@
+import type { OperationRuntime, RuntimeOptions } from "../public/operations/runtime-types.js";
+export declare function createCliRuntime(options?: RuntimeOptions): OperationRuntime;
+//# sourceMappingURL=cli-runtime.d.ts.map

package/dist/runtime/cli-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli-runtime.d.ts","sourceRoot":"","sources":["../../src/runtime/cli-runtime.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAEV,gBAAgB,EAGhB,cAAc,EACf,MAAM,uCAAuC,CAAC;AAwC/C,wBAAgB,gBAAgB,CAC9B,OAAO,GAAE,cAAmB,GAC3B,gBAAgB,CAoElB"}

package/dist/runtime/cli-runtime.js

@@ -0,0 +1,96 @@
+import path from "node:path";
+import { PrologProcess } from "../prolog.js";
+import { nodeFilesystem, nodeGit, nodeNetwork, } from "../public/operations/node-ports.js";
+import { resolveActiveBranch } from "../utils/branch-resolver.js";
+function createDefaultProlog() {
+    const process = new PrologProcess({ timeout: 120_000 });
+    let lastResult = null;
+    return {
+        start: () => process.start(),
+        query: async (goal) => {
+            lastResult = await process.query(goal);
+            return lastResult;
+        },
+        nextSolution: async () => {
+            const result = lastResult;
+            lastResult = null;
+            return result;
+        },
+        save: () => process.query("kb_save"),
+        terminate: () => process.terminate(),
+    };
+}
+function workspaceRoot(options) {
+    const envRoot = process.env.KIBI_WORKSPACE ??
+        process.env.KIBI_PROJECT_ROOT ??
+        process.env.KIBI_ROOT;
+    return path.resolve(options.workspaceRoot ?? envRoot ?? process.cwd());
+}
+function quoteProlog(value) {
+    return value.replaceAll("'", "''");
+}
+// implements REQ-kibi-operation-interface-parity
+export function createCliRuntime(options = {}) {
+    const ownedPrologs = new WeakMap();
+    return {
+        open: async (spec, invocationOptions = {}) => {
+            const merged = {
+                ...options,
+                ...invocationOptions,
+            };
+            const root = workspaceRoot(merged);
+            const signal = merged.signal ?? new AbortController().signal;
+            const clock = merged.clock ?? (() => new Date());
+            const git = merged.git ?? nodeGit;
+            const contextBase = {
+                workspaceRoot: root,
+                signal,
+                clock,
+                fs: merged.fs ?? nodeFilesystem,
+                git,
+                net: merged.net ?? nodeNetwork,
+            };
+            if (!spec.requiresProlog) {
+                return contextBase;
+            }
+            const prolog = merged.prolog ?? createDefaultProlog();
+            try {
+                await prolog.start?.();
+                let branch = process.env.KIBI_BRANCH?.trim();
+                if (!branch) {
+                    const resolved = resolveActiveBranch(root);
+                    if ("error" in resolved) {
+                        const isNonGitContext = resolved.code === "NOT_A_GIT_REPO" ||
+                            resolved.code === "GIT_NOT_AVAILABLE";
+                        if (isNonGitContext) {
+                            branch = "main";
+                        }
+                        else {
+                            throw new Error(`Failed to resolve active branch: ${resolved.error}`);
+                        }
+                    }
+                    else {
+                        branch = resolved.branch;
+                    }
+                }
+                const kbPath = path.join(root, ".kb", "branches", branch);
+                const attached = await prolog.query(`kb_attach('${quoteProlog(kbPath)}')`);
+                if (!attached.success) {
+                    throw new Error(attached.error ?? "Failed to attach branch KB");
+                }
+                const context = { ...contextBase, prolog };
+                ownedPrologs.set(context, prolog);
+                return context;
+            }
+            catch (error) {
+                await prolog.terminate?.();
+                throw error;
+            }
+        },
+        afterSuccess: async () => undefined,
+        close: async (context) => {
+            await ownedPrologs.get(context)?.terminate?.();
+            ownedPrologs.delete(context);
+        },
+    };
+}

package/dist/schemas/entity.schema.json

@@ -38,6 +38,12 @@
         "severity": { "type": "string" },
         "links": { "type": "array", "items": { "type": "string" } },
         "text_ref": { "type": "string" },
+        "logic_claims": {
+            "type": "array",
+            "minItems": 1,
+            "uniqueItems": true,
+            "items": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" }
+        },
         "sourceFile": { "type": "string" },
         "granularity_reason": {
             "type": "string",
@@ -115,6 +121,8 @@
         "valid_from": { "type": "string" },
         "valid_to": { "type": "string" },
         "canonical_key": { "type": "string" },
+        "claim_key": { "type": "string", "pattern": "^CLAIM-[A-F0-9]{16}$" },
+        "claim_text": { "type": "string" },
         "predicate_name": { "type": "string" },
         "predicate_namespace": { "type": "string" },
         "predicate_arity": { "type": "integer", "minimum": 1 },
@@ -138,6 +146,19 @@
         "type"
     ],
     "allOf": [
+        {
+            "if": {
+                "properties": { "type": { "const": "req" } }
+            },
+            "then": {},
+            "else": { "not": { "required": ["logic_claims"] } }
+        },
+        {
+            "if": {
+                "anyOf": [{ "required": ["claim_key"] }, { "required": ["claim_text"] }]
+            },
+            "then": { "required": ["claim_key", "claim_text"] }
+        },
         {
             "if": {
                 "properties": { "type": { "const": "test" } }
@@ -176,6 +197,8 @@
                         { "required": ["valid_from"] },
                         { "required": ["valid_to"] },
                         { "required": ["canonical_key"] },
+                        { "required": ["claim_key"] },
+                        { "required": ["claim_text"] },
                         { "required": ["predicate_name"] },
                         { "required": ["predicate_namespace"] },
                         { "required": ["predicate_arity"] },

package/dist/traceability/staged-diagnostics.d.ts

@@ -1,6 +1,6 @@
 import type { QualityDiagnostic } from "../public/impact/types.js";
 import { type KibiImpactEvidence } from "./evidence-model.js";
-export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "symbol_semantic_review_needed" | "multi_requirement_symbol_review" | "duplicate_symbol_coordinate_review" | "component_mixed_purpose_review" | "broad_requirement_review" | "requirement_status_review" | "strict_fact_modeling_review" | "kibi_impact_override_missing_rationale";
+export type KibiImpactDiagnosticId = "kibi_impact_evidence_missing" | "symbols_manifest_stale" | "symbol_granularity_violation" | "symbol_semantic_review_needed" | "multi_requirement_symbol_review" | "duplicate_symbol_coordinate_review" | "component_mixed_purpose_review" | "broad_requirement_review" | "requirement_status_review" | "strict_fact_modeling_review" | "logical_coverage_review" | "kibi_impact_override_missing_rationale";
 export interface KibiImpactDiagnostic extends QualityDiagnostic {
     /** Stable staged-enforcement diagnostic identifier. */
     id: KibiImpactDiagnosticId;

package/dist/traceability/staged-diagnostics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAIL,KAAK,kBAAkB,EAIxB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,+BAA+B,GAC/B,iCAAiC,GACjC,oCAAoC,GACpC,gCAAgC,GAChC,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,wCAAwC,CAAC;AAE7C,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxC,iEAAiE;IACjE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gDAAgD;IAChD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AA4DD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,EAAE,CAoCxB"}
+{"version":3,"file":"staged-diagnostics.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAIL,KAAK,kBAAkB,EAIxB,MAAM,qBAAqB,CAAC;AAE7B,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,wBAAwB,GACxB,8BAA8B,GAC9B,+BAA+B,GAC/B,iCAAiC,GACjC,oCAAoC,GACpC,gCAAgC,GAChC,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,wCAAwC,CAAC;AAE7C,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,uDAAuD;IACvD,EAAE,EAAE,sBAAsB,CAAC;IAC3B,QAAQ,EAAE,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxC,iEAAiE;IACjE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,gDAAgD;IAChD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,0CAA0C;IAC1C,UAAU,EAAE,MAAM,CAAC;CACpB;AA4DD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,kBAAkB,GAC3B,oBAAoB,EAAE,CAoCxB"}

package/dist/traceability/staged-symbols-manifest.d.ts

@@ -10,6 +10,7 @@ export interface StagedAuthoredSymbolsManifestEvidence {
         sourcePath: string;
         entityIds: string[];
     }>;
+    changedEntityIds: string[];
 }
 export declare function assessStagedSymbolsManifest(options: {
     symbolsManifestPath: string;

package/dist/traceability/staged-symbols-manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA+BlD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,cAAc,CAAC;IACtD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CAC7D;AA+SD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,+BAA+B,CA8ElC;AAoBD,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,qCAAqC,CAgDxC"}
+{"version":3,"file":"staged-symbols-manifest.d.ts","sourceRoot":"","sources":["../../src/traceability/staged-symbols-manifest.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AA+BlD,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,GAAG,cAAc,CAAC;IACtD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,qCAAqC;IACpD,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,KAAK,CAAC;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC5D,gBAAgB,EAAE,MAAM,EAAE,CAAC;CAC5B;AA2TD,wBAAgB,2BAA2B,CAAC,OAAO,EAAE;IACnD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,+BAA+B,CAmFlC;AAED,wBAAgB,4CAA4C,CAAC,OAAO,EAAE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B,GAAG,qCAAqC,CAmExC"}

package/dist/traceability/staged-symbols-manifest.js

@@ -97,9 +97,17 @@ function normalizeRelationships(relationships) {
     })
         .sort((left, right) => JSON.stringify(left).localeCompare(JSON.stringify(right)));
 }
-function normalizeManifestSymbolsForSourceFile(records, sourceFile) {
+function normalizeManifestSymbolsForSourceFile(records, sourceFile, expectedTitles) {
     return records
         .filter((record) => {
+        const title = typeof record.title === "string" ? record.title : null;
+        const isDocumentedModuleSymbol = typeof record.granularity_reason === "string" &&
+            record.granularity_reason.length > 0;
+        if (title !== null &&
+            isDocumentedModuleSymbol &&
+            !expectedTitles.has(title)) {
+            return false;
+        }
         const recordSource = typeof record.sourceFile === "string"
             ? record.sourceFile
             : typeof record.source === "string"
@@ -227,7 +235,8 @@ export function assessStagedSymbolsManifest(options) {
     const freshPaths = new Set();
     for (const sourceFile of sourceFiles) {
         const expectedSymbols = normalizeExpectedSymbolsForStagedFile(sourceFile);
-        const baselineSymbols = normalizeManifestSymbolsForSourceFile(baselineMergedRecords, sourceFile.path);
+        const expectedTitles = new Set(expectedSymbols.map((symbol) => symbol.title));
+        const baselineSymbols = normalizeManifestSymbolsForSourceFile(baselineMergedRecords, sourceFile.path, expectedTitles);
         if (signaturesEqual(expectedSymbols, baselineSymbols)) {
             continue;
         }
@@ -235,7 +244,7 @@ export function assessStagedSymbolsManifest(options) {
         if (!stagedCoordinatesFile || stagedCoordinateArtifact === null) {
             continue;
         }
-        const stagedSymbols = normalizeManifestSymbolsForSourceFile(stagedMergedRecords, sourceFile.path);
+        const stagedSymbols = normalizeManifestSymbolsForSourceFile(stagedMergedRecords, sourceFile.path, expectedTitles);
         if (signaturesEqual(expectedSymbols, stagedSymbols)) {
             freshPaths.add(sourceFile.path);
         }
@@ -256,42 +265,44 @@ export function assessStagedSymbolsManifest(options) {
     }
     return { state: "stale", sourcePaths, path: paths.coordinatesPath };
 }
-function getEntityIdsForSourceFile(records, sourceFile) {
-    return records
-        .filter((record) => {
-        const recordSource = typeof record.sourceFile === "string"
-            ? record.sourceFile
-            : typeof record.source === "string"
-                ? record.source
-                : null;
-        return recordSource === sourceFile && typeof record.id === "string";
-    })
-        .map((record) => record.id)
-        .sort();
-}
 export function collectStagedAuthoredSymbolsManifestEvidence(options) {
     const { sourceFiles, stagedFiles } = options;
     const paths = resolveRelativeManifestPaths();
     const stagedManifestFile = stagedFiles.find((file) => file.path === paths.symbolsPath);
     if (!stagedManifestFile) {
-        return { path: paths.symbolsPath, entries: [] };
+        return { path: paths.symbolsPath, entries: [], changedEntityIds: [] };
     }
     const headManifestRecords = parseManifestRecords(readHeadFileContent(paths.symbolsPath), paths.symbolsPath) ?? [];
     const stagedManifestRecords = parseManifestRecords(stagedManifestFile.content, paths.symbolsPath);
     if (stagedManifestRecords === null) {
-        return { path: paths.symbolsPath, entries: [] };
+        return { path: paths.symbolsPath, entries: [], changedEntityIds: [] };
     }
+    const sourcePaths = uniqueSorted([...headManifestRecords, ...stagedManifestRecords].flatMap((record) => {
+        const sourceFile = typeof record.sourceFile === "string"
+            ? record.sourceFile
+            : typeof record.source === "string"
+                ? record.source
+                : null;
+        return sourceFile === null ? [] : [sourceFile];
+    }));
+    const changedEntityIdsBySourcePath = new Map(sourcePaths.map((sourcePath) => {
+        const headSymbols = normalizeAuthoredManifestSymbolsForSourceFile(headManifestRecords, sourcePath);
+        const stagedSymbols = normalizeAuthoredManifestSymbolsForSourceFile(stagedManifestRecords, sourcePath);
+        return [
+            sourcePath,
+            getChangedAuthoredEntityIds(headSymbols, stagedSymbols),
+        ];
+    }));
     const entries = [];
     for (const sourceFile of sourceFiles) {
-        const headSymbols = normalizeAuthoredManifestSymbolsForSourceFile(headManifestRecords, sourceFile.path);
-        const stagedSymbols = normalizeAuthoredManifestSymbolsForSourceFile(stagedManifestRecords, sourceFile.path);
-        if (signaturesEqual(headSymbols, stagedSymbols)) {
+        const entityIds = changedEntityIdsBySourcePath.get(sourceFile.path) ?? [];
+        if (entityIds.length === 0)
             continue;
-        }
-        entries.push({
-            sourcePath: sourceFile.path,
-            entityIds: getChangedAuthoredEntityIds(headSymbols, stagedSymbols),
-        });
+        entries.push({ sourcePath: sourceFile.path, entityIds });
     }
-    return { path: paths.symbolsPath, entries };
+    return {
+        path: paths.symbolsPath,
+        entries,
+        changedEntityIds: uniqueSorted(Array.from(changedEntityIdsBySourcePath.values()).flat()),
+    };
 }

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

package/dist/traceability/symbol-extract.js

@@ -1,5 +1,5 @@
 import { createHash } from "node:crypto";
-import { Project, ScriptKind } from "ts-morph";
+import { Project, Scope, ScriptKind } from "ts-morph";
 import { readManifestWithCoordinateOverlay } from "../extractors/manifest.js";
 import { inferSymbolRole, } from "../public/symbol-granularity.js";
 const TRACEABILITY_RELATIONSHIP_TYPES = new Set([
@@ -241,6 +241,8 @@ stagedFile, manifestLookup) {
             ? cls.getMethods()
             : []) {
             try {
+                if (isPrivateClassMember(method))
+                    continue;
                 const name = formatMethodSymbolName(cls.getName(), method.getName());
                 const start = method.getNameNode()?.getStart() ?? method.getStart();
                 const end = method.getEnd();
@@ -259,6 +261,8 @@ stagedFile, manifestLookup) {
             ? cls.getProperties()
             : []) {
             try {
+                if (isPrivateClassMember(property))
+                    continue;
                 const name = formatMethodSymbolName(cls.getName(), property.getName());
                 const start = property.getNameNode()?.getStart() ?? property.getStart();
                 const end = property.getEnd();
@@ -282,6 +286,8 @@ stagedFile, manifestLookup) {
                 : []),
         ]) {
             try {
+                if (isPrivateClassMember(accessor))
+                    continue;
                 const name = formatMethodSymbolName(cls.getName(), accessor.getName());
                 const start = accessor.getNameNode()?.getStart() ?? accessor.getStart();
                 const end = accessor.getEnd();
@@ -373,6 +379,16 @@ stagedFile, manifestLookup) {
     }
     return results;
 }
+function isPrivateClassMember(member) {
+    const name = typeof member.getName === "function" ? member.getName() : "";
+    if (name.startsWith("#")) {
+        return true;
+    }
+    if (typeof member.getScope === "function") {
+        return member.getScope() === Scope.Private;
+    }
+    return false;
+}
 function formatMethodSymbolName(className, methodName) {
     return className ? `${className}.${methodName}` : methodName;
 }

package/dist/traceability/temp-kb.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAK,aAAa,GACpD,IAAI,CAEN;AA4ID,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}
+{"version":3,"file":"temp-kb.d.ts","sourceRoot":"","sources":["../../src/traceability/temp-kb.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,aAAa,CAAC;CACvB;AAMD;;;GAGG;AACH,wBAAgB,gBAAgB,IAAI,IAAI,CASvC;AAOD;;;GAGG;AACH,wBAAgB,iBAAiB,CAE/B,OAAO,EAAE,CAAC,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,KAAK,aAAa,GACpD,IAAI,CAEN;AAuLD,iBAAe,cAAc,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAgB/D;AAED,OAAO,EAAE,cAAc,EAAE,CAAC;AAG1B,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,gBAAgB,EAAE,GAC1B,OAAO,CAAC,IAAI,CAAC,CA2Bf;AAED,wBAAsB,YAAY,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,CA6C7E;AAGD,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,eAAe,EAAE,GAAG,MAAM,CAkBrE;AAED,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BlE"}