kibi-cli 2.31.1 → 2.35.1

package/dist/commands/migrate.js

@@ -21,6 +21,7 @@ import { countByType } from "../operations/migration/entity-body-context.js";
 import { applyEntityTypeBackfill, planEntityTypeBackfill, } from "../operations/migration/entity-type.js";
 import { applySafeInventoryRederivations, planInventoryRederivation, } from "../operations/migration/inventory-rederive.js";
 import { applyOriginBackfill, planOriginBackfill, } from "../operations/migration/origin-backfill.js";
+import { claimReviewInstruction, } from "../operations/migration/proof-contract-claims.js";
 import { applyDeliveredStatusMappings, planRequirementStatusMappings, } from "../operations/migration/requirement-status.js";
 import { applySourcePathRepairs, findSourceRepairs, } from "../operations/migration/source-paths.js";
 import { applySupersededClosures, planSupersededClosures, } from "../operations/migration/superseded-closure.js";
@@ -28,8 +29,8 @@ import { coordinateRefreshFailureMessage, readGeneratedManifestBytes, refreshCoo
 import { applySymbolLegacyLinks, planSymbolLegacyLinks, } from "../operations/migration/symbol-legacy-links.js";
 import { resolveBranchAttachment } from "../utils/branch-resolver.js";
 import { defaultKbManifest, readKbManifest, readKbManifestStatus, writeKbManifest, } from "../utils/kb-manifest.js";
-import { CANONICAL_ENTITY_PATHS } from "../utils/kb-paths.js";
-import { MERGE_DRIVER_SETUP, manifestMergeDriverGaps, } from "../utils/merge-driver-setup.js";
+import { CANONICAL_ENTITY_PATHS, KB_PATHS } from "../utils/kb-paths.js";
+import { manifestMergeDriverGaps, mergeDriverSetup, } from "../utils/merge-driver-setup.js";
 import { LATEST_KB_SCHEMA_VERSION, getSchemaVersionStatus, normalizeSchemaVersion, } from "../utils/schema-version.js";
 import { updateGitIgnore } from "./init-helpers.js";
 import { applyLegacyStorageMigration, planLegacyStorageMigration, } from "./legacy-storage-migration.js";
@@ -95,6 +96,24 @@ const SCHEMA_MIGRATION_STEPS = [
         to: 10,
         description: "Read a requirement or ADR without firmness as firm unless an agent wrote it, and acknowledge in the manifest the supersedes of such decisions recorded before; no source file is rewritten and no firmness is written.",
     },
+    {
+        id: "evidence-floor-v11",
+        from: 10,
+        to: 11,
+        description: "Check every current requirement's evidence level against its floor (required_evidence, else tested when firm), and record required_evidence: asserted on current firm requirements that have no scenario verified by a test with a proof contract; front matter only.",
+    },
+    {
+        id: "claim-bound-proofs-v12",
+        from: 11,
+        to: 12,
+        description: "Require every certificate-kind proof contract to name the requirement claims it proves, and pin proves on contracts whose test reaches exactly one claim the proof kind can derive an obligation for; front matter only. Other contracts are listed for a person to bind.",
+    },
+    {
+        id: "derived-symbol-coordinates-v13",
+        from: 12,
+        to: 13,
+        description: "Derive symbol coordinates on every sync instead of committing them: add .kb/symbol-coordinates.yaml to .gitignore and remove it from the Git index (the local file stays).",
+    },
 ];
 function migrationStepsFor(fromVersion) {
     const start = Math.max(0, fromVersion ?? 0);
@@ -103,6 +122,15 @@ function migrationStepsFor(fromVersion) {
 function printWarning(message) {
     console.log(`Warning: ${message}`);
 }
+function printClaimBindingReview(plan, noStore, dryRun) {
+    const prefix = dryRun ? "dry run: " : "";
+    if (noStore)
+        console.log(`${prefix}no synced store could be read, so no proof_contract.proves was pinned; run kibi sync and rerun kibi migrate, or add proves by hand where kibi check --rules proof-contract-claims reports a contract.`);
+    for (const row of plan.review)
+        console.log(`${prefix}${claimReviewInstruction(row)}`);
+    for (const skip of plan.skipped)
+        printWarning(`Cannot pin proves on ${skip.path}: ${skip.reason}.`);
+}
 function toRelativePath(cwd, filePath) {
     const relativePath = path.relative(cwd, filePath);
     return relativePath.length > 0 ? relativePath : path.basename(filePath);
@@ -201,7 +229,7 @@ function markLegacySymbolLinks(cwd, dryRun, manifestPath) {
 async function refreshMigratedSymbolCoordinates(cwd, before) {
     const refresh = await refreshCoordinatesAfterMigration(cwd, before);
     if (refresh.outcome === "refreshed")
-        console.log("Refreshed generated symbol coordinates for the migrated .kb/symbols.yaml; stage .kb/symbols.yaml and .kb/symbol-coordinates.yaml with the migration.");
+        console.log("Refreshed generated symbol coordinates for the migrated .kb/symbols.yaml; stage .kb/symbols.yaml with the migration.");
     else if (refresh.outcome === "failed")
         printWarning(coordinateRefreshFailureMessage(refresh.reason));
 }
@@ -540,6 +568,18 @@ export async function migrateCommand(options = {}) {
     const bodyContextStep = migrationSteps.some((step) => step.id === "entity-body-context-v8");
     const decisionFirmnessStep = migrationSteps.some((step) => step.id === "decision-firmness-v9");
     const firmnessFromOriginStep = migrationSteps.some((step) => step.id === "firmness-from-origin-v10");
+    const evidenceFloorStep = migrationSteps.some((step) => step.id === "evidence-floor-v11");
+    const { applyEvidenceFloorPins, planEvidenceFloorPins, readLadderFloorVerdicts, } = await import("../operations/migration/evidence-floor.js");
+    // Read before any source rewrite: the store still holds the KB as it was,
+    // and the floors are judged by the same ladder kibi check applies.
+    const ladderFloors = evidenceFloorStep
+        ? await readLadderFloorVerdicts(cwd)
+        : null;
+    const claimBindingStep = migrationSteps.some((step) => step.id === "claim-bound-proofs-v12");
+    const { applyProofContractClaimPins, planProofContractClaimPins, readProofContractClaimCandidates, } = await import("../operations/migration/proof-contract-claims.js");
+    const claimCandidates = claimBindingStep
+        ? await readProofContractClaimCandidates(cwd)
+        : null;
     const { mergeSupersedesAcknowledgements, planSupersedesReasonAcknowledgement, } = await import("../operations/migration/supersedes-reason.js");
     const { mergeFirmSupersedeAcknowledgements, planFirmSupersedeAcknowledgement, } = await import("../operations/migration/firm-supersede.js");
     const { acknowledgedContextIds, applyContextMissingTags, applySemanticTextPins, countByType, planContextMissingTags, planSemanticTextPins, } = await import("../operations/migration/entity-body-context.js");
@@ -568,6 +608,28 @@ export async function migrateCommand(options = {}) {
             if (firmEdges.length > 0)
                 console.log(`dry run: would acknowledge ${firmEdges.length} supersede(s) of decisions that read as firm from schema 10 (manifest only; no firmness is written).`);
         }
+        if (evidenceFloorStep) {
+            const floors = planEvidenceFloorPins(cwd, ladderFloors);
+            if (floors.targets.length > 0)
+                console.log(`dry run: would record required_evidence: asserted on ${floors.targets.length} current firm requirement(s) whose evidence is below tested (front matter only).`);
+            if (floors.kept.length > 0)
+                console.log(floors.decidedBy === "ladder"
+                    ? `dry run: ${floors.kept.length} firm requirement(s) keep the tested floor (${floors.kept.join(", ")}); the evidence ladder on the synced store accepts each, or needs only kibi prove re-run.`
+                    : `dry run: ${floors.kept.length} firm requirement(s) keep the tested floor (${floors.kept.join(", ")}) because their latest end-to-end receipt passed; no synced store could be read, so other proof gaps were not judged. Run kibi sync and rerun the dry run for the ladder's verdict.`);
+            for (const skip of floors.skipped)
+                printWarning(`Cannot edit ${skip.path}: ${skip.reason}.`);
+        }
+        if (claimBindingStep) {
+            const claims = planProofContractClaimPins(cwd, claimCandidates);
+            if (claims.targets.length > 0)
+                console.log(`dry run: would pin proof_contract.proves on ${claims.targets.length} certificate test(s) whose test reaches exactly one provable claim (${claims.targets.map((target) => target.id).join(", ")}); front matter only.`);
+            printClaimBindingReview(claims, claimCandidates === null, true);
+        }
+        if (migrationSteps.some((step) => step.id === "derived-symbol-coordinates-v13")) {
+            const { isCoordinateArtifactTracked } = await import("../operations/migration/untrack-symbol-coordinates.js");
+            if (isCoordinateArtifactTracked(cwd) === true)
+                console.log(`dry run: would remove ${KB_PATHS.symbolCoordinates} from the Git index and gitignore it; sync derives symbol coordinates from schema 13.`);
+        }
         if (storagePlan.moves.length > 0) {
             console.log(`dry run: would move ${storagePlan.moves.length} legacy knowledge file(s) into .kb/:`);
             for (const move of storagePlan.moves) {
@@ -655,6 +717,15 @@ export async function migrateCommand(options = {}) {
     const firmSupersedes = firmnessFromOriginStep
         ? planFirmSupersedeAcknowledgement(cwd)
         : [];
+    const evidenceFloorPlan = evidenceFloorStep
+        ? planEvidenceFloorPins(cwd, ladderFloors)
+        : null;
+    const evidenceFloorsPinned = evidenceFloorStep
+        ? applyEvidenceFloorPins(cwd, ladderFloors)
+        : 0;
+    const claimPins = claimBindingStep
+        ? applyProofContractClaimPins(cwd, claimCandidates)
+        : null;
     const existingManifest = readKbManifest(cwd) ?? defaultKbManifest();
     writeKbManifest(cwd, {
         ...existingManifest,
@@ -685,6 +756,19 @@ export async function migrateCommand(options = {}) {
         console.log(`Acknowledged ${supersedesUnexplained.length} supersede(s) recorded without a 'Why this changed' section; new supersedes must explain themselves.`);
     if (firmSupersedes.length > 0)
         console.log(`Acknowledged ${firmSupersedes.length} supersede(s) of decisions without firmness that read as firm from schema 10; a new replacement of such a decision must be firm.`);
+    if (evidenceFloorsPinned > 0)
+        console.log(`Recorded required_evidence: asserted on ${evidenceFloorsPinned} current firm requirement(s) whose evidence is below tested; raise it to tested once the requirement has an end-to-end proof.`);
+    if ((evidenceFloorPlan?.kept.length ?? 0) > 0)
+        console.log(evidenceFloorPlan?.decidedBy === "ladder"
+            ? `${evidenceFloorPlan?.kept.length} firm requirement(s) keep the tested floor; the evidence ladder accepts each, or needs only kibi prove re-run (kibi check --fresh-evidence lists those).`
+            : `${evidenceFloorPlan?.kept.length} firm requirement(s) keep the tested floor because their latest end-to-end receipt passed; no synced store could be read, so run kibi sync and kibi check --rules evidence-floor to list any whose proof has other gaps (kibi proof explain <id> names them).`);
+    for (const skip of evidenceFloorPlan?.skipped ?? [])
+        printWarning(`Cannot record required_evidence on ${skip.path}: ${skip.reason}.`);
+    if (claimPins !== null) {
+        if (claimPins.targets.length > 0)
+            console.log(`Pinned proof_contract.proves on ${claimPins.targets.length} certificate test(s) (${claimPins.targets.map((target) => target.id).join(", ")}); run kibi prove for them so their receipts bind the claim.`);
+        printClaimBindingReview(claimPins, claimCandidates === null, false);
+    }
     await refreshMigratedSymbolCoordinates(cwd, generatedManifestsBefore);
     const auditRecord = buildMigrationAuditRecord({
         branch,
@@ -722,9 +806,17 @@ export async function migrateCommand(options = {}) {
         console.log("Migration complete. Future 'kibi migrate' runs will be a no-op.");
     const mergeDriverGaps = manifestMergeDriverGaps(cwd);
     if (mergeDriverGaps !== null && mergeDriverGaps.length > 0) {
-        console.log(`Tip: kibi merge-driver resolves .kb/symbols.yaml merges by record id, but it is not wired up (${mergeDriverGaps.join("; ")}). ${MERGE_DRIVER_SETUP}`);
+        console.log(`Tip: kibi merge-driver resolves .kb/symbols.yaml merges by record id, but it is not wired up (${mergeDriverGaps.join("; ")}). ${mergeDriverSetup(cwd)}`);
     }
     const gitignoreUpdated = updateGitIgnore(cwd);
+    if (migrationSteps.some((step) => step.id === "derived-symbol-coordinates-v13")) {
+        const { untrackCoordinateArtifact } = await import("../operations/migration/untrack-symbol-coordinates.js");
+        const untrack = untrackCoordinateArtifact(cwd);
+        if (untrack.outcome === "untracked")
+            console.log(`Removed ${KB_PATHS.symbolCoordinates} from the Git index (the local file stays); commit the removal with the migration. Sync derives symbol coordinates from now on.`);
+        else if (untrack.outcome === "failed")
+            printWarning(`Could not remove ${KB_PATHS.symbolCoordinates} from the Git index (${untrack.reason}); run git rm --cached ${KB_PATHS.symbolCoordinates} before the next commit.`);
+    }
     return {
         exitCode: 0,
         summary: {
@@ -770,9 +862,21 @@ async function buildWorkspaceMigrationPlan(workspaceRoot = process.cwd()) {
     const currentSchemaVersion = status?.schemaStatus?.currentVersion ??
         readKbManifest(workspaceRoot)?.schemaVersion ??
         null;
+    const { EVIDENCE_FLOOR_SCHEMA_VERSION } = await import("../public/operations/evidence-floor.js");
+    const { readLadderFloorVerdicts } = await import("../operations/migration/evidence-floor.js");
+    const { CLAIM_BINDING_SCHEMA_VERSION } = await import("../public/operations/proof-contract-claims.js");
+    const { readProofContractClaimCandidates } = await import("../operations/migration/proof-contract-claims.js");
     const fragment = buildSchema6MigrationFragment({
         workspaceRoot,
         currentSchemaVersion,
+        ladderFloors: currentSchemaVersion === null ||
+            currentSchemaVersion < EVIDENCE_FLOOR_SCHEMA_VERSION
+            ? await readLadderFloorVerdicts(workspaceRoot)
+            : null,
+        claimCandidates: currentSchemaVersion === null ||
+            currentSchemaVersion < CLAIM_BINDING_SCHEMA_VERSION
+            ? await readProofContractClaimCandidates(workspaceRoot)
+            : null,
     });
     const fragmentActions = [...fragment.actions];
     const statusActions = status?.migrationPlan?.actions ?? [];
@@ -944,7 +1048,7 @@ function printApplySummary(content) {
     }
     const remaining = result.remainingPlan;
     if (remaining !== undefined) {
-        const ready = remaining.automaticActions.filter((action) => action.state === "ready" && action.autoApplicable).length;
+        const ready = remaining.automaticSummary.ready;
         console.log(`Remaining plan ${remaining.planHash}: ${remaining.status}; actions: ${remaining.summary.actionCount}; automatic-ready: ${ready}`);
     }
     console.log("Run 'kibi migrate' for the remaining actions, or add --format json for the full result.");

package/dist/commands/prove.d.ts

@@ -1,7 +1,7 @@
 import { executeIngestProof } from "../operations/proof/ingest-proof.js";
 import { type ProofRunAttribution } from "../proof/command-test-report.js";
 import type { ProofIntegration } from "../proof/integrations.js";
-import type { OperationRuntime } from "../public/operations/runtime-types.js";
+import type { OperationContext, OperationRuntime } from "../public/operations/runtime-types.js";
 import { readWorkspaceSnapshot } from "../public/operations/workspace-snapshot.js";
 import { type ProofRunArtifact } from "../public/proof-protocol.js";
 export type ProveCommandOptions = Readonly<{
@@ -10,6 +10,10 @@ export type ProveCommandOptions = Readonly<{
     integration?: string;
     integrationExcept?: string;
     all?: boolean;
+    /** Keep only selected tests without a current passing receipt. */
+    stale?: boolean;
+    /** Skip integrations an interrupted run already ingested at this snapshot. */
+    resume?: boolean;
     workspaceRoot?: string;
 }>;
 export type ProveCommandDependencies = Readonly<{
@@ -31,10 +35,53 @@ export declare function describeWorkspaceDrift(snapshot: Awaited<ReturnType<type
  */
 export declare function parseIntegrationSelector(value: string | undefined, flagName: string): Set<string>;
 export declare function testId(test: SelectedTest): string;
+/** Run a proof integration's command and resolve with its exit code. */
+export declare function runChild(commandArgv: readonly string[], cwd: string, env: NodeJS.ProcessEnv): Promise<number>;
 export declare function commandEnvironment(integration: ProofIntegration, commandArgv: readonly string[], snapshot: string, workspaceRoot: string, testIds: readonly string[], outputPath: string): NodeJS.ProcessEnv;
+/** Where `kibi prove` records which integrations it has ingested. */
+export declare const PROVE_PROGRESS_FILE = "prove-progress.json";
+type ProveProgress = {
+    version: "kibi.prove-progress.v1";
+    snapshot: string;
+    /** Integration id to the test ids whose receipts it wrote. */
+    ingested: Record<string, string[]>;
+};
+/** Read the progress file; anything unreadable counts as no progress. */
+export declare function readProveProgress(runsDir: string): Promise<ProveProgress | null>;
+/**
+ * Integrations a resumed run can skip: ingested at the same snapshot, for
+ * every test this run selects for them.
+ */
+export declare function resumableIntegrations(progress: ProveProgress | null, snapshot: string, groups: ReadonlyMap<string, readonly SelectedTest[]>): Set<string>;
+/**
+ * Narrow a Playwright integration's command to the spec files the selected
+ * tests are bound to, so `kibi prove --test X` runs X's specs instead of the
+ * whole suite. Only a direct `playwright test` invocation is narrowed, and
+ * only when every selected test names its `proof_bindings[].source_file`;
+ * otherwise the command runs unchanged and the reason says why.
+ */
+export declare function narrowedPlaywrightCommand(command: readonly string[], tests: readonly SelectedTest[]): {
+    argv: string[];
+    narrowed: boolean;
+    reason?: string;
+};
+/**
+ * Receipt state per proof-bearing test under the binding mode reports use.
+ * `passed` means the test already has a current passing receipt; anything
+ * else (missing, stale, contract_mismatch, invalid, failed) needs a run.
+ */
+export declare function readTestReceiptStates(context: OperationContext): Promise<ReadonlyMap<string, string>>;
 export declare function proveCommand(options: ProveCommandOptions, deps?: ProveCommandDependencies): Promise<{
     exitCode: number;
 }>;
+/** Read every certificate a run left in its certificate directory. */
+export declare function readCertificateDir(directory: string): Promise<Record<string, unknown>[]>;
+/**
+ * Give each artifact the certificates of its own tests, so a partition is
+ * never evaluated against another test's certificate. A test may leave at
+ * most one certificate per run.
+ */
+export declare function attachCertificates(evaluated: EvaluatedRun, certificates: readonly Record<string, unknown>[]): EvaluatedRun;
 /** The artifacts one integration run is evaluated through. */
 export type EvaluatedRun = Readonly<{
     /** Each artifact is ingested against exactly its own tests. */

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

@@ -1 +1 @@
-{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,EAIL,KAAK,mBAAmB,EAGzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AASjE,OAAO,KAAK,EAEV,gBAAgB,EACjB,MAAM,uCAAuC,CAAC;AAE/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAIL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AAIrC,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,kBAAkB,CAAC;CACzC,CAAC,CAAC;AAEH,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,GAC1D,MAAM,CAiBR;AAED;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAUb;AAQD,wBAAgB,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEjD;AAkCD,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,UAAU,CAWnB;AAsKD,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,IAAI,GAAE,wBAA6B,GAClC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAuP/B;AAED,8DAA8D;AAE9D,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,+DAA+D;IAC/D,SAAS,EAAE,SAAS,QAAQ,CAAC;QAC3B,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC,EAAE,CAAC;IACL,qEAAqE;IACrE,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,mBAAmB,CAAC,CAsB9B;AAED,+EAA+E;AAE/E,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GACd,MAAM,CAKR;AAMD;;;;;;;;;;GAUG;AAEH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,WAAW,EAAE,gBAAgB,CAAC;IAC9B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,WAAW,EAAE,mBAAmB,CAAC;CAClC,GAAG,YAAY,CAuFf"}
+{"version":3,"file":"prove.d.ts","sourceRoot":"","sources":["../../src/commands/prove.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,OAAO,EAIL,KAAK,mBAAmB,EAGzB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAajE,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,uCAAuC,CAAC;AAM/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AAEnF,OAAO,EAIL,KAAK,gBAAgB,EAGtB,MAAM,6BAA6B,CAAC;AAKrC,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,kEAAkE;IAClE,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,8EAA8E;IAC9E,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,OAAO,CAAC,EAAE,gBAAgB,CAAC;IAC3B,WAAW,CAAC,EAAE,OAAO,kBAAkB,CAAC;CACzC,CAAC,CAAC;AAEH,KAAK,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE5C;;;;;GAKG;AAEH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,OAAO,qBAAqB,CAAC,CAAC,GAC1D,MAAM,CAiBR;AAED;;;;GAIG;AAEH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,GACf,GAAG,CAAC,MAAM,CAAC,CAUb;AAQD,wBAAgB,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEjD;AAaD,wEAAwE;AAExE,wBAAsB,QAAQ,CAC5B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,CAAC,UAAU,GACrB,OAAO,CAAC,MAAM,CAAC,CA8CjB;AAGD,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,gBAAgB,EAC7B,WAAW,EAAE,SAAS,MAAM,EAAE,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,UAAU,CAWnB;AAED,qEAAqE;AACrE,eAAO,MAAM,mBAAmB,wBAAwB,CAAC;AAEzD,KAAK,aAAa,GAAG;IACnB,OAAO,EAAE,wBAAwB,CAAC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;CACpC,CAAC;AAEF,yEAAyE;AACzE,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC,CAgB/B;AAcD;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,GACnD,GAAG,CAAC,MAAM,CAAC,CASb;AAED;;;;;;GAMG;AAEH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,KAAK,EAAE,SAAS,YAAY,EAAE,GAC7B;IAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAyBxD;AA8ED;;;;GAIG;AAEH,wBAAsB,qBAAqB,CACzC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAiBtC;AA2ID,wBAAsB,YAAY,CAChC,OAAO,EAAE,mBAAmB,EAC5B,IAAI,GAAE,wBAA6B,GAClC,OAAO,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAwV/B;AAED,sEAAsE;AAEtE,wBAAsB,kBAAkB,CACtC,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAoBpC;AAED;;;;GAIG;AAEH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,YAAY,EACvB,YAAY,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAC/C,YAAY,CAsCd;AAED,8DAA8D;AAE9D,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,+DAA+D;IAC/D,SAAS,EAAE,SAAS,QAAQ,CAAC;QAC3B,QAAQ,EAAE,gBAAgB,CAAC;QAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC,EAAE,CAAC;IACL,qEAAqE;IACrE,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IAC5B,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,SAAS,MAAM,EAAE,EAClC,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,mBAAmB,CAAC,CAsB9B;AAED,+EAA+E;AAE/E,wBAAgB,qBAAqB,CACnC,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,GACd,MAAM,CAKR;AAMD;;;;;;;;;;GAUG;AAEH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,WAAW,EAAE,gBAAgB,CAAC;IAC9B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,WAAW,EAAE,mBAAmB,CAAC;CAClC,GAAG,YAAY,CAuFf"}