@dougharness/codex 1.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Eric Schwartz
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/bin.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/bin.js

@@ -0,0 +1,44 @@
+#!/usr/bin/env node
+// codex-review: Codex CLI as an adversarial reviewer for one change.
+// Prints a ReviewResult JSON object to stdout. Exit 0 = no blockers, 1 = blockers/fail, 2 = could not review, 64 = usage.
+import { readFileSync } from "node:fs";
+import { runCodexReview } from "./run.js";
+import { exitCodeFor } from "./schema.js";
+import { parseArgs, HELP } from "./cli.js";
+async function main() {
+    const parsed = parseArgs(process.argv.slice(2));
+    if (typeof parsed === "string") {
+        process.stderr.write(`codex-review: ${parsed}\n\n${HELP}`);
+        return 64;
+    }
+    if (parsed.help) {
+        process.stdout.write(HELP);
+        return 0;
+    }
+    const spec = parsed.specStdin ? readFileSync(0, "utf8") : readFileSync(parsed.specFile, "utf8");
+    if (!spec.trim()) {
+        process.stderr.write("codex-review: the spec is empty\n");
+        return 64;
+    }
+    const result = await runCodexReview({
+        spec,
+        base: parsed.base,
+        head: parsed.head,
+        dir: parsed.dir || process.cwd(),
+        model: parsed.model,
+        effort: parsed.effort,
+        timeoutMs: parsed.timeoutMs,
+        verifyCommands: parsed.verify,
+        keepMcpServers: parsed.keepMcp,
+        codexBin: parsed.codex,
+        sandbox: parsed.sandbox,
+        networkAccess: parsed.networkAccess,
+    });
+    process.stdout.write(JSON.stringify(result, null, 2) + "\n");
+    return exitCodeFor(result);
+}
+main().then((code) => process.exit(code), (err) => {
+    process.stderr.write(`codex-review: ${err && err.stack ? err.stack : String(err)}\n`);
+    process.exit(2);
+});
+//# sourceMappingURL=bin.js.map

package/dist/bin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bin.js","sourceRoot":"","sources":["../src/bin.ts"],"names":[],"mappings":";AACA,qEAAqE;AACrE,0HAA0H;AAE1H,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAE3C,KAAK,UAAU,IAAI;IACjB,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,MAAM,OAAO,IAAI,EAAE,CAAC,CAAC;QAC3D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,QAAS,EAAE,MAAM,CAAC,CAAC;IACjG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QACjB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;QAC1D,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC;QAClC,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,IAAK;QAClB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG,EAAE,MAAM,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE;QAChC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,cAAc,EAAE,MAAM,CAAC,MAAM;QAC7B,cAAc,EAAE,MAAM,CAAC,OAAO;QAC9B,QAAQ,EAAE,MAAM,CAAC,KAAK;QACtB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,aAAa,EAAE,MAAM,CAAC,aAAa;KACpC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7D,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC;AAC7B,CAAC;AAED,IAAI,EAAE,CAAC,IAAI,CACT,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5B,CAAC,GAAG,EAAE,EAAE;IACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACtF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CACF,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,20 @@
+import type { Sandbox, ReasoningEffort } from "./schema.js";
+export declare const HELP = "codex-review \u2014 run Codex read-only as an adversarial reviewer of a change\n\nUsage:\n  codex-review --base <ref> [--head <ref>] [--dir <path>] (--spec-file <file> | --spec -)\n               [--verify <cmd>]... [--model <name>] [--effort <level>] [--timeout-ms <n>] [--keep-mcp]\n               [--sandbox <mode>] [--network-access | --no-network-access] [--codex <bin>]\n\n  --base <ref>        Ref the change is measured against (required). Diff is base...head.\n  --head <ref>        Ref holding the change. Default HEAD.\n  --dir <path>        Repository or worktree directory. Default cwd. Codex runs inside it, read-only.\n  --spec-file <file>  The task spec the change claims to implement.\n  --spec -            Read the spec from stdin.\n  --verify <cmd>      A command the reviewer must run; non-zero exit is a blocker. Repeatable.\n  --model <name>      Codex model override.\n  --effort <level>    One of minimal, low, medium, high, xhigh. Maps to -c model_reasoning_effort=<level>.\n  --timeout-ms <n>    Kill codex after n ms (default 900000). Yields verdict \"inconclusive\".\n  --keep-mcp          Keep MCP servers from ~/.codex/config.toml (default: none are started).\n  --sandbox <mode>    workspace-write (default; test runners need scratch files) or read-only.\n                      Either way the working tree is compared before and after; a change voids the review.\n  --network-access    Pass -c sandbox_workspace_write.network_access=true so a verify command may bind a\n                      localhost port. Default: on under workspace-write when at least one --verify is given.\n                      Never passed under read-only, where Codex ignores it, even with --network-access.\n                      --no-network-access turns it off.\n  --codex <bin>       Codex executable (default: codex on PATH).\n\nOutput: one JSON object with verdict (pass|fail|inconclusive), summary, issues[{severity,file,line?,description,evidence?}],\ncommandsRun[{command,exitCode,ok,outputTail?}] taken from Codex's own event stream, changedFiles from git, and error when\nthe review could not run (codex-not-found, timeout, codex-failed, no-final-message, unparseable, git).\n\nExit codes: 0 no blockers, 1 fail verdict or blocker issue, 2 could not review, 64 usage error.\n";
+export interface CliArgs {
+    base?: string;
+    head?: string;
+    dir?: string;
+    specFile?: string;
+    specStdin: boolean;
+    verify: string[];
+    model?: string;
+    effort?: ReasoningEffort;
+    timeoutMs?: number;
+    keepMcp: boolean;
+    codex?: string;
+    sandbox?: Sandbox;
+    networkAccess?: boolean;
+    help: boolean;
+}
+/** Returns parsed args, or an error message string for usage problems. */
+export declare function parseArgs(argv: string[]): CliArgs | string;

