synorch 0.2.0 → 0.4.0-beta.0

package/dist/harness/orchestration/artifact-review.js

@@ -0,0 +1,319 @@
+import { z } from "zod";
+import { createId, deriveProjectId, digestOf, digestSchema, taskContextPacketSchema, } from "../contracts/index.js";
+import { createBudgetTracker } from "./budget.js";
+import { WORKSPACE_READ_EXCLUSIONS } from "./plan.js";
+import { createRunRecorder, REVIEW_MEDIA_TYPE } from "./recorder.js";
+const COMMIT_TOKEN = /^(?:HEAD|@|[0-9a-f]{7,40})(?:[~^]\d*)*$/i;
+const RANGE_TOKEN = /^([^\s.][^\s]*?)?(\.\.\.?)([^\s.][^\s]*)?$/;
+const RUN_TOKEN = /^run-\d+$/i;
+/**
+ * `/review [--staged | <commit> | <from>..<to> | run-<n>] [focus…]`. A token that does not look like
+ * a target starts the focus text (`/review error handling` keeps working); `fix` alone is `/review fix`.
+ */
+export function parseReviewArgument(argument) {
+    const tokens = argument.trim().split(/\s+/).filter((token) => token !== "");
+    const json = tokens.includes("--json");
+    const rest = tokens.filter((token) => token !== "--json");
+    if (rest.length === 1 && rest[0]?.toLowerCase() === "fix")
+        return { target: { kind: "workspace" }, focus: "", fix: true, json };
+    let target = { kind: "workspace" };
+    const first = rest[0];
+    let consumed = 0;
+    if (first !== undefined) {
+        const range = first.includes("..") ? RANGE_TOKEN.exec(first) : null;
+        if (first === "--staged" || first === "--cached")
+            target = { kind: "staged" };
+        else if (RUN_TOKEN.test(first))
+            target = { kind: "run", ref: first.toLowerCase() };
+        else if (range !== null && (range[1] !== undefined || range[3] !== undefined))
+            target = { kind: "range", from: range[1] ?? "HEAD", to: range[3] ?? "HEAD", symmetric: range[2] === "..." };
+        else if (COMMIT_TOKEN.test(first))
+            target = { kind: "commit", rev: first };
+        if (target.kind !== "workspace")
+            consumed = 1;
+    }
+    return { target, focus: rest.slice(consumed).join(" "), fix: false, json };
+}
+/** One line naming the target (`uncommitted changes`, `commit 1a2b3c4`, `HEAD~3..HEAD`). */
+export function describeReviewTarget(target) {
+    switch (target.kind) {
+        case "workspace":
+            return "uncommitted changes";
+        case "staged":
+            return "staged changes";
+        case "commit":
+            return `commit ${target.rev}`;
+        case "range":
+            return `${target.from}${target.symmetric ? "..." : ".."}${target.to}`;
+        case "run":
+            return `files integrated by ${target.ref}`;
+    }
+}
+const GENERATED_PATHS = [
+    /(^|\/)(pnpm-lock\.yaml|package-lock\.json|npm-shrinkwrap\.json|yarn\.lock|bun\.lockb?|Cargo\.lock|poetry\.lock|uv\.lock|Pipfile\.lock|composer\.lock|Gemfile\.lock|go\.sum|packages\.lock\.json)$/i,
+    /(^|\/)(node_modules|dist|build|out|coverage|\.next|\.nuxt|\.turbo|\.svelte-kit|target|__pycache__|\.synorch|\.cache)\//i,
+    /\.(min\.js|min\.css|map|snap|tsbuildinfo|pyc)$/i,
+    /(^|\/)[^/]*\.generated\.[^/]+$/i,
+    /(_pb2\.py|\.pb\.go|\.g\.dart|\.designer\.cs)$/i,
+];
+/** Generated artifacts (lockfiles, build output, snapshots, minified or generated sources): never reviewed, never a finding (P0). */
+export function isGeneratedPath(relativePath) {
+    const normalized = relativePath.replaceAll("\\", "/");
+    return GENERATED_PATHS.some((pattern) => pattern.test(normalized));
+}
+/** The fixed review criteria (ADR-09 packet criteria), in card order. */
+export const REVIEW_CRITERIA = [
+    { id: "AC-1", name: "correctness", statement: "Correctness: the change does what it evidently intends, without logic, edge-case, error-handling or security bugs." },
+    { id: "AC-2", name: "scope", statement: "Scope: the change stays within its evident purpose (no unrelated edits, leftover debug code or unintended behaviour changes)." },
+    { id: "AC-3", name: "tests", statement: "Tests/verification: changed behaviour is covered by tests or a stated verification, and existing tests are not weakened or removed without reason." },
+    { id: "AC-4", name: "risks", statement: "Risks: no unflagged risky effect (data loss, breaking API/CLI/config changes, secrets, destructive commands, performance cliffs)." },
+];
+export const ARTIFACT_REVIEW_MAX_STEPS = 40;
+/** The reviewer's fresh packet (ADR-09): read-only, pinned to the artifact digest, the fixed criteria, no conversation. */
+export function compileArtifactReviewPacket(input) {
+    return taskContextPacketSchema.parse({
+        schema_version: 2,
+        kind: "full",
+        task_id: input.taskId,
+        run_id: input.runId,
+        plan_id: input.planId,
+        plan_version: 1,
+        plan_digest: digestOf({ artifact_review: input.label, artifact: input.artifactDigest }),
+        role: "reviewer",
+        model_tier: input.tier,
+        risk: "standard",
+        write_mode: "read-only",
+        isolation: "shared-read-only",
+        objective: `Independently review ${input.label} (pinned artifact ${input.artifactDigest})`,
+        why: { user_goal: `The user asked for an independent review of ${input.label}${input.focus === "" ? "" : ` (focus: ${input.focus})`}` },
+        scope: { owned_paths: [], read_paths: ["**"], forbidden_paths: [...WORKSPACE_READ_EXCLUSIONS] },
+        known_facts: [],
+        decisions: [
+            `The artifact under review is pinned at ${input.artifactDigest}; it must not change during review.`,
+            "Proportional review (P0): report what matters for correctness, scope, tests and risk. Never raise findings about formatting, naming taste or generated files (lockfiles, build output, snapshots, minified or generated sources); a clean change is accepted with no findings.",
+            ...(input.focus === "" ? [] : [`The user asks you to pay special attention to: ${input.focus}`]),
+        ],
+        relevant_symbols: [],
+        acceptance_criteria: REVIEW_CRITERIA.map((criterion) => ({ id: criterion.id, statement: criterion.statement })),
+        verification: { commands: [] },
+        non_goals: ["Modifying the workspace", "Cosmetic or style findings", "Findings about generated files"],
+        open_questions: [],
+        stop_conditions: ["The artifact changes during review"],
+        limits: { max_steps: input.maxSteps ?? ARTIFACT_REVIEW_MAX_STEPS, max_wall_time_seconds: 1800 },
+        context: { created_at: input.createdAt, project_snapshot: digestSchema.parse(input.artifactDigest), sources: [] },
+        expected_report: ["criteria", "findings", "decision"],
+    });
+}
+/** The reviewer's first message: what is pinned, how to judge (proportional), and the diff. */
+export function renderArtifactReviewBrief(input) {
+    return [
+        `Independent review (ADR-09) of ${input.label}. You did not write this change and you have no conversation history.`,
+        `The artifact under review is pinned at ${input.digest}: the diff below, applied in the workspace as it is now. The workspace is read-only for you; read any file you need, not only the changed ones.`,
+        `Criteria:\n${REVIEW_CRITERIA.map((criterion) => `- ${criterion.id} ${criterion.statement}`).join("\n")}`,
+        "Be proportional: a finding must matter for correctness, scope, tests or risk. No findings about formatting, naming taste or generated files. Severity: blocker (must not ship: broken build, data loss, security hole), major (a real bug, or changed behaviour without any test), minor (worth fixing, not blocking), info. Give every finding a workspace path and line, what is wrong and a recommendation.",
+        "Decision: accept when there is no blocker or major finding; revise when there are fixable problems; block when the change must not proceed as it is.",
+        ...(input.focus === "" ? [] : [`The user asks you to focus on: ${input.focus}`]),
+        ...(input.excludedPaths.length === 0 ? [] : [`Generated files left out of the review: ${input.excludedPaths.slice(0, 20).join(", ")}${input.excludedPaths.length > 20 ? ", …" : ""}`]),
+        `Changed files (${input.changedPaths.length}): ${input.changedPaths.slice(0, 60).join(", ")}${input.changedPaths.length > 60 ? ", …" : ""}`,
+        `Diff${input.truncated ? " (truncated: read the files with your tools for the rest)" : ""}:\n\`\`\`diff\n${input.diff}\n\`\`\``,
+    ].join("\n\n");
+}
+/**
+ * The card's verdict from the reviewer's decision, findings and judged criteria (P0 proportional):
+ * `block` or a blocker finding blocks; a major finding or a criterion `not_met` requests changes; a
+ * `revise` with only minor/info findings is an approval with notes; `unverifiable` alone never fails.
+ */
+export function mapReviewVerdict(decision, findings, criteria) {
+    if (decision === "block" || findings.some((finding) => finding.severity === "blocker"))
+        return "blocked";
+    if (findings.some((finding) => finding.severity === "major") || criteria.some((criterion) => criterion.verdict === "not_met"))
+        return "changes_requested";
+    return "approve";
+}
+/** `review/recorded.decision` for a verdict. */
+export function verdictDecision(verdict) {
+    return verdict === "approve" ? "accept" : verdict === "changes_requested" ? "revise" : "block";
+}
+/** The `review/recorded` blob of an artifact review (read back by `/evidence`). */
+export const artifactReviewRecordSchema = z.looseObject({
+    kind: z.literal("artifact-review"),
+    target: z.string(),
+    artifactDigest: z.string(),
+    reviewer: z.looseObject({ provider_id: z.string(), model_id: z.string() }),
+    status: z.string(),
+    verdict: z.enum(["approve", "changes_requested", "blocked"]).optional(),
+    criteria: z.array(z.looseObject({ id: z.string(), name: z.string(), verdict: z.enum(["met", "not_met", "unverifiable"]), note: z.string().optional(), evidence: z.array(z.string()) })),
+    findings: z.array(z.looseObject({ id: z.string(), severity: z.string(), summary: z.string(), path: z.string().optional(), line: z.number().optional(), recommendation: z.string().optional() })),
+    changedPaths: z.array(z.string()),
+    evidence: z.array(z.string()),
+});
+function observed(store, emit) {
+    if (emit === undefined)
+        return store;
+    return {
+        get sessionId() {
+            return store.sessionId;
+        },
+        get lastSeq() {
+            return store.lastSeq;
+        },
+        async append(draft) {
+            const event = await store.append(draft);
+            emit(event);
+            return event;
+        },
+        read: (fromSeq, toSeq) => store.read(fromSeq, toSeq),
+        close: () => store.close(),
+    };
+}
+/** The run goal of an artifact review; `/runs` and `/evidence` show it. */
+export function artifactReviewGoal(label, focus) {
+    return `review: ${label}${focus === "" ? "" : ` (focus: ${focus})`}`.slice(0, 300);
+}
+/**
+ * Runs one artifact review as its own run: `run/created`, one reviewer task, the reviewer attempt
+ * (worker manager, fresh session, read-only), `review/recorded` with the structured result.
+ * Never rejects; a harness failure is a `failed` result.
+ */
+export async function runArtifactReview(deps, request, signal) {
+    const now = deps.now ?? (() => new Date());
+    const platform = deps.platform ?? process.platform;
+    const runId = createId("run");
+    const projectId = deriveProjectId(request.workspaceRoot, platform);
+    const goal = artifactReviewGoal(request.label, request.focus);
+    const log = observed(await deps.sessions.create({ session_id: createId("session"), project_id: projectId, workspace_root: request.workspaceRoot, created_at: now().toISOString(), title: goal.slice(0, 200) }), deps.emit);
+    const recorder = createRunRecorder(log, deps.blobs, runId);
+    const taskId = createId("task");
+    const planId = createId("plan");
+    let taskState = "draft";
+    const moveTask = async (to, reason) => {
+        await recorder.record("task/state_changed", { task_id: taskId, from: taskState, to, reason: reason.slice(0, 500) }, { taskId });
+        taskState = to;
+    };
+    const base = {
+        kind: "artifact-review",
+        runId,
+        sessionId: log.sessionId,
+        target: request.label,
+        targetKind: request.target.kind,
+        artifactDigest: request.artifact.digest,
+        changedPaths: request.changedPaths,
+        excludedPaths: request.excludedPaths,
+        reviewer: { provider_id: request.route.route.provider_id, model_id: request.route.route.model_id },
+        sameProvider: request.implementer === undefined ? undefined : request.implementer.provider_id === request.route.route.provider_id,
+    };
+    let result;
+    try {
+        await recorder.record("run/created", { goal, policy_mode: request.policyMode, headless: request.headless, budget: {} });
+        await recorder.record("run/state_changed", { from: "created", to: "running", reason: "independent review started" });
+        await recorder.record("task/created", { task_id: taskId, plan_id: planId, key: "review", role: "reviewer", depends_on: [], owned_paths: [], risk: "standard" }, { taskId });
+        await moveTask("ready", "artifact pinned");
+        const packet = compileArtifactReviewPacket({ runId, taskId, planId, artifactDigest: request.artifact.digest, label: request.label, focus: request.focus, tier: request.tier, createdAt: now().toISOString() });
+        const budget = createBudgetTracker({ scope: "run", limits: { maxCostUsd: undefined, maxWallTimeSeconds: undefined, maxSteps: packet.limits.max_steps + 2, maxToolCalls: undefined } });
+        const workers = deps.createWorkers({ runId, mode: request.policyMode, workspaceRoot: request.workspaceRoot, projectId, recorder }, budget);
+        await moveTask("running", `independent review by ${base.reviewer.provider_id}/${base.reviewer.model_id}`);
+        const handle = await workers.dispatchArtifactReview(packet, request.artifact, signal, { route: request.route });
+        const outcome = await handle.result;
+        await workers.dispose(handle.attemptId).catch(() => undefined);
+        const reviewerSessionId = workers.attempt(handle.attemptId)?.sessionId;
+        const report = outcome.report;
+        const names = new Map(REVIEW_CRITERIA.map((criterion) => [criterion.id, criterion.name]));
+        const criteria = (report?.criteria ?? []).map((criterion) => ({
+            id: criterion.criterion_id,
+            name: names.get(criterion.criterion_id) ?? criterion.criterion_id,
+            verdict: criterion.verdict,
+            ...(criterion.note === undefined || criterion.note.trim() === "" ? {} : { note: criterion.note }),
+            evidence: criterion.evidence.map((evidence) => `${evidence.kind} ${evidence.ref}`),
+        }));
+        const verdict = report === undefined ? undefined : mapReviewVerdict(report.decision, report.findings, report.criteria);
+        const status = outcome.cancelled ? "cancelled" : report === undefined ? "no_report" : outcome.artifactChanged ? "artifact_changed" : "reviewed";
+        result = {
+            ...base,
+            reviewerAttemptId: handle.attemptId,
+            reviewerSessionId,
+            status,
+            verdict,
+            criteria,
+            findings: report?.findings ?? [],
+            evidence: [...new Set(criteria.flatMap((criterion) => criterion.evidence))],
+            problems: [...outcome.problems, ...(outcome.artifactChanged ? ["the artifact changed during review: the verdict applies to the pinned version only"] : [])],
+        };
+        if (report !== undefined && verdict !== undefined) {
+            const blob = await recorder.putJson(result, REVIEW_MEDIA_TYPE);
+            await recorder.record("review/recorded", { task_id: taskId, reviewer_attempt_id: handle.attemptId, review_digest: digestOf(result), decision: verdictDecision(verdict), blob }, { taskId, attemptId: handle.attemptId, actor: { kind: "worker", role: "reviewer", attempt_id: handle.attemptId } });
+        }
+        if (status === "cancelled")
+            await moveTask("cancelled", "review stopped");
+        else if (report === undefined)
+            await moveTask("failed", outcome.problems[0] ?? "the reviewer produced no valid report");
+        else {
+            await moveTask("verifying", "report judged");
+            await moveTask("completed", status === "artifact_changed" ? "artifact changed during review" : `verdict: ${verdict ?? "none"}`);
+        }
+        const to = status === "cancelled" ? "cancelled" : status === "reviewed" || status === "artifact_changed" ? "completed" : "failed";
+        await recorder.record("run/state_changed", { from: "running", to, reason: to === "completed" ? `review ${verdict ?? ""}`.trim() : status.replaceAll("_", " ") });
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        result = { ...base, reviewerAttemptId: undefined, reviewerSessionId: undefined, status: signal.aborted ? "cancelled" : "failed", verdict: undefined, criteria: [], findings: [], evidence: [], problems: [message] };
+        await recorder.record("run/state_changed", { from: "running", to: signal.aborted ? "cancelled" : "failed", reason: message.slice(0, 500) }).catch(() => undefined);
+    }
+    finally {
+        await log.close().catch(() => undefined);
+    }
+    return result;
+}
+const VERDICT_TEXT = { approve: "approved", changes_requested: "changes requested", blocked: "blocked" };
+function findingLocation(finding) {
+    return finding.path === undefined ? "" : `${finding.path}${finding.line === undefined ? "" : `:${finding.line}`}`;
+}
+/** The structured review card as transcript lines (plain and TUI alike). */
+export function renderReviewCard(result, g) {
+    const head = result.verdict === undefined
+        ? `${g.fail} Review ${g.sep} ${result.status === "cancelled" ? "stopped" : "no verdict"} ${g.sep} ${result.target}`
+        : `${result.verdict === "approve" ? g.ok : result.verdict === "blocked" ? g.fail : g.warn} Review ${g.sep} ${VERDICT_TEXT[result.verdict]} ${g.sep} ${result.target} (${result.changedPaths.length} file${result.changedPaths.length === 1 ? "" : "s"})`;
+    const provider = result.sameProvider === undefined ? "" : result.sameProvider ? ", same provider" : ", another provider";
+    const lines = [head, `  Reviewer  ${result.reviewer.provider_id}/${result.reviewer.model_id} (fresh context${provider}, read-only)`];
+    const pinned = `${result.artifactDigest.slice(0, 19)}…`;
+    lines.push(`  Artifact  ${pinned} ${result.status === "artifact_changed" ? `${g.sep} ${g.warn} artifact changed during review: the verdict covers the pinned version; run /review again` : `${g.sep} unchanged during review`}`);
+    if (result.excludedPaths.length > 0)
+        lines.push(`  Skipped   ${result.excludedPaths.length} generated file${result.excludedPaths.length === 1 ? "" : "s"} (${result.excludedPaths.slice(0, 3).join(", ")}${result.excludedPaths.length > 3 ? ", …" : ""})`);
+    if (result.criteria.length > 0)
+        lines.push(`  Criteria  ${result.criteria.map((criterion) => `${criterion.name} ${criterion.verdict.replaceAll("_", " ")}`).join(` ${g.sep} `)}`);
+    if (result.findings.length === 0 && result.verdict !== undefined)
+        lines.push("  Findings  none");
+    if (result.findings.length > 0) {
+        lines.push(`  Findings  ${result.findings.length}`);
+        for (const finding of result.findings) {
+            const where = findingLocation(finding);
+            lines.push(`    ${finding.severity.padEnd(7)} ${where === "" ? "" : `${where}  `}${finding.summary}`);
+            if (finding.recommendation !== undefined)
+                lines.push(`            ${g.bullet} ${finding.recommendation}`);
+        }
+    }
+    if (result.evidence.length > 0)
+        lines.push(`  Evidence  ${result.evidence.slice(0, 8).join(", ")}${result.evidence.length > 8 ? ", …" : ""} (reviewer's own tool calls) ${g.sep} /evidence`);
+    for (const problem of result.problems.slice(0, 3))
+        lines.push(`  Note      ${problem}`);
+    return lines;
+}
+/** Findings worth handing to the agent (`Fix these?`): everything but `info`. */
+export function actionableFindings(result) {
+    return result.findings.filter((finding) => finding.severity !== "info");
+}
+/** The follow-up message the session agent receives when the user accepts "Fix these?". */
+export function fixFollowUpMessage(result, findings) {
+    return [
+        `An independent reviewer (${result.reviewer.provider_id}/${result.reviewer.model_id}, fresh context) reviewed ${result.target} (artifact ${result.artifactDigest.slice(0, 19)}…) and the user asks you to fix these findings:`,
+        ...findings.map((finding, index) => {
+            const where = findingLocation(finding);
+            return `${index + 1}. [${finding.severity}] ${where === "" ? "" : `${where}: `}${finding.summary}${finding.recommendation === undefined ? "" : ` (recommendation: ${finding.recommendation})`}`;
+        }),
+        "Check each finding against the code first; fix the real ones, say which you skip and why, and run the relevant tests.",
+    ].join("\n");
+}
+/** Session ids a review result points at (the review run and the reviewer's attempt). */
+export function reviewSessionIds(result) {
+    return [result.sessionId, ...(result.reviewerSessionId === undefined ? [] : [result.reviewerSessionId])];
+}
+//# sourceMappingURL=artifact-review.js.map

