kibi-cli 1.0.1 → 2.1.0

package/dist/public/telemetry-acceptance.d.ts

@@ -1,82 +1,7 @@
 import type { QualityDiagnostic } from "./impact/types.js";
+import type { TelemetryAcceptancePolicy, TelemetryAcceptanceReport, TelemetryMetricStatus, TelemetryUsageEvent } from "./telemetry-acceptance-types.js";
+export type { TelemetryAcceptanceMetric, TelemetryAcceptancePolicy, TelemetryAcceptanceReport, TelemetryAcceptanceStatus, TelemetryMetricId, TelemetryMetricStatus, TelemetryUsageEvent, } from "./telemetry-acceptance-types.js";
 export declare const TELEMETRY_ACCEPTANCE_VERSION: "kibi.telemetry-acceptance.v1";
-export type TelemetryMetricStatus = "passed" | "failed" | "insufficient_evidence" | "not_applicable";
-export type TelemetryAcceptanceStatus = "passed" | "failed" | "insufficient_evidence";
-export type TelemetryMetricId = "telemetry_completeness" | "advisor_before_requirement_write" | "validation_before_upsert" | "source_lookup_zero_result_rate" | "proof_gap_recovery" | "e2e_receipt_freshness" | "repeated_mutation_failures";
-export interface TelemetryUsageEvent {
-    readonly timestamp?: string;
-    readonly request_id?: string;
-    readonly session_id?: string;
-    readonly actor_id?: string;
-    readonly tool?: string;
-    readonly status?: string;
-    readonly success?: boolean;
-    readonly telemetry?: unknown;
-    readonly telemetry_status?: string;
-    readonly business_args?: Readonly<Record<string, unknown>>;
-    readonly args?: Readonly<Record<string, unknown>>;
-    readonly mutation_fingerprint?: string;
-    readonly mutation_target?: string;
-    readonly validation_valid?: boolean;
-    readonly semantic_source_hash?: string;
-    readonly coverage_by?: string;
-    readonly coverage_scope_complete?: boolean;
-    readonly coverage_proof_gap_count?: number;
-    readonly coverage_receipt_gap_count?: number;
-    readonly coverage_receipt_gaps?: readonly Readonly<{
-        readonly requirementId: string;
-        readonly testIds: readonly string[];
-        readonly codes: readonly string[];
-    }>[];
-    readonly coverage_receipt_gap_total?: number;
-    readonly coverage_receipt_gaps_truncated?: boolean;
-    readonly zero_results?: boolean;
-    readonly result_count?: number;
-    readonly error_category?: string;
-}
-export interface TelemetryAcceptancePolicy {
-    readonly eventLimit: number;
-    readonly minimumEvents: number;
-    readonly maxEvidenceAgeSeconds: number;
-    readonly maxFutureSkewSeconds: number;
-    readonly telemetryCompletenessMinimum: number;
-    readonly validationBeforeUpsertMinimum: number;
-    readonly advisorBeforeRequirementWriteMinimum: number;
-    readonly sourceLookupZeroResultMaximum: number;
-    readonly preflightMaxAgeSeconds: number;
-    readonly advisorMaxAgeSeconds: number;
-    readonly repeatedMutationFailureThreshold: number;
-}
-export interface TelemetryAcceptanceMetric {
-    readonly id: TelemetryMetricId;
-    readonly status: TelemetryMetricStatus;
-    readonly numerator: number;
-    readonly denominator: number;
-    readonly rate?: number;
-    readonly threshold?: Readonly<{
-        operator: ">=" | "<=" | "<";
-        value: number;
-    }>;
-    readonly message: string;
-    readonly evidence?: Readonly<Record<string, unknown>>;
-}
-export interface TelemetryAcceptanceReport {
-    readonly version: typeof TELEMETRY_ACCEPTANCE_VERSION;
-    readonly status: TelemetryAcceptanceStatus;
-    readonly evaluatedAt: string;
-    readonly policy: TelemetryAcceptancePolicy;
-    readonly scope: Readonly<{
-        totalEvents: number;
-        evaluatedEvents: number;
-        truncated: boolean;
-        firstTimestamp: string | null;
-        lastTimestamp: string | null;
-        evidenceAgeSeconds: number | null;
-        fresh: boolean;
-    }>;
-    readonly metrics: readonly TelemetryAcceptanceMetric[];
-    readonly diagnostics: readonly string[];
-}
 export declare const DEFAULT_TELEMETRY_ACCEPTANCE_POLICY: {
     readonly eventLimit: 200;
     readonly minimumEvents: 20;
@@ -91,6 +16,7 @@ export declare const DEFAULT_TELEMETRY_ACCEPTANCE_POLICY: {
     readonly repeatedMutationFailureThreshold: 3;
 };
 export declare function parseTelemetryUsageLog(contents: string): TelemetryUsageEvent[];
+export declare function thresholdStatus(actual: number | undefined, operator: ">=" | "<=" | "<", expected: number): TelemetryMetricStatus;
 export declare function analyzeTelemetryAcceptance(events: readonly TelemetryUsageEvent[], now?: Date, policy?: TelemetryAcceptancePolicy): TelemetryAcceptanceReport;
 export declare function createTelemetryAcceptanceDiagnostics(report: TelemetryAcceptanceReport): readonly QualityDiagnostic[];
 //# sourceMappingURL=telemetry-acceptance.d.ts.map

package/dist/public/telemetry-acceptance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"telemetry-acceptance.d.ts","sourceRoot":"","sources":["../../src/public/telemetry-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,eAAO,MAAM,4BAA4B,EACvC,8BAAuC,CAAC;AAE1C,MAAM,MAAM,qBAAqB,GAC7B,QAAQ,GACR,QAAQ,GACR,uBAAuB,GACvB,gBAAgB,CAAC;AAErB,MAAM,MAAM,yBAAyB,GACjC,QAAQ,GACR,QAAQ,GACR,uBAAuB,CAAC;AAE5B,MAAM,MAAM,iBAAiB,GACzB,wBAAwB,GACxB,kCAAkC,GAClC,0BAA0B,GAC1B,gCAAgC,GAChC,oBAAoB,GACpB,uBAAuB,GACvB,4BAA4B,CAAC;AAEjC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,qBAAqB,CAAC,EAAE,SAAS,QAAQ,CAAC;QACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;KACnC,CAAC,EAAE,CAAC;IACL,QAAQ,CAAC,0BAA0B,CAAC,EAAE,MAAM,CAAC;IAC7C,QAAQ,CAAC,+BAA+B,CAAC,EAAE,OAAO,CAAC;IACnD,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,4BAA4B,EAAE,MAAM,CAAC;IAC9C,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,oCAAoC,EAAE,MAAM,CAAC;IACtD,QAAQ,CAAC,6BAA6B,EAAE,MAAM,CAAC;IAC/C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,gCAAgC,EAAE,MAAM,CAAC;CACnD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,EAAE,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;QAC5B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;QAC5B,KAAK,EAAE,MAAM,CAAC;KACf,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,4BAA4B,CAAC;IACtD,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACvB,WAAW,EAAE,MAAM,CAAC;QACpB,eAAe,EAAE,MAAM,CAAC;QACxB,SAAS,EAAE,OAAO,CAAC;QACnB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;QAC9B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;QAClC,KAAK,EAAE,OAAO,CAAC;KAChB,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,eAAO,MAAM,mCAAmC;;;;;;;;;;;;CAYF,CAAC;AAgB/C,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,GACf,mBAAmB,EAAE,CAsBvB;AA8fD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,GAAG,GAAE,IAAiB,EACtB,MAAM,GAAE,yBAA+D,GACtE,yBAAyB,CA6D3B;AA+DD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,yBAAyB,GAChC,SAAS,iBAAiB,EAAE,CA8E9B"}
+{"version":3,"file":"telemetry-acceptance.d.ts","sourceRoot":"","sources":["../../src/public/telemetry-acceptance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAEV,yBAAyB,EACzB,yBAAyB,EAGzB,qBAAqB,EACrB,mBAAmB,EACpB,MAAM,iCAAiC,CAAC;AAEzC,YAAY,EACV,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,iBAAiB,EACjB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AAEzC,eAAO,MAAM,4BAA4B,EACvC,8BAAuC,CAAC;AAE1C,eAAO,MAAM,mCAAmC;;;;;;;;;;;;CAYF,CAAC;AAgB/C,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,GACf,mBAAmB,EAAE,CAsBvB;AA0DD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,GAAG,EAC3B,QAAQ,EAAE,MAAM,GACf,qBAAqB,CAKvB;AA2bD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,mBAAmB,EAAE,EACtC,GAAG,GAAE,IAAiB,EACtB,MAAM,GAAE,yBAA+D,GACtE,yBAAyB,CA6D3B;AA+DD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,yBAAyB,GAChC,SAAS,iBAAiB,EAAE,CA+E9B"}

package/dist/public/telemetry-acceptance.js

@@ -83,7 +83,7 @@ function mutationTarget(event) {
 function rate(numerator, denominator) {
     return denominator === 0 ? undefined : numerator / denominator;
 }
-function thresholdStatus(actual, operator, expected) {
+export function thresholdStatus(actual, operator, expected) {
     if (actual === undefined)
         return "not_applicable";
     if (operator === ">=")
@@ -526,7 +526,7 @@ const METRIC_DIAGNOSTICS = {
         id: "e2e_receipt_freshness_low",
         severity: "warning",
         rank: 40,
-        suggestion: "Query the affected tests and run each exact current verification contract through kibi verify against the live snapshot; preserve history, append the generated kibi.verification-receipt.v2, and rerun complete coverage.",
+        suggestion: "Run the configured proof integrations with kibi prove against the live snapshot; receipts append idempotently with preserved history, then rerun complete coverage.",
     },
     repeated_mutation_failures: {
         id: "repeated_mutation_failures",
@@ -581,6 +581,8 @@ export function createTelemetryAcceptanceDiagnostics(report) {
         if (metric.status !== "failed")
             continue;
         const definition = METRIC_DIAGNOSTICS[metric.id];
+        if (!definition)
+            continue;
         diagnostics.push({
             id: definition.id,
             severity: definition.severity,

package/dist/public/telemetry-remediation.js

@@ -205,7 +205,7 @@ export function buildTelemetryRemediationReport(events, now = new Date(), policy
     if (isActionable(acceptance, "e2e_receipt_freshness")) {
         items.push(latestCoverage &&
             latestCoverage.event.coverage_receipt_gap_count !== undefined
-            ? eventItem("e2e_receipt_freshness", latestCoverage, "coverage:req", `The latest complete report has ${latestCoverage.event.coverage_receipt_gap_count} receipt gaps.`, "Query the cited tests and run each exact current verification contract through kibi verify; preserve receipt history, append the generated v2 receipts, sync, and rerun coverage.")
+            ? eventItem("e2e_receipt_freshness", latestCoverage, "coverage:req", `The latest complete report has ${latestCoverage.event.coverage_receipt_gap_count} receipt gaps.`, "Run `kibi prove` for the cited requirements or integrations; receipts append idempotently with preserved history, then sync and rerun coverage.")
             : reportItem("e2e_receipt_freshness", "coverage:req", "No complete requirement coverage event contains receipt-freshness evidence.", "Run complete requirement coverage after attaching fresh E2E verification receipts."));
     }
     if (isActionable(acceptance, "repeated_mutation_failures")) {