package/dist/cli.js

@@ -0,0 +1,108 @@
+// Argument parsing for the codex-review binary. Pure so it can be unit-tested without spawning.
+import { SANDBOXES, REASONING_EFFORTS } from "./schema.js";
+export const HELP = `codex-review — run Codex read-only as an adversarial reviewer of a change
+
+Usage:
+  codex-review --base <ref> [--head <ref>] [--dir <path>] (--spec-file <file> | --spec -)
+               [--verify <cmd>]... [--model <name>] [--effort <level>] [--timeout-ms <n>] [--keep-mcp]
+               [--sandbox <mode>] [--network-access | --no-network-access] [--codex <bin>]
+
+  --base <ref>        Ref the change is measured against (required). Diff is base...head.
+  --head <ref>        Ref holding the change. Default HEAD.
+  --dir <path>        Repository or worktree directory. Default cwd. Codex runs inside it, read-only.
+  --spec-file <file>  The task spec the change claims to implement.
+  --spec -            Read the spec from stdin.
+  --verify <cmd>      A command the reviewer must run; non-zero exit is a blocker. Repeatable.
+  --model <name>      Codex model override.
+  --effort <level>    One of minimal, low, medium, high, xhigh. Maps to -c model_reasoning_effort=<level>.
+  --timeout-ms <n>    Kill codex after n ms (default 900000). Yields verdict "inconclusive".
+  --keep-mcp          Keep MCP servers from ~/.codex/config.toml (default: none are started).
+  --sandbox <mode>    workspace-write (default; test runners need scratch files) or read-only.
+                      Either way the working tree is compared before and after; a change voids the review.
+  --network-access    Pass -c sandbox_workspace_write.network_access=true so a verify command may bind a
+                      localhost port. Default: on under workspace-write when at least one --verify is given.
+                      Never passed under read-only, where Codex ignores it, even with --network-access.
+                      --no-network-access turns it off.
+  --codex <bin>       Codex executable (default: codex on PATH).
+
+Output: one JSON object with verdict (pass|fail|inconclusive), summary, issues[{severity,file,line?,description,evidence?}],
+commandsRun[{command,exitCode,ok,outputTail?}] taken from Codex's own event stream, changedFiles from git, and error when
+the review could not run (codex-not-found, timeout, codex-failed, no-final-message, unparseable, git).
+
+Exit codes: 0 no blockers, 1 fail verdict or blocker issue, 2 could not review, 64 usage error.
+`;
+/** Returns parsed args, or an error message string for usage problems. */
+export function parseArgs(argv) {
+    const a = { specStdin: false, verify: [], keepMcp: false, help: false };
+    for (let i = 0; i < argv.length; i++) {
+        const k = argv[i];
+        const next = () => {
+            const v = argv[++i];
+            if (v === undefined)
+                throw new Error(`${k} needs a value`);
+            return v;
+        };
+        try {
+            if (k === "--help" || k === "-h")
+                a.help = true;
+            else if (k === "--base")
+                a.base = next();
+            else if (k === "--head")
+                a.head = next();
+            else if (k === "--dir")
+                a.dir = next();
+            else if (k === "--spec-file")
+                a.specFile = next();
+            else if (k === "--spec") {
+                const v = next();
+                if (v === "-")
+                    a.specStdin = true;
+                else
+                    a.specFile = v;
+            }
+            else if (k === "--verify")
+                a.verify.push(next());
+            else if (k === "--model")
+                a.model = next();
+            else if (k === "--effort") {
+                const v = next();
+                if (!REASONING_EFFORTS.includes(v))
+                    return `--effort must be one of ${REASONING_EFFORTS.join(", ")}`;
+                a.effort = v;
+            }
+            else if (k === "--timeout-ms") {
+                const n = Number(next());
+                if (!Number.isFinite(n) || n <= 0)
+                    return "--timeout-ms must be a positive number";
+                a.timeoutMs = n;
+            }
+            else if (k === "--keep-mcp")
+                a.keepMcp = true;
+            else if (k === "--codex")
+                a.codex = next();
+            else if (k === "--sandbox") {
+                const v = next();
+                if (!SANDBOXES.includes(v))
+                    return `--sandbox must be one of ${SANDBOXES.join(", ")}`;
+                a.sandbox = v;
+            }
+            else if (k === "--network-access")
+                a.networkAccess = true;
+            else if (k === "--no-network-access")
+                a.networkAccess = false;
+            else
+                return `unknown argument: ${k}`;
+        }
+        catch (e) {
+            return String(e.message);
+        }
+    }
+    if (a.help)
+        return a;
+    if (!a.base)
+        return "--base is required";
+    if (!a.specFile && !a.specStdin)
+        return "give the spec with --spec-file <file> or --spec -";
+    return a;
+}
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAEhG,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAG3D,MAAM,CAAC,MAAM,IAAI,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8BnB,CAAC;AAmBF,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,MAAM,CAAC,GAAY,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACjF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,GAAW,EAAE;YACxB,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAC3D,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;iBAC3C,IAAI,CAAC,KAAK,QAAQ;gBAAE,CAAC,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;iBACpC,IAAI,CAAC,KAAK,QAAQ;gBAAE,CAAC,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;iBACpC,IAAI,CAAC,KAAK,OAAO;gBAAE,CAAC,CAAC,GAAG,GAAG,IAAI,EAAE,CAAC;iBAClC,IAAI,CAAC,KAAK,aAAa;gBAAE,CAAC,CAAC,QAAQ,GAAG,IAAI,EAAE,CAAC;iBAC7C,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,KAAK,GAAG;oBAAE,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC;;oBAC7B,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC;YACtB,CAAC;iBAAM,IAAI,CAAC,KAAK,UAAU;gBAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;iBAC9C,IAAI,CAAC,KAAK,SAAS;gBAAE,CAAC,CAAC,KAAK,GAAG,IAAI,EAAE,CAAC;iBACtC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAoB,CAAC;oBAAE,OAAO,2BAA2B,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxH,CAAC,CAAC,MAAM,GAAG,CAAoB,CAAC;YAClC,CAAC;iBAAM,IAAI,CAAC,KAAK,cAAc,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO,wCAAwC,CAAC;gBACnF,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,CAAC,KAAK,YAAY;gBAAE,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;iBAC3C,IAAI,CAAC,KAAK,SAAS;gBAAE,CAAC,CAAC,KAAK,GAAG,IAAI,EAAE,CAAC;iBACtC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;gBACjB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAY,CAAC;oBAAE,OAAO,4BAA4B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjG,CAAC,CAAC,OAAO,GAAG,CAAY,CAAC;YAC3B,CAAC;iBAAM,IAAI,CAAC,KAAK,kBAAkB;gBAAE,CAAC,CAAC,aAAa,GAAG,IAAI,CAAC;iBACvD,IAAI,CAAC,KAAK,qBAAqB;gBAAE,CAAC,CAAC,aAAa,GAAG,KAAK,CAAC;;gBACzD,OAAO,qBAAqB,CAAC,EAAE,CAAC;QACvC,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC;IACrB,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,oBAAoB,CAAC;IACzC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,SAAS;QAAE,OAAO,mDAAmD,CAAC;IAC5F,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/contract.d.ts

