@tenphi/akno-core 0.1.0

package/dist/maintenance/run-verification.js

@@ -0,0 +1,253 @@
+import { isDeepStrictEqual } from 'node:util';
+import { indexScanIgnore } from "../config/load.js";
+import { hashFile, mapWithConcurrency, scanTree } from "../kb/scan.js";
+import { getMaintenancePlan, reverifyAppliedMaintenanceItem, } from "./plans.js";
+/**
+ * Re-run every deterministic item postcondition after the complete apply wave, then prove that
+ * the content-safe accounting emitted by the run still matches its in-memory sources.
+ */
+export async function verifyDreamRun(ctx, planIds, budgetTracker, budget, modelUsage, baseline) {
+    const issues = new Map();
+    const uniquePlanIds = [...new Set(planIds)];
+    const affectedFiles = new Set();
+    const itemsForAttribution = [];
+    let appliedItems = 0;
+    let itemReceiptFailed = false;
+    let affectedPathFailed = false;
+    for (const planId of uniquePlanIds) {
+        let items;
+        try {
+            items = getMaintenancePlan(ctx, planId).items;
+        }
+        catch {
+            addIssue(issues, 'plan_unavailable');
+            itemReceiptFailed = true;
+            continue;
+        }
+        for (const item of items) {
+            itemsForAttribution.push(item);
+            if (item.status === 'verification_failed') {
+                addIssue(issues, 'item_verification_failed');
+                itemReceiptFailed = true;
+                continue;
+            }
+            if (['approved', 'applying', 'verification_pending'].includes(item.status)) {
+                addIssue(issues, 'item_verification_incomplete');
+                itemReceiptFailed = true;
+                continue;
+            }
+            if (item.status !== 'applied')
+                continue;
+            appliedItems += 1;
+            for (const operation of item.operations) {
+                affectedFiles.add(operation.relPath);
+                if (operation.type === 'move')
+                    affectedFiles.add(operation.toRelPath);
+            }
+            if (!item.changeId) {
+                addIssue(issues, 'missing_change_id');
+                itemReceiptFailed = true;
+            }
+            if (item.verification?.status !== 'passed') {
+                addIssue(issues, 'item_verification_incomplete');
+                itemReceiptFailed = true;
+            }
+            try {
+                if (!(await reverifyAppliedMaintenanceItem(ctx, item))) {
+                    addIssue(issues, 'affected_path_mismatch');
+                    affectedPathFailed = true;
+                }
+            }
+            catch {
+                addIssue(issues, 'affected_path_mismatch');
+                affectedPathFailed = true;
+            }
+        }
+    }
+    const budgetPassed = budgetReceiptMatchesTracker(budgetTracker, budget);
+    if (!budgetPassed)
+        addIssue(issues, 'budget_receipt_mismatch');
+    const modelUsagePassed = modelUsageIsConsistent(modelUsage);
+    if (!modelUsagePassed)
+        addIssue(issues, 'model_usage_mismatch');
+    let unattributedFiles = null;
+    let wholeSnapshotPassed = true;
+    try {
+        const observed = await captureCurrentFileManifest(ctx);
+        unattributedFiles = countUnattributedFileChanges(baseline, observed, itemsForAttribution);
+        if (unattributedFiles > 0) {
+            addIssue(issues, 'unattributed_file_change', unattributedFiles);
+            wholeSnapshotPassed = false;
+        }
+    }
+    catch {
+        addIssue(issues, 'snapshot_scan_failed');
+        wholeSnapshotPassed = false;
+    }
+    return {
+        status: issues.size === 0 ? 'passed' : 'failed',
+        checkedAt: new Date().toISOString(),
+        plans: uniquePlanIds.length,
+        appliedItems,
+        affectedFiles: affectedFiles.size,
+        unattributedFiles,
+        checks: {
+            appliedItems: appliedItems === 0 && !itemReceiptFailed ? 'not_applicable' : itemReceiptFailed ? 'failed' : 'passed',
+            affectedPaths: appliedItems === 0 && !affectedPathFailed
+                ? 'not_applicable'
+                : affectedPathFailed
+                    ? 'failed'
+                    : 'passed',
+            wholeSnapshot: wholeSnapshotPassed ? 'passed' : 'failed',
+            budget: budgetPassed ? 'passed' : 'failed',
+            modelUsage: modelUsagePassed ? 'passed' : 'failed',
+        },
+        issues: [...issues].map(([code, count]) => ({ code, count })),
+    };
+}
+/**
+ * Compare the observed tree with the run baseline plus every sealed write that reached disk.
+ * Paths touched by a failed item remain that item's responsibility; they are not also blamed on
+ * an unrelated user or sync-client edit.
+ */
+export function countUnattributedFileChanges(baseline, observed, items) {
+    const expected = new Map(baseline);
+    const itemOwnedPaths = new Set();
+    for (const item of items) {
+        const reachedDisk = item.status === 'applied' || item.status === 'verification_pending';
+        const ownsPath = reachedDisk || item.changeId !== null;
+        for (const operation of item.operations) {
+            if (ownsPath)
+                addOperationPaths(itemOwnedPaths, operation);
+            if (reachedDisk)
+                applyExpectedOperation(expected, operation);
+        }
+    }
+    const paths = new Set([...expected.keys(), ...observed.keys()]);
+    let unattributed = 0;
+    for (const relPath of paths) {
+        if (expected.get(relPath) === observed.get(relPath))
+            continue;
+        if (!itemOwnedPaths.has(relPath))
+            unattributed += 1;
+    }
+    return unattributed;
+}
+export function budgetReceiptMatchesTracker(tracker, receipt) {
+    const expected = {
+        limits: { ...tracker.limits },
+        used: {
+            items: tracker.items,
+            filesChanged: tracker.files.size,
+            bytesWritten: tracker.bytesWritten,
+            highRiskItems: tracker.highRiskItems,
+        },
+        deferredItems: tracker.deferredItems,
+    };
+    return isDeepStrictEqual(expected, receipt) && budgetValuesAreValid(receipt);
+}
+export function modelUsageIsConsistent(usage) {
+    if (!usageValuesAreValid(usage))
+        return false;
+    if (usage.successfulCalls + usage.failedCalls !== usage.calls)
+        return false;
+    if (usage.usageReportedCalls > usage.calls)
+        return false;
+    if (new Set(usage.stages.map((stage) => stage.stage)).size !== usage.stages.length)
+        return false;
+    const summed = {
+        calls: sum(usage.stages.map((stage) => stage.calls)),
+        successfulCalls: sum(usage.stages.map((stage) => stage.successfulCalls)),
+        failedCalls: sum(usage.stages.map((stage) => stage.failedCalls)),
+        usageReportedCalls: sum(usage.stages.map((stage) => stage.usageReportedCalls)),
+        inputTokens: sumNullable(usage.stages.map((stage) => stage.inputTokens)),
+        outputTokens: sumNullable(usage.stages.map((stage) => stage.outputTokens)),
+        totalTokens: sumNullable(usage.stages.map((stage) => stage.totalTokens)),
+        latencyMs: sum(usage.stages.map((stage) => stage.latencyMs)),
+    };
+    if (summed.calls !== usage.calls)
+        return false;
+    if (summed.successfulCalls !== usage.successfulCalls)
+        return false;
+    if (summed.failedCalls !== usage.failedCalls)
+        return false;
+    if (summed.usageReportedCalls !== usage.usageReportedCalls)
+        return false;
+    if (summed.inputTokens !== usage.inputTokens)
+        return false;
+    if (summed.outputTokens !== usage.outputTokens)
+        return false;
+    if (summed.totalTokens !== usage.totalTokens)
+        return false;
+    // Each stage and the total round independently, so their integer sums can differ slightly.
+    return Math.abs(summed.latencyMs - usage.latencyMs) <= Math.max(1, usage.stages.length);
+}
+function addIssue(issues, code, count = 1) {
+    issues.set(code, (issues.get(code) ?? 0) + count);
+}
+async function captureCurrentFileManifest(ctx) {
+    const files = await scanTree({
+        root: ctx.config.aknoPath,
+        ignore: indexScanIgnore(ctx.config.ignore),
+        pageExtensions: ctx.config.pageExtensions,
+        maxPageBytes: ctx.config.maxPageBytes,
+    });
+    await mapWithConcurrency(files, ctx.config.index.hashConcurrency, async (file) => {
+        file.sha256 = await hashFile(file.absPath);
+    });
+    return new Map(files.map((file) => [file.relPath, file.sha256]));
+}
+function addOperationPaths(paths, operation) {
+    paths.add(operation.relPath);
+    if (operation.type === 'move')
+        paths.add(operation.toRelPath);
+}
+function applyExpectedOperation(expected, operation) {
+    if (operation.type === 'delete') {
+        expected.delete(operation.relPath);
+        return;
+    }
+    if (operation.type === 'move') {
+        expected.delete(operation.relPath);
+        expected.set(operation.toRelPath, operation.beforeHash);
+        return;
+    }
+    expected.set(operation.relPath, operation.afterHash);
+}
+function budgetValuesAreValid(receipt) {
+    const pairs = [
+        [receipt.used.items, receipt.limits.maxItems],
+        [receipt.used.filesChanged, receipt.limits.maxFilesChanged],
+        [receipt.used.bytesWritten, receipt.limits.maxBytesWritten],
+        [receipt.used.highRiskItems, receipt.limits.maxHighRiskItems],
+    ];
+    return (pairs.every(([used, limit]) => nonnegativeInteger(used) && nonnegativeInteger(limit) && used <= limit) && nonnegativeInteger(receipt.deferredItems));
+}
+function usageValuesAreValid(usage) {
+    const entries = [usage, ...usage.stages];
+    return entries.every((entry) => nonnegativeInteger(entry.calls) &&
+        nonnegativeInteger(entry.successfulCalls) &&
+        nonnegativeInteger(entry.failedCalls) &&
+        entry.successfulCalls + entry.failedCalls === entry.calls &&
+        nonnegativeInteger(entry.usageReportedCalls) &&
+        entry.usageReportedCalls <= entry.calls &&
+        nullableNonnegativeInteger(entry.inputTokens) &&
+        nullableNonnegativeInteger(entry.outputTokens) &&
+        nullableNonnegativeInteger(entry.totalTokens) &&
+        nonnegativeInteger(entry.latencyMs));
+}
+function nonnegativeInteger(value) {
+    return Number.isSafeInteger(value) && value >= 0;
+}
+function nullableNonnegativeInteger(value) {
+    return value === null || nonnegativeInteger(value);
+}
+function sum(values) {
+    return values.reduce((total, value) => total + value, 0);
+}
+function sumNullable(values) {
+    return values.every((value) => value === null)
+        ? null
+        : values.reduce((total, value) => total + (value ?? 0), 0);
+}
+//# sourceMappingURL=run-verification.js.map

