kibi-cli 2.31.0 → 2.32.0

package/src/schemas/entity.schema.json

@@ -523,6 +523,16 @@
       ],
       "description": "Requirement and ADR only. How firmly the decision was made. firm: a human stated it as a rule; it needs a ref (origin.ref, or approval_ref on a requirement) to their words, and only a human may change it. default: a delegated or agent choice; a later agent may supersede it with evidence. exploratory: a flagged guess, expected to be revisited. When absent, it reads as default if an agent wrote the entity (origin.kind agent) and as firm otherwise (a person's, imported or migrated decision); set it explicitly when recording a decision."
     },
+    "required_evidence": {
+      "type": "string",
+      "enum": [
+        "proved",
+        "tested",
+        "asserted",
+        "unverified"
+      ],
+      "description": "Requirement-only. The weakest evidence level this current requirement accepts; the evidence-floor check rule fails while its computed evidence level is lower. proved: a re-checkable certificate covers every case. tested: fresh passing E2E receipts cover every linked scenario. asserted: a person stands behind it. unverified: no floor. When absent, it is tested for a firm requirement and unverified otherwise."
+    },
     "expects": {
       "type": "string",
       "enum": [
@@ -762,8 +772,105 @@
         "success_policy": {
           "type": "string",
           "enum": [
-            "all_required_first_attempt"
+            "all_required_first_attempt",
+            "own_results_first_attempt"
           ]
+        },
+        "kind": {
+          "type": "string",
+          "enum": [
+            "e2e",
+            "example",
+            "property",
+            "exhaustive",
+            "typecheck",
+            "arithmetic",
+            "smt"
+          ],
+          "description": "What the checker establishes; absent means e2e. exhaustive, typecheck, arithmetic and smt must leave a kibi.code-certificate.v1 that Kibi re-checks before the receipt counts as proved."
+        },
+        "domain_source": {
+          "type": "object",
+          "description": "exhaustive and typecheck: the symbol that defines the finite domain. The proof must import it from its source file; a hand-listed domain downgrades the receipt to example. Kibi reads the export named `export`, or the symbol's title when `export` is absent.",
+          "required": [
+            "symbol_id"
+          ],
+          "properties": {
+            "symbol_id": {
+              "type": "string",
+              "minLength": 1
+            },
+            "export": {
+              "type": "string",
+              "minLength": 1,
+              "description": "The name the domain is exported under in the symbol's source file, when the symbol's title is not that name."
+            }
+          },
+          "additionalProperties": false
+        },
+        "witness": {
+          "type": "object",
+          "description": "typecheck: the repository-relative witness file Kibi compiles (an exhaustive switch ending in never, or a mapped type over the domain).",
+          "required": [
+            "path"
+          ],
+          "properties": {
+            "path": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "additionalProperties": false
+        },
+        "proves": {
+          "type": "array",
+          "description": "Certificate kinds: the requirement claim keys (CLAIM-...) this certificate proves. Each must be a modeled claim of a current requirement the test reaches through its scenarios. Kibi derives what the certificate must establish from the claim's grounding fact (a set fact for exhaustive or typecheck, a numeric fact for arithmetic or smt); a claim with no such derivation is only attested and never counts as proved.",
+          "minItems": 1,
+          "items": {
+            "type": "string",
+            "pattern": "^CLAIM-"
+          },
+          "uniqueItems": true
+        },
+        "value_source": {
+          "type": "array",
+          "description": "arithmetic and smt: code constants the assumptions read. Kibi evaluates each export at ingest and requires the certificate to assume the variable equals that value, so the proof is about the code and not only the knowledge base.",
+          "minItems": 1,
+          "items": {
+            "type": "object",
+            "required": [
+              "symbol_id"
+            ],
+            "properties": {
+              "symbol_id": {
+                "type": "string",
+                "minLength": 1
+              },
+              "export": {
+                "type": "string",
+                "minLength": 1
+              }
+            },
+            "additionalProperties": false
+          }
+        },
+        "constraint_source": {
+          "type": "object",
+          "description": "arithmetic and smt: the typed numeric property_value facts the certificate's assumptions come from. Kibi checks the assumptions (or the query's assertions) are exactly these facts' constraints, so the proof is about the knowledge base, not numbers the test chose.",
+          "required": [
+            "fact_ids"
+          ],
+          "properties": {
+            "fact_ids": {
+              "type": "array",
+              "minItems": 1,
+              "items": {
+                "type": "string",
+                "minLength": 1
+              }
+            }
+          },
+          "additionalProperties": false
         }
       },
       "additionalProperties": false
@@ -813,7 +920,7 @@
       "type": "array",
       "items": {
         "type": "object",
-        "description": "Kibi-derived kibi.proof-receipt.v1. Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.",
+        "description": "Kibi-derived kibi.proof-receipt.v2 (kibi.proof-receipt.v1 entries are still read). Receipts are never caller-authored; kb_ingest_proof derives them from kibi.proof-run.v1 artifacts.",
         "required": [
           "version",
           "receipt_id",
@@ -837,7 +944,10 @@
         "properties": {
           "version": {
             "type": "string",
-            "const": "kibi.proof-receipt.v1"
+            "enum": [
+              "kibi.proof-receipt.v1",
+              "kibi.proof-receipt.v2"
+            ]
           },
           "receipt_id": {
             "type": "string",
@@ -1080,6 +1190,84 @@
               "additionalProperties": false
             }
           },
+          "kind": {
+            "type": "string",
+            "enum": [
+              "e2e",
+              "example",
+              "property",
+              "exhaustive",
+              "typecheck",
+              "arithmetic",
+              "smt"
+            ]
+          },
+          "evidence_level": {
+            "type": "string",
+            "enum": [
+              "proved",
+              "tested"
+            ]
+          },
+          "certificate": {
+            "type": "object"
+          },
+          "certificate_digest": {
+            "type": "string",
+            "pattern": "^[a-f0-9]{64}$"
+          },
+          "certificate_rejection": {
+            "type": "string",
+            "minLength": 1
+          },
+          "claim_bindings": {
+            "type": "array",
+            "description": "Certificate kinds: how the certificate binds to each claim its contract names in proves, judged at ingest. derived means Kibi derived the certificate's obligation from the claim's grounding fact and the certificate satisfies it; attested means no derivation exists and the author vouches for it (never proved); rejected names why.",
+            "items": {
+              "type": "object",
+              "required": [
+                "claim_key",
+                "binding"
+              ],
+              "properties": {
+                "claim_key": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "requirement_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "fact_id": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "binding": {
+                  "type": "string",
+                  "enum": [
+                    "derived",
+                    "attested",
+                    "rejected"
+                  ]
+                },
+                "scope": {
+                  "type": "string",
+                  "enum": [
+                    "code",
+                    "intent"
+                  ]
+                },
+                "obligation": {
+                  "type": "object"
+                },
+                "reason": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              },
+              "additionalProperties": false
+            }
+          },
           "gaps": {
             "type": "array",
             "items": {
@@ -1159,12 +1347,22 @@
         "string",
         "int",
         "number",
-        "bool"
+        "bool",
+        "set"
       ]
     },
     "value_string": {
       "type": "string"
     },
+    "value_set": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1
+      },
+      "minItems": 1,
+      "uniqueItems": true
+    },
     "value_int": {
       "type": "integer"
     },
@@ -1395,6 +1593,11 @@
                 "value_bool"
               ]
             },