@@ -0,0 +1,54 @@
+import { type ReviewResult } from "./schema.js";
+export declare const ERROR_KINDS: readonly ["codex-not-found", "codex-failed", "timeout", "no-final-message", "unparseable", "git", "worktree-modified"];
+/** Rule ids, in the order the document lists them. */
+export declare const CONTRACT_RULES: {
+    readonly R1: "verdict is pass | fail | inconclusive; every error is reported as inconclusive";
+    readonly R2: "issues are typed: severity in blocker | major | minor, file, non-empty description, optional integer line and string evidence";
+    readonly R3: "commandsRun is evidence: each entry has the command, the exit code the runtime observed (or null), and ok that is true only for exit 0";
+    readonly R4: "changedFiles is what git computed for base...head: unique, sorted, relative paths";
+    readonly R5: "base, head, and dir are non-empty; dir is absolute";
+    readonly R6: "the worker names itself: reviewer non-empty, model a string or null, sandbox one of the declared sandboxes";
+    readonly R7: "error is null or a typed failure with a kind from the declared list and a non-empty message, plus the kind's own evidence field";
+    readonly R8: "measurements are real numbers or null: exit code of the runtime, non-negative duration, token usage";
+    readonly R9: "exit codes: 0 no blockers, 1 fail verdict or a blocker issue, 2 could not review (error or inconclusive)";
+    readonly R10: "a review that changed the working tree it was reviewing is void: error kind worktree-modified and verdict inconclusive";
+    readonly R11: "marker records the nesting guard: name is DOUG_CODEX_REVIEW, passed and inherited are booleans";
+    readonly R12: "a blocker cites a command in commandsRun that shows the failure: its evidence names a command that ran, or quotes a line of that command's output (16+ characters), and that command exited non-zero or the evidence quotes a line of its output";
+    readonly R13: "partial is absent or a boolean; when true, handoff is an object with completed (array of strings), remaining (non-empty array of non-empty strings), next (non-empty string), and verify (non-empty string), and the result is not a pass (verdict is inconclusive)";
+};
+export type RuleId = keyof typeof CONTRACT_RULES;
+export declare const OUTPUT_CITATION_MIN_CHARS = 16;
+/** The commandsRun entries a piece of evidence names: the whole recorded command, the command inside its
+ * shell wrapper, or (at OUTPUT_CITATION_MIN_CHARS or more) a quoted line of its recorded output. */
+export declare function citedCommands(evidence: string, commandsRun: {
+    command: string;
+    exitCode: number | null;
+    outputTail?: string;
+}[]): typeof commandsRun;
+/** True when the evidence quotes a line of the command's recorded output at least minChars long (squashed). */
+export declare function quotesOutput(evidence: string, outputTail: string | undefined, minChars?: number): boolean;
+/**
+ * R12 for one issue, assumed already known to be a blocker: null when its evidence names a command in
+ * commandsRun that exited non-zero or whose output it quotes; otherwise the reason it fails (no index,
+ * so a caller wanting "issues[i] <reason>" prepends that itself). Shared by checkReviewResult and
+ * enforceBlockerEvidence so the two never drift on what counts as evidence.
+ */
+export declare function blockerEvidenceProblem(issue: {
+    evidence?: unknown;
+}, commandsRun: {
+    command: string;
+    exitCode: number | null;
+    outputTail?: string;
+}[]): string | null;
+/**
+ * R12 enforcement: a blocker whose evidence does not meet blockerEvidenceProblem's bar is downgraded to
+ * major rather than silently dropped, its description prefixed so the workflow report carries why, and
+ * recorded in the returned result's `downgraded`. A `fail` verdict with no blocker left becomes `pass`
+ * (the prompt's own rule); `inconclusive` is never changed. Pure: does not mutate `result`.
+ */
+export declare function enforceBlockerEvidence(result: ReviewResult): ReviewResult;
+/**
+ * Returns every violated rule as "R<n>: <detail>". Empty means the result conforms.
+ * Accepts unknown so a raw JSON object from a future adapter can be checked without a cast.
+ */
+export declare function checkReviewResult(value: unknown): string[];

