kibi-cli 0.12.7 → 0.14.0

package/dist/commands/discovery-table.js

@@ -0,0 +1,204 @@
+import Table from "cli-table3";
+const EMPTY_FIELDS = Object.freeze({});
+export function renderDiscoveryTable(structured) {
+    if (!isFields(structured)) {
+        return null;
+    }
+    const payload = structured;
+    if (Array.isArray(payload.results)) {
+        return renderSearchTable(payload);
+    }
+    if (typeof payload.branch === "string" &&
+        typeof payload.syncState === "string") {
+        return renderStatusTable(payload);
+    }
+    if (Array.isArray(payload.nodes) && Array.isArray(payload.edges)) {
+        return renderGraphTable(payload);
+    }
+    if (Array.isArray(payload.rows) &&
+        payload.summary &&
+        typeof payload.summary === "object") {
+        return renderCoverageTable(payload);
+    }
+    if (Array.isArray(payload.rows)) {
+        return renderGapsTable(payload);
+    }
+    return null;
+}
+function renderSearchTable(payload) {
+    const rows = Array.isArray(payload.results) ? payload.results : [];
+    const table = new Table({
+        head: ["ID", "Type", "Title", "Score", "Reasons", "Snippet"],
+        wordWrap: true,
+        colWidths: [20, 10, 32, 8, 28, 44],
+    });
+    for (const row of rows) {
+        const match = fieldsFrom(row);
+        const entity = fieldsFrom(match.entity);
+        const reasons = Array.isArray(match.reasons)
+            ? match.reasons.join(", ")
+            : "";
+        table.push([
+            stringifyCell(entity.id),
+            stringifyCell(entity.type),
+            stringifyCell(entity.title),
+            stringifyCell(match.score),
+            reasons,
+            stringifyCell(match.snippet),
+        ]);
+    }
+    return [
+        `Search results: ${stringifyCell(payload.count)} total`,
+        table.toString(),
+    ].join("\n");
+}
+function renderStatusTable(payload) {
+    const table = new Table({
+        head: ["Field", "Value"],
+        colWidths: [18, 72],
+        wordWrap: true,
+    });
+    table.push(["Branch", stringifyCell(payload.branch)], ["Sync State", stringifyCell(payload.syncState)], ["Dirty", stringifyCell(payload.dirty)], ["Snapshot", stringifyCell(payload.snapshotId)], ["Synced At", stringifyCell(payload.syncedAt)], ["KB Path", stringifyCell(payload.kbPath)]);
+    return table.toString();
+}
+function renderGapsTable(payload) {
+    const rows = Array.isArray(payload.rows) ? payload.rows : [];
+    const table = new Table({
+        head: ["ID", "Type", "Status", "Missing", "Present", "Source"],
+        colWidths: [20, 10, 12, 24, 24, 40],
+        wordWrap: true,
+    });
+    for (const row of rows) {
+        const item = fieldsFrom(row);
+        table.push([
+            stringifyCell(item.id),
+            stringifyCell(item.type),
+            stringifyCell(item.status),
+            joinCells(item.missingRelationships),
+            joinCells(item.presentRelationships),
+            stringifyCell(item.source),
+        ]);
+    }
+    return [`Gap rows: ${stringifyCell(payload.count)}`, table.toString()].join("\n");
+}
+export function renderCoverageTable(payload) {
+    const summary = fieldsFrom(payload.summary);
+    const rows = Array.isArray(payload.rows) ? payload.rows : [];
+    const summaryTable = new Table({
+        head: ["Metric", "Value"],
+        colWidths: [24, 16],
+    });
+    for (const [key, value] of Object.entries(summary)) {
+        summaryTable.push([key, stringifyCell(value)]);
+    }
+    const firstRow = firstFields(rows);
+    const isRequirementCoverage = firstRow !== undefined && Object.hasOwn(firstRow, "scenarioCount");
+    const table = isRequirementCoverage
+        ? new Table({
+            head: [
+                "ID",
+                "Status",
+                "Priority",
+                "Coverage",
+                "Depth",
+                "Scen",
+                "Tests",
+                "Symbols",
+                "Gaps",
+            ],
+            colWidths: [20, 12, 12, 18, 32, 8, 8, 10, 28],
+            wordWrap: true,
+        })
+        : new Table({
+            head: ["ID", "Type", "Coverage", "Details", "Gaps"],
+            colWidths: [20, 10, 18, 28, 28],
+            wordWrap: true,
+        });
+    for (const row of rows) {
+        const item = fieldsFrom(row);
+        if (isRequirementCoverage) {
+            table.push([
+                stringifyCell(item.id),
+                stringifyCell(item.status),
+                stringifyCell(item.priority),
+                stringifyCell(item.coverageStatus),
+                stringifyCell(item.coverageDepth),
+                stringifyCell(item.scenarioCount),
+                stringifyCell(item.testCount),
+                stringifyCell(item.transitiveSymbolCount),
+                joinCells(item.gaps),
+            ]);
+        }
+        else {
+            table.push([
+                stringifyCell(item.id),
+                stringifyCell(item.type),
+                stringifyCell(item.coverageStatus),
+                `req=${stringifyCell(item.directRequirementCount)} test=${stringifyCell(item.testCount)} count=${stringifyCell(item.count)}`,
+                joinCells(item.gaps),
+            ]);
+        }
+    }
+    return [summaryTable.toString(), table.toString()].join("\n\n");
+}
+function renderGraphTable(payload) {
+    const nodes = Array.isArray(payload.nodes) ? payload.nodes : [];
+    const edges = Array.isArray(payload.edges) ? payload.edges : [];
+    const nodeTable = new Table({
+        head: ["Node ID", "Type", "Title", "Status"],
+        colWidths: [22, 10, 36, 12],
+        wordWrap: true,
+    });
+    for (const row of nodes) {
+        const item = fieldsFrom(row);
+        nodeTable.push([
+            stringifyCell(item.id),
+            stringifyCell(item.type),
+            stringifyCell(item.title),
+            stringifyCell(item.status),
+        ]);
+    }
+    const edgeTable = new Table({
+        head: ["Relationship", "From", "To"],
+        colWidths: [18, 22, 22],
+        wordWrap: true,
+    });
+    for (const row of edges) {
+        const item = fieldsFrom(row);
+        edgeTable.push([
+            stringifyCell(item.type),
+            stringifyCell(item.from),
+            stringifyCell(item.to),
+        ]);
+    }
+    return [
+        `Nodes: ${nodes.length}  Edges: ${edges.length}  Truncated: ${stringifyCell(payload.truncated)}`,
+        nodeTable.toString(),
+        edgeTable.toString(),
+    ].join("\n\n");
+}
+function isFields(value) {
+    return value !== null && typeof value === "object";
+}
+function fieldsFrom(value) {
+    return isFields(value) ? value : EMPTY_FIELDS;
+}
+function firstFields(values) {
+    const first = values[0];
+    return isFields(first) ? first : undefined;
+}
+function stringifyCell(value) {
+    if (value === null || value === undefined || value === "") {
+        return "-";
+    }
+    if (typeof value === "string") {
+        return value;
+    }
+    return String(value);
+}
+function joinCells(value) {
+    if (!Array.isArray(value) || value.length === 0) {
+        return "-";
+    }
+    return value.map((item) => stringifyCell(item)).join(", ");
+}

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