package/dist/harness/orchestration/artifact-review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifact-review.js","sourceRoot":"","sources":["../../../src/harness/orchestration/artifact-review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EACL,QAAQ,EACR,eAAe,EACf,QAAQ,EACR,YAAY,EACZ,uBAAuB,GAgBxB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAElD,OAAO,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AA4BrE,MAAM,YAAY,GAAG,0CAA0C,CAAC;AAChE,MAAM,WAAW,GAAG,4CAA4C,CAAC;AACjE,MAAM,SAAS,GAAG,YAAY,CAAC;AAE/B;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,KAAK;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChI,IAAI,MAAM,GAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpE,IAAI,KAAK,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;aACzE,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;aAC9E,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;aACtL,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC3E,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;YAAE,QAAQ,GAAG,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC7E,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,oBAAoB,CAAC,MAAoB;IACvD,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,qBAAqB,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,gBAAgB,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,UAAU,MAAM,CAAC,GAAG,EAAE,CAAC;QAChC,KAAK,OAAO;YACV,OAAO,GAAG,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC;QACxE,KAAK,KAAK;YACR,OAAO,uBAAuB,MAAM,CAAC,GAAG,EAAE,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAsB;IACzC,oMAAoM;IACpM,yHAAyH;IACzH,iDAAiD;IACjD,iCAAiC;IACjC,gDAAgD;CACjD,CAAC;AAEF,qIAAqI;AACrI,MAAM,UAAU,eAAe,CAAC,YAAoB;IAClD,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,yEAAyE;AACzE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,oHAAoH,EAAE;IACpK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,+HAA+H,EAAE;IACzK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,oJAAoJ,EAAE;IAC9L,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,mIAAmI,EAAE;CACrK,CAAC;AAcX,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAE5C,2HAA2H;AAC3H,MAAM,UAAU,2BAA2B,CAAC,KAAgC;IAC1E,OAAO,uBAAuB,CAAC,KAAK,CAAC;QACnC,cAAc,EAAE,CAAC;QACjB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,KAAK,CAAC,MAAM;QACrB,MAAM,EAAE,KAAK,CAAC,KAAK;QACnB,OAAO,EAAE,KAAK,CAAC,MAAM;QACrB,YAAY,EAAE,CAAC;QACf,WAAW,EAAE,QAAQ,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC;QACvF,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,KAAK,CAAC,IAAI;QACtB,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,WAAW;QACvB,SAAS,EAAE,kBAAkB;QAC7B,SAAS,EAAE,wBAAwB,KAAK,CAAC,KAAK,qBAAqB,KAAK,CAAC,cAAc,GAAG;QAC1F,GAAG,EAAE,EAAE,SAAS,EAAE,+CAA+C,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,GAAG,EAAE,EAAE;QACvI,KAAK,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,CAAC,GAAG,yBAAyB,CAAC,EAAE;QAC/F,WAAW,EAAE,EAAE;QACf,SAAS,EAAE;YACT,0CAA0C,KAAK,CAAC,cAAc,qCAAqC;YACnG,gRAAgR;YAChR,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kDAAkD,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;SACjG;QACD,gBAAgB,EAAE,EAAE;QACpB,mBAAmB,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/G,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC9B,SAAS,EAAE,CAAC,yBAAyB,EAAE,4BAA4B,EAAE,gCAAgC,CAAC;QACtG,cAAc,EAAE,EAAE;QAClB,eAAe,EAAE,CAAC,oCAAoC,CAAC;QACvD,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,IAAI,yBAAyB,EAAE,qBAAqB,EAAE,IAAI,EAAE;QAC/F,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,gBAAgB,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE;QACjH,eAAe,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC;KACtD,CAAC,CAAC;AACL,CAAC;AAaD,+FAA+F;AAC/F,MAAM,UAAU,yBAAyB,CAAC,KAAsB;IAC9D,OAAO;QACL,kCAAkC,KAAK,CAAC,KAAK,uEAAuE;QACpH,0CAA0C,KAAK,CAAC,MAAM,iJAAiJ;QACvM,cAAc,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACzG,gZAAgZ;QAChZ,sJAAsJ;QACtJ,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,kCAAkC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAChF,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,2CAA2C,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtL,kBAAkB,KAAK,CAAC,YAAY,CAAC,MAAM,MAAM,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;QAC3I,OAAO,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,2DAA2D,CAAC,CAAC,CAAC,EAAE,kBAAkB,KAAK,CAAC,IAAI,UAAU;KAChI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAMD;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAuC,EAAE,QAA4B,EAAE,QAA+C;IACrJ,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACzG,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC;QAAE,OAAO,mBAAmB,CAAC;IAC1J,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,KAAK,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;AACjG,CAAC;AA4BD,mFAAmF;AACnF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,WAAW,CAAC;IACtD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1E,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;IAClB,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,mBAAmB,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IACvL,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAChM,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC9B,CAAC,CAAC;AA4BH,SAAS,QAAQ,CAAC,KAAiB,EAAE,IAAiD;IACpF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACrC,OAAO;QACL,IAAI,SAAS;YACX,OAAO,KAAK,CAAC,SAAS,CAAC;QACzB,CAAC;QACD,IAAI,OAAO;YACT,OAAO,KAAK,CAAC,OAAO,CAAC;QACvB,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,KAAwB;YACnC,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC;QACpD,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE;KAC3B,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,KAAa;IAC7D,OAAO,WAAW,KAAK,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACrF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,IAAgC,EAAE,OAA8B,EAAE,MAAmB;IAC3H,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC;IACnD,MAAM,KAAK,GAAU,QAAQ,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,QAAQ,CAClB,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,aAAa,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,EACzL,IAAI,CAAC,IAAI,CACV,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,SAAS,GAAc,OAAO,CAAC;IACnC,MAAM,QAAQ,GAAG,KAAK,EAAE,EAAa,EAAE,MAAc,EAAiB,EAAE;QACtE,MAAM,QAAQ,CAAC,MAAM,CAAC,oBAAoB,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAChI,SAAS,GAAG,EAAE,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG;QACX,IAAI,EAAE,iBAA0B;QAChC,KAAK;QACL,SAAS,EAAE,GAAG,CAAC,SAAmB;QAClC,MAAM,EAAE,OAAO,CAAC,KAAK;QACrB,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI;QAC/B,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;QACvC,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,QAAQ,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE;QAClG,YAAY,EAAE,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,WAAW,KAAK,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW;KAClI,CAAC;IACF,IAAI,MAA4B,CAAC;IACjC,IAAI,CAAC;QACH,MAAM,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACxH,MAAM,QAAQ,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,4BAA4B,EAAE,CAAC,CAAC;QACrH,MAAM,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5K,MAAM,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,2BAA2B,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC/M,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QACvL,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,MAAM,CAAC,CAAC;QAC3I,MAAM,QAAQ,CAAC,SAAS,EAAE,yBAAyB,IAAI,CAAC,QAAQ,CAAC,WAAW,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1G,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAChH,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC;QACpC,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,iBAAiB,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;QACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB,eAAe,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1G,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YAC5D,EAAE,EAAE,SAAS,CAAC,YAAY;YAC1B,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,SAAS,CAAC,YAAY;YACjE,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;YACjG,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;SACnF,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACvH,MAAM,MAAM,GAAyB,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC;QACtK,MAAM,GAAG;YACP,GAAG,IAAI;YACP,iBAAiB,EAAE,MAAM,CAAC,SAAS;YACnC,iBAAiB;YACjB,MAAM;YACN,OAAO;YACP,QAAQ;YACR,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE;YAChC,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3E,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,oFAAoF,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5J,CAAC;QACF,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;YAC/D,MAAM,QAAQ,CAAC,MAAM,CACnB,iBAAiB,EACjB,EAAE,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,EACrI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,SAAS,EAAE,EAAE,CACnH,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,KAAK,WAAW;YAAE,MAAM,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;aACrE,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,uCAAuC,CAAC,CAAC;aACnH,CAAC;YACJ,MAAM,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;YAC7C,MAAM,QAAQ,CAAC,WAAW,EAAE,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,YAAY,OAAO,IAAI,MAAM,EAAE,CAAC,CAAC;QAClI,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClI,MAAM,QAAQ,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,UAAU,OAAO,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACnK,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvE,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QACrN,MAAM,QAAQ,CAAC,MAAM,CAAC,mBAAmB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IACrK,CAAC;YAAS,CAAC;QACT,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAUD,MAAM,YAAY,GAAkC,EAAE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAExI,SAAS,eAAe,CAAC,OAAuC;IAC9D,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;AACpH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,gBAAgB,CAAC,MAA4B,EAAE,CAAmB;IAChF,MAAM,IAAI,GACR,MAAM,CAAC,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE;QACnH,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,YAAY,CAAC,MAAM,QAAQ,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAC7P,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACzH,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,eAAe,MAAM,CAAC,QAAQ,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,kBAAkB,QAAQ,cAAc,CAAC,CAAC;IACrI,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;IACxD,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,2FAA2F,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,0BAA0B,EAAE,CAAC,CAAC;IACjO,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,aAAa,CAAC,MAAM,kBAAkB,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5P,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAClL,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACjG,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;YACtG,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,gCAAgC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC;IAC7L,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,OAAO,EAAE,CAAC,CAAC;IACxF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,kBAAkB,CAAC,MAA4B;IAC7D,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,kBAAkB,CAAC,MAA4B,EAAE,QAA4B;IAC3F,OAAO;QACL,4BAA4B,MAAM,CAAC,QAAQ,CAAC,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,6BAA6B,MAAM,CAAC,MAAM,cAAc,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,iDAAiD;QAC9N,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,GAAG,KAAK,GAAG,CAAC,MAAM,OAAO,CAAC,QAAQ,KAAK,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,GAAG,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,cAAc,GAAG,EAAE,CAAC;QAClM,CAAC,CAAC;QACF,uHAAuH;KACxH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,gBAAgB,CAAC,MAA4B;IAC3D,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAgB,CAAC;AAC1H,CAAC"}