package/dist/contract.js

@@ -0,0 +1,305 @@
+// The worker contract as code: every rule in docs/worker-contract.md that can be checked on a result
+// object is checked here, so any adapter (Codex today; Codex-as-implementer, OpenRouter, local models
+// later) is held to the same definition of "diff plus evidence out". The document explains the rules;
+// this file is the test oracle. Keep the rule ids in sync with the document.
+import { SANDBOXES, SEVERITIES, VERDICTS, exitCodeFor } from "./schema.js";
+export const ERROR_KINDS = ["codex-not-found", "codex-failed", "timeout", "no-final-message", "unparseable", "git", "worktree-modified"];
+/** Rule ids, in the order the document lists them. */
+export const CONTRACT_RULES = {
+    R1: "verdict is pass | fail | inconclusive; every error is reported as inconclusive",
+    R2: "issues are typed: severity in blocker | major | minor, file, non-empty description, optional integer line and string evidence",
+    R3: "commandsRun is evidence: each entry has the command, the exit code the runtime observed (or null), and ok that is true only for exit 0",
+    R4: "changedFiles is what git computed for base...head: unique, sorted, relative paths",
+    R5: "base, head, and dir are non-empty; dir is absolute",
+    R6: "the worker names itself: reviewer non-empty, model a string or null, sandbox one of the declared sandboxes",
+    R7: "error is null or a typed failure with a kind from the declared list and a non-empty message, plus the kind's own evidence field",
+    R8: "measurements are real numbers or null: exit code of the runtime, non-negative duration, token usage",
+    R9: "exit codes: 0 no blockers, 1 fail verdict or a blocker issue, 2 could not review (error or inconclusive)",
+    R10: "a review that changed the working tree it was reviewing is void: error kind worktree-modified and verdict inconclusive",
+    R11: "marker records the nesting guard: name is DOUG_CODEX_REVIEW, passed and inherited are booleans",
+    R12: "a blocker cites a command in commandsRun that shows the failure: its evidence names a command that ran, or quotes a line of that command's output (16+ characters), and that command exited non-zero or the evidence quotes a line of its output",
+    R13: "partial is absent or a boolean; when true, handoff is an object with completed (array of strings), remaining (non-empty array of non-empty strings), next (non-empty string), and verify (non-empty string), and the result is not a pass (verdict is inconclusive)",
+};
+function isInt(v) {
+    return typeof v === "number" && Number.isInteger(v);
+}
+// The shell wrapper the runtime records around a command (`/bin/zsh -lc '<inner>'`), so evidence that names the
+// inner command still matches the entry.
+function innerCommand(command) {
+    const m = /^\/bin\/(?:ba|z)?sh\s+-l?c\s+'([\s\S]*)'$/.exec(command.trim());
+    return (m ? m[1] : command).trim();
+}
+function squash(s) {
+    return s.replace(/\s+/g, " ").trim();
+}
+// The recorded command a reviewer runs can be an unpasteable, hundreds-of-characters shell wrapper (a
+// double-quoted `/bin/zsh -lc "..."` probe, which innerCommand() cannot unwrap); the printed output it
+// produced is what a reviewer actually quotes. quotesOutput's 4-char floor is fine once a command is
+// already named, but as the sole link between evidence and command a 4-char line ("ok 1", "done") would
+// let any blocker cite almost any command, so citing a command by its output alone needs a higher floor.
+export const OUTPUT_CITATION_MIN_CHARS = 16;
+/** The commandsRun entries a piece of evidence names: the whole recorded command, the command inside its
+ * shell wrapper, or (at OUTPUT_CITATION_MIN_CHARS or more) a quoted line of its recorded output. */
+export function citedCommands(evidence, commandsRun) {
+    const ev = squash(evidence);
+    return commandsRun.filter((c) => {
+        const whole = squash(c.command);
+        const inner = squash(innerCommand(c.command));
+        return (whole.length > 0 && ev.includes(whole)) || (inner.length >= 4 && ev.includes(inner)) || quotesOutput(evidence, c.outputTail, OUTPUT_CITATION_MIN_CHARS);
+    });
+}
+/** True when the evidence quotes a line of the command's recorded output at least minChars long (squashed). */
+export function quotesOutput(evidence, outputTail, minChars = 4) {
+    if (!outputTail)
+        return false;
+    const ev = squash(evidence);
+    return outputTail.split("\n").map((l) => squash(l)).some((l) => l.length >= minChars && ev.includes(l));
+}
+/**
+ * R12 for one issue, assumed already known to be a blocker: null when its evidence names a command in
+ * commandsRun that exited non-zero or whose output it quotes; otherwise the reason it fails (no index,
+ * so a caller wanting "issues[i] <reason>" prepends that itself). Shared by checkReviewResult and
+ * enforceBlockerEvidence so the two never drift on what counts as evidence.
+ */
+export function blockerEvidenceProblem(issue, commandsRun) {
+    const evidence = typeof issue.evidence === "string" ? issue.evidence.trim() : "";
+    if (!evidence)
+        return "is a blocker with no evidence; a blocker cites a command in commandsRun that shows the failure";
+    const cited = citedCommands(evidence, commandsRun);
+    if (!cited.length)
+        return "is a blocker whose evidence names no command in commandsRun and quotes no line of any command's output; static inspection alone is major at most";
+    if (!cited.some((c) => (c.exitCode !== null && c.exitCode !== 0) || quotesOutput(evidence, c.outputTail))) {
+        const named = cited.map((c) => `${JSON.stringify(innerCommand(c.command))}, which ${c.exitCode === null ? "did not complete" : "exited 0"}`).join(", ");
+        return `cites ${named}, and quotes none of its output`;
+    }
+    return null;
+}
+/**
+ * R12 enforcement: a blocker whose evidence does not meet blockerEvidenceProblem's bar is downgraded to
+ * major rather than silently dropped, its description prefixed so the workflow report carries why, and
+ * recorded in the returned result's `downgraded`. A `fail` verdict with no blocker left becomes `pass`
+ * (the prompt's own rule); `inconclusive` is never changed. Pure: does not mutate `result`.
+ */
+export function enforceBlockerEvidence(result) {
+    const downgraded = [];
+    const issues = result.issues.map((issue, index) => {
+        if (issue.severity !== "blocker")
+            return issue;
+        const reason = blockerEvidenceProblem(issue, result.commandsRun);
+        if (!reason)
+            return issue;
+        downgraded.push({ index, reason });
+        return { ...issue, severity: "major", description: `[codex-review: downgraded from blocker, R12: ${reason}] ${issue.description}` };
+    });
+    const stillBlocked = issues.some((it) => it.severity === "blocker");
+    const verdict = result.verdict === "fail" && downgraded.length > 0 && !stillBlocked ? "pass" : result.verdict;
+    return { ...result, issues, verdict, ...(downgraded.length ? { downgraded } : {}) };
+}
+function relPath(p) {
+    return typeof p === "string" && p.length > 0 && !p.startsWith("/") && !/^[A-Za-z]:[\\/]/.test(p) && !p.split(/[\\/]/).includes("..");
+}
+/**
+ * Returns every violated rule as "R<n>: <detail>". Empty means the result conforms.
+ * Accepts unknown so a raw JSON object from a future adapter can be checked without a cast.
+ */
+export function checkReviewResult(value) {
+    const out = [];
+    const bad = (rule, detail) => out.push(`${rule}: ${detail}`);
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return ["R1: result is not an object"];
+    const r = value;
+    // R1
+    if (!VERDICTS.includes(r.verdict))
+        bad("R1", `verdict ${JSON.stringify(r.verdict)} is not one of ${VERDICTS.join(", ")}`);
+    if (r.error !== null && r.verdict !== "inconclusive")
+        bad("R1", `error is set but verdict is ${JSON.stringify(r.verdict)}, not inconclusive`);
+    if (typeof r.summary !== "string")
+        bad("R1", "summary must be a string");
+    // R2
+    if (!Array.isArray(r.issues))
+        bad("R2", "issues must be an array");
+    else {
+        r.issues.forEach((raw, i) => {
+            if (!raw || typeof raw !== "object")
+                return bad("R2", `issues[${i}] is not an object`);
+            const it = raw;
+            if (!SEVERITIES.includes(it.severity))
+                bad("R2", `issues[${i}].severity ${JSON.stringify(it.severity)} is not one of ${SEVERITIES.join(", ")}`);
+            if (typeof it.file !== "string")
+                bad("R2", `issues[${i}].file must be a string`);
+            if (typeof it.description !== "string" || !it.description.trim())
+                bad("R2", `issues[${i}].description must be a non-empty string`);
+            if (it.line !== undefined && !isInt(it.line))
+                bad("R2", `issues[${i}].line must be an integer when present`);
+            if (it.evidence !== undefined && typeof it.evidence !== "string")
+                bad("R2", `issues[${i}].evidence must be a string when present`);
+        });
+    }
+    // R3
+    if (!Array.isArray(r.commandsRun))
+        bad("R3", "commandsRun must be an array");
+    else {
+        r.commandsRun.forEach((raw, i) => {
+            if (!raw || typeof raw !== "object")
+                return bad("R3", `commandsRun[${i}] is not an object`);
+            const c = raw;
+            if (typeof c.command !== "string" || !c.command)
+                bad("R3", `commandsRun[${i}].command must be a non-empty string`);
+            if (c.exitCode !== null && !isInt(c.exitCode))
+                bad("R3", `commandsRun[${i}].exitCode must be an integer or null`);
+            if (typeof c.ok !== "boolean")
+                bad("R3", `commandsRun[${i}].ok must be a boolean`);
+            else if (c.ok !== (c.exitCode === 0))
+                bad("R3", `commandsRun[${i}].ok is ${c.ok} but exitCode is ${JSON.stringify(c.exitCode)}`);
+            if (c.outputTail !== undefined && typeof c.outputTail !== "string")
+                bad("R3", `commandsRun[${i}].outputTail must be a string when present`);
+        });
+    }
+    // R4
+    if (!Array.isArray(r.changedFiles))
+        bad("R4", "changedFiles must be an array");
+    else {
+        const files = r.changedFiles;
+        files.forEach((f, i) => {
+            if (!relPath(f))
+                bad("R4", `changedFiles[${i}] ${JSON.stringify(f)} is not a relative path`);
+        });
+        const strs = files.filter((f) => typeof f === "string");
+        if (new Set(strs).size !== strs.length)
+            bad("R4", "changedFiles has duplicates");
+        if (strs.some((f, i) => i > 0 && f < strs[i - 1]))
+            bad("R4", "changedFiles is not sorted");
+    }
+    // R5
+    for (const k of ["base", "head", "dir"])
+        if (typeof r[k] !== "string" || !r[k].trim())
+            bad("R5", `${k} must be a non-empty string`);
+    if (typeof r.dir === "string" && !(r.dir.startsWith("/") || /^[A-Za-z]:[\\/]/.test(r.dir)))
+        bad("R5", "dir must be absolute");
+    // R6
+    if (typeof r.reviewer !== "string" || !r.reviewer)
+        bad("R6", "reviewer must be a non-empty string");
+    if (r.model !== null && typeof r.model !== "string")
+        bad("R6", "model must be a string or null");
+    if (!SANDBOXES.includes(r.sandbox))
+        bad("R6", `sandbox ${JSON.stringify(r.sandbox)} is not one of ${SANDBOXES.join(", ")}`);
+    // R7
+    if (r.error !== null) {
+        if (!r.error || typeof r.error !== "object")
+            bad("R7", "error must be null or an object");
+        else {
+            const e = r.error;
+            if (!ERROR_KINDS.includes(e.kind))
+                bad("R7", `error.kind ${JSON.stringify(e.kind)} is not one of ${ERROR_KINDS.join(", ")}`);
+            if (typeof e.message !== "string" || !e.message.trim())
+                bad("R7", "error.message must be a non-empty string");
+            if (e.kind === "codex-failed" && typeof e.stderrTail !== "string")
+                bad("R7", "error.stderrTail must be a string for kind codex-failed");
+            if (e.kind === "unparseable" && typeof e.raw !== "string")
+                bad("R7", "error.raw must be a string for kind unparseable");
+            if (e.kind === "worktree-modified" && (!Array.isArray(e.changes) || e.changes.length === 0))
+                bad("R7", "error.changes must be a non-empty array for kind worktree-modified");
+        }
+    }
+    // R8
+    if (r.codexExitCode !== null && !isInt(r.codexExitCode))
+        bad("R8", "codexExitCode must be an integer or null");
+    if (!isInt(r.durationMs) || r.durationMs < 0)
+        bad("R8", "durationMs must be a non-negative integer");
+    if (r.usage !== null) {
+        const u = r.usage;
+        if (!u || typeof u !== "object" || !isInt(u.inputTokens) || u.inputTokens < 0 || !isInt(u.outputTokens) || u.outputTokens < 0)
+            bad("R8", "usage must be null or { inputTokens, outputTokens } with non-negative integers");
+    }
+    // R12: a blocker is a demonstrated failure. Its evidence names a command the runtime recorded, or quotes a line
+    // of that command's output of OUTPUT_CITATION_MIN_CHARS or more, and that command either exited non-zero or the
+    // evidence quotes a line of its output. Static inspection alone is major at most.
+    if (Array.isArray(r.issues) && Array.isArray(r.commandsRun)) {
+        const runs = r.commandsRun.filter((c) => !!c && typeof c === "object" && typeof c.command === "string");
+        r.issues.forEach((raw, i) => {
+            if (!raw || typeof raw !== "object")
+                return;
+            const it = raw;
+            if (it.severity !== "blocker")
+                return;
+            const reason = blockerEvidenceProblem(it, runs);
+            if (reason)
+                bad("R12", `issues[${i}] ${reason}`);
+        });
+    }
+    // R12 (downgraded): when present, every entry is an integer index into issues that points at a major
+    // issue, with a non-empty reason. enforceBlockerEvidence (contract.ts) is what produces this field.
+    if (r.downgraded !== undefined) {
+        if (!Array.isArray(r.downgraded))
+            bad("R12", "downgraded must be an array when present");
+        else {
+            const issues = Array.isArray(r.issues) ? r.issues : [];
+            r.downgraded.forEach((raw, i) => {
+                if (!raw || typeof raw !== "object")
+                    return bad("R12", `downgraded[${i}] is not an object`);
+                const d = raw;
+                if (!isInt(d.index)) {
+                    bad("R12", `downgraded[${i}].index must be an integer`);
+                }
+                else {
+                    const target = issues[d.index];
+                    if (!target || typeof target !== "object" || target.severity !== "major")
+                        bad("R12", `downgraded[${i}].index must point at a major issue`);
+                }
+                if (typeof d.reason !== "string" || !d.reason.trim())
+                    bad("R12", `downgraded[${i}].reason must be a non-empty string`);
+            });
+        }
+    }
+    // R13: partial is graceful degradation, not a pass. A worker (or reviewer) that claims it stopped
+    // partway must hand off enough for a fresh worker to pick the remaining work up.
+    if (r.partial !== undefined && typeof r.partial !== "boolean")
+        bad("R13", "partial must be a boolean when present");
+    if (r.partial === true) {
+        const h = r.handoff;
+        if (!h || typeof h !== "object" || Array.isArray(h)) {
+            bad("R13", "handoff must be an object when partial is true");
+        }
+        else {
+            const ho = h;
+            if (!Array.isArray(ho.completed) || ho.completed.some((c) => typeof c !== "string"))
+                bad("R13", "handoff.completed must be an array of strings");
+            if (!Array.isArray(ho.remaining) || ho.remaining.length === 0 || ho.remaining.some((c) => typeof c !== "string" || !c.trim()))
+                bad("R13", "handoff.remaining must be a non-empty array of non-empty strings");
+            if (typeof ho.next !== "string" || !ho.next.trim())
+                bad("R13", "handoff.next must be a non-empty string");
+            if (typeof ho.verify !== "string" || !ho.verify.trim())
+                bad("R13", "handoff.verify must be a non-empty string");
+        }
+        if (r.verdict !== "inconclusive")
+            bad("R13", "a partial result is not a pass: verdict must be inconclusive");
+    }
+    // R9 (only meaningful once the shape checks above pass)
+    if (out.length === 0) {
+        const rr = r;
+        const code = exitCodeFor(rr);
+        const blocker = rr.issues.some((i) => i.severity === "blocker");
+        const expected = rr.error || rr.verdict === "inconclusive" ? 2 : rr.verdict === "fail" || blocker ? 1 : 0;
+        if (code !== expected)
+            bad("R9", `exit code ${code} for verdict ${rr.verdict}, error ${rr.error ? rr.error.kind : "null"}, blocker ${blocker}; expected ${expected}`);
+    }
+    // R10
+    if (r.error && typeof r.error === "object" && r.error.kind === "worktree-modified" && r.verdict !== "inconclusive") {
+        bad("R10", "a worktree-modified review must be inconclusive");
+    }
+    // R11
+    if (!r.marker || typeof r.marker !== "object" || Array.isArray(r.marker)) {
+        bad("R11", "marker must be an object");
+    }
+    else {
+        const m = r.marker;
+        if (m.name !== "DOUG_CODEX_REVIEW")
+            bad("R11", "marker.name must be DOUG_CODEX_REVIEW");
+        if (typeof m.passed !== "boolean")
+            bad("R11", "marker.passed must be a boolean");
+        if (typeof m.inherited !== "boolean")
+            bad("R11", "marker.inherited must be a boolean");
+    }
+    return out;
+}
+//# sourceMappingURL=contract.js.map

