kibi-cli 2.31.1 → 2.35.1

package/dist/cli-register-proof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-proof.d.ts","sourceRoot":"","sources":["../src/cli-register-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA2M3D;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAwBnE"}
+{"version":3,"file":"cli-register-proof.d.ts","sourceRoot":"","sources":["../src/cli-register-proof.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAIzC,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsO3D;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAwBnE"}

package/dist/cli-register-proof.js

@@ -9,6 +9,8 @@ export function registerProofCommand(program) {
         .option("--integration <ids>", "Prove only tests bound to these integrations (comma-separated)")
         .option("--integration-except <ids>", "With --all (or another selector), skip tests bound to these integrations (comma-separated)")
         .option("--all", "Prove every proof-bearing test in the knowledge base")
+        .option("--stale", "Prove only the selected tests (all by default) without a current passing receipt")
+        .option("--resume", "Skip integrations an interrupted run with the same selector already ingested at this snapshot")
         .action(withExitCode(async (options) => {
         const mode = [
             options.test ? "test" : undefined,
@@ -32,6 +34,8 @@ export function registerProofCommand(program) {
                 ? {}
                 : { integrationExcept: options.integrationExcept }),
             all: mode === 0,
+            ...(options.stale ? { stale: true } : {}),
+            ...(options.resume ? { resume: true } : {}),
         });
     }));
     const proof = program
@@ -58,6 +62,21 @@ export function registerProofCommand(program) {
         process.stdout.write(renderInspection(result));
         return undefined;
     }));
+    proof
+        .command("run-steps")
+        .description("Run the declared steps of the proof-bearing tests kibi prove selected and write a per-test report, so a command integration fails only the tests whose own steps failed (use as the integration's command)")
+        .argument("[steps-file]", "JSON array of {test_id, steps: [[argv...]]}", "proof/steps.json")
+        .option("--test <id...>", "Run these tests' steps (default: KIBI_PROOF_TEST_IDS, else every test in the file)")
+        .action(withExitCode(async (stepsFile, options) => {
+        const { runProofSteps } = await import("./proof/step-runner.js");
+        return {
+            exitCode: await runProofSteps({
+                workspaceRoot: process.env.KIBI_PROOF_WORKSPACE ?? process.cwd(),
+                stepsPath: stepsFile,
+                ...(options.test === undefined ? {} : { testIds: options.test }),
+            }),
+        };
+    }));
     proof
         .command("explain")
         .description("Project one requirement or symbol proof, labeling required_proofs, executable_for, and covered_by separately")
@@ -75,13 +94,6 @@ export function registerProofCommand(program) {
             json: options.json === true,
         });
     }));
-    proof
-        .command("impact")
-        .description("Compare current proof state to HEAD:proof/baseline.json")
-        .option("--json", "Emit structured JSON", false)
-        .action(withExitCode(async (options) => {
-        return await (await import("./commands/proof-impact.js")).proofImpactCommand({ json: options.json === true });
-    }));
     proof
         .command("prune")
         .description("Shrink each test's proof_receipts history to its newest entries (re-proving the same snapshot appends duplicates; prune removes the superseded ones)")