package/dist/maintenance/run-verification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-verification.js","sourceRoot":"","sources":["../../src/maintenance/run-verification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAE9C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGvE,OAAO,EACL,kBAAkB,EAClB,8BAA8B,GAG/B,MAAM,YAAY,CAAC;AAwCpB;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,GAAgB,EAChB,OAA0B,EAC1B,aAAuC,EACvC,MAAgC,EAChC,UAAkC,EAClC,QAA8B;IAE9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyC,CAAC;IAChE,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5C,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,mBAAmB,GAAsB,EAAE,CAAC;IAClD,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,iBAAiB,GAAG,KAAK,CAAC;IAC9B,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAE/B,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,IAAI,KAAwB,CAAC;QAC7B,IAAI,CAAC;YACH,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;YACrC,iBAAiB,GAAG,IAAI,CAAC;YACzB,SAAS;QACX,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;gBAC1C,QAAQ,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;gBAC7C,iBAAiB,GAAG,IAAI,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,UAAU,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3E,QAAQ,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAC;gBACjD,iBAAiB,GAAG,IAAI,CAAC;gBACzB,SAAS;YACX,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAExC,YAAY,IAAI,CAAC,CAAC;YAClB,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACxC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gBACrC,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;oBAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACxE,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;gBACtC,iBAAiB,GAAG,IAAI,CAAC;YAC3B,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC3C,QAAQ,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAC;gBACjD,iBAAiB,GAAG,IAAI,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC;gBACH,IAAI,CAAC,CAAC,MAAM,8BAA8B,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;oBACvD,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;oBAC3C,kBAAkB,GAAG,IAAI,CAAC;gBAC5B,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;gBAC3C,kBAAkB,GAAG,IAAI,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,2BAA2B,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACxE,IAAI,CAAC,YAAY;QAAE,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAC5D,IAAI,CAAC,gBAAgB;QAAE,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAEhE,IAAI,iBAAiB,GAAkB,IAAI,CAAC;IAC5C,IAAI,mBAAmB,GAAG,IAAI,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,0BAA0B,CAAC,GAAG,CAAC,CAAC;QACvD,iBAAiB,GAAG,4BAA4B,CAAC,QAAQ,EAAE,QAAQ,EAAE,mBAAmB,CAAC,CAAC;QAC1F,IAAI,iBAAiB,GAAG,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,MAAM,EAAE,0BAA0B,EAAE,iBAAiB,CAAC,CAAC;YAChE,mBAAmB,GAAG,KAAK,CAAC;QAC9B,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;QACzC,mBAAmB,GAAG,KAAK,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC/C,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,KAAK,EAAE,aAAa,CAAC,MAAM;QAC3B,YAAY;QACZ,aAAa,EAAE,aAAa,CAAC,IAAI;QACjC,iBAAiB;QACjB,MAAM,EAAE;YACN,YAAY,EACV,YAAY,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACvG,aAAa,EACX,YAAY,KAAK,CAAC,IAAI,CAAC,kBAAkB;gBACvC,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,kBAAkB;oBAClB,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,QAAQ;YAChB,aAAa,EAAE,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YACxD,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC1C,UAAU,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;SACnD;QACD,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAC1C,QAA8B,EAC9B,QAA8B,EAC9B,KAA6E;IAE7E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,sBAAsB,CAAC;QACxF,MAAM,QAAQ,GAAG,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACxC,IAAI,QAAQ;gBAAE,iBAAiB,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;YAC3D,IAAI,WAAW;gBAAE,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QAC9D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,YAAY,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,OAAiC,EACjC,OAAiC;IAEjC,MAAM,QAAQ,GAA6B;QACzC,MAAM,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE;QAC7B,IAAI,EAAE;YACJ,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,YAAY,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC;QACD,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC;IACF,OAAO,iBAAiB,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAA6B;IAClE,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,KAAK,CAAC,kBAAkB,GAAG,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzD,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAEjG,MAAM,MAAM,GAAG;QACb,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,eAAe,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACxE,WAAW,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAChE,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC9E,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACxE,YAAY,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC1E,WAAW,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QACxE,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;KAC7D,CAAC;IACF,IAAI,MAAM,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,kBAAkB,KAAK,KAAK,CAAC,kBAAkB;QAAE,OAAO,KAAK,CAAC;IACzE,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3D,IAAI,MAAM,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,MAAM,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAC3D,2FAA2F;IAC3F,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,QAAQ,CACf,MAAkD,EAClD,IAAmC,EACnC,KAAK,GAAG,CAAC;IAET,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AACpD,CAAC;AAED,KAAK,UAAU,0BAA0B,CAAC,GAAgB;IACxD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC;QAC3B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1C,cAAc,EAAE,GAAG,CAAC,MAAM,CAAC,cAAc;QACzC,YAAY,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY;KACtC,CAAC,CAAC;IACH,MAAM,kBAAkB,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC/E,IAAI,CAAC,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,MAAO,CAAC,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAkB,EAAE,SAA+B;IAC5E,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM;QAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA6B,EAAE,SAA+B;IAC5F,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO;IACT,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC9B,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACnC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;QACxD,OAAO;IACT,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,oBAAoB,CAAC,OAAiC;IAC7D,MAAM,KAAK,GAAG;QACZ,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC7C,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3D,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,CAAC;QAC3D,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC;KAC9D,CAAC;IACF,OAAO,CACL,KAAK,CAAC,KAAK,CACT,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,IAAK,CAAC,IAAI,kBAAkB,CAAC,KAAM,CAAC,IAAI,IAAK,IAAI,KAAM,CAC9F,IAAI,kBAAkB,CAAC,OAAO,CAAC,aAAa,CAAC,CAC/C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAA6B;IACxD,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IACzC,OAAO,OAAO,CAAC,KAAK,CAClB,CAAC,KAAK,EAAE,EAAE,CACR,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,kBAAkB,CAAC,KAAK,CAAC,eAAe,CAAC;QACzC,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC;QACrC,KAAK,CAAC,eAAe,GAAG,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK;QACzD,kBAAkB,CAAC,KAAK,CAAC,kBAAkB,CAAC;QAC5C,KAAK,CAAC,kBAAkB,IAAI,KAAK,CAAC,KAAK;QACvC,0BAA0B,CAAC,KAAK,CAAC,WAAW,CAAC;QAC7C,0BAA0B,CAAC,KAAK,CAAC,YAAY,CAAC;QAC9C,0BAA0B,CAAC,KAAK,CAAC,WAAW,CAAC;QAC7C,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC,CACtC,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAoB;IACtD,OAAO,KAAK,KAAK,IAAI,IAAI,kBAAkB,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,GAAG,CAAC,MAAgB;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,WAAW,CAAC,MAAyB;IAC5C,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC;QAC5C,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,MAAM,CAAC,MAAM,CAAS,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvE,CAAC"}