package/dist/harness/orchestration/attempt-log.d.ts

@@ -0,0 +1,53 @@
+import { type ReportToolName, type BlobStore, type EventReadItem, type ModelMessage, type SessionEvent, type SessionId } from "../contracts/index.ts";
+/**
+ * A read model over one attempt session: which tool calls ran, with what arguments and how they
+ * ended, which events exist (so `event` evidence can be resolved), which blobs are compaction
+ * summaries (never evidence), and the final assistant message the claim is parsed from.
+ */
+export interface RecordedToolCall {
+    readonly name: string | undefined;
+    readonly state: "succeeded" | "failed" | "denied" | "cancelled" | "interrupted" | "proposed";
+    readonly exitCode: number | undefined;
+    /**
+     * The call's short ref ordinal (`[#n]`, ADR-18): `tool/call_proposed.ref` when the gateway
+     * recorded one, otherwise its 1-based position among the session's `tool/call_proposed` events
+     * (the same numbering the gateway assigns).
+     */
+    readonly ordinal?: number;
+    readonly providerCallId?: string;
+    /** The arguments the model sent, from the recorded assistant message (absent when not recorded). */
+    readonly arguments?: Readonly<Record<string, unknown>>;
+    /** Paths the tool reported as changed (`write_file`, `apply_patch`). */
+    readonly changedPaths?: readonly string[];
+    /** The start of the recorded result text (bounded), for correction messages. */
+    readonly excerpt?: string;
+}
+/** A report tool call as the model made it; its arguments come from the recorded assistant message. */
+export interface RecordedReportCall {
+    readonly toolCallId: string;
+    readonly name: ReportToolName;
+    readonly arguments: Readonly<Record<string, unknown>>;
+}
+export interface AttemptLog {
+    readonly sessionId: SessionId;
+    readonly toolCalls: ReadonlyMap<string, RecordedToolCall>;
+    readonly eventTypes: ReadonlyMap<number, string>;
+    readonly compactionBlobs: ReadonlySet<string>;
+    readonly finalAssistantText: string | undefined;
+    readonly assistantTexts: readonly string[];
+    /** Report tool calls in log order (`task_report`, `review_report`, `plan_propose`). */
+    readonly reports: readonly RecordedReportCall[];
+    /** `#n` ordinal → tool call id (absent in hand-built logs). */
+    readonly ordinals?: ReadonlyMap<number, string>;
+}
+/** Arguments of the last report call of `name` that the gateway validated and recorded as succeeded. */
+export declare function latestReport(log: AttemptLog, name: ReportToolName): Readonly<Record<string, unknown>> | undefined;
+/** How many calls of `name` the harness refused with `invalid_arguments` (report correction rounds). */
+export declare function rejectedReports(log: AttemptLog, name: ReportToolName): number;
+export interface EventSource {
+    read(fromSeq?: number, toSeq?: number): AsyncIterable<EventReadItem>;
+}
+export declare function readEvents(source: EventSource): Promise<SessionEvent[]>;
+export declare function textOf(message: ModelMessage): string;
+export declare function buildAttemptLog(sessionId: SessionId, events: readonly SessionEvent[], blobs: BlobStore | undefined): Promise<AttemptLog>;
+//# sourceMappingURL=attempt-log.d.ts.map

