kibi-cli 0.17.0 → 0.19.0

package/src/public/impact-diagnostics.ts

@@ -8,6 +8,13 @@ export {
 } from "./impact/diagnostics.js";
 export { createRequirementQualityDiagnostics } from "./impact/requirement-quality.js";
 export { createSymbolQualityDiagnostics } from "./impact/symbol-quality.js";
+export {
+  DEFAULT_TELEMETRY_ACCEPTANCE_POLICY,
+  TELEMETRY_ACCEPTANCE_VERSION,
+  analyzeTelemetryAcceptance,
+  createTelemetryAcceptanceDiagnostics,
+  parseTelemetryUsageLog,
+} from "./telemetry-acceptance.js";
 export type {
   ChangedFileImpactOptions,
   ChangedFileImpactResult,
@@ -20,3 +27,12 @@ export type {
   SymbolGranularityDiagnosticsOptions,
   SymbolQualityDiagnosticsOptions,
 } from "./impact/types.js";
+export type {
+  TelemetryAcceptanceMetric,
+  TelemetryAcceptancePolicy,
+  TelemetryAcceptanceReport,
+  TelemetryAcceptanceStatus,
+  TelemetryMetricId,
+  TelemetryMetricStatus,
+  TelemetryUsageEvent,
+} from "./telemetry-acceptance.js";

package/src/public/operations/check-executor.ts

@@ -102,6 +102,8 @@ export async function executeCheck(
             ? impactQualityDiagnostics
             : await collectFullKbQualityDiagnostics({
                 prolog,
+                workspaceRoot,
+                now: context.clock(),
                 ...maxDiagnosticsOption,
               });
       return {
@@ -157,6 +159,8 @@ export async function executeCheck(
         : await collectFullKbQualityDiagnostics({
             prolog,
             hardViolationEntityIds: new Set(violations.map((v) => v.entityId)),
+            workspaceRoot,
+            now: context.clock(),
             ...maxDiagnosticsOption,
           });
 

package/src/public/operations/discovery-entities.ts

@@ -54,11 +54,12 @@ export function buildEntityGoal(input: EntityQueryInput): string {
     return `findall(['${safeId}',Type,Props], kb_entity('${safeId}', Type, Props), Results)`;
   }
   if (tags && tags.length > 0) {
+    const tagTerms = tags.map((tag) => `'${escapeAtomContent(tag)}'`).join(",");
     if (type) {
       const safeType = escapeAtomContent(type);
-      return `findall([Id,'${safeType}',Props], kb_entity(Id, '${safeType}', Props), Results)`;
+      return `findall([Id,'${safeType}',Props], (member(Tag, [${tagTerms}]), kb_entities_by_tag(Tag, TagIds), member(Id, TagIds), kb_entity(Id, '${safeType}', Props)), Results)`;
     }
-    return "findall([Id,Type,Props], kb_entity(Id, Type, Props), Results)";
+    return `findall([Id,Type,Props], (member(Tag, [${tagTerms}]), kb_entities_by_tag(Tag, TagIds), member(Id, TagIds), kb_entity(Id, Type, Props)), Results)`;
   }
   if (type) {
     const safeType = escapeAtomContent(type);

package/src/public/operations/discovery-executors.ts

@@ -8,6 +8,7 @@ import {
 import { runOperationJsonQuery } from "./prolog-json.js";
 import type { OperationContext, PrologPort } from "./runtime-types.js";
 import type { OperationResult } from "./types.js";
+import { readWorkspaceSnapshot } from "./workspace-snapshot.js";
 
 export type QueryInput = {
   readonly type?: string;
@@ -45,6 +46,12 @@ export type StatusPayload = {
   readonly syncState: string;
   readonly kbPath?: string;
   readonly lastSyncSource?: string;
+  readonly verificationSnapshot?: string;
+  readonly verificationSnapshotAvailable?: boolean;
+  readonly verificationSnapshotDirty?: boolean;
+  readonly verificationSnapshotFileCount?: number;
+  readonly verificationSnapshotVersion?: string;
+  readonly verificationSnapshotError?: string;
 };
 
 function requireProlog(context: OperationContext): PrologPort {
@@ -73,6 +80,36 @@ export async function executeQuery(
   // implements REQ-kibi-operation-interface-parity
   const { type, id, tags, sourceFile, limit = 100, offset = 0 } = input;
   try {
+    const prolog = requireProlog(context);
+    const indexedPage = prolog.queryEntities
+      ? await prolog.queryEntities({
+          ...(type !== undefined ? { type } : {}),
+          ...(id !== undefined ? { id } : {}),
+          ...(tags !== undefined ? { tags } : {}),
+          ...(sourceFile !== undefined ? { sourceFile } : {}),
+          limit,
+          offset,
+        })
+      : null;
+    if (indexedPage !== null) {
+      const paginated = indexedPage.entities;
+      const text =
+        indexedPage.count === 0
+          ? `No entities found${type ? ` of type '${type}'` : ""}.`
+          : `Found ${indexedPage.count} entities${type ? ` of type '${type}'` : ""}. Showing ${paginated.length} (offset ${offset}, limit ${limit}): ${paginated
+              .map((entity) => {
+                const entityId = String(entity.id ?? "").replace(
+                  /^file:\/\/.*\//,
+                  "",
+                );
+                return `${entityId} (${String(entity.title ?? "")}, status=${String(entity.status ?? "")})`;
+              })
+              .join(", ")}`;
+      return {
+        content: [{ type: "text", text }],
+        structuredContent: { entities: paginated, count: indexedPage.count },
+      };
+    }
     const entities = await loadEntities(requireProlog(context), {
       ...(type !== undefined ? { type } : {}),
       ...(id !== undefined ? { id } : {}),
@@ -116,9 +153,20 @@ export async function executeSearch(
   }
   validateEntityType(type);
   try {
-    const entities = await loadEntities(requireProlog(context), {
-      ...(type !== undefined ? { type } : {}),
-    });
+    const prolog = requireProlog(context);
+    const indexedCandidates = prolog.searchEntities
+      ? await prolog.searchEntities({
+          query: trimmedQuery,
+          ...(type !== undefined ? { type } : {}),
+          limit: 100_000,
+          offset: 0,
+        })
+      : null;
+    const entities = indexedCandidates
+      ? [...indexedCandidates.entities]
+      : await loadEntities(prolog, {
+          ...(type !== undefined ? { type } : {}),
+        });
     const matches = await rankEntities(
       entities,
       trimmedQuery,
@@ -160,14 +208,29 @@ export async function executeStatus(
     if (!isStatusPayload(payload)) {
       throw new Error("Status execution query returned an invalid payload");
     }
+    const snapshotEvidence = await readWorkspaceSnapshot(context);
+    const enrichedPayload: StatusPayload = {
+      ...payload,
+      verificationSnapshot: snapshotEvidence.available
+        ? snapshotEvidence.snapshot.hash
+        : "unknown",
+      verificationSnapshotAvailable: snapshotEvidence.available,
+      ...(snapshotEvidence.available
+        ? {
+            verificationSnapshotDirty: snapshotEvidence.snapshot.dirty,
+            verificationSnapshotFileCount: snapshotEvidence.snapshot.fileCount,
+            verificationSnapshotVersion: snapshotEvidence.snapshot.version,
+          }
+        : { verificationSnapshotError: snapshotEvidence.error }),
+    };
     return {
       content: [
         {
           type: "text",
-          text: `Branch ${payload.branch} is ${payload.syncState} (snapshot ${payload.snapshotId}, dirty=${payload.dirty})`,
+          text: `Branch ${payload.branch} is ${payload.syncState} (snapshot ${payload.snapshotId}, dirty=${payload.dirty}, verificationSnapshot=${enrichedPayload.verificationSnapshot})`,
         },
       ],
-      structuredContent: payload,
+      structuredContent: enrichedPayload,
     };
   } catch (error) {
     const message = error instanceof Error ? error.message : String(error);

package/src/public/operations/index.ts

@@ -4,6 +4,8 @@ export * from "./discovery-entities.js";
 export * from "./discovery-executors.js";
 export * from "./runtime-types.js";
 export * from "./node-ports.js";
+export * from "./repair-plan.js";
+export * from "./legacy-migration-plan.js";
 export * from "./specs/autopilot.js";
 export * from "./specs/check.js";
 export * from "./specs/discovery.js";
@@ -14,6 +16,8 @@ export * from "./specs/semantic.js";
 export * from "./specs/skills.js";
 export * from "./specs/sparql.js";
 export * from "./types.js";
+export * from "../telemetry-acceptance.js";
+export * from "../telemetry-remediation.js";
 export * from "../../operations/autopilot/generate.js";
 export * from "../../operations/autopilot/presentation.js";
 export type * from "../../operations/autopilot/types.js";