package/dist/maintenance/runs.d.ts

@@ -0,0 +1,142 @@
+import { type ErrorCode } from '@tenphi/akno-protocol';
+import type { AknoContext } from '../context.ts';
+import type { MaintenanceProfile } from '../config/schema.ts';
+import type { DreamConflictRefreshReceipt, DreamPhase, DreamReport, PhaseReport } from './dream.ts';
+import type { MaintenanceMode } from './plans.ts';
+import type { MaintenanceBudgetReceipt } from './budget.ts';
+import { type DreamModelDegradation, type DreamModelUsageReceipt } from './model-telemetry.ts';
+import type { SemanticMergeDiscoveryMetrics } from './semantic-merge-discovery.ts';
+import type { DreamRunVerificationReceipt } from './run-verification.ts';
+export type DreamRunStatus = 'running' | 'completed' | 'partially_completed' | 'awaiting_review' | 'failed';
+/** `legacy` is read-only history; new runs write only a MaintenanceMode. */
+export type DreamRunMode = MaintenanceMode | 'legacy';
+export type DreamRunProfile = MaintenanceProfile | 'legacy-custom';
+/**
+ * Content-free identity of the indexed state a dream run began against.
+ *
+ * A writable full cycle refreshes this manifest after acquiring its revision barrier, so every
+ * initial planner reads this index state. Selected phases and bounded post-apply retries instead
+ * use their immediate state and retain per-item input hashes as the write boundary.
+ */
+export interface DreamSnapshotManifest {
+    capturedAt: string;
+    schemaVersion: number;
+    /** Changes when indexed rows or their indexing timestamps change. */
+    indexRevision: string;
+    /** Changes only when the indexed knowledge-base path/hash set changes. */
+    knowledgeBaseFingerprint: string;
+    configurationFingerprint: string;
+    indexedFiles: number;
+    requestedPhases: DreamPhase[];
+    plannerVersion: string;
+    modelId: string | null;
+}
+/** Process-private path/hash state. It is never attached to or serialized with a run receipt. */
+export type DreamRunFileManifest = ReadonlyMap<string, string>;
+export interface DreamRunCounts {
+    observations: number;
+    curated: number;
+    /** Aggregate owned-fragment outcomes; absent only on receipts written before this counter shipped. */
+    managedItems?: {
+        planned: number;
+        held: number;
+        valid: number;
+        suppressed: number;
+    };
+    rejectedByGuard: number;
+    adopted: number;
+    conflicts: number;
+    repairedLinks: number;
+    warnings: number;
+}
+/** Content-safe estimate derived from sealed audit items; never provider-reported usage. */
+export interface DreamAutoEstimate {
+    status: 'estimated' | 'not_configured' | 'no_sealed_plan';
+    scope: 'initial_curator_pass';
+    modelId: string | null;
+    modelConfigured: boolean;
+    /** One candidate request per proposed item whose configured policy is auto. */
+    curatorCalls: number | null;
+    /** Prompt text only, using the repository-wide characters/4 heuristic. */
+    estimatedPromptTokens: number | null;
+    /** Hard request output caps summed across the candidate calls, not expected usage. */
+    maximumOutputTokens: number | null;
+    method: 'characters_div_4' | null;
+    postApplyRetryIncluded: false;
+}
+/** A durable, content-safe lifecycle receipt. Exact proposals remain in maintenance plans. */
+export interface DreamRunReceipt {
+    id: string;
+    startedAt: string;
+    finishedAt: string | null;
+    status: DreamRunStatus;
+    /** Configured profile at the start of the run; historical compatibility runs are labelled. */
+    profile: DreamRunProfile;
+    mode: DreamRunMode;
+    dryRun: boolean;
+    requestedPhase: DreamPhase | null;
+    snapshot: DreamSnapshotManifest;
+    phases: {
+        phase: DreamPhase;
+        ran: boolean;
+        skipped: boolean;
+        durationMs: number;
+    }[];
+    counts: DreamRunCounts;
+    /** Content-safe cumulative apply usage; null only on receipts written before run budgets shipped. */
+    budget: MaintenanceBudgetReceipt | null;
+    /** Exact logical model calls and provider-reported tokens; prompts and responses are never retained. */
+    modelUsage: DreamModelUsageReceipt;
+    /** Typed capability failures grouped by phase or curator stage. */
+    degraded: DreamModelDegradation[];
+    /** Aggregate candidate-discovery counts; null on runs where semantic merge discovery did not run. */
+    semanticMerge?: SemanticMergeDiscoveryMetrics | null;
+    /** Final deterministic postconditions and receipt-accounting result; null on old or failed-start runs. */
+    verification: DreamRunVerificationReceipt | null;
+    /** Post-write changed-fact derivation and conflict eligibility proof; null on historical runs. */
+    conflictRefresh?: DreamConflictRefreshReceipt | null;
+    /** Present on completed audit runs; null on non-audit and historical runs. */
+    autoEstimate?: DreamAutoEstimate | null;
+    durationMs: number | null;
+    maintenancePlanIds: string[];
+    /** Most recently touched plan, retained for older clients. */
+    maintenancePlanId: string | null;
+    changeIds: string[];
+    errorCode: ErrorCode | null;
+    /** False only for an explicitly read-only in-process dry run. */
+    persisted: boolean;
+}
+export declare function beginDreamRun(ctx: AknoContext, options: {
+    requestedPhase: DreamPhase | null;
+    requestedPhases: DreamPhase[];
+    mode: DreamRunMode;
+    dryRun: boolean;
+    modelId: string | null;
+}): DreamRunReceipt;
+/** Exact indexed baseline for final whole-tree attribution in this process. */
+export declare function dreamRunFileManifest(run: DreamRunReceipt): DreamRunFileManifest;
+/** Move a claimed run's start boundary to the revision held by its planner barrier. */
+export declare function refreshDreamRunSnapshot(ctx: AknoContext, run: DreamRunReceipt): void;
+/** The barrier should make this invariant boring; the check turns future bypasses into a failure. */
+export declare function dreamRunIndexRevisionMatches(ctx: AknoContext, run: DreamRunReceipt): boolean;
+export declare function completeDreamRun(ctx: AknoContext, started: DreamRunReceipt, report: DreamReport): DreamRunReceipt;
+export declare function failDreamRun(ctx: AknoContext, started: DreamRunReceipt, error: unknown, durationMs: number, phases: PhaseReport[], budget?: MaintenanceBudgetReceipt, operability?: Pick<DreamRunReceipt, 'modelUsage' | 'degraded' | 'semanticMerge'>): DreamRunReceipt;
+export declare function latestDreamRun(ctx: AknoContext): DreamRunReceipt | null;
+/** Latest durable complete-cycle attempt; phase-specific and legacy dry-run diagnostics do not mask health. */
+export declare function latestFullDreamRun(ctx: AknoContext): DreamRunReceipt | null;
+/** Content-safe durable receipts, newest first. */
+export declare function listDreamRuns(ctx: AknoContext, limit?: number): DreamRunReceipt[];
+/** One content-safe durable receipt by id. */
+export declare function getDreamRun(ctx: AknoContext, runId: string): DreamRunReceipt;
+/**
+ * Finalize rows owned by a process that no longer exists.
+ *
+ * Called when a writable Akno opens and again immediately before a run begins. A live run in
+ * this process stays in `ownedRunIds`; every other `running` row is necessarily abandoned because
+ * no second process can hold the write handle.
+ */
+export declare function recoverInterruptedDreamRuns(ctx: AknoContext): DreamRunReceipt[];
+export declare function activeDreamRuns(ctx: AknoContext): number;
+/** Capture the content-free read boundary used by a run or a document-scoped maintenance action. */
+export declare function captureMaintenanceSnapshot(ctx: AknoContext, requestedPhases: DreamPhase[], modelId: string | null, capturedAt?: string): DreamSnapshotManifest;
+//# sourceMappingURL=runs.d.ts.map