package/dist/harness/orchestration/attempt-log.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-log.d.ts","sourceRoot":"","sources":["../../../src/harness/orchestration/attempt-log.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,SAAS,EACf,MAAM,uBAAuB,CAAC;AAE/B;;;;GAIG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,WAAW,GAAG,aAAa,GAAG,UAAU,CAAC;IAC7F,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,oGAAoG;IACpG,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACvD,wEAAwE;IACxE,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,gFAAgF;IAChF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,uGAAuG;AACvG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACvD;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjD;AAKD,wGAAwG;AACxG,wBAAgB,YAAY,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,CAMjH;AAED,wGAAwG;AACxG,wBAAgB,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAE7E;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;CACtE;AAED,wBAAsB,UAAU,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAM7E;AAaD,wBAAgB,MAAM,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAIpD;AAED,wBAAsB,eAAe,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,YAAY,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAuF9I"}

package/dist/harness/orchestration/attempt-log.js

@@ -0,0 +1,138 @@
+import { modelMessageSchema, REPORT_TOOL_NAMES, } from "../contracts/index.js";
+const REPORT_TOOLS = new Set(Object.values(REPORT_TOOL_NAMES));
+const EXCERPT_LIMIT = 400;
+/** Arguments of the last report call of `name` that the gateway validated and recorded as succeeded. */
+export function latestReport(log, name) {
+    for (let index = log.reports.length - 1; index >= 0; index -= 1) {
+        const report = log.reports[index];
+        if (report?.name === name && log.toolCalls.get(report.toolCallId)?.state === "succeeded")
+            return report.arguments;
+    }
+    return undefined;
+}
+/** How many calls of `name` the harness refused with `invalid_arguments` (report correction rounds). */
+export function rejectedReports(log, name) {
+    return log.reports.filter((report) => report.name === name && log.toolCalls.get(report.toolCallId)?.state === "failed").length;
+}
+export async function readEvents(source) {
+    const events = [];
+    for await (const item of source.read()) {
+        if (item.status === "ok")
+            events.push(item.event);
+    }
+    return events;
+}
+async function messageOf(event, blobs) {
+    if (event.data.message !== undefined)
+        return event.data.message;
+    if (event.data.blob === undefined || blobs === undefined)
+        return undefined;
+    try {
+        const parsed = modelMessageSchema.safeParse(JSON.parse(Buffer.from(await blobs.get(event.data.blob.digest)).toString("utf8")));
+        return parsed.success ? parsed.data : undefined;
+    }
+    catch {
+        return undefined;
+    }
+}
+export function textOf(message) {
+    return message.content
+        .flatMap((part) => (part.type === "text" ? [part.text] : []))
+        .join("\n");
+}
+export async function buildAttemptLog(sessionId, events, blobs) {
+    const toolCalls = new Map();
+    const eventTypes = new Map();
+    const compactionBlobs = new Set();
+    const assistantTexts = [];
+    const reports = [];
+    const argumentsOf = new Map();
+    const ordinals = new Map();
+    let proposed = 0;
+    // Harness-initiated calls (the verification runs, `actor.kind: system`) are the harness's facts,
+    // recorded as `harness_evidence`; they are never a model's tool calls or evidence.
+    const systemCalls = new Set();
+    for (const event of events) {
+        eventTypes.set(event.seq, event.type);
+        if (event.type.startsWith("tool/") && "tool_call_id" in event.data) {
+            const id = event.data.tool_call_id;
+            if (event.type === "tool/call_proposed" && event.actor.kind === "system")
+                systemCalls.add(id);
+            if (systemCalls.has(id))
+                continue;
+        }
+        switch (event.type) {
+            case "tool/call_proposed": {
+                proposed += 1;
+                const recorded = event.data.ref;
+                const ordinal = recorded ?? proposed;
+                if (!ordinals.has(ordinal))
+                    ordinals.set(ordinal, event.data.tool_call_id);
+                const args = argumentsOf.get(event.data.tool_call_id);
+                toolCalls.set(event.data.tool_call_id, {
+                    name: event.data.tool_name,
+                    state: "proposed",
+                    exitCode: undefined,
+                    ordinal,
+                    providerCallId: event.data.provider_call_id,
+                    ...(args === undefined ? {} : { arguments: args }),
+                });
+                break;
+            }
+            case "tool/result_recorded": {
+                const previous = toolCalls.get(event.data.tool_call_id);
+                const result = event.data.result;
+                toolCalls.set(event.data.tool_call_id, {
+                    ...previous,
+                    name: previous?.name,
+                    state: event.data.state,
+                    exitCode: result.exit_code,
+                    ...(result.changed_paths === undefined ? {} : { changedPaths: result.changed_paths }),
+                    excerpt: (result.error === undefined ? result.text : `${result.text} ${result.error.message}`).trim().slice(0, EXCERPT_LIMIT),
+                });
+                break;
+            }
+            case "tool/interrupted": {
+                const previous = toolCalls.get(event.data.tool_call_id);
+                toolCalls.set(event.data.tool_call_id, { ...previous, name: previous?.name, state: "interrupted", exitCode: undefined });
+                break;
+            }
+            case "context/compacted":
+                compactionBlobs.add(event.data.summary_blob.digest);
+                break;
+            case "message/recorded": {
+                if (event.data.role !== "assistant")
+                    break;
+                const message = await messageOf(event, blobs);
+                if (message === undefined)
+                    break;
+                assistantTexts.push(textOf(message));
+                for (const part of message.content) {
+                    if (part.type !== "tool_call" || part.tool_call_id === undefined)
+                        continue;
+                    argumentsOf.set(part.tool_call_id, part.arguments);
+                    const known = toolCalls.get(part.tool_call_id);
+                    if (known !== undefined)
+                        toolCalls.set(part.tool_call_id, { ...known, arguments: part.arguments });
+                    if (REPORT_TOOLS.has(part.name)) {
+                        reports.push({ toolCallId: part.tool_call_id, name: part.name, arguments: part.arguments });
+                    }
+                }
+                break;
+            }
+            default:
+                break;
+        }
+    }
+    return {
+        sessionId,
+        toolCalls,
+        eventTypes,
+        compactionBlobs,
+        finalAssistantText: assistantTexts.at(-1),
+        assistantTexts,
+        reports,
+        ordinals,
+    };
+}
+//# sourceMappingURL=attempt-log.js.map

