codex-orchestrator 2.0.11 → 2.0.12

package/CHANGELOG.md

@@ -6,6 +6,21 @@ The format is based on Keep a Changelog, and this project follows SemVer.
 
 ## [Unreleased]
 
+## [2.0.12] - 2026-08-10
+
+### Changed
+- Collapsed direct, approved spec-first, product-answer, and trusted PR-feedback
+  delivery onto one Run-owned validation loop with exact Run/ActiveAttempt/
+  PendingEffect recovery, clean state-schema cutover, checked-change authority,
+  and intent-based publication.
+- Bound packed scratch-smoke reports to a clean immutable source HEAD before
+  package creation and retained strict scratch-only cleanup.
+
+### Removed
+- Removed legacy qualification, Full/Closure, operation-specific invocation,
+  separate post-PR progression, compatibility/migration, and duplicate
+  lifecycle ownership paths.
+
 ## [2.0.11] - 2026-07-30
 
 ### Added

package/README.md

@@ -1,16 +1,12 @@
 # Codex Orchestrator
 
-Codex Orchestrator turns an authorized GitHub Issue into a controlled Codex delivery run. It reads the issue, decides whether the work is ready to implement, works in an isolated Git worktree, validates the result, and—only after all required gates pass—pushes a branch and opens a draft pull request.
+Codex Orchestrator turns one explicitly authorized GitHub Issue into a controlled Codex delivery run. Planning remains external. The package implements the issue in an isolated Git worktree, validates the immutable candidate, and—only after all required gates pass—pushes a branch and opens a draft pull request.
 
 The package is designed for unattended local execution without giving the Codex worker your GitHub, SSH, npm, or cloud publication credentials. The trusted Runner owns authorization, checks, recovery, and publication; Codex owns the bounded analysis, implementation, review, and proof tasks assigned to it.
 
 ## What happens to an issue
 
-Add the configured `agent:auto` label to an open issue, then run the orchestrator. It will choose one of three routes:
-
-- **Direct delivery:** the issue is clear enough to implement. Codex changes the code, an independent review checks it, issue-scoped verification checks run, Acceptance Proof verifies the acceptance criteria, and the Runner creates a draft PR.
-- **Specification first:** the issue is too complex for safe direct implementation. Separate Codex workers author and independently review a deterministic implementation specification; the Runner freezes the approved revision and returns `spec-frozen`. Implementation is intentionally a separate follow-up run or workflow.
-- **Human decision required:** the repository does not contain enough authority to choose between materially different product outcomes. The package posts one precise question, applies `agent:waiting-human`, and resumes the same run after an authorized repository writer answers with the requested prefix.
+Add the configured `agent:auto` label to an open executable issue, then run the orchestrator. That label authorizes only that issue. The lifecycle is `implementation → affected checks → Acceptance Proof → Review → publication`. A product or ownership decision gap is returned as an issue-local blocker for external Plan; the package does not create a PRD, spec, or ticket graph.
 
 Ordinary technical choices do not stop the run. A human question is reserved for real product ambiguity.
 