package/dist/maintenance/runs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runs.d.ts","sourceRoot":"","sources":["../../src/maintenance/runs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,qBAAqB,CAAC;AAGjF,OAAO,KAAK,EAAE,2BAA2B,EAAE,UAAU,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACpG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC5B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AACnF,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEzE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,WAAW,GAAG,qBAAqB,GAAG,iBAAiB,GAAG,QAAQ,CAAC;AAE5G,4EAA4E;AAC5E,MAAM,MAAM,YAAY,GAAG,eAAe,GAAG,QAAQ,CAAC;AACtD,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG,eAAe,CAAC;AAEnE;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,qEAAqE;IACrE,aAAa,EAAE,MAAM,CAAC;IACtB,0EAA0E;IAC1E,wBAAwB,EAAE,MAAM,CAAC;IACjC,wBAAwB,EAAE,MAAM,CAAC;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,UAAU,EAAE,CAAC;IAC9B,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,iGAAiG;AACjG,MAAM,MAAM,oBAAoB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAE/D,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,sGAAsG;IACtG,YAAY,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IACpF,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,4FAA4F;AAC5F,MAAM,WAAW,iBAAiB;IAChC,MAAM,EAAE,WAAW,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;IAC1D,KAAK,EAAE,sBAAsB,CAAC;IAC9B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,eAAe,EAAE,OAAO,CAAC;IACzB,+EAA+E;IAC/E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,0EAA0E;IAC1E,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC,sFAAsF;IACtF,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC,sBAAsB,EAAE,KAAK,CAAC;CAC/B;AAED,8FAA8F;AAC9F,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,MAAM,EAAE,cAAc,CAAC;IACvB,8FAA8F;IAC9F,OAAO,EAAE,eAAe,CAAC;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,UAAU,GAAG,IAAI,CAAC;IAClC,QAAQ,EAAE,qBAAqB,CAAC;IAChC,MAAM,EAAE;QAAE,KAAK,EAAE,UAAU,CAAC;QAAC,GAAG,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpF,MAAM,EAAE,cAAc,CAAC;IACvB,qGAAqG;IACrG,MAAM,EAAE,wBAAwB,GAAG,IAAI,CAAC;IACxC,wGAAwG;IACxG,UAAU,EAAE,sBAAsB,CAAC;IACnC,mEAAmE;IACnE,QAAQ,EAAE,qBAAqB,EAAE,CAAC;IAClC,qGAAqG;IACrG,aAAa,CAAC,EAAE,6BAA6B,GAAG,IAAI,CAAC;IACrD,0GAA0G;IAC1G,YAAY,EAAE,2BAA2B,GAAG,IAAI,CAAC;IACjD,kGAAkG;IAClG,eAAe,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IACrD,8EAA8E;IAC9E,YAAY,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACxC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,8DAA8D;IAC9D,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC5B,iEAAiE;IACjE,SAAS,EAAE,OAAO,CAAC;CACpB;AAmBD,wBAAgB,aAAa,CAC3B,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE;IACP,cAAc,EAAE,UAAU,GAAG,IAAI,CAAC;IAClC,eAAe,EAAE,UAAU,EAAE,CAAC;IAC9B,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB,GACA,eAAe,CAoDjB;AAED,+EAA+E;AAC/E,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,eAAe,GAAG,oBAAoB,CAI/E;AAED,uFAAuF;AACvF,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe,GAAG,IAAI,CAgBpF;AAED,qGAAqG;AACrG,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe,GAAG,OAAO,CAS5F;AAED,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,eAAe,EACxB,MAAM,EAAE,WAAW,GAClB,eAAe,CAmCjB;AAED,wBAAgB,YAAY,CAC1B,GAAG,EAAE,WAAW,EAChB,OAAO,EAAE,eAAe,EACxB,KAAK,EAAE,OAAO,EACd,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,GAAE,wBAA6D,EACrE,WAAW,GAAE,IAAI,CAAC,eAAe,EAAE,YAAY,GAAG,UAAU,GAAG,eAAe,CAAW,GACxF,eAAe,CAejB;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,WAAW,GAAG,eAAe,GAAG,IAAI,CAEvE;AAED,+GAA+G;AAC/G,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,WAAW,GAAG,eAAe,GAAG,IAAI,CAU3E;AAED,mDAAmD;AACnD,wBAAgB,aAAa,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,SAAK,GAAG,eAAe,EAAE,CAW7E;AAED,8CAA8C;AAC9C,wBAAgB,WAAW,CAAC,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,eAAe,CAU5E;AAED;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,WAAW,GAAG,eAAe,EAAE,CAuC/E;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAMxD;AAED,oGAAoG;AACpG,wBAAgB,0BAA0B,CACxC,GAAG,EAAE,WAAW,EAChB,eAAe,EAAE,UAAU,EAAE,EAC7B,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,UAAU,SAA2B,GACpC,qBAAqB,CAEvB"}