+            {
+              "required": [
+                "value_set"
+              ]
+            },
             {
               "required": [
                 "unit"
@@ -1661,6 +1864,11 @@
               "required": [
                 "exempts_claims"
               ]
+            },
+            {
+              "required": [
+                "required_evidence"
+              ]
             }
           ]
         }

package/dist/commands/proof-impact.d.ts

@@ -1,7 +0,0 @@
-export type ProofImpactOptions = Readonly<{
-    json?: boolean;
-}>;
-export declare function proofImpactCommand(options: ProofImpactOptions): Promise<{
-    exitCode: number;
-}>;
-//# sourceMappingURL=proof-impact.d.ts.map

package/dist/commands/proof-impact.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"proof-impact.d.ts","sourceRoot":"","sources":["../../src/commands/proof-impact.ts"],"names":[],"mappings":"AAiBA,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC,CAAC;AAGH,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,kBAAkB,GAC1B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA8B/B"}

package/dist/commands/proof-impact.js

@@ -1,39 +0,0 @@
-/*
- Kibi — repo-local, per-branch, queryable long-term memory for software projects
- Copyright (C) 2026 Piotr Franczyk
-
- This program is free software: you can redistribute it and/or modify
- it under the terms of the GNU Affero General Public License as published by
- the Free Software Foundation, either version 3 of the License, or
- (at your option) any later version.
- */
-import { executeProofImpact, proofImpactExitCode, } from "../operations/proof/impact.js";
-import { createCliRuntime } from "../runtime/cli-runtime.js";
-// implements REQ-kibi-verification-evidence-contract
-export async function proofImpactCommand(options) {
-    const runtime = createCliRuntime();
-    const context = await runtime.open({
-        name: "kibi_proof_impact",
-        effects: [],
-        requiresProlog: true,
-        execute: async () => undefined,
-    }, {});
-    let completed = false;
-    try {
-        const { result, text } = await executeProofImpact(context);
-        if (options.json) {
-            process.stdout.write(`${JSON.stringify(result, null, 2)}\n`);
-        }
-        else {
-            process.stdout.write(text);
-        }
-        completed = true;
-        await runtime.afterSuccess({ name: "kibi_proof_impact" }, context);
-        return { exitCode: proofImpactExitCode(result) };
-    }
-    finally {
-        await runtime.close(context, completed
-            ? { status: "success", result: 0 }
-            : { status: "error", error: 1 });
-    }
-}

