@mirnoorata/codexa 0.5.1 → 0.6.0

package/dist/prove.js

@@ -0,0 +1,395 @@
+import path from "node:path";
+import { focusBriefQuery, testPlanQuery } from "./queries.js";
+import { loadPolicyPack } from "./policy-pack.js";
+import { loadTaskSnapshot } from "./task-snapshots.js";
+import { freshnessBanner } from "./query/runtime.js";
+import { createQuerySession } from "./query/session.js";
+import { evaluateRequiredChecks } from "./query/required-checks.js";
+import { formatVerificationCoverage, formatVerificationLedger, verificationCommandPlan, verificationEvidenceForCommandReports, verificationLedgerForPostEdit } from "./query/verification.js";
+import { sanitizeCommandEnvelopeForDisplay, sanitizeCommandReportForDisplay, sanitizeCommandText, sanitizeCoverageForDisplay, sanitizeLedgerForDisplay } from "./query/verification-display.js";
+import { CURRENT_VERIFICATION_PROVENANCE as VERIFICATION_PROVENANCE } from "./types.js";
+import { limitText, uniqueSorted } from "./util.js";
+export async function proveQuery(repoRoot, options = {}) {
+    const repo = path.resolve(repoRoot);
+    const task = options.task?.trim() || "Codexa proof card";
+    const diff = options.diff ?? true;
+    const session = await createQuerySession(repo, options);
+    const [focus, testPlan, snapshotLoad, policies] = await Promise.all([
+        focusBriefQuery(session, { task, diff, tokenBudget: Math.min(options.tokenBudget ?? 1800, 3000), limit: 8 }, options),
+        testPlanQuery(session, diff, { ...options, files: options.files, changeType: options.changeType ?? "unknown" }),
+        loadTaskSnapshot(repo, options.taskId),
+        loadPolicyPack(repo)
+    ]);
+    const focusData = asRecord(focus.data);
+    const testData = asRecord(testPlan.data);
+    const actionability = typeof testData.actionability === "string" ? testData.actionability : "verify";
+    const changedFiles = stringArray(testData.changedFiles);
+    const worktree = worktreeFromData(focusData.worktree, changedFiles, stringArray(focusData.worktreeDegradationReasons));
+    const snapshot = snapshotSummary(snapshotLoad.snapshot, {
+        taskId: snapshotLoad.latestTaskId,
+        reason: snapshotLoad.error ?? snapshotLoad.missingReason ?? snapshotLoad.blockedSnapshot?.reason,
+        blocked: Boolean(snapshotLoad.blockedSnapshot)
+    });
+    const readFirst = readFirstFromFocus(focusData.focusFiles);
+    const recommendedCommands = stringArray(testData.verificationCommands);
+    const commandPlan = verificationCommandPlanFromData(testData.verificationCommandPlan);
+    const ledgerPreview = verificationLedgerFromData(testData.verificationLedgerPreview);
+    const tests = testRecommendationsFromData(testData.tests);
+    const reported = reportedVerificationData({
+        repoRoot: repo,
+        index: session.index,
+        snapshot: snapshotLoad.snapshot,
+        tests,
+        ranTests: options.ranTests ?? [],
+        ranCommands: options.ranCommands ?? [],
+        ranCommandReports: options.ranCommandReports ?? [],
+        waivedChecks: options.waivedChecks ?? [],
+        waivers: options.waivers ?? []
+    });
+    const gaps = proofGaps({
+        freshness: session.freshness,
+        worktree,
+        snapshot,
+        policies,
+        reported,
+        testPlanActionability: actionability,
+        focusGaps: stringArray(focusData.gaps),
+        testGaps: stringArray(testData.gaps)
+    });
+    const data = {
+        mode: "proof_card",
+        actionability,
+        task,
+        repoRoot: repo,
+        verificationProvenance: VERIFICATION_PROVENANCE,
+        freshness: freshnessData(session.freshness),
+        worktree,
+        readFirst,
+        snapshot,
+        verification: {
+            recommendedCommands,
+            commandPlan,
+            ledgerPreview,
+            tests,
+            reported
+        },
+        policies,
+        gaps,
+        trustPosture: trustPosture(),
+        nextCommands: nextCommands(repo, task, snapshot.status)
+    };
+    return {
+        freshness: session.freshness,
+        refresh: session.refresh,
+        text: renderProofCard(data, session.freshness, session.refresh),
+        data
+    };
+}
+function renderProofCard(data, freshness, refresh) {
+    const worktreeLine = data.worktree.degraded
+        ? `unknown (${data.worktree.degradedReasons.join("; ")})`
+        : data.worktree.knownClean
+            ? "clean"
+            : `${data.worktree.dirtyFileCount ?? data.worktree.changedFiles.length} changed file(s)`;
+    const lines = [
+        freshnessBanner(freshness, refresh),
+        "Codexa proof card",
+        `Task: ${data.task}`,
+        `Repo: ${data.repoRoot}`,
+        `Worktree: ${worktreeLine}`,
+        `Snapshot: ${formatSnapshot(data.snapshot)}`,
+        "",
+        "Read first:",
+        ...formatReadFirst(data.readFirst),
+        "",
+        "Verification preview (not proof until reported):",
+        ...formatCommands(data.verification.recommendedCommands),
+        "",
+        "Verification ledger preview:",
+        ...formatVerificationLedger(data.verification.ledgerPreview),
+        "",
+        "Reported verification evidence:",
+        ...formatReportedEvidence(data.verification.reported),
+        "",
+        "Reported verification coverage:",
+        ...formatVerificationCoverage(data.verification.reported.coverage),
+        "",
+        "Reported verification ledger:",
+        ...formatReportedLedger(data.verification.reported),
+        "",
+        "Local policies:",
+        ...formatPolicies(data.policies),
+        "",
+        "Trust posture:",
+        ...data.trustPosture.map((line) => `- ${line}`),
+        "",
+        "Remaining proof gaps:",
+        ...formatGaps(data.gaps),
+        "",
+        "Next commands:",
+        ...data.nextCommands.map((command) => `- ${command}`)
+    ];
+    return limitText(lines.join("\n"), 8000);
+}
+function freshnessData(freshness) {
+    return {
+        stale: freshness.stale,
+        reason: freshness.reason,
+        indexedAt: freshness.indexedAt,
+        headCommit: freshness.headCommit,
+        dirtyFileCount: freshness.dirtyFiles.length,
+        parserErrorCount: freshness.parserErrorCount
+    };
+}
+function readFirstFromFocus(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value
+        .map((entry) => {
+        const record = entry;
+        return typeof record.path === "string"
+            ? {
+                path: record.path,
+                riskScore: typeof record.riskScore === "number" ? record.riskScore : undefined,
+                rank: typeof record.rank === "number" ? record.rank : undefined
+            }
+            : undefined;
+    })
+        .filter((entry) => Boolean(entry))
+        .slice(0, 8);
+}
+function snapshotSummary(snapshot, fallback) {
+    if (snapshot) {
+        return {
+            status: "loaded",
+            taskId: snapshot.taskId,
+            origin: snapshot.origin,
+            createdAt: snapshot.createdAt,
+            plannedEditTargets: snapshot.plannedEditTargets.slice(0, 20),
+            plannedTests: snapshot.plannedTests.map((test) => test.path).slice(0, 20)
+        };
+    }
+    return {
+        status: fallback.blocked ? "blocked" : "missing",
+        taskId: fallback.taskId,
+        plannedEditTargets: [],
+        plannedTests: [],
+        reason: fallback.reason
+    };
+}
+function worktreeFromData(value, changedFiles, fallbackDegradedReasons) {
+    const record = asRecord(value);
+    const degradedReasons = stringArray(record.degradedReasons).length > 0 ? stringArray(record.degradedReasons) : fallbackDegradedReasons;
+    return {
+        knownClean: typeof record.knownClean === "boolean" ? record.knownClean : changedFiles.length === 0 && degradedReasons.length === 0,
+        degraded: typeof record.degraded === "boolean" ? record.degraded : degradedReasons.length > 0,
+        dirtyFileCount: typeof record.dirtyFileCount === "number" ? record.dirtyFileCount : changedFiles.length,
+        changedFiles: changedFiles.slice(0, 120),
+        degradedReasons
+    };
+}
+function reportedVerificationData(input) {
+    const hasEvidence = input.ranTests.length > 0 || input.ranCommands.length > 0 || input.ranCommandReports.length > 0 || input.waivedChecks.length > 0 || input.waivers.length > 0;
+    const checkCoverage = verificationEvidenceForCommandReports(input.index, input.ranCommands, input.ranCommandReports, input.repoRoot).coverage;
+    const checkContext = {
+        editPaths: input.snapshot?.plannedEditTargets ?? [],
+        reviewTargets: input.snapshot?.plannedFiles ?? input.snapshot?.plannedEditTargets ?? [],
+        selectedFiles: [],
+        workflows: [],
+        affectedEdges: [],
+        affectedTests: [],
+        tests: input.tests,
+        ranTests: input.ranTests,
+        verificationCoverage: checkCoverage
+    };
+    const workflowChecks = evaluateRequiredChecks(input.snapshot?.requiredWorkflowChecks ?? [], checkContext);
+    const dependencyChecks = evaluateRequiredChecks(input.snapshot?.requiredDependencyChecks ?? [], checkContext);
+    const verification = verificationLedgerForPostEdit({
+        index: input.index,
+        tests: input.tests,
+        ranTests: input.ranTests,
+        ranCommands: input.ranCommands,
+        ranCommandReports: input.ranCommandReports,
+        waivedChecks: input.waivedChecks,
+        waivers: input.waivers,
+        repoRoot: input.repoRoot,
+        workflowChecks,
+        dependencyChecks
+    });
+    const coverage = verification.coverage.map((entry) => sanitizeCoverageForDisplay(entry, input.repoRoot));
+    const ledger = verification.ledger.map((entry) => sanitizeLedgerForDisplay(entry, input.repoRoot));
+    return {
+        hasEvidence,
+        ranTests: input.ranTests.map((test) => sanitizeCommandText(test, input.repoRoot)),
+        ranCommands: input.ranCommands.map((command) => sanitizeCommandText(command, input.repoRoot)),
+        ranCommandReports: input.ranCommandReports.map((report) => sanitizeCommandReportForDisplay(report, input.repoRoot)),
+        waivedChecks: input.waivedChecks.map((check) => sanitizeCommandText(check, input.repoRoot)),
+        waivers: input.waivers.map((waiver) => ({
+            kind: waiver.kind,
+            target: sanitizeCommandText(waiver.target, input.repoRoot),
+            reason: sanitizeCommandText(waiver.reason, input.repoRoot)
+        })),
+        coverage,
+        commandEnvelopes: verification.commandEnvelopes.map((envelope) => sanitizeCommandEnvelopeForDisplay(envelope, input.repoRoot)),
+        commandPlan: verificationCommandPlan(coverage),
+        ledger,
+        waivedVerification: ledger.filter((entry) => entry.status === "waived"),
+        testsNotRun: verification.testsNotRun,
+        verificationProvenance: VERIFICATION_PROVENANCE
+    };
+}
+function verificationCommandPlanFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isVerificationCommandPlanEntry).slice(0, 30);
+}
+function verificationLedgerFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isVerificationLedgerEntry).slice(0, 30);
+}
+function testRecommendationsFromData(value) {
+    if (!Array.isArray(value)) {
+        return [];
+    }
+    return value.filter(isTestRecommendation).slice(0, 30);
+}
+function isVerificationCommandPlanEntry(value) {
+    const record = asRecord(value);
+    return (typeof record.command === "string" &&
+        Array.isArray(record.covers) &&
+        Array.isArray(record.targetPaths) &&
+        Array.isArray(record.scopes) &&
+        Array.isArray(record.sources) &&
+        ["authoritative", "derived", "heuristic"].includes(String(record.confidence)));
+}
+function isVerificationLedgerEntry(value) {
+    const record = asRecord(value);
+    return (typeof record.kind === "string" &&
+        typeof record.recommended === "string" &&
+        typeof record.target === "string" &&
+        typeof record.status === "string" &&
+        Array.isArray(record.evidence) &&
+        Array.isArray(record.coverageKinds));
+}
+function isTestRecommendation(value) {
+    const record = asRecord(value);
+    return typeof record.path === "string" && typeof record.reason === "string" && typeof record.rank === "number";
+}
+function proofGaps(input) {
+    return uniqueSorted([
+        ...(input.freshness.stale ? [`index stale: ${input.freshness.reason}`] : []),
+        ...(input.worktree.degraded ? input.worktree.degradedReasons.map((reason) => `worktree state unavailable: ${reason}`) : []),
+        ...(input.snapshot.status === "missing" ? [`no saved change-plan snapshot${input.snapshot.reason ? `: ${input.snapshot.reason}` : ""}`] : []),
+        ...(input.snapshot.status === "blocked" ? [`latest change-plan snapshot blocked${input.snapshot.reason ? `: ${input.snapshot.reason}` : ""}`] : []),
+        ...(input.policies.missing.length > 0 ? [`policy pack missing: ${input.policies.missing.join(", ")}`] : []),
+        ...(input.testPlanActionability === "needs_target" ? ["test plan needs target files or a dirty diff"] : []),
+        ...(input.reported.hasEvidence && input.reported.coverage.length === 0 && (input.reported.ranCommands.length > 0 || input.reported.ranCommandReports.length > 0)
+            ? ["reported commands earned no classifier-backed verification coverage"]
+            : []),
+        ...(input.reported.hasEvidence ? input.reported.testsNotRun.map((test) => `reported verification missing: ${test.path}`) : []),
+        ...input.reported.ledger
+            .filter((entry) => entry.status === "missing" && entry.kind !== "test")
+            .map((entry) => `reported verification missing: ${entry.kind} ${entry.target}`),
+        ...input.policies.warnings,
+        ...input.focusGaps,
+        ...input.testGaps
+    ]);
+}
+function trustPosture() {
+    return [
+        "core proof paths are local and model-free; optional semantic lanes remain explicit opt-ins",
+        "Codexa MCP tools are context and review tools, not source-mutating edit tools",
+        "reported commands earn verification credit only through the shared command classifier",
+        "repository policy text is bounded local evidence, not executable code"
+    ];
+}
+function nextCommands(repo, task, snapshotStatus) {
+    const quotedTask = shellQuote(task);
+    return [
+        snapshotStatus === "loaded"
+            ? `codexa post-edit-review ${shellQuote(repo)} --task ${quotedTask} --ran-command "<command-you-ran>"`
+            : `codexa change-plan ${shellQuote(repo)} --task ${quotedTask} --save-snapshot`,
+        `codexa test-plan ${shellQuote(repo)} --diff`,
+        `codexa prove ${shellQuote(repo)} --task ${quotedTask} --diff`
+    ];
+}
+function formatSnapshot(snapshot) {
+    if (snapshot.status === "loaded") {
+        const origin = snapshot.origin ? `; ${snapshot.origin}` : "";
+        const created = snapshot.createdAt ? `; ${snapshot.createdAt}` : "";
+        return `loaded ${snapshot.taskId ?? "latest"}${origin}${created}`;
+    }
+    return `${snapshot.status}${snapshot.reason ? ` (${snapshot.reason})` : ""}`;
+}
+function formatReadFirst(files) {
+    if (files.length === 0) {
+        return ["- none selected"];
+    }
+    return files.map((file) => {
+        const rank = file.rank === undefined ? "" : `; rank ${file.rank.toFixed(2)}`;
+        const risk = file.riskScore === undefined ? "" : `; risk ${file.riskScore.toFixed(1)}`;
+        return `- ${file.path}${rank}${risk}`;
+    });
+}
+function formatCommands(commands) {
+    if (commands.length === 0) {
+        return ["- none inferred; run codexa test-plan after choosing an edit target"];
+    }
+    return commands.slice(0, 12).map((command) => `- ${command}`);
+}
+function formatReportedEvidence(reported) {
+    if (!reported.hasEvidence) {
+        return ["- none supplied; pass --ran-command, --ran-test, --ran-command-report, --waive-check, or --waiver after verification runs"];
+    }
+    const lines = [
+        ...reported.ranTests.slice(0, 12).map((test) => `- ran test: ${test}`),
+        ...reported.ranCommands.slice(0, 12).map((command) => `- ran command: ${command}`),
+        ...reported.ranCommandReports.slice(0, 12).map((report) => `- command report: ${formatCommandReport(report)}`),
+        ...reported.waivedChecks.slice(0, 12).map((target) => `- legacy waiver: ${target}`),
+        ...reported.waivers.slice(0, 12).map((waiver) => `- waiver: ${waiver.kind} ${waiver.target}; ${waiver.reason}`)
+    ];
+    return lines.length > 0 ? lines : ["- evidence supplied, but no displayable entries after sanitization"];
+}
+function formatReportedLedger(reported) {
+    if (!reported.hasEvidence && reported.ledger.length === 0) {
+        return ["- none; preview above shows what reported commands would need to cover"];
+    }
+    return formatVerificationLedger(reported.ledger);
+}
+function formatCommandReport(report) {
+    const status = report.exitCode === undefined ? "exit unknown" : `exit ${report.exitCode}`;
+    const cwd = report.cwd ? `; cwd ${report.cwd}` : "";
+    const duration = report.durationMs === undefined ? "" : `; ${report.durationMs}ms`;
+    const summary = report.outputSummary ?? report.stderrSummary ?? report.stdoutSummary;
+    return `${report.command} (${status}${cwd}${duration}${summary ? `; ${summary}` : ""})`;
+}
+function formatPolicies(policies) {
+    const lines = policies.policies.flatMap((policy) => [
+        `- ${policy.kind}: ${policy.purpose}`,
+        ...policy.rules.slice(0, 3).map((rule) => `  - ${rule}`)
+    ]);
+    if (policies.missing.length > 0) {
+        lines.push(`- missing policy files: ${policies.missing.map((kind) => `${kind}.json`).join(", ")}; run codexa policy-init <repo>`);
+    }
+    if (policies.warnings.length > 0) {
+        lines.push(...policies.warnings.map((warning) => `- warning: ${warning}`));
+    }
+    return lines.length > 0 ? lines : ["- no local policy pack present; run codexa policy-init <repo>"];
+}
+function formatGaps(gaps) {
+    return gaps.length > 0 ? gaps.slice(0, 20).map((gap) => `- ${gap}`) : ["- none detected in the proof card inputs"];
+}
+function asRecord(value) {
+    return value && typeof value === "object" && !Array.isArray(value) ? value : {};
+}
+function stringArray(value) {
+    return Array.isArray(value) ? value.filter((entry) => typeof entry === "string") : [];
+}
+function shellQuote(value) {
+    return `'${value.replaceAll("'", "'\"'\"'")}'`;
+}
+//# sourceMappingURL=prove.js.map