@@ -57,7 +53,7 @@ Now create or choose a clear GitHub Issue, include acceptance criteria when poss
 npx codex-orchestrator run --target "$PWD" --issue 123
 ```
 
-The command prints one JSON result. A successful direct delivery returns `review-ready` with the draft PR URL. A complex issue may instead return `spec-frozen`; a genuine product decision returns `awaiting-user` with the answer prefix to use in the issue comment.
+The command prints one JSON result. Successful delivery returns `review-ready` with the draft PR URL. Decision, authority, preservation, and proof boundaries return a precise blocked result with evidence.
 
 ## Main commands
 
@@ -130,16 +126,17 @@ The daemon uses the same lifecycle as `run`; it does not have a less strict exec
 
 ### Continue from pull-request review feedback
 
-After a direct-delivery run reaches `review-ready`, the daemon also polls issues
-with `agent:review`. A quiet PR remains effect-free. When the same marker-bound,
-same-repository draft PR receives a new unresolved inline thread root or a
-non-empty `CHANGES_REQUESTED` review from a current repository writer or admin,
-the Runner freezes that exact feedback batch and resumes the existing run.
-
-The repair uses the existing implementation and affected Closure flow, then
-reruns the run's resolved check policy and Acceptance Proof against the repaired content. It
-has a separate maximum of three feedback rounds and does not consume the
-original five implementation cycles. Publication appends one fast-forward
+After a run reaches `review-ready`, the daemon also
+polls issues with `agent:review`. A quiet PR remains effect-free. When the same
+marker-bound, same-repository draft PR receives a new unresolved inline thread
+root or a non-empty `CHANGES_REQUESTED` review from a current repository writer
+or admin, the Runner freezes that exact feedback batch and resumes the existing
+run through the same targeted repair lifecycle.
+
+The frozen batch enters the same implementation → affected checks → proof →
+targeted independent review loop used by in-scope repair. The reviewer receives
+the previous revision, repair delta, blocker IDs, direct impact cone, and affected
+proof. There is no semantic round limit. Publication appends one fast-forward
 commit to the existing branch and PR; divergence blocks without reset, rebase,
 amend, or force-push recovery.
 
@@ -158,8 +155,7 @@ The default labels are:
 | --- | --- |
 | `agent:auto` | The issue is authorized for orchestration. |
 | `agent:running` | A Runner has claimed the issue. |
-| `agent:waiting-human` | One approved product question is waiting for an authorized answer. |
-| `agent:blocked` | The run stopped on an external, safety, or exhausted-budget blocker. |
+| `agent:blocked` | The run stopped on an authority, external, preservation, proof, or safety boundary. |
 | `agent:review` | The branch and draft PR passed the delivery gates and are ready for human review. |
 
 Important command results:
@@ -167,8 +163,7 @@ Important command results:
 | Result | What to do |
 | --- | --- |
 | `review-ready` | Open the returned draft PR URL and review the change; later trusted unresolved feedback may resume the same run and PR. |
-| `spec-frozen` | Use the returned frozen specification receipt as the authority for a later implementation workflow. |
-| `awaiting-user` | Reply to the issue using the returned answer prefix. Re-run the command or let the daemon pick it up. |
+| `repair-ready` | The semantic repair batch is durably ready. Run one more bounded CLI call or daemon tick; live smoke continues only up to its fixed limit. |
 | `not-eligible` | Check that the issue is open, has only the appropriate authorization label, and has no existing open PR for its branch. |
 | `requeued` | Another known Runner owns the repository; retry later. |
 | `blocked` | Read `kind`, `resumable`, and `evidencePath`; fix the external condition only when the evidence says it is safe to resume. |
@@ -183,18 +178,16 @@ All outcomes include structured evidence or a path to local evidence. Quiet term
 - `github.baseBranch` and `github.labels`: where completed branches target and which labels control the workflow.
 - `runner.pollIntervalSeconds`: daemon polling interval.
 - `checks`: finite fallback commands for issues without a command-only
-  `Verification:` section. Before the issue implementation starts, the Runner
-  requires the resolved scoped policy to pass. A red qualification check starts
-  a separate sealed, bounded repair operation, reruns the policy, and does not
-  consume the issue's implementation-cycle budget. Its launched process is
-  durably recoverable across daemon restarts. Final checks must all pass;
-  failures are never accepted by comparing output hashes.
+  `Verification:` section. They run before Review against the immutable candidate.
+  A failed check becomes a bounded finding for the next implementation cycle;
+  there is no qualification operation or separate retry coordinator. Final
+  checks must all pass; failures are never accepted by comparing output hashes.
 - `proof.artifactDir`: repository-relative location for proof artifacts inside the run worktree.
 - `proof.android`: optional Runner-owned Android recipe. It selects `avdName`, creates an ephemeral clean data directory, requires fixed `build apk` arguments, removes any old `apkPath`, snapshots a fresh no-symlink APK outside the worker-writable tree, and binds its digest to the checked change. It installs and launches that exact snapshot, repeatedly verifies emulator process identity, waits up to `navigationTimeoutMs` for each exact `tapText` accessibility label, and captures proof-bound screenshot, hierarchy, PID log, and lease artifacts. Commands are bounded, cancellable, and process-group quiescent; URI query/fragment credentials are rejected. The contained proof worker never receives `adb`, emulator, Flutter, or durable lease authority. Emulator or Android-tool startup failure is retained as an explicit unfinished-UI-proof warning and does not by itself block delivery.
 - `deny.readPaths`: paths the worker must not read or modify.
 - `deny.commands`: absolute command paths that must not be exposed to the worker.
 
-`runner.maxCycles`, the branch template, and containment settings are fixed policy in the current schema rather than open-ended tuning knobs. There is no configured Codex version pin or local certification step: the Runner uses the installed `codex` command and applies the fixed sandbox, environment, network, and authority restrictions to every worker invocation.
+The branch template and containment settings are fixed policy in the current schema rather than open-ended tuning knobs. Semantic repair counts are not stop conditions. There is no configured Codex version pin or local certification step: the Runner uses the installed `codex` command and applies the fixed sandbox, environment, network, and authority restrictions to every worker invocation.
 
 ## Safety model in plain language
 
@@ -218,29 +211,10 @@ npm pack --dry-run --json
 
 `npm run refresh:workflow` rebuilds the package-owned workflow inventory from the explicit allowlist in `scripts/agent-auto-workflow-source.json`, validates operation bindings, and runs focused contract tests. `npm run check:workflow` is the non-writing drift check; `npm run verify:workflow` verifies the committed generated workflow without reading local skills.
 
-After changing packaged skills or evals, compare the source and generated eval
-plans locally. This check is offline and does not run a model:
-
-```sh
-set -e
-PACKAGE_ROOT="$PWD"
-CODEX_HOME="${CODEX_HOME:-$HOME/.codex}"
-PARITY_ROOT="$(mktemp -d)"
-cd "$CODEX_HOME"
-python3 scripts/run_coding_skill_evals.py --output "$PARITY_ROOT/source"
-python3 scripts/run_coding_skill_evals.py \
-  --workflow-root "$PACKAGE_ROOT/internal-workflow" \
-  --fixture-root "$CODEX_HOME/scripts/fixtures/coding-skill-evals" \
-  --output "$PARITY_ROOT/package"
-jq -S '.cases' "$PARITY_ROOT/source/plan.json" > "$PARITY_ROOT/source-cases.json"
-jq -S '.cases' "$PARITY_ROOT/package/plan.json" > "$PARITY_ROOT/package-cases.json"
-diff -u "$PARITY_ROOT/source-cases.json" "$PARITY_ROOT/package-cases.json"
-```
-
-Do not add live eval profiles to `refresh:workflow`, package tests, build, or
-release scripts. Live execution remains an explicit maintainer action from the
-local skill checkout.
+Packaged skill eval files are static target scenarios. Workflow refresh and
+package tests validate their schema, uniqueness, and exact generated bytes;
+they never launch Codex or a real agent.
 
 `npm run smoke:live` packs the current package and mutates a configured scratch GitHub repository. Run it only when live smoke was explicitly requested. Releases are published by the GitHub release workflow after the release commit reaches `main`; do not run `npm publish` manually unless that workflow is unavailable.
 
-For the complete lifecycle, state machine, containment boundary, retry budgets, review flow, proof contracts, and publication recovery model, see [docs/deep-dive.md](docs/deep-dive.md). For live release scenarios, see [docs/live-smoke-checklist.md](docs/live-smoke-checklist.md).
+Human maintainers can find the complete lifecycle, state machine, containment boundary, retry budgets, review flow, proof contracts, and publication recovery model in [docs/deep-dive.md](docs/deep-dive.md). That guide is not agent context. For live release scenarios, see [docs/live-smoke-checklist.md](docs/live-smoke-checklist.md).

package/dist/src/index.d.ts

@@ -2,15 +2,11 @@ export { AcceptanceProof } from './v2/acceptance-proof.js';
 export type { FrozenCriterion, IssueSnapshot, ProveChangeResult, ProofAgent, ProofAgentResult } from './v2/acceptance-proof.js';
 export { createCheckedChangeCapabilities, checkedChangeFreshnessMatches, checkedChangePayloadSha256 } from './v2/checked-change.js';
 export type { CheckedChange, CheckedChangeCandidateFreshness, CheckedChangeFreshness, CheckedChangeFreshnessAny, CheckedChangePayload, CheckedChangePayloadV1, CheckedChangePayloadV2, } from './v2/checked-change.js';
-export type { CandidateBindingV2, CandidateBoundaryV2, CandidateExecutionLeaseV2, CandidateGitV2, CandidateOperationFailureCode, CandidateResult, } from './v2/candidate.js';
-export { codeReviewReportOutputSchema, hashClosureRequest, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
+export type { CandidateBindingV2, CandidateBoundaryV2, CandidateMaterializationV2, CandidateGitV2, CandidateOperationFailureCode, CandidateResult, } from './v2/candidate.js';
+export { codeReviewReportOutputSchema, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
 export type { CodeReviewDefectV1, CodeReviewReportV1, CodeReviewValidationContext } from './v2/code-review-report.js';
 export { ContainedImplementationReviewer } from './v2/implementation-reviewer.js';
 export type { ImplementationReviewerInput, ImplementationReviewerResult } from './v2/implementation-reviewer.js';
-export { SpecCoordinator } from './v2/spec-coordinator.js';
-export type { SpecCoordinatorResult, SpecDeliveryOperation, SpecDeliveryState } from './v2/spec-coordinator.js';
-export { createInitialSpecDelivery, createSpecRevision, freezeApprovedSpec, validateFrozenSpecReceipt, validateSpecDelivery } from './v2/spec-delivery.js';
-export type { FrozenSpecReceiptV1, SpecDeliveryV1, SpecReviewReportV1, SpecRevisionV1 } from './v2/spec-delivery.js';
 export { parseAgentAutoConfig } from './v2/config.js';
 export type { AgentAutoConfig } from './v2/config.js';
 export { validateImplementationReport } from './v2/implementation-report.js';
@@ -23,6 +19,4 @@ export { createV2Runtime } from './v2/runtime.js';
 export type { V2Runtime } from './v2/runtime.js';
 export { Setup } from './v2/setup.js';
 export type { SetupIntent, SetupOutcome } from './v2/setup.js';
-export { createWaitingQuestion, normalizeAnswer, renderWaitingQuestionBody } from './v2/waiting-human.js';
-export type { TrustedAnswerReceiptV1, WaitingHumanExecutionV1, WaitingQuestionReceiptV1, WaitingQuestionV1 } from './v2/waiting-human.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAChI,OAAO,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpI,YAAY,EACV,aAAa,EACb,+BAA+B,EAC/B,sBAAsB,EACtB,yBAAyB,EACzB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,yBAAyB,EACzB,cAAc,EACd,6BAA6B,EAC7B,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,4BAA4B,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACzK,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACtH,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,YAAY,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,YAAY,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAChH,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC3J,YAAY,EAAE,mBAAmB,EAAE,cAAc,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACrH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAC7E,YAAY,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC;AAC1G,YAAY,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAChI,OAAO,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpI,YAAY,EACV,aAAa,EACb,+BAA+B,EAC/B,sBAAsB,EACtB,yBAAyB,EACzB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,0BAA0B,EAC1B,cAAc,EACd,6BAA6B,EAC7B,eAAe,GAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AACrJ,YAAY,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACtH,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAClF,YAAY,EAAE,2BAA2B,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AACjH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAC7E,YAAY,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,YAAY,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC"}

package/dist/src/index.js

@@ -1,14 +1,11 @@
 export { AcceptanceProof } from './v2/acceptance-proof.js';
 export { createCheckedChangeCapabilities, checkedChangeFreshnessMatches, checkedChangePayloadSha256 } from './v2/checked-change.js';
-export { codeReviewReportOutputSchema, hashClosureRequest, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
+export { codeReviewReportOutputSchema, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
 export { ContainedImplementationReviewer } from './v2/implementation-reviewer.js';
-export { SpecCoordinator } from './v2/spec-coordinator.js';
-export { createInitialSpecDelivery, createSpecRevision, freezeApprovedSpec, validateFrozenSpecReceipt, validateSpecDelivery } from './v2/spec-delivery.js';
 export { parseAgentAutoConfig } from './v2/config.js';
 export { validateImplementationReport } from './v2/implementation-report.js';
 export { validateProofReport } from './v2/proof-report.js';
 export { RunIssue } from './v2/run-issue.js';
 export { createV2Runtime } from './v2/runtime.js';
 export { Setup } from './v2/setup.js';
-export { createWaitingQuestion, normalizeAnswer, renderWaitingQuestionBody } from './v2/waiting-human.js';
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,OAAO,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAkBpI,OAAO,EAAE,4BAA4B,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAEzK,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAElF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE3J,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAE7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAEtC,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE3D,OAAO,EAAE,+BAA+B,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAkBpI,OAAO,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,4BAA4B,CAAC;AAErJ,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAC;AAElF,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAE7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC"}

package/dist/src/v2/acceptance-proof.d.ts

@@ -1,10 +1,8 @@
 import { type CheckedChange, type CheckedChangeFreshnessAny, type CheckedChangePayload, type CheckedChangePayloadV1, type CheckedChangeReadCapability } from './checked-change.js';
-import type { CandidateExecutionLeaseV2 } from './candidate.js';
+import type { CandidateMaterializationV2 } from './candidate.js';
 import { type ProofReceipt } from './proof-report.js';
-import { type ProofIosInputsV1, type ProofRecordWriter } from './proof-store.js';
 import type { AndroidLeaseVerifier, IosLeaseVerifier } from './mobile-lease.js';
 import type { WorkflowGenerationReceipt } from './workflow-assets.js';
-import type { DurableReportInvocationState } from './contained-report-operation.js';
 export interface IssueSnapshot {
     number: number;
     title: string;
@@ -20,19 +18,17 @@ export interface FrozenCriterion {
     text: string;
 }
 export interface ExternalBlocker {
-    kind: 'credential' | 'tool' | 'service' | 'product-decision';
+    kind: 'credential' | 'tool' | 'service' | 'decision-delta' | 'out-of-scope' | 'authority-boundary';
     summary: string;
     attempted: string[];
+    resumable: boolean;
 }
-export type IosProofInputsV1 = ProofIosInputsV1;
 export type ProofAgentResult = {
     kind: 'report';
     report: unknown;
     proofPhaseChangedFiles: string[];
-    proofPhaseArtifactSha256?: Record<string, string>;
 } | {
-    kind: 'deferred';
-    code: string;
+    kind: 'safe-halt';
 } | {
     kind: 'transport-failed';
     resumable: boolean;
@@ -40,10 +36,11 @@ export type ProofAgentResult = {
     kind: 'cancelled';
 } | {
     kind: 'internal-error';
-    code?: string;
 };
 export interface ProofAgent<TPayload extends CheckedChangePayload = CheckedChangePayloadV1> {
     run(input: {
+        attemptId: string;
+        recoverOnly?: boolean;
         proofId: string;
         runId: string;
         issue: IssueSnapshot;
@@ -52,28 +49,29 @@ export interface ProofAgent<TPayload extends CheckedChangePayload = CheckedChang
         changedFiles: string[];
         checks: TPayload['checks'];
         worktreePath?: string;
+        onLaunched?: (input: {
+            pid: number;
+            processGroupId: number;
+            launchedAt: string;
+        }) => Promise<void>;
         runnerPreparedArtifactPaths: string[];
         runnerPreparedArtifactSha256: Record<string, string>;
         runnerPreparationWarnings: string[];
         repairOnly: boolean;
         repairFindings: string[];
-        repairArtifactSha256?: Record<string, string>;
-        iosProofInputs?: IosProofInputsV1;
         workflowGeneration?: WorkflowGenerationReceipt;
         signal: AbortSignal;
-        invocationState?: DurableReportInvocationState;
-        beforeLaunch?: () => Promise<void>;
     }): Promise<ProofAgentResult>;
 }
-export declare class ProofLaunchAuthorizationError extends Error {
-    readonly outcome: unknown;
-    constructor(outcome: unknown);
-}
 export declare class CandidateProofInspectionError extends Error {
     readonly code: string;
     constructor(code: string);
 }
-export type ProveChangeResult = {
+export declare class ProofLaunchAuthorizationError extends Error {
+    readonly outcome: unknown;
+    constructor(outcome: unknown);
+}
+export type SettledProveChangeResult = {
     status: 'passed';
     receipt: ProofReceipt;
 } | {
@@ -86,7 +84,7 @@ export type ProveChangeResult = {
     receipt: ProofReceipt;
 } | {
     status: 'transport-failed';
-    resumable: boolean;
+    resumable: false;
     receipt: ProofReceipt;
 } | {
     status: 'cancelled';
@@ -95,13 +93,25 @@ export type ProveChangeResult = {
     status: 'internal-error';
     receipt: ProofReceipt;
 };
+export type ProveChangeResult = SettledProveChangeResult | {
+    status: 'safe-halt';
+} | {
+    status: 'transport-failed';
+    resumable: true;
+} | {
+    status: 'report-repair';
+    reportRepairCount: number;
+    findings: string[];
+} | {
+    status: 'cleanup-pending';
+    outcome: SettledProveChangeResult;
+};
 export declare class AcceptanceProof<TPayload extends CheckedChangePayload = CheckedChangePayloadV1> {
     private readonly dependencies;
     constructor(dependencies: {
         checkedChangeReader: CheckedChangeReadCapability;
-        proofRecords: ProofRecordWriter;
         proofAgent: ProofAgent<TPayload>;
-        inspectFreshness: (payload: TPayload, executionLease?: CandidateExecutionLeaseV2) => Promise<CheckedChangeFreshnessAny>;
+        inspectFreshness: (payload: TPayload, materialization?: CandidateMaterializationV2) => Promise<CheckedChangeFreshnessAny>;
         readArtifact: (relativePath: string) => Promise<Buffer>;
         inspectArtifact?: (relativePath: string) => Promise<{
             modifiedAt: string;
@@ -109,31 +119,36 @@ export declare class AcceptanceProof<TPayload extends CheckedChangePayload = Che
         androidLease?: AndroidLeaseVerifier;
         iosLease?: IosLeaseVerifier;
         proofArtifactDir: string;
-        now: () => string;
         signal?: AbortSignal;
     });
+    cleanupMobileLeases(proofId: string): Promise<void>;
     proveChange(input: {
         proofId: string;
+        attemptId: string;
+        recoverOnly: boolean;
+        proofStartedAt: string;
+        transportRetryCount: number;
+        reportRepairCount: number;
+        reportRepairFindings: string[];
+        passedReceipt?: ProofReceipt;
         issue: IssueSnapshot;
         frozenCriteria: FrozenCriterion[];
         checkedChange: CheckedChange<TPayload>;
-        executionLease?: CandidateExecutionLeaseV2;
+        materialization?: CandidateMaterializationV2;
         workflowGeneration?: WorkflowGenerationReceipt;
         beforeAgentLaunch?: () => Promise<void>;
+        onLaunched?: (input: {
+            pid: number;
+            processGroupId: number;
+            launchedAt: string;
+        }) => Promise<void>;
         runnerPreparedArtifactPaths?: string[];
         runnerPreparedArtifactSha256?: Record<string, string>;
         runnerPreparationWarnings?: string[];
-        iosProofInputs?: IosProofInputsV1;
     }): Promise<ProveChangeResult>;
     private execute;
     private validateArtifactsAndDiff;
-    private releaseMobileLeasesIfSettled;
-    private releaseMobileLeases;
-    private invocationState;
-    private requireState;
     private isFresh;
-    private persistOperationalTerminal;
-    private persistTerminal;
-    private timestamp;
+    private settle;
 }
 //# sourceMappingURL=acceptance-proof.d.ts.map

package/dist/src/v2/acceptance-proof.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"acceptance-proof.d.ts","sourceRoot":"","sources":["../../../src/v2/acceptance-proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,yBAAyB,EAC9B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,2BAA2B,EACjC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,gBAAgB,CAAC;AAEhE,OAAO,EAIL,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAA0D,KAAK,gBAAgB,EAAE,KAAK,iBAAiB,EAA8D,MAAM,kBAAkB,CAAC;AACrM,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,KAAK,EAAE,4BAA4B,EAA6B,MAAM,iCAAiC,CAAC;AAE/G,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,kBAAkB,CAAC;IAC7D,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AAEhD,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,sBAAsB,EAAE,MAAM,EAAE,CAAC;IAAC,wBAAwB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACxH;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9C,MAAM,WAAW,UAAU,CAAC,QAAQ,SAAS,oBAAoB,GAAG,sBAAsB;IACxF,GAAG,CAAC,KAAK,EAAE;QACT,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,aAAa,CAAC;QACrB,cAAc,EAAE,eAAe,EAAE,CAAC;QAClC,mBAAmB,EAAE,MAAM,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,2BAA2B,EAAE,MAAM,EAAE,CAAC;QACtC,4BAA4B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACrD,yBAAyB,EAAE,MAAM,EAAE,CAAC;QACpC,UAAU,EAAE,OAAO,CAAC;QACpB,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,oBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9C,cAAc,CAAC,EAAE,gBAAgB,CAAC;QAClC,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;QAC/C,MAAM,EAAE,WAAW,CAAC;QACpB,eAAe,CAAC,EAAE,4BAA4B,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;KACpF,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;CAC/B;AAED,qBAAa,6BAA8B,SAAQ,KAAK;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO;gBAAhB,OAAO,EAAE,OAAO;CAGtC;AAED,qBAAa,6BAA8B,SAAQ,KAAK;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;CAClC;AAED,MAAM,MAAM,iBAAiB,GACzB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC3C;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACrE;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC7E;IAAE,MAAM,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACzE;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC9C;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC;AAExD,qBAAa,eAAe,CAAC,QAAQ,SAAS,oBAAoB,GAAG,sBAAsB;IAC7E,OAAO,CAAC,QAAQ,CAAC,YAAY;gBAAZ,YAAY,EAAE;QACzC,mBAAmB,EAAE,2BAA2B,CAAC;QACjD,YAAY,EAAE,iBAAiB,CAAC;QAChC,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjC,gBAAgB,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,cAAc,CAAC,EAAE,yBAAyB,KAAK,OAAO,CAAC,yBAAyB,CAAC,CAAC;QACxH,YAAY,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;QACxD,eAAe,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC;YAAE,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAC5E,YAAY,CAAC,EAAE,oBAAoB,CAAC;QACpC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;QAC5B,gBAAgB,EAAE,MAAM,CAAC;QACzB,GAAG,EAAE,MAAM,MAAM,CAAC;QAClB,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB;IAIK,WAAW,CAAC,KAAK,EAAE;QACvB,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,aAAa,CAAC;QACrB,cAAc,EAAE,eAAe,EAAE,CAAC;QAClC,aAAa,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,cAAc,CAAC,EAAE,yBAAyB,CAAC;QAC3C,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;QAC/C,iBAAiB,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACxC,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC;QACvC,4BAA4B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtD,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;QACrC,cAAc,CAAC,EAAE,gBAAgB,CAAC;KACnC,GAAG,OAAO,CAAC,iBAAiB,CAAC;YAyChB,OAAO;YAmKP,wBAAwB;YAqGxB,4BAA4B;YAO5B,mBAAmB;IAKjC,OAAO,CAAC,eAAe;YAiBT,YAAY;YAMZ,OAAO;YAIP,0BAA0B;YAW1B,eAAe;IAkB7B,OAAO,CAAC,SAAS;CAKlB"}
+{"version":3,"file":"acceptance-proof.d.ts","sourceRoot":"","sources":["../../../src/v2/acceptance-proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,yBAAyB,EAC9B,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC3B,KAAK,2BAA2B,EACjC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EAIL,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAChF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,gBAAgB,GAAG,cAAc,GAAG,oBAAoB,CAAC;IACnG,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,sBAAsB,EAAE,MAAM,EAAE,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAE/B,MAAM,WAAW,UAAU,CAAC,QAAQ,SAAS,oBAAoB,GAAG,sBAAsB;IACxF,GAAG,CAAC,KAAK,EAAE;QACT,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,CAAC,EAAE,OAAO,CAAC;QACtB,OAAO,EAAE,MAAM,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,aAAa,CAAC;QACrB,cAAc,EAAE,eAAe,EAAE,CAAC;QAClC,mBAAmB,EAAE,MAAM,CAAC;QAC5B,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,cAAc,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;QACnG,2BAA2B,EAAE,MAAM,EAAE,CAAC;QACtC,4BAA4B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACrD,yBAAyB,EAAE,MAAM,EAAE,CAAC;QACpC,UAAU,EAAE,OAAO,CAAC;QACpB,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;QAC/C,MAAM,EAAE,WAAW,CAAC;KACrB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;CAC/B;AAED,qBAAa,6BAA8B,SAAQ,KAAK;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;CAClC;AAED,qBAAa,6BAA8B,SAAQ,KAAK;IAC1C,QAAQ,CAAC,OAAO,EAAE,OAAO;gBAAhB,OAAO,EAAE,OAAO;CAGtC;AAED,MAAM,MAAM,wBAAwB,GAChC;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC3C;IAAE,MAAM,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACrE;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC7E;IAAE,MAAM,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GACvE;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,GAC9C;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,iBAAiB,GACzB,wBAAwB,GACxB;IAAE,MAAM,EAAE,WAAW,CAAA;CAAE,GACvB;IAAE,MAAM,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GAC/C;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,iBAAiB,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GAC1E;IACE,MAAM,EAAE,iBAAiB,CAAC;IAC1B,OAAO,EAAE,wBAAwB,CAAC;CACnC,CAAC;AAEN,qBAAa,eAAe,CAAC,QAAQ,SAAS,oBAAoB,GAAG,sBAAsB;IAC7E,OAAO,CAAC,QAAQ,CAAC,YAAY;gBAAZ,YAAY,EAAE;QACzC,mBAAmB,EAAE,2BAA2B,CAAC;QACjD,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjC,gBAAgB,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,0BAA0B,KAAK,OAAO,CAAC,yBAAyB,CAAC,CAAC;QAC1H,YAAY,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;QACxD,eAAe,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC;YAAE,UAAU,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QAC5E,YAAY,CAAC,EAAE,oBAAoB,CAAC;QACpC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;QAC5B,gBAAgB,EAAE,MAAM,CAAC;QACzB,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB;IAIK,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAMnD,WAAW,CAAC,KAAK,EAAE;QACvB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,OAAO,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,aAAa,CAAC,EAAE,YAAY,CAAC;QAC7B,KAAK,EAAE,aAAa,CAAC;QACrB,cAAc,EAAE,eAAe,EAAE,CAAC;QAClC,aAAa,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;QACvC,eAAe,CAAC,EAAE,0BAA0B,CAAC;QAC7C,kBAAkB,CAAC,EAAE,yBAAyB,CAAC;QAC/C,iBAAiB,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;QACxC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE;YAAE,GAAG,EAAE,MAAM,CAAC;YAAC,cAAc,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,CAAA;SAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;QACnG,2BAA2B,CAAC,EAAE,MAAM,EAAE,CAAC;QACvC,4BAA4B,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACtD,yBAAyB,CAAC,EAAE,MAAM,EAAE,CAAC;KACtC,GAAG,OAAO,CAAC,iBAAiB,CAAC;YA6ChB,OAAO;YA8JP,wBAAwB;YAqGxB,OAAO;YAIP,MAAM;CAQrB"}