package/dist/operations/proof/baseline-diff.d.ts

@@ -1,41 +0,0 @@
-export declare const PROOF_BASELINE_VERSION = "kibi.proof-baseline.v3";
-export type RequirementFingerprint = {
-    readonly proofStatus: string;
-    readonly gaps: readonly string[];
-    readonly uncoveredSymbols: readonly string[];
-};
-export type RequirementFingerprints = Readonly<Record<string, RequirementFingerprint>>;
-export type CoverageRowLike = {
-    readonly id?: unknown;
-    readonly proofStatus?: unknown;
-    readonly proofGaps?: unknown;
-    readonly proofStages?: {
-        readonly productionSymbols?: {
-            readonly uncoveredSymbols?: unknown;
-            readonly explanations?: unknown;
-        };
-    };
-};
-export type FingerprintChange = {
-    readonly id: string;
-    readonly kind: "added" | "removed" | "changed";
-    readonly before?: RequirementFingerprint;
-    readonly after?: RequirementFingerprint;
-};
-export declare function fingerprintRequirements(rows: readonly CoverageRowLike[]): RequirementFingerprints;
-export declare function diffFingerprints(baseline: RequirementFingerprints | undefined, current: RequirementFingerprints): FingerprintChange[];
-type ExplanationLike = {
-    readonly symbolId?: unknown;
-    readonly reason?: unknown;
-    readonly coverageCandidates?: unknown;
-};
-export declare function explanationsForRequirement(rows: readonly CoverageRowLike[], requirementId: string): readonly ExplanationLike[];
-export declare function renderRequirementDiffs(changes: readonly FingerprintChange[], rows?: readonly CoverageRowLike[]): string;
-export declare function parseSpawnJson(result: {
-    readonly error?: unknown;
-    readonly status?: number | null;
-    readonly stdout?: string | null;
-    readonly stderr?: string | null;
-}): unknown;
-export {};
-//# sourceMappingURL=baseline-diff.d.ts.map