@@ -1 +1 @@
-{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/discovery.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,GAAG,SAAS,GAC1B,MAAM,GAAG,IAAI,CAIf;AAED,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,aAAa,GACnB,OAAO,CAAC;IACT,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC,CA0BD"}
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/discovery.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAI3D,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,GAAG,SAAS,GAC1B,MAAM,GAAG,IAAI,CAIf;AAED,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,aAAa,GACnB,OAAO,CAAC;IACT,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC,CAkCD"}

package/dist/commands/sync/discovery.js

@@ -18,6 +18,7 @@
 import * as path from "node:path";
 import fg from "fast-glob";
 import { getRelationshipsDir } from "../../extractors/relationships.js";
+const MARKDOWN_DISCOVERY_IGNORE = ["**/README.md"];
 export function normalizeMarkdownPath(pattern) {
     if (!pattern)
         return null;
@@ -38,7 +39,9 @@ export async function discoverSourceFiles(cwd, paths) {
     const markdownFiles = await fg(markdownPatterns, {
         cwd,
         absolute: true,
+        ignore: [...MARKDOWN_DISCOVERY_IGNORE],
     });
+    const entityMarkdownFiles = markdownFiles.filter((file) => !file.endsWith("/README.md"));
     const manifestFiles = paths.symbols
         ? await fg(paths.symbols, {
             cwd,
@@ -46,5 +49,9 @@ export async function discoverSourceFiles(cwd, paths) {
         })
         : [];
     const relationshipsDir = getRelationshipsDir(path.join(cwd, ".kb"));
-    return { markdownFiles, manifestFiles, relationshipsDir };
+    return {
+        markdownFiles: entityMarkdownFiles,
+        manifestFiles,
+        relationshipsDir,
+    };
 }

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

@@ -7,5 +7,10 @@ export interface ExtractionOutput {
         message: string;
     }[];
 }
-export declare function processExtractions(changedMarkdownFiles: string[], changedManifestFiles: string[], validateOnly: boolean): Promise<ExtractionOutput>;
+interface ExtractionDependencies {
+    extractFromMarkdown: (file: string) => ExtractionResult;
+    extractFromManifest: (file: string) => ExtractionResult[];
+}
+export declare function processExtractions(changedMarkdownFiles: string[], changedManifestFiles: string[], validateOnly: boolean, dependencies?: ExtractionDependencies): Promise<ExtractionOutput>;
+export {};
 //# sourceMappingURL=extraction.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"extraction.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/extraction.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,gBAAgB,EAGtB,MAAM,8BAA8B,CAAC;AAGtC,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7C;AAED,wBAAsB,kBAAkB,CAEtC,oBAAoB,EAAE,MAAM,EAAE,EAC9B,oBAAoB,EAAE,MAAM,EAAE,EAC9B,YAAY,EAAE,OAAO,GACpB,OAAO,CAAC,gBAAgB,CAAC,CA4C3B"}
+{"version":3,"file":"extraction.d.ts","sourceRoot":"","sources":["../../../src/commands/sync/extraction.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,KAAK,gBAAgB,EAGtB,MAAM,8BAA8B,CAAC;AAGtC,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC7C;AAED,UAAU,sBAAsB;IAC9B,mBAAmB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB,CAAC;IACxD,mBAAmB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,gBAAgB,EAAE,CAAC;CAC3D;AAOD,wBAAsB,kBAAkB,CAEtC,oBAAoB,EAAE,MAAM,EAAE,EAC9B,oBAAoB,EAAE,MAAM,EAAE,EAC9B,YAAY,EAAE,OAAO,EACrB,YAAY,GAAE,sBAAwD,GACrE,OAAO,CAAC,gBAAgB,CAAC,CA4C3B"}

package/dist/commands/sync/extraction.js

@@ -18,15 +18,19 @@
 import { extractFromManifest } from "../../extractors/manifest.js";
 import { FrontmatterError, extractFromMarkdown, } from "../../extractors/markdown.js";
 import { toCacheKey } from "./cache.js";
+const DEFAULT_EXTRACTION_DEPENDENCIES = {
+    extractFromMarkdown,
+    extractFromManifest,
+};
 export async function processExtractions(
 // implements REQ-003
-changedMarkdownFiles, changedManifestFiles, validateOnly) {
+changedMarkdownFiles, changedManifestFiles, validateOnly, dependencies = DEFAULT_EXTRACTION_DEPENDENCIES) {
     const results = [];
     const failedCacheKeys = new Set();
     const errors = [];
     for (const file of changedMarkdownFiles) {
         try {
-            results.push(extractFromMarkdown(file));
+            results.push(dependencies.extractFromMarkdown(file));
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
@@ -46,7 +50,7 @@ changedMarkdownFiles, changedManifestFiles, validateOnly) {
     }
     for (const file of changedManifestFiles) {
         try {
-            const manifestResults = extractFromManifest(file);
+            const manifestResults = dependencies.extractFromManifest(file);
             results.push(...manifestResults);
         }
         catch (error) {

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;AAgCD,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,CAwK7D"}
+{"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;AAmCD,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,CAoFvD;AA6BD,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,CA+K7D"}

package/dist/commands/sync/persistence.js

@@ -91,7 +91,8 @@ function isQueryFailedError(error) {
 }
 async function tryResetPrologProcess(prolog) {
     const maybe = prolog;
-    if (typeof maybe.terminate !== "function" || typeof maybe.start !== "function") {
+    if (typeof maybe.terminate !== "function" ||
+        typeof maybe.start !== "function") {
         return false;
     }
     try {
@@ -153,6 +154,14 @@ prolog, results, entityIds) {
                 const factFields = serializeTypedFactFields(entity);
                 props.push(...factFields);
             }
+            if (entity.type === "test") {
+                if (entity.verification_scope !== undefined) {
+                    props.push(`verification_scope=${toPrologAtom(entity.verification_scope)}`);
+                }
+                if (entity.verification_perspective !== undefined) {
+                    props.push(`verification_perspective=${toPrologAtom(entity.verification_perspective)}`);
+                }
+            }
             const propsList = `[${props.join(", ")}]`;
             const goal = `kb_assert_entity(${entity.type}, ${propsList})`;
             const result = await prolog.query(goal);
@@ -164,11 +173,32 @@ prolog, results, entityIds) {
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
-            throw new Error(`Failed to upsert entity ${entity.id}: ${message}`);
+            throw new Error(`Failed to upsert entity ${entity.id}: ${message}${semanticEntityContext(entity, sourceFile ?? entity.source)}`);
         }
     }
     return { entityCount, kbModified };
 }
+function semanticEntityContext(entity, sourceFile) {
+    const displaySource = path.isAbsolute(sourceFile)
+        ? path.relative(process.cwd(), sourceFile)
+        : sourceFile;
+    const details = [`source=${displaySource}`];
+    if (entity.type === "fact") {
+        const factKind = getEntityField(entity, "fact_kind");
+        if (factKind !== undefined && factKind !== null) {
+            details.push(`fact_kind=${String(factKind)}`);
+        }
+        if (factKind === "property_value" &&
+            getEntityField(entity, "value_string") === undefined &&
+            getEntityField(entity, "value_int") === undefined &&
+            getEntityField(entity, "value_number") === undefined &&
+            getEntityField(entity, "value_bool") === undefined) {
+            details.push("missing value field");
+        }
+    }
+    return ` (${details.join("; ")})`;
+}
+// implements REQ-core-persistence
 export async function persistRelationships(prolog, results, shardRelationships) {
     let relCount = 0;
     let kbModified = false;
@@ -271,7 +301,9 @@ export async function persistRelationships(prolog, results, shardRelationships)
         // If every pending relationship fails with generic query errors, attempt one
         // best-effort Prolog restart before the next retry pass to recover from a
         // potentially poisoned interactive session.
-        if (allLookLikeSessionFailures && !resetAttempted && pass + 1 < retryCount) {
+        if (allLookLikeSessionFailures &&
+            !resetAttempted &&
+            pass + 1 < retryCount) {
             resetAttempted = true;
             await tryResetPrologProcess(prolog);
         }
@@ -295,8 +327,10 @@ export async function persistRelationships(prolog, results, shardRelationships)
             const missingIds = new Set();
             for (const { error } of missingEntities) {
                 const match = error.match(/does not exist: (.+)$/);
-                if (match)
-                    missingIds.add(match[1].trim());
+                const missingId = match?.[1];
+                if (missingId !== undefined) {
+                    missingIds.add(missingId.trim());
+                }
             }
             const idList = [...missingIds].sort().join(", ");
             console.warn(`\nTip: ${missingEntities.length} relationship(s) reference ${missingIds.size} missing entity/ies: ${idList}.`);

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

@@ -1 +1 @@
-{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,CAAC;CAC7B;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,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAqID,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM;CAK1B;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,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,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAgID,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AAsCD,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAWxB"}
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../src/extractors/manifest.ts"],"names":[],"mappings":"AA6BA,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,CAAC;CAC7B;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,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA6JD,qBAAa,aAAc,SAAQ,KAAK;IAG7B,QAAQ,EAAE,MAAM;gBADvB,OAAO,EAAE,MAAM,EACR,QAAQ,EAAE,MAAM;CAK1B;AAED,MAAM,WAAW,oBAAoB;IACnC,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,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,CAAC;IAC5B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzD,aAAa,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxD,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,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAuJD,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,gBAAgB,EAAE,CAmBpB;AAED,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,oBAAoB,EAAE,CAmBxB;AAED,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAKxE;AAsCD,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,EACpB,eAAe,CAAC,EAAE,MAAM,GACvB,oBAAoB,EAAE,CAWxB"}

package/dist/extractors/manifest.js

@@ -189,6 +189,24 @@ function extractFromManifestSymbolRecords(manifestSymbols, filePath) {
             ...(symbol.granularity_reason !== undefined
                 ? { granularity_reason: symbol.granularity_reason }
                 : {}),
+            ...(typeof symbol.symbol_kind === "string"
+                ? { symbol_kind: symbol.symbol_kind }
+                : {}),
+            ...(typeof symbol.symbol_role === "string"
+                ? { symbol_role: symbol.symbol_role }
+                : {}),
+            ...(typeof symbol.sourceLine === "number"
+                ? { sourceLine: symbol.sourceLine }
+                : {}),
+            ...(typeof symbol.sourceColumn === "number"
+                ? { sourceColumn: symbol.sourceColumn }
+                : {}),
+            ...(typeof symbol.sourceEndLine === "number"
+                ? { sourceEndLine: symbol.sourceEndLine }
+                : {}),
+            ...(typeof symbol.sourceEndColumn === "number"
+                ? { sourceEndColumn: symbol.sourceEndColumn }
+                : {}),
         };
         const sourceFile = symbol.sourceFile ?? symbol.source;
         return {

package/dist/extractors/markdown.d.ts

@@ -12,6 +12,12 @@ export interface ExtractedEntity {
     severity?: string;
     text_ref?: string;
     granularity_reason?: string;
+    symbol_kind?: string;
+    symbol_role?: string;
+    sourceLine?: number;
+    sourceColumn?: number;
+    sourceEndLine?: number;
+    sourceEndColumn?: number;
     verification_scope?: "unit" | "integration" | "end_to_end";
     verification_perspective?: "internal" | "consumer";
     fact_kind?: "subject" | "property_value" | "observation" | "meta";

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,CAAC;IAC5B,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,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAmKD,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;AA0RD,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,CAAC;IAC5B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,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,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AA2LD,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;AA0RD,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,7 @@
 import { type ManifestSymbolEntry, enrichSymbolCoordinatesWithTsMorph } from "./symbols-ts.js";
 export type { ManifestSymbolEntry };
 export type SourceAnalysisMode = "parser" | "fallback";
-export type SourceSymbolKind = "function" | "class" | "method" | "interface" | "type" | "enum" | "variable" | "unknown";
+export type SourceSymbolKind = "function" | "class" | "method" | "property" | "accessor" | "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,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"}
+{"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,UAAU,GACV,UAAU,GACV,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

@@ -194,6 +194,21 @@ function collectSourceSymbols(sourceFile) {
                 .map((doc) => doc.getFullText())
                 .join("\n")}`));
         }
+        for (const property of decl.getProperties()) {
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), property.getName()), "property", property.getNameNode() ?? property, property, `${property.getFullText()}\n${property
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
+        for (const accessor of [
+            ...decl.getGetAccessors(),
+            ...decl.getSetAccessors(),
+        ]) {
+            symbols.push(toSourceSymbolAnalysis(sourceFile, formatMethodSymbolName(decl.getName(), accessor.getName()), "accessor", accessor.getNameNode() ?? accessor, accessor, `${accessor.getFullText()}\n${accessor
+                .getJsDocs()
+                .map((doc) => doc.getFullText())
+                .join("\n")}`));
+        }
     }
     for (const decl of sourceFile.getInterfaces()) {
         if (!decl.isExported())
@@ -274,6 +289,25 @@ function findNamedDeclaration(sourceFile, title) {
                     continue;
                 return { node: method, getNameNode: () => nameNode };
             }
+            for (const property of cls.getProperties()) {
+                if (property.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = property.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: property, getNameNode: () => nameNode };
+            }
+            for (const accessor of [
+                ...cls.getGetAccessors(),
+                ...cls.getSetAccessors(),
+            ]) {
+                if (accessor.getName() !== qualifiedMethod.methodName)
+                    continue;
+                const nameNode = accessor.getNameNode();
+                if (!nameNode)
+                    continue;
+                return { node: accessor, getNameNode: () => nameNode };
+            }
         }
         return null;
     }
@@ -377,6 +411,34 @@ function findNamedDeclaration(sourceFile, title) {
                 return candidate;
             }
         }
+        const memberCandidates = [];
+        for (const cls of sourceFile.getClasses()) {
+            for (const property of cls.getProperties()) {
+                if (property.getName() !== title)
+                    continue;
+                const nameNode = property.getNameNode();
+                if (!nameNode)
+                    continue;
+                memberCandidates.push({ node: property, getNameNode: () => nameNode });
+            }
+            for (const accessor of [
+                ...cls.getGetAccessors(),
+                ...cls.getSetAccessors(),
+            ]) {
+                if (accessor.getName() !== title)
+                    continue;
+                const nameNode = accessor.getNameNode();
+                if (!nameNode)
+                    continue;
+                memberCandidates.push({ node: accessor, getNameNode: () => nameNode });
+            }
+        }
+        if (memberCandidates.length === 1) {
+            const candidate = memberCandidates[0];
+            if (candidate) {
+                return candidate;
+            }
+        }
         return null;
     }
     candidates.sort((a, b) => a.getNameNode().getStart() - b.getNameNode().getStart());

package/dist/prolog.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA4BA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAuCd,YAAY;IA0CpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IA0K1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAsGnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,eAAe;IAiBvB,OAAO,CAAC,cAAc;IAqDtB,SAAS,IAAI,OAAO;IAMpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAwCjC"}
+{"version":3,"file":"prolog.d.ts","sourceRoot":"","sources":["../src/prolog.ts"],"names":[],"mappings":"AA4BA,wBAAgB,eAAe,IAAI,MAAM,CAsCxC;AACD,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,OAAO,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,YAAY,CAAM;IAC1B,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,kBAAkB,CAA8B;IACxD,OAAO,CAAC,cAAc,CACyC;IAC/D,OAAO,CAAC,cAAc,CAAuB;IAC7C,OAAO,CAAC,aAAa,CAA6B;gBAEtC,OAAO,GAAE,aAAkB;IAKjC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAuCd,YAAY;IA2CpB,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAyK1D,eAAe,IAAI,IAAI;IAIvB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,kBAAkB;YAIZ,YAAY;IA2C1B,OAAO,CAAC,WAAW;IAsGnB,OAAO,CAAC,aAAa;IAIrB,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,eAAe;IAkBvB,OAAO,CAAC,cAAc;IA6DtB,SAAS,IAAI,OAAO;IAMpB,MAAM,IAAI,MAAM;IAIV,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC;CAwCjC"}

package/dist/prolog.js

@@ -133,6 +133,7 @@ export class PrologProcess {
         this.outputBuffer = "";
         this.errorBuffer = "";
     }
+    // implements REQ-core-prolog-process-management
     async query(goal) {
         const isSingleGoal = typeof goal === "string";
         const goalKey = isSingleGoal ? goal : null;
@@ -242,8 +243,7 @@ export class PrologProcess {
                         }
                         // Check errorBuffer first — Prolog catch/3 writes ERROR to stderr
                         // then fail to stdout. If stderr has the real error, surface it.
-                        const errorMessage = this.errorBuffer.length > 0 &&
-                            this.errorBuffer.includes("ERROR")
+                        const errorMessage = this.errorBuffer.length > 0 && this.errorBuffer.includes("ERROR")
                             ? this.translateError(this.errorBuffer)
                             : "Query failed";
                         resolve({
@@ -441,14 +441,17 @@ export class PrologProcess {
         }
         return bindings;
     }
+    // implements REQ-core-prolog-process-management
     translateError(errorText) {
         // SWI-Prolog print_message/2 formats errors as human-readable messages,
         // not raw Prolog terms. Match the actual output format.
-        if (errorText.includes('does not exist') && /entity [`'"].+?[`'"]/.test(errorText)) {
+        if (errorText.includes("does not exist") &&
+            /entity [`'"].+?[`'"]/.test(errorText)) {
             // SWI-Prolog doubles single quotes in formatted messages: ''REQ-TEST''
             const entityIdMatch = errorText.match(/entity [`'"]+(.+?)[`'"]+ does not exist/);
-            const entityId = entityIdMatch
-                ? entityIdMatch[1].replace(/^`?'+|'+`?$/g, "")
+            const matchedEntityId = entityIdMatch?.[1];
+            const entityId = matchedEntityId !== undefined
+                ? matchedEntityId.replace(/^`?'+|'+`?$/g, "")
                 : "unknown";
             if (errorText.includes("Target entity does not exist")) {
                 return `Target entity does not exist: ${entityId}`;
@@ -460,8 +463,9 @@ export class PrologProcess {
         }
         if (errorText.includes("Type error: `relationship' expected")) {
             const relMatch = errorText.match(/\(Invalid relationship: ([^)]+)\)/);
-            if (relMatch) {
-                return `Invalid relationship: ${relMatch[1].trim()}`;
+            const invalidRelationship = relMatch?.[1];
+            if (invalidRelationship !== undefined) {
+                return `Invalid relationship: ${invalidRelationship.trim()}`;
             }
             return "Invalid relationship type or direction";
         }

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

@@ -0,0 +1,3 @@
+import type { ChangedFileImpactOptions, ChangedFileImpactResult } from "./types.js";
+export declare function analyzeChangedFileImpact(options: ChangedFileImpactOptions): ChangedFileImpactResult;
+//# sourceMappingURL=analyzer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer.d.ts","sourceRoot":"","sources":["../../../src/public/impact/analyzer.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACxB,MAAM,YAAY,CAAC;AAEpB,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,wBAAwB,GAChC,uBAAuB,CAgEzB"}