package/dist/prove.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prove.js","sourceRoot":"","sources":["../src/prove.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,cAAc,EAA0B,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,EAAE,0BAA0B,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,qCAAqC,EAAE,6BAA6B,EAAE,MAAM,yBAAyB,CAAC;AAC9L,OAAO,EACL,iCAAiC,EACjC,+BAA+B,EAC/B,mBAAmB,EACnB,0BAA0B,EAC1B,wBAAwB,EACzB,MAAM,iCAAiC,CAAC;AAkBzC,OAAO,EAAE,+BAA+B,IAAI,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACxF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAyFpD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,QAAgB,EAAE,UAAwB,EAAE;IAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,mBAAmB,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClE,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC;QACrH,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;QAC/G,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;QACtC,cAAc,CAAC,IAAI,CAAC;KACrB,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,aAAa,GAAG,OAAO,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC;IACrG,MAAM,YAAY,GAAG,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC,CAAC;IACvH,MAAM,QAAQ,GAAG,eAAe,CAAC,YAAY,CAAC,QAAQ,EAAE;QACtD,MAAM,EAAE,YAAY,CAAC,YAAY;QACjC,MAAM,EAAE,YAAY,CAAC,KAAK,IAAI,YAAY,CAAC,aAAa,IAAI,YAAY,CAAC,eAAe,EAAE,MAAM;QAChG,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,eAAe,CAAC;KAC/C,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,mBAAmB,GAAG,WAAW,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,+BAA+B,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC;IACtF,MAAM,aAAa,GAAG,0BAA0B,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,2BAA2B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QACxC,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,YAAY,CAAC,QAAQ;QAC/B,KAAK;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;QAChC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,EAAE;QACtC,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,EAAE;QAClD,YAAY,EAAE,OAAO,CAAC,YAAY,IAAI,EAAE;QACxC,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE;KAC/B,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CAAC;QACrB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,QAAQ;QACR,qBAAqB,EAAE,aAAa;QACpC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;QACtC,QAAQ,EAAE,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;KACrC,CAAC,CAAC;IACH,MAAM,IAAI,GAAc;QACtB,IAAI,EAAE,YAAY;QAClB,aAAa;QACb,IAAI;QACJ,QAAQ,EAAE,IAAI;QACd,sBAAsB,EAAE,uBAAuB;QAC/C,SAAS,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC;QAC3C,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,YAAY,EAAE;YACZ,mBAAmB;YACnB,WAAW;YACX,aAAa;YACb,KAAK;YACL,QAAQ;SACT;QACD,QAAQ;QACR,IAAI;QACJ,YAAY,EAAE,YAAY,EAAE;QAC5B,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC;KACxD,CAAC;IACF,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC;QAC/D,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,IAAe,EAAE,SAAwB,EAAE,OAAgC;IAClG,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ;QACzC,CAAC,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QACzD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU;YACxB,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,MAAM,kBAAkB,CAAC;IAC7F,MAAM,KAAK,GAAG;QACZ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,mBAAmB;QACnB,SAAS,IAAI,CAAC,IAAI,EAAE;QACpB,SAAS,IAAI,CAAC,QAAQ,EAAE;QACxB,aAAa,YAAY,EAAE;QAC3B,aAAa,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;QAC5C,EAAE;QACF,aAAa;QACb,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC;QAClC,EAAE;QACF,kDAAkD;QAClD,GAAG,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,mBAAmB,CAAC;QACxD,EAAE;QACF,8BAA8B;QAC9B,GAAG,wBAAwB,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;QAC5D,EAAE;QACF,iCAAiC;QACjC,GAAG,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;QACrD,EAAE;QACF,iCAAiC;QACjC,GAAG,0BAA0B,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAClE,EAAE;QACF,+BAA+B;QAC/B,GAAG,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;QACnD,EAAE;QACF,iBAAiB;QACjB,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;QAChC,EAAE;QACF,gBAAgB;QAChB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,EAAE;QACF,uBAAuB;QACvB,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;QACxB,EAAE;QACF,gBAAgB;QAChB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC;KACtD,CAAC;IACF,OAAO,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,aAAa,CAAC,SAAwB;IAC7C,OAAO;QACL,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,UAAU,EAAE,SAAS,CAAC,UAAU;QAChC,cAAc,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM;QAC3C,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK;SACT,GAAG,CAAC,CAAC,KAAK,EAA8C,EAAE;QACzD,MAAM,MAAM,GAAG,KAAuB,CAAC;QACvC,OAAO,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;YACpC,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,SAAS,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;gBAC9E,IAAI,EAAE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;aAChE;YACH,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,KAAK,EAA2C,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;SAC1E,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CACtB,QAAkC,EAClC,QAAgE;IAEhE,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC5D,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SAC1E,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;QAChD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,kBAAkB,EAAE,EAAE;QACtB,YAAY,EAAE,EAAE;QAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,YAAsB,EAAE,uBAAiC;IACjG,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC;IACvI,OAAO;QACL,UAAU,EAAE,OAAQ,MAAwB,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAG,MAAwB,CAAC,UAAsB,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;QACrL,QAAQ,EAAE,OAAQ,MAAwB,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAG,MAAwB,CAAC,QAAoB,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;QAChJ,cAAc,EAAE,OAAQ,MAAwB,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAG,MAAwB,CAAC,cAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM;QACzJ,YAAY,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QACxC,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAUjC;IACC,MAAM,WAAW,GACf,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/J,MAAM,aAAa,GAAG,qCAAqC,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,iBAAiB,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;IAC9I,MAAM,YAAY,GAAG;QACnB,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,kBAAkB,IAAI,EAAE;QACnD,aAAa,EAAE,KAAK,CAAC,QAAQ,EAAE,YAAY,IAAI,KAAK,CAAC,QAAQ,EAAE,kBAAkB,IAAI,EAAE;QACvF,aAAa,EAAE,EAAE;QACjB,SAAS,EAAE,EAAE;QACb,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,oBAAoB,EAAE,aAAa;KACpC,CAAC;IACF,MAAM,cAAc,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,sBAAsB,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAC1G,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,wBAAwB,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAC9G,MAAM,YAAY,GAAG,6BAA6B,CAAC;QACjD,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;QAC1C,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc;QACd,gBAAgB;KACjB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzG,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnG,OAAO;QACL,WAAW;QACX,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjF,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7F,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACnH,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3F,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACtC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;YAC1D,MAAM,EAAE,mBAAmB,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC;SAC3D,CAAC,CAAC;QACH,QAAQ;QACR,gBAAgB,EAAE,YAAY,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,iCAAiC,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC9H,WAAW,EAAE,uBAAuB,CAAC,QAAQ,CAAC;QAC9C,MAAM;QACN,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;QACvE,WAAW,EAAE,YAAY,CAAC,WAAW;QACrC,sBAAsB,EAAE,uBAAuB;KAChD,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAc;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAc;IAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,2BAA2B,CAAC,KAAc;IACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,8BAA8B,CAAC,KAAc;IACpD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CACL,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;QAC7B,CAAC,eAAe,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAC9E,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CACL,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAC/B,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ;QACtC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC9B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC,CACpC,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;AACjH,CAAC;AAED,SAAS,SAAS,CAAC,KASlB;IACC,OAAO,YAAY,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3H,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,gCAAgC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7I,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,sCAAsC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnJ,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,wBAAwB,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3G,GAAG,CAAC,KAAK,CAAC,qBAAqB,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3G,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;YAC9J,CAAC,CAAC,CAAC,qEAAqE,CAAC;YACzE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,kCAAkC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9H,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM;aACrB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kCAAkC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjF,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ;QAC1B,GAAG,KAAK,CAAC,SAAS;QAClB,GAAG,KAAK,CAAC,QAAQ;KAClB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY;IACnB,OAAO;QACL,4FAA4F;QAC5F,+EAA+E;QAC/E,uFAAuF;QACvF,uEAAuE;KACxE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY,EAAE,cAA+C;IAC/F,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO;QACL,cAAc,KAAK,QAAQ;YACzB,CAAC,CAAC,2BAA2B,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,oCAAoC;YACtG,CAAC,CAAC,sBAAsB,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,kBAAkB;QACjF,oBAAoB,UAAU,CAAC,IAAI,CAAC,SAAS;QAC7C,gBAAgB,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,SAAS;KAC/D,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,QAA+B;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,OAAO,UAAU,QAAQ,CAAC,MAAM,IAAI,QAAQ,GAAG,MAAM,GAAG,OAAO,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,eAAe,CAAC,KAA6B;IACpD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,OAAO,KAAK,IAAI,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,QAAkB;IACxC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,qEAAqE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,QAAmC;IACjE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC1B,OAAO,CAAC,2HAA2H,CAAC,CAAC;IACvI,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC;QACtE,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,kBAAkB,OAAO,EAAE,CAAC;QAClF,GAAG,QAAQ,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,qBAAqB,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,MAAM,EAAE,CAAC;QACnF,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;KAChH,CAAC;IACF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,oEAAoE,CAAC,CAAC;AAC3G,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAmC;IAC/D,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1D,OAAO,CAAC,wEAAwE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,wBAAwB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAiC;IAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,MAAM,CAAC,QAAQ,EAAE,CAAC;IAC1F,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,UAAU,IAAI,CAAC;IACnF,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC;IACrF,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,GAAG,GAAG,GAAG,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AAC1F,CAAC;AAED,SAAS,cAAc,CAAC,QAA2B;IACjD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE;QACrC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;KACzD,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACpI,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,+DAA+D,CAAC,CAAC;AACtG,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IAChC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C,CAAC,CAAC;AACrH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/G,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzG,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,CAAC;AACjD,CAAC"}