package/dist/operations/proof/baseline-diff.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"baseline-diff.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/baseline-diff.ts"],"names":[],"mappings":"AAWA,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAE/D,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAC5C,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CACvC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE;QACrB,QAAQ,CAAC,iBAAiB,CAAC,EAAE;YAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;YACpC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;SACjC,CAAC;KACH,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,sBAAsB,CAAC;CACzC,CAAC;AAUF,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,SAAS,eAAe,EAAE,GAC/B,uBAAuB,CAgBzB;AAGD,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,uBAAuB,GAAG,SAAS,EAC7C,OAAO,EAAE,uBAAuB,GAC/B,iBAAiB,EAAE,CA4BrB;AASD,KAAK,eAAe,GAAG;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;CACvC,CAAC;AAEF,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,SAAS,eAAe,EAAE,EAChC,aAAa,EAAE,MAAM,GACpB,SAAS,eAAe,EAAE,CAM5B;AAgBD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,IAAI,GAAE,SAAS,eAAe,EAAO,GACpC,MAAM,CAwDR;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE;IACrC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC,GAAG,OAAO,CAYV"}

package/dist/operations/proof/baseline-diff.js

@@ -1,153 +0,0 @@
-/*
- Kibi — repo-local, per-branch, queryable long-term memory for software projects
- Copyright (C) 2026 Piotr Franczyk
-
- This program is free software: you can redistribute it and/or modify
- it under the terms of the GNU Affero General Public License as published by
- the Free Software Foundation, either version 3 of the License, or
- (at your option) any later version.
- */
-// implements REQ-kibi-verification-evidence-contract
-export const PROOF_BASELINE_VERSION = "kibi.proof-baseline.v3";
-function asStringArray(value) {
-    if (!Array.isArray(value))
-        return [];
-    return value
-        .map((item) => (typeof item === "string" ? item : String(item)))
-        .sort();
-}
-// implements REQ-kibi-verification-evidence-contract
-export function fingerprintRequirements(rows) {
-    const requirements = {};
-    for (const row of rows) {
-        const id = typeof row.id === "string" ? row.id : "";
-        const proofStatus = typeof row.proofStatus === "string" ? row.proofStatus : "";
-        if (id === "" || proofStatus === "not_applicable")
-            continue;
-        requirements[id] = {
-            proofStatus,
-            gaps: asStringArray(row.proofGaps),
-            uncoveredSymbols: asStringArray(row.proofStages?.productionSymbols?.uncoveredSymbols),
-        };
-    }
-    return requirements;
-}
-// implements REQ-kibi-verification-evidence-contract
-export function diffFingerprints(baseline, current) {
-    const before = baseline ?? {};
-    const ids = [
-        ...new Set([...Object.keys(before), ...Object.keys(current)]),
-    ].sort();
-    const changes = [];
-    for (const id of ids) {
-        const left = before[id];
-        const right = current[id];
-        if (left === undefined && right !== undefined) {
-            changes.push({ id, kind: "added", after: right });
-            continue;
-        }
-        if (left !== undefined && right === undefined) {
-            changes.push({ id, kind: "removed", before: left });
-            continue;
-        }
-        if (left === undefined || right === undefined)
-            continue;
-        if (left.proofStatus !== right.proofStatus ||
-            JSON.stringify(left.gaps) !== JSON.stringify(right.gaps) ||
-            JSON.stringify(left.uncoveredSymbols) !==
-                JSON.stringify(right.uncoveredSymbols)) {
-            changes.push({ id, kind: "changed", before: left, after: right });
-        }
-    }
-    return changes;
-}
-export function explanationsForRequirement(rows, requirementId) {
-    const row = rows.find((item) => item.id === requirementId);
-    const explanations = row?.proofStages?.productionSymbols?.explanations;
-    return Array.isArray(explanations)
-        ? explanations
-        : [];
-}
-function renderCandidate(candidate) {
-    const testId = typeof candidate.testId === "string" ? candidate.testId : "?";
-    const reason = typeof candidate.reason === "string" ? candidate.reason : "";
-    const secondaries = Array.isArray(candidate.secondaryReasons)
-        ? candidate.secondaryReasons.filter((item) => typeof item === "string")
-        : [];
-    const secondaryText = secondaries.length > 0 ? ` secondary=${secondaries.join(",")}` : "";
-    return `      covered_by ${testId}: ${reason}${secondaryText}`;
-}
-// implements REQ-kibi-verification-evidence-contract
-export function renderRequirementDiffs(changes, rows = []) {
-    if (changes.length === 0)
-        return "";
-    const lines = [
-        "Requirement fingerprint diffs vs committed proof/baseline.json:",
-    ];
-    for (const change of changes) {
-        if (change.kind === "added" && change.after) {
-            lines.push(`  ${change.id}: added (${change.after.proofStatus}; gaps=${change.after.gaps.join(",") || "none"})`);
-        }
-        else if (change.kind === "removed" && change.before) {
-            lines.push(`  ${change.id}: removed (was ${change.before.proofStatus})`);
-        }
-        else if (change.kind === "changed" && change.before && change.after) {
-            if (change.before.proofStatus !== change.after.proofStatus) {
-                lines.push(`  ${change.id}: ${change.before.proofStatus} -> ${change.after.proofStatus}`);
-            }
-            else {
-                lines.push(`  ${change.id}: fingerprint changed`);
-            }
-            const beforeGaps = new Set(change.before.gaps);
-            const afterGaps = new Set(change.after.gaps);
-            for (const gap of change.after.gaps) {
-                if (!beforeGaps.has(gap))
-                    lines.push(`    gap added: ${gap}`);
-            }
-            for (const gap of change.before.gaps) {
-                if (!afterGaps.has(gap))
-                    lines.push(`    gap removed: ${gap}`);
-            }
-            const beforeSymbols = new Set(change.before.uncoveredSymbols);
-            const afterSymbols = new Set(change.after.uncoveredSymbols);
-            for (const symbol of change.after.uncoveredSymbols) {
-                if (!beforeSymbols.has(symbol))
-                    lines.push(`    uncovered symbol added: ${symbol}`);
-            }
-            for (const symbol of change.before.uncoveredSymbols) {
-                if (!afterSymbols.has(symbol))
-                    lines.push(`    uncovered symbol removed: ${symbol}`);
-            }
-        }
-        const explanations = explanationsForRequirement(rows, change.id);
-        for (const explanation of explanations) {
-            const symbolId = typeof explanation.symbolId === "string" ? explanation.symbolId : "";
-            const reason = typeof explanation.reason === "string" ? explanation.reason : "";
-            if (symbolId !== "")
-                lines.push(`    ${symbolId}: ${reason}`);
-            const candidates = Array.isArray(explanation.coverageCandidates)
-                ? explanation.coverageCandidates
-                : [];
-            for (const candidate of candidates) {
-                if (candidate && typeof candidate === "object")
-                    lines.push(renderCandidate(candidate));
-            }
-        }
-    }
-    return `${lines.join("\n")}\n`;
-}
-export function parseSpawnJson(result) {
-    if (result.error)
-        throw result.error;
-    const text = `${result.stdout ?? ""}`.trim();
-    try {
-        return JSON.parse(text);
-    }
-    catch (error) {
-        const detail = `${result.stderr || result.stdout || ""}`.trim();
-        if (result.status !== 0 && result.status !== null) {
-            throw new Error(detail || String(error));
-        }
-        throw error;
-    }
-}