package/dist/cli-register-reporting.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA+QhE"}
+{"version":3,"file":"cli-register-reporting.d.ts","sourceRoot":"","sources":["../src/cli-register-reporting.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAYzC,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuRhE"}

package/dist/cli-register-reporting.js

@@ -43,6 +43,7 @@ export function registerReportingCommands(program) {
         .option("--open", "Open the generated report in the default browser", false)
         .option("--tag <tags>", "Comma-separated tag filter")
         .option("--limit <n>", "Maximum complete requirement rows (1-100000)", "10000")
+        .option("--certificates <file>", "Publish a kibi check --write-certificates bundle next to the report and link it")
         .action(async (options) => {
         await (await import("./commands/report.js")).reportCommand(options);
     });
@@ -120,6 +121,7 @@ export function registerReportingCommands(program) {
         .option("--min-links <n>", "Minimum number of links required for symbol coverage", "1")
         .option("--dry-run", "Do not modify files; only print what would happen")
         .option("--format <format>", "Output format: text|json", "text")
+        .option("--fresh-evidence", "evidence-floor judges receipts as they are (stale receipts fail) and needs a clean proof snapshot; run it after kibi prove")
         .option("--write-certificates <file>", "Also save the kibi.certificates.v1 bundle the kb-consistency rule re-checked")
         .option("--certificates <file>", "Only re-check a saved kibi.certificates.v1 bundle against the current KB with the independent checker")
         .action(withExitCode(async (options, command) => {

package/dist/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AASpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMtD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUrD;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,OAAO,CAIT;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAM7D;AAGD,wBAAgB,YAAY,IAAI,OAAO,CAiBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAe3C;AAED,wBAAsB,kBAAkB,CACtC,YAAY,UAAoD,EAChE,KAAK,cAAO,GACX,OAAO,CAAC,IAAI,CAAC,CAGf"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAsBA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAUpC,YAAY,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAMtD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUrD;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,SAAS,EAAE,MAAM,GAChB,OAAO,CAIT;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAM7D;AAGD,wBAAgB,YAAY,IAAI,OAAO,CAiBtC;AAGD,wBAAsB,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAqB3C;AAED,wBAAsB,kBAAkB,CACtC,YAAY,UAAoD,EAChE,KAAK,cAAO,GACX,OAAO,CAAC,IAAI,CAAC,CAGf"}

package/dist/cli.js

@@ -28,6 +28,7 @@ import { registerProofCommand } from "./cli-register-proof.js";
 import { registerReportingCommands } from "./cli-register-reporting.js";
 import { registerSkillsCommands } from "./cli-register-skills.js";
 import { bootstrapKibiEnvironment } from "./env/bootstrap.js";
+import { resolveWorkspaceCwd } from "./workspace-cwd.js";
 const packageJson = JSON.parse(readFileSync(new URL("../package.json", import.meta.url), "utf8"));
 export function packageVersion(value) {
     if (value !== null &&
@@ -65,10 +66,13 @@ export function buildProgram() {
 }
 // implements REQ-kibi-operation-interface-parity
 export async function main() {
+    const workspace = resolveWorkspaceCwd(process.argv, process.cwd(), process.env);
+    if (workspace.cwd !== process.cwd())
+        process.chdir(workspace.cwd);
     bootstrapKibiEnvironment();
     let exitCode = process.exitCode ?? 0;
     try {
-        await buildProgram().parseAsync(process.argv);
+        await buildProgram().parseAsync(workspace.argv);
         exitCode = process.exitCode ?? 0;
     }
     catch (error) {

package/dist/commands/check-generated.d.ts

@@ -1,4 +1,8 @@
-/** Compare generated artifacts for exactly one captured Git index tree. */
+/**
+ * Check the staged symbols manifest for exactly one captured Git index tree:
+ * it is in the canonical layout sync writes, and the derived coordinate
+ * artifact is not tracked.
+ */
 export declare function checkGeneratedManifests(options?: {
     changedOnly?: boolean;
 }): Promise<{

package/dist/commands/check-generated.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-generated.d.ts","sourceRoot":"","sources":["../../src/commands/check-generated.ts"],"names":[],"mappings":"AAgIA,2EAA2E;AAE3E,wBAAsB,uBAAuB,CAC3C,OAAO,GAAE;IACP,WAAW,CAAC,EAAE,OAAO,CAAC;CAClB,GACL,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAgK/B"}
+{"version":3,"file":"check-generated.d.ts","sourceRoot":"","sources":["../../src/commands/check-generated.ts"],"names":[],"mappings":"AAyHA;;;;GAIG;AAGH,wBAAsB,uBAAuB,CAC3C,OAAO,GAAE;IACP,WAAW,CAAC,EAAE,OAAO,CAAC;CAClB,GACL,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA8H/B"}

package/dist/commands/check-generated.js

@@ -3,13 +3,10 @@ import { existsSync, mkdirSync, mkdtempSync, readFileSync, rmSync, writeFileSync
 import { tmpdir } from "node:os";
 import * as path from "node:path";
 import { load as parseYAML } from "js-yaml";
-import { enrichSymbolCoordinates } from "../extractors/symbols-coordinator.js";
-import { createMaintenanceSourceAnalysisService, fingerprintMaintenanceSourceSet, readSnapshotSourceConfig, } from "../plugins/maintenance-source-analysis.js";
 import { captureStagedSnapshot } from "../traceability/git-change-snapshot.js";
-import { fingerprintImpactEvaluator } from "../traceability/impact-evaluator.js";
-import { createReviewedDecoratorCoordinateVerifier } from "../traceability/reviewed-coordinate-refresh.js";
+import { KB_PATHS } from "../utils/kb-paths.js";
 import { refreshManifestCoordinates } from "./sync/manifest.js";
-const MANIFESTS = [".kb/symbols.yaml", ".kb/symbol-coordinates.yaml"];
+const MANIFESTS = [KB_PATHS.symbolsManifest];
 const MAX_GIT_OUTPUT = 256 * 1024 * 1024;
 function git(args, input) {
     const result = spawnSync("git", args, {
@@ -97,8 +94,13 @@ function sourcePaths(symbols) {
     }
     return { paths: [...sources], symbolCount: parsed.symbols.length };
 }
-/** Compare generated artifacts for exactly one captured Git index tree. */
+/**
+ * Check the staged symbols manifest for exactly one captured Git index tree:
+ * it is in the canonical layout sync writes, and the derived coordinate
+ * artifact is not tracked.
+ */
 // implements REQ-cli-check
+// implements REQ-symbol-coordinates-derived-locally
 export async function checkGeneratedManifests(options = {}) {
     let snapshotDir;
     try {
@@ -116,16 +118,21 @@ export async function checkGeneratedManifests(options = {}) {
         const symbolsOid = blobs.get(MANIFESTS[0]);
         if (!symbolsOid)
             throw new Error("Staged .kb/symbols.yaml is missing or is not a regular file");
+        if (blobs.has(KB_PATHS.symbolCoordinates)) {
+            assertUnchanged();
+            console.error(`kibi: ${KB_PATHS.symbolCoordinates} is staged, but symbol coordinates are derived locally and never committed.`);
+            console.error(`Run kibi migrate (or git rm --cached ${KB_PATHS.symbolCoordinates} and add it to .gitignore), then commit again.`);
+            return { exitCode: 1 };
+        }
         const initial = readBlobs([symbolsOid]);
         const symbols = initial.get(symbolsOid);
         if (!symbols)
             throw new Error("Could not read staged .kb/symbols.yaml");
         const { paths: sources, symbolCount } = sourcePaths(symbols);
-        // Plain sync does not publish coordinate artifacts for a freshly
-        // initialized, empty symbols manifest. The first commit must remain usable.
+        // A freshly initialized, empty symbols manifest has nothing to normalize.
         if (symbolCount === 0) {
             assertUnchanged();
-            console.log("kibi: staged symbols manifest is empty; no coordinates to refresh.");
+            console.log("kibi: staged symbols manifest is empty; nothing to check.");
             return { exitCode: 0 };
         }
         const nonRegularEntries = [...nonRegularPaths];
@@ -134,13 +141,13 @@ export async function checkGeneratedManifests(options = {}) {
             throw new Error(`Staged symbol source is not a regular file: ${nonRegular}`);
         if (options.changedOnly) {
             const changed = new Set(snapshot.inventory.map((file) => file.path));
-            if (![...MANIFESTS, ...sources, "package.json"].some((file) => changed.has(file))) {
+            if (![...MANIFESTS, KB_PATHS.symbolCoordinates].some((file) => changed.has(file))) {
                 assertUnchanged();
-                console.log("kibi: no staged symbol sources or generated manifests changed.");
+                console.log("kibi: staged symbols manifest unchanged.");
                 return { exitCode: 0 };
             }
         }
-        const files = [...MANIFESTS, ...sources, "package.json"];
+        const files = [...MANIFESTS];
         const objectIds = [
             ...new Set(files
                 .map((file) => blobs.get(file))
@@ -159,28 +166,10 @@ export async function checkGeneratedManifests(options = {}) {
                 throw new Error(`Could not read staged blob for ${file}`);
             writeFileSync(target, bytes);
         }
-        const sourceAnalysisService = createMaintenanceSourceAnalysisService(process.cwd(), readSnapshotSourceConfig(snapshot));
-        let verifyReviewedCoordinates;
-        const verifyPythonDecoratorCoordinates = async (sourcePath, analysis) => {
-            if (verifyReviewedCoordinates === undefined) {
-                const trustedSourceConfig = readSnapshotSourceConfig(snapshot, snapshot.baseTree);
-                const trustedService = createMaintenanceSourceAnalysisService(process.cwd(), trustedSourceConfig);
-                verifyReviewedCoordinates = createReviewedDecoratorCoordinateVerifier(snapshot, trustedService, {
-                    providerSetFingerprint: fingerprintMaintenanceSourceSet(process.cwd(), trustedSourceConfig),
-                    evaluatorFingerprint: fingerprintImpactEvaluator(),
-                });
-            }
-            await verifyReviewedCoordinates(sourcePath, analysis);
-        };
-        await refreshManifestCoordinates(path.join(snapshotDir, MANIFESTS[0]), snapshotDir, {
-            refreshSymbolCoordinates: true,
-            quiet: true,
-            enrichSymbolCoordinates: (entries, root) => enrichSymbolCoordinates(entries, root, {
-                sourceAnalysisService,
-                allowPythonDecoratorCoordinates: true,
-                verifyPythonDecoratorCoordinates,
-            }),
-        });
+        // Normalize the staged manifest the way `kibi sync
+        // --refresh-symbol-coordinates` writes it. Coordinates are not compared:
+        // they are derived locally and never committed, so no extraction runs.
+        await refreshManifestCoordinates(path.join(snapshotDir, MANIFESTS[0]), snapshotDir, { quiet: true, enrichSymbolCoordinates: async (entries) => entries });
         const materializedRoot = snapshotDir;
         const drift = MANIFESTS.filter((file) => {
             const generatedPath = path.join(materializedRoot, file);
@@ -198,7 +187,7 @@ export async function checkGeneratedManifests(options = {}) {
         assertUnchanged();
         if (drift.length > 0) {
             console.error(`kibi: generated manifest drift in staged snapshot: ${drift.join(", ")}`);
-            console.error("Run kibi sync --refresh-symbol-coordinates, review the diff, then stage only the intended hunks with git add -p (or git add <path> when the whole file is intended).");
+            console.error("Run kibi sync --refresh-symbol-coordinates to rewrite the manifest in its canonical layout, review the diff, then stage only the intended hunks with git add -p (or git add <path> when the whole file is intended).");
             return { exitCode: 1 };
         }
         console.log("kibi: staged generated manifests are current.");

package/dist/commands/check.d.ts

@@ -9,6 +9,7 @@ export interface CheckOptions {
     minLinks?: string | number;
     dryRun?: boolean;
     format?: "text" | "json";
+    freshEvidence?: boolean;
 }
 export declare function requireActiveProlog<E, P>(engine: E | null | undefined, prolog: P | null | undefined): NonNullable<E | P>;
 export declare function checkCommand(options: CheckOptions): Promise<{

package/dist/commands/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAqCA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAqF7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1B;AA6hBD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EACtC,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5B,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,GAC3B,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAMpB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CA6rB/B;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAoDtB;AAID,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAkEtB;AAID,wBAAsB,aAAa,CACjC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAmGtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC,CAyCtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/commands/check.ts"],"names":[],"mappings":"AAqCA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAsF7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAE3D,YAAY,EAAE,SAAS,EAAE,CAAC;AAE1B,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,OAAO,CAAC;CACzB;AA6hBD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EACtC,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,EAC5B,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,SAAS,GAC3B,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAMpB;AAGD,wBAAsB,YAAY,CAChC,OAAO,EAAE,YAAY,GACpB,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAqsB/B;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAoDtB;AAID,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,MAAM,EAAE,CAAC,CAgBnB;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,aAAa,EACrB,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,MAAM,EAAE,CAAC,CAiBnB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAkEtB;AAID,wBAAsB,aAAa,CACjC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAmGtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,EACrB,YAAY,EAAE,MAAM,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC,CAyCtB;AAED,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAgDtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CA0BtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB;AAED,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,aAAa,GACpB,OAAO,CAAC,SAAS,EAAE,CAAC,CAqBtB"}

package/dist/commands/check.js

@@ -25,7 +25,8 @@ import { PrologProcess } from "../prolog.js";
 import { escapeAtom, normalizeEntityId, parseTriples, parseViolationRows, } from "../prolog/codec.js";
 import { createSemanticReviewDiagnostics, createSymbolGranularityDiagnostics, createSymbolQualityDiagnostics, hasBlockingImpactDiagnostics, } from "../public/impact-diagnostics.js";
 import { executeCheck } from "../public/operations/check-executor.js";
-import { nodeGit } from "../public/operations/node-ports.js";
+import { EVIDENCE_FLOOR_RULE } from "../public/operations/evidence-floor.js";
+import { nodeFilesystem, nodeGit } from "../public/operations/node-ports.js";
 import { refreshDetachedSnapshot } from "../runtime/detached-snapshot.js";
 import { amendsRootCommit } from "../traceability/commit-amend.js";
 import { KIBI_NO_IMPACT_DECLARATION, KIBI_SYMBOLS_MANIFEST_PATH, KIBI_SYMBOL_COORDINATES_PATH, } from "../traceability/evidence-model.js";
@@ -927,13 +928,18 @@ export async function checkCommand(options) {
             ?.split(",")
             .map((rule) => rule.trim())
             .filter((rule) => rule.length > 0);
-        const result = await executeCheck(rules === undefined ? {} : { rules }, {
+        const result = await executeCheck({
+            ...(rules === undefined ? {} : { rules }),
+            ...(options.freshEvidence === true ? { freshEvidence: true } : {}),
+        }, {
             workspaceRoot: process.cwd(),
             signal: new AbortController().signal,
             clock: () => new Date(),
-            // The workspace snapshot lets quality diagnostics read the same
-            // proof receipt evidence as kibi coverage.
+            // The workspace snapshot lets quality diagnostics and evidence-floor
+            // read the same proof receipt evidence as kibi coverage, with the
+            // same per-contract receipt binding.
             git: nodeGit,
+            fs: nodeFilesystem,
             prolog: {
                 query: (goal) => activeProlog.query(goal),
                 ...(activeProlog instanceof EngineClient
@@ -975,7 +981,10 @@ export async function checkCommand(options) {
                 console.log(`  Source: ${v.source}`);
             }
             console.log(`  ${v.description}`);
-            if (options.fix && v.suggestion) {
+            // An evidence-floor finding names no fix in its description; its
+            // suggestion carries the proof gaps and the tests and symbols behind
+            // them, so it is always shown.
+            if (v.suggestion && (options.fix || v.rule === EVIDENCE_FLOOR_RULE)) {
                 console.log(`  Suggestion: ${v.suggestion}`);
             }
             console.log();

package/dist/commands/discovery-table.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CA+ER"}
+{"version":3,"file":"discovery-table.d.ts","sourceRoot":"","sources":["../../src/commands/discovery-table.ts"],"names":[],"mappings":"AAIA,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAmCvE;AA4ED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,MAAM,CAyGR"}

package/dist/commands/discovery-table.js

@@ -89,8 +89,30 @@ export function renderCoverageTable(payload) {
         colWidths: [24, 16],
         wordWrap: true,
     });
-    for (const [key, value] of Object.entries(summary)) {
-        summaryTable.push([key, summaryCell(value)]);
+    // Traceability counts (scenario/test links) and proof counts (receipt
+    // evidence) use similar names, e.g. notApplicable vs proofNotApplicable:
+    // group them so the two families read apart.
+    // Link coverage judges only priority: must requirements; say so in the
+    // heading rather than as a row.
+    const mustOnly = summary.linkCoverageScope === "priority_must";
+    const entries = Object.entries(summary).filter(([key]) => key !== "linkCoverageScope");
+    const isProofKey = (key) => key.startsWith("proof") ||
+        key === "evidenceLevels" ||
+        key === "evidenceFloors";
+    const groups = [
+        [
+            mustOnly ? "Links (priority: must)" : "Traceability (links)",
+            entries.filter(([key]) => !isProofKey(key)),
+        ],
+        ["Proof (evidence)", entries.filter(([key]) => isProofKey(key))],
+    ];
+    const grouped = groups.every(([, members]) => members.length > 0);
+    for (const [label, members] of groups) {
+        if (grouped)
+            summaryTable.push([label, ""]);
+        for (const [key, value] of members) {
+            summaryTable.push([grouped ? `  ${key}` : key, summaryCell(value)]);
+        }
     }
     const firstRow = firstFields(rows);
     const isRequirementCoverage = firstRow !== undefined && Object.hasOwn(firstRow, "scenarioCount");
@@ -104,13 +126,14 @@ export function renderCoverageTable(payload) {
                 "Depth",
                 "Proof",
                 "Evidence",
+                "Floor",
                 "Scen",
                 "Tests",
                 "Symbols",
                 "Structural gaps",
                 "Proof gaps",
             ],
-            colWidths: [20, 12, 12, 18, 36, 12, 12, 8, 8, 10, 24, 36],
+            colWidths: [20, 12, 12, 18, 36, 12, 12, 12, 8, 8, 10, 24, 36],
             wordWrap: true,
         })
         : new Table({
@@ -128,7 +151,8 @@ export function renderCoverageTable(payload) {
                 stringifyCell(item.coverageStatus),
                 stringifyCell(item.coverageDepth),
                 stringifyCell(item.proofStatus),
-                stringifyCell(item.evidenceLevel),
+                evidenceCell(item),
+                floorCell(item),
                 stringifyCell(item.scenarioCount),
                 stringifyCell(item.testCount),
                 stringifyCell(item.transitiveSymbolCount),
@@ -290,6 +314,29 @@ function stringifyCell(value) {
     }
     return String(value);
 }
+// implements REQ-kibi-claim-bound-proofs
+// The evidence level, with how many applicable claims a certificate proves.
+function evidenceCell(item) {
+    const level = stringifyCell(item.evidenceLevel);
+    const summary = item.claimSummary;
+    if (summary === null || typeof summary !== "object")
+        return level;
+    const { applicable, proved } = summary;
+    if (typeof applicable !== "number" || applicable === 0)
+        return level;
+    return `${level}\n${typeof proved === "number" ? proved : 0}/${applicable} claims proved`;
+}
+// implements REQ-kibi-evidence-floors
+// The evidence floor and whether the level reaches it; empty without a floor.
+function floorCell(item) {
+    const floor = item.evidenceFloor;
+    if (floor === null || typeof floor !== "object")
+        return "";
+    const { required, status } = floor;
+    if (typeof required !== "string" || required === "unverified")
+        return "";
+    return `${required} ${typeof status === "string" ? status.replaceAll("_", " ") : ""}`.trim();
+}
 // A nested summary count, such as evidenceLevels, reads as key=value pairs.
 function summaryCell(value) {
     if (value !== null && typeof value === "object" && !Array.isArray(value)) {

package/dist/commands/doctor.js

@@ -30,7 +30,7 @@ import { branchStoreCompilation, inspectBranchStore, storeLockTakeoverReason, un
 import { LEGACY_KB_MIGRATION_COMMAND, LEGACY_KB_MIGRATION_NOTE, } from "../utils/config.js";
 import { resolveGitRepository, } from "../utils/git-repository-context.js";
 import { readKbManifestStatus } from "../utils/kb-manifest.js";
-import { MERGE_DRIVER_SETUP, manifestMergeDriverGaps, } from "../utils/merge-driver-setup.js";
+import { manifestMergeDriverGaps, mergeDriverSetup, } from "../utils/merge-driver-setup.js";
 import { LATEST_KB_SCHEMA_VERSION } from "../utils/schema-version.js";
 import { KIBI_HOOK_BEGIN, hasManagedHooks, outdatedManagedHooks, } from "./init-helpers.js";
 import { planLegacyStorageMigration } from "./legacy-storage-migration.js";
@@ -447,14 +447,21 @@ function checkCapabilityPlugins() {
             ...new Set((config.plugins ?? []).map((plugin) => plugin.package)),
         ];
         const missingSecrets = [];
+        // Secrets whose plugin only augments a builtin provider: without them the
+        // plugin is skipped and the builtin keeps working, so doctor warns.
+        const optionalMissingSecrets = [];
         const legacySecrets = [];
         for (const packageName of packages) {
             const secrets = FIRST_PARTY_PLUGIN_SECRETS[packageName] ?? [];
             for (const secret of secrets) {
                 const source = formatSecretSourcePart(secret, bootstrap);
                 parts.push(`${secret}=${source}`);
-                if (source === "missing")
-                    missingSecrets.push(secret);
+                if (source === "missing") {
+                    const augmentOnly = rows
+                        .filter((row) => row.package === packageName)
+                        .every((row) => row.mode === "augment");
+                    (augmentOnly ? optionalMissingSecrets : missingSecrets).push(secret);
+                }
                 if (source === "legacy_env")
                     legacySecrets.push(secret);
             }
@@ -473,6 +480,14 @@ function checkCapabilityPlugins() {
                     : `Set missing plugin secret(s) (${missingSecrets.join(", ")}) in ~/.config/kibi/env or <workspace>/.env.kibi, then restart long-running Kibi MCP/host processes.`,
             };
         }
+        if (optionalMissingSecrets.length > 0) {
+            return {
+                passed: true,
+                warning: true,
+                message,
+                remediation: `${optionalMissingSecrets.join(", ")} is not set, so the augment-mode plugin is skipped and builtin providers answer alone. Set it in ~/.config/kibi/env or <workspace>/.env.kibi to enable the plugin, then restart long-running Kibi MCP/host processes.`,
+            };
+        }
         if (legacySecrets.length > 0) {
             return {
                 passed: true,
@@ -709,7 +724,7 @@ function checkManifestMergeDriver() {
         passed: true,
         warning: true,
         message: `Not configured: ${gaps.join("; ")}. Merges of .kb/symbols.yaml fall back to line conflicts.`,
-        remediation: MERGE_DRIVER_SETUP,
+        remediation: mergeDriverSetup(process.cwd()),
     };
 }
 /**

package/dist/commands/init-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AA6IA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CA0BN;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CA+BpD;AAkDD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAU3D;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED,eAAO,MAAM,eAAe,yBAAyB,CAAC;AAOtD,MAAM,MAAM,iBAAiB,GACzB,WAAW,GACX,SAAS,GACT,iBAAiB,GACjB,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,wEAKrB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAGlE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAEzE;AAED;;;;;;GAMG;AAEH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,CAqBnE;AAkBD,wBAAgB,WAAW,CACzB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,iBAAiB,CAwEnB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,iBAAiB,CAAC;CAC3B;AAiBD;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAU/D;AAED,wEAAwE;AAExE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAQzD;AAED,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE;IAAE,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAChD,oBAAoB,EAAE,CA8CxB"}
+{"version":3,"file":"init-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/init-helpers.ts"],"names":[],"mappings":"AA8IA,wBAAsB,gBAAgB,CACpC,GAAG,GAAE,MAAsB,GAC1B,OAAO,CAAC,MAAM,CAAC,CASjB;AAED,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,MAAM,EACb,aAAa,EAAE,MAAM,GACpB,IAAI,CA0BN;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAGtD;AAED,uFAAuF;AACvF,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAgCpD;AAmDD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAU3D;AAED,wBAAsB,eAAe,CACnC,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,MAAM,GACtB,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED,eAAO,MAAM,eAAe,yBAAyB,CAAC;AAOtD,MAAM,MAAM,iBAAiB,GACzB,WAAW,GACX,SAAS,GACT,iBAAiB,GACjB,iBAAiB,GACjB,qBAAqB,CAAC;AAE1B,wDAAwD;AACxD,eAAO,MAAM,kBAAkB,wEAKrB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAGlE,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAEzE;AAED;;;;;;GAMG;AAEH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,CAqBnE;AAkBD,wBAAgB,WAAW,CACzB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GACd,iBAAiB,CAwEnB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,iBAAiB,CAAC;CAC3B;AAiBD;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAU/D;AAED,wEAAwE;AAExE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAQzD;AAED,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE;IAAE,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAChD,oBAAoB,EAAE,CA8CxB"}

package/dist/commands/init-helpers.js

@@ -104,10 +104,11 @@ const PRE_COMMIT_HOOK = `#!/bin/sh
 # Hard enforcement boundary: commits are blocked only here via kibi check.
 # The OpenCode plugin remains advisory and must not replace this gate.
 # Behavior-changing source edits require staged Kibi impact evidence
-# (KB entity docs under .kb/, authored symbols metadata, or refreshed
-# symbol coordinates). Test-only and docs-only edits are exempt.
-# Generated manifests are checked against the exact staged snapshot before
-# traceability validation. The check never stages files on the user's behalf.
+# (KB entity docs under .kb/, or authored symbols metadata covering every
+# staged declaration). Test-only and docs-only edits are exempt.
+# The symbols manifest is checked against the exact staged snapshot before
+# traceability validation; symbol coordinates are derived locally and never
+# committed. The check never stages files on the user's behalf.
 
 set -e
 
@@ -172,7 +173,8 @@ export function updateGitIgnore(cwd) {
     // Derived runtime state stays ignored. Authored knowledge lanes, the
     // symbols manifest, relationship shards, schema, and the lifecycle
     // manifest stay committable. `.kb/migrations/` is derived runtime
-    // audit state, not tracked project knowledge.
+    // audit state and `.kb/symbol-coordinates.yaml` is derived from source
+    // by every sync; neither is tracked project knowledge.
     let updatedContent = stripLegacyKibiGitIgnoreStanza(gitignoreContent);
     for (const entry of CANONICAL_DERIVED_GITIGNORE_ENTRIES) {
         updatedContent = ensureEntry(updatedContent, entry);
@@ -191,6 +193,7 @@ const CANONICAL_DERIVED_GITIGNORE_ENTRIES = [
     ".kb/proof/runs/",
     ".kb/briefs/",
     ".kb/migrations/",
+    ".kb/symbol-coordinates.yaml",
     ".kb/usage.log",
     ".env.kibi",
 ];

package/dist/commands/migrate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AA+DA,OAAO,KAAK,EACV,eAAe,EAGhB,MAAM,wCAAwC,CAAC;AAwBhD,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,SAAS,GAAG,WAAW,GAAG,gBAAgB,GAAG,IAAI,CAAC;IAC3E,MAAM,EAAE,SAAS,CAAC;IAClB,4BAA4B,EAAE,MAAM,CAAC;IACrC,8EAA8E;IAC9E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,4BAA4B,EAAE,MAAM,CAAC;IACrC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4FAA4F;IAC5F,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wHAAwH;IACxH,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,0EAA0E;IAC1E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAgJD,wBAAgB,mBAAmB,CACjC,gBAAgB,EAAE,OAAO,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,MAAM,CAUR;AAwXD,wBAAgB,+BAA+B,IAAI;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKtE;AAGD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAsd9D;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AA0XD;;;;;GAKG;AAEH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GACpC,OAAO,CAOT"}
+{"version":3,"file":"migrate.d.ts","sourceRoot":"","sources":["../../src/commands/migrate.ts"],"names":[],"mappings":"AAmEA,OAAO,KAAK,EACV,eAAe,EAGhB,MAAM,wCAAwC,CAAC;AAwBhD,UAAU,cAAc;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC1B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,uFAAuF;IACvF,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qFAAqF;IACrF,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,uBAAuB,EAAE,SAAS,GAAG,WAAW,GAAG,gBAAgB,GAAG,IAAI,CAAC;IAC3E,MAAM,EAAE,SAAS,CAAC;IAClB,4BAA4B,EAAE,MAAM,CAAC;IACrC,8EAA8E;IAC9E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,8DAA8D;IAC9D,4BAA4B,EAAE,MAAM,CAAC;IACrC,sEAAsE;IACtE,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4FAA4F;IAC5F,kBAAkB,EAAE,MAAM,CAAC;IAC3B,wHAAwH;IACxH,oBAAoB,EAAE,MAAM,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,oEAAoE;IACpE,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,oBAAoB,CAAC;IAC5B,0EAA0E;IAC1E,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAqLD,wBAAgB,mBAAmB,CACjC,gBAAgB,EAAE,OAAO,EACzB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB,MAAM,CAUR;AAwXD,wBAAgB,+BAA+B,IAAI;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAKtE;AAGD,wBAAsB,cAAc,CAClC,OAAO,GAAE,cAAmB,GAC3B,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAgkB9D;AAED;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAGzE;AA8YD;;;;;GAKG;AAEH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GACpC,OAAO,CAOT"}