package/dist/query/post-edit.js

@@ -13,6 +13,8 @@ import { normalizeSearchText } from "./search.js";
 import { formatTestRecommendations, narrowTestRecommendationsByChangeType, recommendTests, uniqueTests } from "./tests.js";
 import { findFile, normalizeInputPaths, resolveSymbolTarget } from "./targets.js";
 import { formatVerificationCoverage, formatVerificationLedger, verificationEvidenceForCommandReports, verificationLedgerForPostEdit } from "./verification.js";
+import { sanitizeCommandEnvelopeForDisplay, sanitizeCommandReportForDisplay, sanitizeCommandText, sanitizeCoverageForDisplay, sanitizeLedgerForDisplay, sanitizeSummary } from "./verification-display.js";
+import { evaluateRequiredChecks } from "./required-checks.js";
 import { isCodexaControlPath, formatChangedEntry } from "./worktree.js";
 import { postEditDecision } from "./post-edit/decision.js";
 import { postEditDirtyScope } from "./post-edit/dirty-scope.js";
@@ -672,65 +674,6 @@ function formatModifiedSymbols(modifiedSymbols, modifiedPublicSymbols) {
     const publicSuffix = modifiedPublicSymbols.length > 0 ? `; public/runtime ${modifiedPublicSymbols.slice(0, 8).join(", ")}` : "";
     return [`- ${modifiedSymbols.slice(0, 12).join(", ")}${modifiedSymbols.length > 12 ? ", ..." : ""}${publicSuffix}`];
 }