package/dist/operations/proof/impact.d.ts

@@ -1,51 +0,0 @@
-import type { OperationContext } from "../../public/operations/runtime-types.js";
-import { type CoverageRowLike, type RequirementFingerprints, diffFingerprints } from "./baseline-diff.js";
-export declare const COMMITTED_BASELINE_PATH = "proof/baseline.json";
-export type ProofBaselineFile = {
-    readonly version?: string;
-    readonly mode?: string;
-    readonly currentRequirements?: number;
-    readonly proofTested?: number;
-    readonly currentUntested?: number;
-    readonly trackedGaps?: Record<string, number>;
-    readonly requirements?: RequirementFingerprints;
-};
-export type ProofImpactResult = {
-    readonly comparisonTarget: typeof COMMITTED_BASELINE_PATH;
-    readonly baselineVersion: string;
-    readonly currentRequirements: number;
-    readonly proofTested: number;
-    readonly currentUntested: number;
-    readonly changes: ReturnType<typeof diffFingerprints>;
-};
-export type ReadCommittedFile = (workspaceRoot: string, relativePath: string) => string | Promise<string>;
-export type ProofImpactExecuteOptions = {
-    readonly readCommittedFile?: ReadCommittedFile;
-    readonly loadCoverage?: (context: OperationContext) => Promise<{
-        structuredContent: unknown;
-    }>;
-};
-export declare function readCommittedHeadFile(workspaceRoot: string, relativePath: string): string;
-export declare function loadCommittedBaseline(workspaceRoot: string, readCommittedFile?: ReadCommittedFile): Promise<ProofBaselineFile>;
-/**
- * A baseline committed before kibi.proof-baseline.v3 records a fully tested
- * requirement as `proven`. Read it as `tested`, so the comparison shows real
- * changes instead of a rename on every row.
- */
-export declare function upgradeBaselineStatuses(baseline: ProofBaselineFile): ProofBaselineFile;
-/** Diagnostic only: successful evaluation always exits 0. Ratchet lives in check-proof-baseline.mjs. */
-export declare function proofImpactExitCode(_result: ProofImpactResult): 0;
-export declare function buildProofImpact(baseline: ProofBaselineFile, coverage: {
-    summary?: Record<string, unknown>;
-    rows?: unknown;
-}): {
-    result: ProofImpactResult;
-    rows: CoverageRowLike[];
-};
-export declare function renderProofImpact(result: ProofImpactResult, rows: readonly CoverageRowLike[]): string;
-export declare function executeProofImpact(context: OperationContext, options?: ProofImpactExecuteOptions): Promise<{
-    result: ProofImpactResult;
-    rows: CoverageRowLike[];
-    text: string;
-}>;
-//# sourceMappingURL=impact.d.ts.map

