kibi-cli 0.16.1 → 0.18.1

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-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 {
@@ -160,14 +167,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,9 @@ 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";
+export * from "../../logic/ir.js";