-function evaluateRequiredChecks(checks, input) {
-    if (checks.length === 0) {
-        return [];
-    }
-    const editSet = new Set(input.editPaths);
-    const reviewSet = new Set(input.reviewTargets);
-    const selectedSet = new Set(input.selectedFiles);
-    const affectedTestSet = new Set(input.affectedTests);
-    const workflowTitles = new Set(input.workflows.map((workflow) => workflow.title));
-    const edgePaths = new Set(input.affectedEdges.flatMap((edge) => [edge.fromPath, edge.toPath]).filter((filePath) => Boolean(filePath)));
-    return checks.map((check) => {
-        const relevant = input.editPaths.length === 0 || check.paths.some((filePath) => editSet.has(filePath) || reviewSet.has(filePath));
-        const evidencePaths = check.paths.filter((filePath) => !editSet.has(filePath));
-        const hasNonEditedEvidence = evidencePaths.some((filePath) => edgePaths.has(filePath) || selectedSet.has(filePath) || affectedTestSet.has(filePath));
-        if (!relevant) {
-            return { ...check, status: "not_applicable" };
-        }
-        const covered = check.kind === "workflow"
-            ? workflowTitles.has(check.target) && hasNonEditedEvidence
-            : hasNonEditedEvidence || dependencyCheckCoveredByVerification(check, input);
-        return { ...check, status: covered ? "covered" : "missing" };
-    });
-}
-function dependencyCheckCoveredByVerification(check, input) {
-    const checkPaths = check.paths.map(normalizePathLike);
-    const testPaths = check.paths.filter(isTestPath);
-    if (testPaths.some((testPath) => input.ranTests.some((ranTest) => normalizePathLike(ranTest) === normalizePathLike(testPath)) ||
-        input.verificationCoverage.some((coverage) => coverage.kind === (testPath.endsWith(".py") ? "python-tests" : "javascript-tests") && coverageCoversPath(coverage, testPath)))) {
-        return true;
-    }
-    const sourcePaths = check.paths.filter((filePath) => !isTestPath(filePath));
-    return input.verificationCoverage.some((coverage) => {
-        if (coverage.targetPath) {
-            return checkPaths.includes(normalizePathLike(coverage.targetPath)) && coverageKindCompatibleWithSourcePath(coverage.kind, coverage.targetPath);
-        }
-        return sourcePaths.some((filePath) => coverageKindCompatibleWithSourcePath(coverage.kind, filePath) && coverageCoversPath(coverage, filePath));
-    });
-}
-function coverageKindCompatibleWithSourcePath(kind, filePath) {
-    const normalized = normalizePathLike(filePath).toLowerCase();
-    if (normalized.endsWith(".py")) {
-        return kind === "python-tests";
-    }
-    if (/\.(?:cjs|cts|js|jsx|mjs|mts|ts|tsx)$/u.test(normalized)) {
-        return kind === "build" || kind === "typescript-syntax" || kind === "javascript-tests";
-    }
-    return kind === "build";
-}
-function coverageCoversPath(coverage, filePath) {
-    const normalizedPath = normalizePathLike(filePath);
-    if (coverage.targetPath) {
-        return normalizePathLike(coverage.targetPath) === normalizedPath;
-    }
-    const normalizedScope = normalizePathLike(coverage.scope ?? ".");
-    return normalizedScope === "." || normalizedPath === normalizedScope || normalizedPath.startsWith(`${normalizedScope}/`);
-}
-function normalizePathLike(value) {
-    return value.replace(/\\/gu, "/").replace(/^\.\//u, "").replace(/\/+/gu, "/");
-}
 function formatCheckResults(checks) {
     if (checks.length === 0) {
         return ["- none saved in the task snapshot"];
@@ -843,150 +786,6 @@ function absoluteSubpath(candidate, parent) {
     const relative = path.relative(path.resolve(parent), path.resolve(candidate));
     return relative === "" || (!relative.startsWith("..") && !path.isAbsolute(relative));
 }
-function sanitizeCommandReportForDisplay(report, repoRoot) {
-    return {
-        ...report,
-        command: sanitizeCommandText(report.command, repoRoot),
-        cwd: sanitizePathField(report.cwd, repoRoot),
-        packageManager: sanitizeSummary(report.packageManager, repoRoot),
-        workspace: sanitizeSummary(report.workspace, repoRoot),
-        packageRoot: sanitizePathField(report.packageRoot, repoRoot),
-        packageName: sanitizeSummary(report.packageName, repoRoot),
-        scriptName: sanitizeSummary(report.scriptName, repoRoot),
-        stdoutSummary: sanitizeSummary(report.stdoutSummary, repoRoot),
-        stderrSummary: sanitizeSummary(report.stderrSummary, repoRoot),
-        outputSummary: sanitizeSummary(report.outputSummary, repoRoot),
-        args: sanitizeCommandArgs(report.args, repoRoot),
-        runner: sanitizeRunnerForDisplay(report.runner, repoRoot)
-    };
-}
-function sanitizeRunnerForDisplay(runner, repoRoot) {
-    if (!runner) {
-        return undefined;
-    }
-    return {
-        ...runner,
-        cwdRealpath: sanitizePathField(runner.cwdRealpath, repoRoot) ?? runner.cwdRealpath,
-        targetRealpaths: runner.targetRealpaths.map((target) => sanitizePathField(target, repoRoot) ?? target),
-        allowedBy: runner.allowedBy.map((reason) => sanitizeSummary(reason, repoRoot) ?? reason),
-        skippedReason: sanitizeSummary(runner.skippedReason, repoRoot)
-    };
-}
-function sanitizeCommandEnvelopeForDisplay(envelope, repoRoot) {
-    return {
-        ...envelope,
-        command: sanitizeCommandText(envelope.command, repoRoot),
-        cwd: sanitizePathField(envelope.cwd, repoRoot),
-        packageManager: sanitizeSummary(envelope.packageManager, repoRoot),
-        workspace: sanitizeSummary(envelope.workspace, repoRoot),
-        packageRoot: sanitizePathField(envelope.packageRoot, repoRoot),
-        packageName: sanitizeSummary(envelope.packageName, repoRoot),
-        scriptName: sanitizeSummary(envelope.scriptName, repoRoot),
-        stdoutSummary: sanitizeSummary(envelope.stdoutSummary, repoRoot),
-        stderrSummary: sanitizeSummary(envelope.stderrSummary, repoRoot),
-        outputSummary: sanitizeSummary(envelope.outputSummary, repoRoot),
-        args: sanitizeCommandArgs(envelope.args, repoRoot) ?? []
-    };
-}
-function sanitizeCoverageForDisplay(entry, repoRoot) {
-    return {
-        ...entry,
-        command: sanitizeCommandText(entry.command, repoRoot),
-        source: sanitizeSummary(entry.source, repoRoot) ?? entry.source,
-        scope: sanitizePathField(entry.scope, repoRoot),
-        targetPath: sanitizePathField(entry.targetPath, repoRoot),
-        details: entry.details.map((detail) => sanitizeSummary(detail, repoRoot) ?? "").filter(Boolean),
-        outputSummary: sanitizeSummary(entry.outputSummary, repoRoot),
-        commandEnvelope: entry.commandEnvelope ? sanitizeCommandEnvelopeForDisplay(entry.commandEnvelope, repoRoot) : undefined
-    };
-}
-function sanitizeLedgerForDisplay(entry, repoRoot) {
-    return {
-        ...entry,
-        command: entry.command ? sanitizeCommandText(entry.command, repoRoot) : undefined,
-        evidence: entry.evidence.map((item) => sanitizeSummary(item, repoRoot) ?? "").filter(Boolean)
-    };
-}
-function sanitizeCommandText(value, repoRoot) {
-    return sanitizeSummary(value, repoRoot) ?? "";
-}
-function sanitizeSummary(value, repoRoot) {
-    const clean = redactSecretText(value)
-        ?.replaceAll(repoRoot, "<repo>")
-        .replace(/__outside_repo__:[^\s;|)]+/gu, "__outside_repo__:<outside-repo>")
-        .replace(/(^|[\s([,{])\/[^\s;|)\]'",]+/gu, "$1<abs-path>")
-        .replace(/(^|[\s([,{])(?:\.\.?\/)[^\s;|)\]'",]+/gu, "$1<rel-path>")
-        .replace(/\s+/gu, " ")
-        .trim();
-    if (!clean) {
-        return undefined;
-    }
-    return clean.length > 500 ? `${clean.slice(0, 497)}...` : clean;
-}
-function sanitizeCommandArgs(args, repoRoot) {
-    if (!args) {
-        return undefined;
-    }
-    let redactNext = false;
-    return args.map((arg) => {
-        if (redactNext) {
-            redactNext = false;
-            return "<redacted>";
-        }
-        if (isSecretFlag(arg) && !arg.includes("=")) {
-            redactNext = true;
-            return sanitizeSummary(arg, repoRoot) ?? "";
-        }
-        return sanitizeSummary(redactSecretArg(arg), repoRoot) ?? "";
-    });
-}
-function redactSecretText(value) {
-    return value
-        ?.replace(/(^|[\s([,{])((?:--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api[-_]?key|access[-_]?key|auth|credential|cookie)[a-z0-9-]*)(?:=|\s+))([^\s;|)\]'",]+)/giu, "$1$2<redacted>")
-        .replace(/(\b[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*=)([^\s;|)\]'",]+)/gu, "$1<redacted>")
-        .replace(/\b(Bearer)\s+[A-Za-z0-9._~+/-]+=*/giu, "$1 <redacted>");
-}
-function redactSecretArg(value) {
-    if (/^Bearer\s+/iu.test(value)) {
-        return "Bearer <redacted>";
-    }
-    if (isSecretFlag(value) && value.includes("=")) {
-        return value.replace(/=.*/u, "=<redacted>");
-    }
-    if (/^(?:[A-Z_]*(?:TOKEN|SECRET|PASSWORD|PASSWD|PWD|API_?KEY|ACCESS_?KEY|AUTH|CREDENTIAL|COOKIE)[A-Z0-9_]*)=/iu.test(value)) {
-        return value.replace(/=.*/u, "=<redacted>");
-    }
-    return value;
-}
-function isSecretFlag(value) {
-    return /^--?[a-z0-9-]*(?:token|secret|password|passwd|pwd|api-?key|access-?key|auth|credential|cookie)[a-z0-9-]*(?:=.*)?$/iu.test(value);
-}
-function sanitizePathField(value, repoRoot) {
-    if (!value) {
-        return undefined;
-    }
-    if (value.startsWith("__outside_repo__:")) {
-        return "__outside_repo__:<outside-repo>";
-    }
-    if (value === "." || value === "./") {
-        return ".";
-    }
-    if (value === ".." || value.startsWith("../")) {
-        return "<outside-repo>";
-    }
-    if (value.startsWith("./")) {
-        const relative = normalizePathLike(value);
-        return relative === "." ? "." : `<repo>/${relative}`;
-    }
-    if (path.isAbsolute(value)) {
-        const relative = path.relative(repoRoot, value);
-        if (relative === "") {
-            return "<repo>";
-        }
-        return !relative.startsWith("..") && !path.isAbsolute(relative) ? `<repo>/${relative.split(path.sep).join("/")}` : "<outside-repo>";
-    }
-    return sanitizeSummary(value, repoRoot);
-}
 function formatCommandReport(report) {
     const status = report.exitCode === undefined ? "exit unknown" : `exit ${report.exitCode}`;
     const cwd = report.cwd ? `; cwd ${report.cwd}` : "";