package/dist/operations/proof/impact.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/impact.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,OAAO,EACL,KAAK,eAAe,EAEpB,KAAK,uBAAuB,EAC5B,gBAAgB,EAGjB,MAAM,oBAAoB,CAAC;AAG5B,eAAO,MAAM,uBAAuB,wBAAwB,CAAC;AAE7D,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,uBAAuB,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,OAAO,uBAAuB,CAAC;IAC1D,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,CAC9B,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,KACjB,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;AAE9B,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;IAC/C,QAAQ,CAAC,YAAY,CAAC,EAAE,CACtB,OAAO,EAAE,gBAAgB,KACtB,OAAO,CAAC;QAAE,iBAAiB,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CAC9C,CAAC;AAgDF,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,GACnB,MAAM,CAcR;AAGD,wBAAsB,qBAAqB,CACzC,aAAa,EAAE,MAAM,EACrB,iBAAiB,GAAE,iBAAyC,GAC3D,OAAO,CAAC,iBAAiB,CAAC,CAW5B;AAED;;;;GAIG;AAEH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,iBAAiB,GAC1B,iBAAiB,CAUnB;AAED,wGAAwG;AACxG,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,iBAAiB,GAAG,CAAC,CAEjE;AAGD,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,iBAAiB,EAC3B,QAAQ,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,GAC9D;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,eAAe,EAAE,CAAA;CAAE,CAuBxD;AAGD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,iBAAiB,EACzB,IAAI,EAAE,SAAS,eAAe,EAAE,GAC/B,MAAM,CAYR;AAGD,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,OAAO,GAAE,yBAA8B,GACtC,OAAO,CAAC;IACT,MAAM,EAAE,iBAAiB,CAAC;IAC1B,IAAI,EAAE,eAAe,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd,CAAC,CAmBD"}