package/dist/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,qGAAqG;AACrG,sGAAsG;AACtG,sGAAsG;AACtG,6EAA6E;AAE7E,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAqB,MAAM,aAAa,CAAC;AAE9F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,iBAAiB,EAAE,cAAc,EAAE,SAAS,EAAE,kBAAkB,EAAE,aAAa,EAAE,KAAK,EAAE,mBAAmB,CAAU,CAAC;AAElJ,sDAAsD;AACtD,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,EAAE,EAAE,gFAAgF;IACpF,EAAE,EAAE,+HAA+H;IACnI,EAAE,EAAE,wIAAwI;IAC5I,EAAE,EAAE,mFAAmF;IACvF,EAAE,EAAE,oDAAoD;IACxD,EAAE,EAAE,4GAA4G;IAChH,EAAE,EAAE,iIAAiI;IACrI,EAAE,EAAE,qGAAqG;IACzG,EAAE,EAAE,0GAA0G;IAC9G,GAAG,EAAE,wHAAwH;IAC7H,GAAG,EAAE,gGAAgG;IACrG,GAAG,EAAE,kPAAkP;IACvP,GAAG,EAAE,qQAAqQ;CAClQ,CAAC;AAIX,SAAS,KAAK,CAAC,CAAU;IACvB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,gHAAgH;AAChH,yCAAyC;AACzC,SAAS,YAAY,CAAC,OAAe;IACnC,MAAM,CAAC,GAAG,2CAA2C,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3E,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACvC,CAAC;AAED,sGAAsG;AACtG,uGAAuG;AACvG,qGAAqG;AACrG,wGAAwG;AACxG,yGAAyG;AACzG,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAE5C;oGACoG;AACpG,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,WAAgF;IAC9H,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5B,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9C,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,EAAE,yBAAyB,CAAC,CAAC;IAClK,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,UAA8B,EAAE,QAAQ,GAAG,CAAC;IACzF,IAAI,CAAC,UAAU;QAAE,OAAO,KAAK,CAAC;IAC9B,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5B,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1G,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAA6B,EAC7B,WAAgF;IAEhF,MAAM,QAAQ,GAAG,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,IAAI,CAAC,QAAQ;QAAE,OAAO,gGAAgG,CAAC;IACvH,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IACnD,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,kJAAkJ,CAAC;IAC7K,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;QAC1G,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxJ,OAAO,SAAS,KAAK,iCAAiC,CAAC;IACzD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,MAAM,UAAU,GAAwC,EAAE,CAAC;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAChD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QAC/C,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACnC,OAAO,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,OAAgB,EAAE,WAAW,EAAE,gDAAgD,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;IAC/I,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,MAAM,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;IAC9G,OAAO,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,SAAS,OAAO,CAAC,CAAU;IACzB,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACvI,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,MAAc,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,MAAM,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACxG,MAAM,CAAC,GAAG,KAAgC,CAAC;IAE3C,KAAK;IACL,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAgB,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnI,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc;QAAE,GAAG,CAAC,IAAI,EAAE,+BAA+B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC9I,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;IAEzE,KAAK;IACL,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,yBAAyB,CAAC,CAAC;SAC9D,CAAC;QACJ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,oBAAoB,CAAC,CAAC;YACvF,MAAM,EAAE,GAAG,GAA8B,CAAC;YAC1C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAiB,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,kBAAkB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzJ,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;YACjF,IAAI,OAAO,EAAE,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE;gBAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,0CAA0C,CAAC,CAAC;YACnI,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,wCAAwC,CAAC,CAAC;YAC7G,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACrI,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK;IACL,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;SACxE,CAAC;QACJ,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,oBAAoB,CAAC,CAAC;YAC5F,MAAM,CAAC,GAAG,GAA8B,CAAC;YACzC,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO;gBAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,sCAAsC,CAAC,CAAC;YACnH,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,uCAAuC,CAAC,CAAC;YAClH,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,wBAAwB,CAAC,CAAC;iBAC9E,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,WAAW,CAAC,CAAC,EAAE,oBAAoB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACjI,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,4CAA4C,CAAC,CAAC;QAC9I,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK;IACL,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;SAC1E,CAAC;QACJ,MAAM,KAAK,GAAG,CAAC,CAAC,YAAyB,CAAC;QAC1C,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC;QAC/F,CAAC,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;QACrE,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACjF,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;IAC7F,CAAC;IAED,KAAK;IACL,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,CAAE,CAAC,CAAC,CAAC,CAAY,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAChJ,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;IAE9H,KAAK;IACL,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IACpG,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;QAAE,GAAG,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;IACjG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAgB,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAErI,KAAK;IACL,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;aACrF,CAAC;YACJ,MAAM,CAAC,GAAG,CAAC,CAAC,KAAgC,CAAC;YAC7C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAa,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtI,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE;gBAAE,GAAG,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAC;YAC9G,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,EAAE,yDAAyD,CAAC,CAAC;YACxI,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;gBAAE,GAAG,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;YACxH,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,EAAE,oEAAoE,CAAC,CAAC;QAC/K,CAAC;IACH,CAAC;IAED,KAAK;IACL,IAAI,CAAC,CAAC,aAAa,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAC;IAC/G,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,IAAK,CAAC,CAAC,UAAqB,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,EAAE,2CAA2C,CAAC,CAAC;IACjH,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAuC,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,YAAY,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,EAAE,gFAAgF,CAAC,CAAC;IAC7N,CAAC;IAED,gHAAgH;IAChH,gHAAgH;IAChH,kFAAkF;IAClF,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAI,CAAC,CAAC,WAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,EAA0E,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAA2B,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;QACzN,CAAC,CAAC,MAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACzC,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;gBAAE,OAAO;YAC5C,MAAM,EAAE,GAAG,GAA8B,CAAC;YAC1C,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS;gBAAE,OAAO;YACtC,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAChD,IAAI,MAAM;gBAAE,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,qGAAqG;IACrG,oGAAoG;IACpG,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,GAAG,CAAC,KAAK,EAAE,0CAA0C,CAAC,CAAC;aACpF,CAAC;YACJ,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,MAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,CAAC,CAAC,UAAwB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC7C,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ;oBAAE,OAAO,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,oBAAoB,CAAC,CAAC;gBAC5F,MAAM,CAAC,GAAG,GAA8B,CAAC;gBACzC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpB,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,4BAA4B,CAAC,CAAC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,KAAe,CAAwC,CAAC;oBAChF,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;wBAAE,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,qCAAqC,CAAC,CAAC;gBAC7I,CAAC;gBACD,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;oBAAE,GAAG,CAAC,KAAK,EAAE,cAAc,CAAC,qCAAqC,CAAC,CAAC;YACzH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kGAAkG;IAClG,iFAAiF;IACjF,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,SAAS;QAAE,GAAG,CAAC,KAAK,EAAE,wCAAwC,CAAC,CAAC;IACpH,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,KAAK,EAAE,gDAAgD,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,MAAM,EAAE,GAAG,CAA4B,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;gBAAE,GAAG,CAAC,KAAK,EAAE,+CAA+C,CAAC,CAAC;YACjJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,GAAG,CAAC,KAAK,EAAE,kEAAkE,CAAC,CAAC;YAC9M,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE;gBAAE,GAAG,CAAC,KAAK,EAAE,yCAAyC,CAAC,CAAC;YAC1G,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE;gBAAE,GAAG,CAAC,KAAK,EAAE,2CAA2C,CAAC,CAAC;QAClH,CAAC;QACD,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc;YAAE,GAAG,CAAC,KAAK,EAAE,8DAA8D,CAAC,CAAC;IAC/G,CAAC;IAED,wDAAwD;IACxD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,EAAE,GAAG,CAA4B,CAAC;QACxC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1G,IAAI,IAAI,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,EAAE,aAAa,IAAI,gBAAgB,EAAE,CAAC,OAAO,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,aAAa,OAAO,cAAc,QAAQ,EAAE,CAAC,CAAC;IACxK,CAAC;IAED,MAAM;IACN,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAK,CAAC,CAAC,KAAiC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;QAChJ,GAAG,CAAC,KAAK,EAAE,iDAAiD,CAAC,CAAC;IAChE,CAAC;IAED,MAAM;IACN,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;IACzC,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,CAAC,CAAC,MAAiC,CAAC;QAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB;YAAE,GAAG,CAAC,KAAK,EAAE,uCAAuC,CAAC,CAAC;QACxF,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,GAAG,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAC;QACjF,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,GAAG,CAAC,KAAK,EAAE,oCAAoC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/git.d.ts

@@ -0,0 +1,14 @@
+export interface ChangeFacts {
+    changedFiles: string[];
+    diff: string;
+    diffBytes: number;
+}
+/** `git status --porcelain` lines, sorted, so two snapshots can be compared. Untracked files included. */
+export declare function statusSnapshot(dir: string): string[];
+/**
+ * The commit checked out in dir versus the commit `head` names. The reviewer runs commands in dir,
+ * so they must be the same tree; otherwise every test it runs exercises the wrong code.
+ */
+export declare function checkedOutMismatch(dir: string, head: string): string | null;
+/** Throws with git's own message when a ref does not resolve or dir is not a repository. */
+export declare function changeFacts(dir: string, base: string, head: string): ChangeFacts;