package/dist/harness/orchestration/attempt-log.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt-log.js","sourceRoot":"","sources":["../../../src/harness/orchestration/attempt-log.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAOlB,MAAM,uBAAuB,CAAC;AA+C/B,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;AACpF,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,wGAAwG;AACxG,MAAM,UAAU,YAAY,CAAC,GAAe,EAAE,IAAoB;IAChE,KAAK,IAAI,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,MAAM,EAAE,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC,SAAS,CAAC;IACpH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,eAAe,CAAC,GAAe,EAAE,IAAoB;IACnE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,KAAK,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAC;AACjI,CAAC;AAMD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,MAAmB;IAClD,MAAM,MAAM,GAAmB,EAAE,CAAC;IAClC,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,KAA0D,EAAE,KAA4B;IAC/G,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IAChE,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/H,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAqB;IAC1C,OAAO,OAAO,CAAC,OAAO;SACnB,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SAC5D,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,SAAoB,EAAE,MAA+B,EAAE,KAA4B;IACvH,MAAM,SAAS,GAAG,IAAI,GAAG,EAA4B,CAAC;IACtD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,OAAO,GAAyB,EAAE,CAAC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,EAA6C,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,iGAAiG;IACjG,mFAAmF;IACnF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,cAAc,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACnE,MAAM,EAAE,GAAI,KAAK,CAAC,IAA0C,CAAC,YAAY,CAAC;YAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9F,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,SAAS;QACpC,CAAC;QACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,oBAAoB,CAAC,CAAC,CAAC;gBAC1B,QAAQ,IAAI,CAAC,CAAC;gBACd,MAAM,QAAQ,GAAI,KAAK,CAAC,IAAkC,CAAC,GAAG,CAAC;gBAC/D,MAAM,OAAO,GAAG,QAAQ,IAAI,QAAQ,CAAC;gBACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACtD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE;oBACrC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS;oBAC1B,KAAK,EAAE,UAAU;oBACjB,QAAQ,EAAE,SAAS;oBACnB,OAAO;oBACP,cAAc,EAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB;oBAC3C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;iBACnD,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACxD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;gBACjC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE;oBACrC,GAAG,QAAQ;oBACX,IAAI,EAAE,QAAQ,EAAE,IAAI;oBACpB,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK;oBACvB,QAAQ,EAAE,MAAM,CAAC,SAAS;oBAC1B,GAAG,CAAC,MAAM,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;oBACrF,OAAO,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC;iBAC9H,CAAC,CAAC;gBACH,MAAM;YACR,CAAC;YACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACxD,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;gBACzH,MAAM;YACR,CAAC;YACD,KAAK,mBAAmB;gBACtB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;gBACpD,MAAM;YACR,KAAK,kBAAkB,CAAC,CAAC,CAAC;gBACxB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;oBAAE,MAAM;gBAC3C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC9C,IAAI,OAAO,KAAK,SAAS;oBAAE,MAAM;gBACjC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oBACnC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;wBAAE,SAAS;oBAC3E,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;oBACnD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBAC/C,IAAI,KAAK,KAAK,SAAS;wBAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBACnG,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,IAAsB,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;oBAChH,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO;QACL,SAAS;QACT,SAAS;QACT,UAAU;QACV,eAAe;QACf,kBAAkB,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,cAAc;QACd,OAAO;QACP,QAAQ;KACT,CAAC;AACJ,CAAC"}