codex-orchestrator 2.0.9 → 2.0.11
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +44 -0
- package/README.md +26 -1
- package/dist/src/index.d.ts +3 -2
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +1 -1
- package/dist/src/index.js.map +1 -1
- package/dist/src/v2/acceptance-proof.d.ts +29 -16
- package/dist/src/v2/acceptance-proof.d.ts.map +1 -1
- package/dist/src/v2/acceptance-proof.js +159 -129
- package/dist/src/v2/acceptance-proof.js.map +1 -1
- package/dist/src/v2/adapters/command.d.ts +1 -0
- package/dist/src/v2/adapters/command.d.ts.map +1 -1
- package/dist/src/v2/adapters/command.js +1 -1
- package/dist/src/v2/adapters/command.js.map +1 -1
- package/dist/src/v2/adapters/gh-issue-adapter.js +9 -3
- package/dist/src/v2/adapters/gh-issue-adapter.js.map +1 -1
- package/dist/src/v2/adapters/gh-pull-request-adapter.js +1 -0
- package/dist/src/v2/adapters/gh-pull-request-adapter.js.map +1 -1
- package/dist/src/v2/adapters/pull-requests.d.ts +1 -0
- package/dist/src/v2/adapters/pull-requests.d.ts.map +1 -1
- package/dist/src/v2/adapters/pull-requests.js +1 -0
- package/dist/src/v2/adapters/pull-requests.js.map +1 -1
- package/dist/src/v2/adapters/worktree.js +3 -3
- package/dist/src/v2/adapters/worktree.js.map +1 -1
- package/dist/src/v2/atomic-store.d.ts +15 -0
- package/dist/src/v2/atomic-store.d.ts.map +1 -1
- package/dist/src/v2/atomic-store.js +55 -8
- package/dist/src/v2/atomic-store.js.map +1 -1
- package/dist/src/v2/candidate.d.ts +152 -0
- package/dist/src/v2/candidate.d.ts.map +1 -0
- package/dist/src/v2/candidate.js +129 -0
- package/dist/src/v2/candidate.js.map +1 -0
- package/dist/src/v2/checked-change.d.ts +37 -6
- package/dist/src/v2/checked-change.d.ts.map +1 -1
- package/dist/src/v2/checked-change.js +71 -0
- package/dist/src/v2/checked-change.js.map +1 -1
- package/dist/src/v2/cli.d.ts +6 -0
- package/dist/src/v2/cli.d.ts.map +1 -1
- package/dist/src/v2/cli.js +57 -21
- package/dist/src/v2/cli.js.map +1 -1
- package/dist/src/v2/codex-process.d.ts +1 -0
- package/dist/src/v2/codex-process.d.ts.map +1 -1
- package/dist/src/v2/codex-process.js +12 -1
- package/dist/src/v2/codex-process.js.map +1 -1
- package/dist/src/v2/contained-report-operation.d.ts +196 -30
- package/dist/src/v2/contained-report-operation.d.ts.map +1 -1
- package/dist/src/v2/contained-report-operation.js +464 -150
- package/dist/src/v2/contained-report-operation.js.map +1 -1
- package/dist/src/v2/direct-delivery.d.ts +10 -28
- package/dist/src/v2/direct-delivery.d.ts.map +1 -1
- package/dist/src/v2/direct-delivery.js +44 -114
- package/dist/src/v2/direct-delivery.js.map +1 -1
- package/dist/src/v2/implementation-reviewer.d.ts +4 -24
- package/dist/src/v2/implementation-reviewer.d.ts.map +1 -1
- package/dist/src/v2/implementation-reviewer.js +29 -35
- package/dist/src/v2/implementation-reviewer.js.map +1 -1
- package/dist/src/v2/owner-control-lock.d.ts +13 -1
- package/dist/src/v2/owner-control-lock.d.ts.map +1 -1
- package/dist/src/v2/owner-control-lock.js +66 -7
- package/dist/src/v2/owner-control-lock.js.map +1 -1
- package/dist/src/v2/proof-report.d.ts +2 -1
- package/dist/src/v2/proof-report.d.ts.map +1 -1
- package/dist/src/v2/proof-report.js +6 -40
- package/dist/src/v2/proof-report.js.map +1 -1
- package/dist/src/v2/proof-store.d.ts +19 -7
- package/dist/src/v2/proof-store.d.ts.map +1 -1
- package/dist/src/v2/proof-store.js +162 -41
- package/dist/src/v2/proof-store.js.map +1 -1
- package/dist/src/v2/review-feedback-coordinator.d.ts +7 -1
- package/dist/src/v2/review-feedback-coordinator.d.ts.map +1 -1
- package/dist/src/v2/review-feedback-coordinator.js +97 -70
- package/dist/src/v2/review-feedback-coordinator.js.map +1 -1
- package/dist/src/v2/review-feedback.d.ts +0 -18
- package/dist/src/v2/review-feedback.d.ts.map +1 -1
- package/dist/src/v2/review-feedback.js +9 -34
- package/dist/src/v2/review-feedback.js.map +1 -1
- package/dist/src/v2/route-coordinator.d.ts +7 -12
- package/dist/src/v2/route-coordinator.d.ts.map +1 -1
- package/dist/src/v2/route-coordinator.js +33 -128
- package/dist/src/v2/route-coordinator.js.map +1 -1
- package/dist/src/v2/route-decision.d.ts +0 -9
- package/dist/src/v2/route-decision.d.ts.map +1 -1
- package/dist/src/v2/route-decision.js +7 -27
- package/dist/src/v2/route-decision.js.map +1 -1
- package/dist/src/v2/run-issue.d.ts +64 -26
- package/dist/src/v2/run-issue.d.ts.map +1 -1
- package/dist/src/v2/run-issue.js +1298 -620
- package/dist/src/v2/run-issue.js.map +1 -1
- package/dist/src/v2/run-store.d.ts +39 -25
- package/dist/src/v2/run-store.d.ts.map +1 -1
- package/dist/src/v2/run-store.js +469 -88
- package/dist/src/v2/run-store.js.map +1 -1
- package/dist/src/v2/runtime.d.ts +61 -36
- package/dist/src/v2/runtime.d.ts.map +1 -1
- package/dist/src/v2/runtime.js +992 -402
- package/dist/src/v2/runtime.js.map +1 -1
- package/dist/src/v2/spec-coordinator.d.ts +16 -28
- package/dist/src/v2/spec-coordinator.d.ts.map +1 -1
- package/dist/src/v2/spec-coordinator.js +81 -43
- package/dist/src/v2/spec-coordinator.js.map +1 -1
- package/dist/src/v2/spec-delivery.d.ts +3 -34
- package/dist/src/v2/spec-delivery.d.ts.map +1 -1
- package/dist/src/v2/spec-delivery.js +42 -107
- package/dist/src/v2/spec-delivery.js.map +1 -1
- package/docs/deep-dive.md +52 -14
- package/internal-workflow/evals/coding-skill-evals.json +58 -17
- package/internal-workflow/manifest.json +1 -1
- package/internal-workflow/schemas/proof-report-v1.json +1 -1
- package/internal-workflow/skills/code-review/SKILL.md +18 -0
- package/internal-workflow/skills/spec-implementer/SKILL.md +8 -1
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -6,6 +6,50 @@ The format is based on Keep a Changelog, and this project follows SemVer.
|
|
|
6
6
|
|
|
7
7
|
## [Unreleased]
|
|
8
8
|
|
|
9
|
+
## [2.0.11] - 2026-07-30
|
|
10
|
+
|
|
11
|
+
### Added
|
|
12
|
+
- Added V2 candidate-bound `CheckedChange` contracts and optional candidate Git
|
|
13
|
+
capability while preserving existing V1 payload and freshness semantics.
|
|
14
|
+
- Added run-state V3 migration with an exact raw-byte backup, pre-publication
|
|
15
|
+
rollback guard, candidate bindings, execution leases, and retained commit
|
|
16
|
+
intents for observation-only recovery.
|
|
17
|
+
|
|
18
|
+
### Changed
|
|
19
|
+
- Direct-route review, checks, and Acceptance Proof now execute from fresh
|
|
20
|
+
detached materializations of one private-index-captured, ref-pinned Git tree.
|
|
21
|
+
Publication creates and observes the exact single-parent commit from that
|
|
22
|
+
tree before push, including restart-safe branch-CAS reconciliation.
|
|
23
|
+
- Recovery across direct, report-only, mutable worker, spec-author, review, and
|
|
24
|
+
proof operations now uses one canonical attempt-owned invocation lifecycle.
|
|
25
|
+
Infrastructure failures before recoverable output do not consume semantic
|
|
26
|
+
budgets, while recovered Runner-classified output consumes its existing
|
|
27
|
+
phase budget exactly once.
|
|
28
|
+
- Replaced the generic positive-proof live-smoke scenario with an
|
|
29
|
+
`authoritative-candidate-publication` scenario that injects stale shared-index
|
|
30
|
+
content and proves exact candidate-tree publication plus pin/materialization
|
|
31
|
+
cleanup.
|
|
32
|
+
- Updated interrupted-worker live-smoke scenarios to prove bounded
|
|
33
|
+
infrastructure clearing, delayed replacement launches, no accidental
|
|
34
|
+
publication, deterministic process-absent output discard, and strict scratch
|
|
35
|
+
ownership cleanup under the canonical recovery lifecycle.
|
|
36
|
+
|
|
37
|
+
### Fixed
|
|
38
|
+
- New issue worktrees now use a freshly fetched configured remote base and are
|
|
39
|
+
created from its immutable pinned SHA. Base fetch failures remain unclaimed
|
|
40
|
+
and safely retryable.
|
|
41
|
+
|
|
42
|
+
### Removed
|
|
43
|
+
- Removed the superseded operation-specific recovery owners and parallel state
|
|
44
|
+
machines after each operation migrated to the canonical invocation lifecycle.
|
|
45
|
+
|
|
46
|
+
## [2.0.10] - 2026-07-29
|
|
47
|
+
|
|
48
|
+
### Fixed
|
|
49
|
+
- GitHub issue comment timestamps are canonicalized before run-state
|
|
50
|
+
persistence, so second-precision API timestamps no longer prevent a fresh
|
|
51
|
+
issue run from being created.
|
|
52
|
+
|
|
9
53
|
## [2.0.9] - 2026-07-29
|
|
10
54
|
|
|
11
55
|
### Changed
|
package/README.md
CHANGED
|
@@ -40,7 +40,7 @@ npx codex-orchestrator setup --target "$PWD" --prepare-labels
|
|
|
40
40
|
npx codex-orchestrator doctor --target "$PWD"
|
|
41
41
|
```
|
|
42
42
|
|
|
43
|
-
`setup`
|
|
43
|
+
`setup` derives the base branch only from `origin/HEAD`. When an agent performs setup, it must show that detected branch and obtain explicit user confirmation before running the mutating setup command. If repository inference is not possible, provide both repository fields:
|
|
44
44
|
|
|
45
45
|
```sh
|
|
46
46
|
npx codex-orchestrator setup \
|
|
@@ -106,6 +106,8 @@ npx codex-orchestrator run --target "$PWD" --issue 123
|
|
|
106
106
|
|
|
107
107
|
Repeated calls do not start an unrelated second run. The Runner reads durable state, reconciles unfinished effects, revalidates issue authorization, and continues only when ownership and process state are safe.
|
|
108
108
|
|
|
109
|
+
Before a new run is claimed, the Runner fetches only the configured remote base branch, pins its exact commit, and creates the issue worktree from that immutable SHA. A temporary fetch failure remains unclaimed and safely retryable; existing runs keep their already-persisted base SHA.
|
|
110
|
+
|
|
109
111
|
### `daemon`
|
|
110
112
|
|
|
111
113
|
Poll for open issues carrying `agent:auto` and process them serially:
|
|
@@ -216,6 +218,29 @@ npm pack --dry-run --json
|
|
|
216
218
|
|
|
217
219
|
`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.
|
|
218
220
|
|
|
221
|
+
After changing packaged skills or evals, compare the source and generated eval
|
|
222
|
+
plans locally. This check is offline and does not run a model:
|
|
223
|
+
|
|
224
|
+
```sh
|
|
225
|
+
set -e
|
|
226
|
+
PACKAGE_ROOT="$PWD"
|
|
227
|
+
CODEX_HOME="${CODEX_HOME:-$HOME/.codex}"
|
|
228
|
+
PARITY_ROOT="$(mktemp -d)"
|
|
229
|
+
cd "$CODEX_HOME"
|
|
230
|
+
python3 scripts/run_coding_skill_evals.py --output "$PARITY_ROOT/source"
|
|
231
|
+
python3 scripts/run_coding_skill_evals.py \
|
|
232
|
+
--workflow-root "$PACKAGE_ROOT/internal-workflow" \
|
|
233
|
+
--fixture-root "$CODEX_HOME/scripts/fixtures/coding-skill-evals" \
|
|
234
|
+
--output "$PARITY_ROOT/package"
|
|
235
|
+
jq -S '.cases' "$PARITY_ROOT/source/plan.json" > "$PARITY_ROOT/source-cases.json"
|
|
236
|
+
jq -S '.cases' "$PARITY_ROOT/package/plan.json" > "$PARITY_ROOT/package-cases.json"
|
|
237
|
+
diff -u "$PARITY_ROOT/source-cases.json" "$PARITY_ROOT/package-cases.json"
|
|
238
|
+
```
|
|
239
|
+
|
|
240
|
+
Do not add live eval profiles to `refresh:workflow`, package tests, build, or
|
|
241
|
+
release scripts. Live execution remains an explicit maintainer action from the
|
|
242
|
+
local skill checkout.
|
|
243
|
+
|
|
219
244
|
`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.
|
|
220
245
|
|
|
221
246
|
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).
|
package/dist/src/index.d.ts
CHANGED
|
@@ -1,7 +1,8 @@
|
|
|
1
|
-
export { AcceptanceProof
|
|
1
|
+
export { AcceptanceProof } from './v2/acceptance-proof.js';
|
|
2
2
|
export type { FrozenCriterion, IssueSnapshot, ProveChangeResult, ProofAgent, ProofAgentResult } from './v2/acceptance-proof.js';
|
|
3
3
|
export { createCheckedChangeCapabilities, checkedChangeFreshnessMatches, checkedChangePayloadSha256 } from './v2/checked-change.js';
|
|
4
|
-
export type { CheckedChange, CheckedChangeFreshness, CheckedChangePayloadV1 } from './v2/checked-change.js';
|
|
4
|
+
export type { CheckedChange, CheckedChangeCandidateFreshness, CheckedChangeFreshness, CheckedChangeFreshnessAny, CheckedChangePayload, CheckedChangePayloadV1, CheckedChangePayloadV2, } from './v2/checked-change.js';
|
|
5
|
+
export type { CandidateBindingV2, CandidateBoundaryV2, CandidateExecutionLeaseV2, CandidateGitV2, CandidateOperationFailureCode, CandidateResult, } from './v2/candidate.js';
|
|
5
6
|
export { codeReviewReportOutputSchema, hashClosureRequest, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
|
|
6
7
|
export type { CodeReviewDefectV1, CodeReviewReportV1, CodeReviewValidationContext } from './v2/code-review-report.js';
|
|
7
8
|
export { ContainedImplementationReviewer } from './v2/implementation-reviewer.js';
|
package/dist/src/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,
|
|
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"}
|
package/dist/src/index.js
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
export { AcceptanceProof
|
|
1
|
+
export { AcceptanceProof } from './v2/acceptance-proof.js';
|
|
2
2
|
export { createCheckedChangeCapabilities, checkedChangeFreshnessMatches, checkedChangePayloadSha256 } from './v2/checked-change.js';
|
|
3
3
|
export { codeReviewReportOutputSchema, hashClosureRequest, hashCodeReviewReport, validateCodeReviewDefects, validateCodeReviewReport } from './v2/code-review-report.js';
|
|
4
4
|
export { ContainedImplementationReviewer } from './v2/implementation-reviewer.js';
|
package/dist/src/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,
|
|
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"}
|
|
@@ -1,8 +1,10 @@
|
|
|
1
|
-
import { type CheckedChange, type
|
|
1
|
+
import { type CheckedChange, type CheckedChangeFreshnessAny, type CheckedChangePayload, type CheckedChangePayloadV1, type CheckedChangeReadCapability } from './checked-change.js';
|
|
2
|
+
import type { CandidateExecutionLeaseV2 } from './candidate.js';
|
|
2
3
|
import { type ProofReceipt } from './proof-report.js';
|
|
3
|
-
import type
|
|
4
|
+
import { type ProofIosInputsV1, type ProofRecordWriter } from './proof-store.js';
|
|
4
5
|
import type { AndroidLeaseVerifier, IosLeaseVerifier } from './mobile-lease.js';
|
|
5
6
|
import type { WorkflowGenerationReceipt } from './workflow-assets.js';
|
|
7
|
+
import type { DurableReportInvocationState } from './contained-report-operation.js';
|
|
6
8
|
export interface IssueSnapshot {
|
|
7
9
|
number: number;
|
|
8
10
|
title: string;
|
|
@@ -22,10 +24,15 @@ export interface ExternalBlocker {
|
|
|
22
24
|
summary: string;
|
|
23
25
|
attempted: string[];
|
|
24
26
|
}
|
|
27
|
+
export type IosProofInputsV1 = ProofIosInputsV1;
|
|
25
28
|
export type ProofAgentResult = {
|
|
26
29
|
kind: 'report';
|
|
27
30
|
report: unknown;
|
|
28
31
|
proofPhaseChangedFiles: string[];
|
|
32
|
+
proofPhaseArtifactSha256?: Record<string, string>;
|
|
33
|
+
} | {
|
|
34
|
+
kind: 'deferred';
|
|
35
|
+
code: string;
|
|
29
36
|
} | {
|
|
30
37
|
kind: 'transport-failed';
|
|
31
38
|
resumable: boolean;
|
|
@@ -33,8 +40,9 @@ export type ProofAgentResult = {
|
|
|
33
40
|
kind: 'cancelled';
|
|
34
41
|
} | {
|
|
35
42
|
kind: 'internal-error';
|
|
43
|
+
code?: string;
|
|
36
44
|
};
|
|
37
|
-
export interface ProofAgent {
|
|
45
|
+
export interface ProofAgent<TPayload extends CheckedChangePayload = CheckedChangePayloadV1> {
|
|
38
46
|
run(input: {
|
|
39
47
|
proofId: string;
|
|
40
48
|
runId: string;
|
|
@@ -42,26 +50,29 @@ export interface ProofAgent {
|
|
|
42
50
|
frozenCriteria: FrozenCriterion[];
|
|
43
51
|
checkedChangeSha256: string;
|
|
44
52
|
changedFiles: string[];
|
|
45
|
-
checks:
|
|
53
|
+
checks: TPayload['checks'];
|
|
54
|
+
worktreePath?: string;
|
|
46
55
|
runnerPreparedArtifactPaths: string[];
|
|
47
56
|
runnerPreparedArtifactSha256: Record<string, string>;
|
|
48
57
|
runnerPreparationWarnings: string[];
|
|
49
58
|
repairOnly: boolean;
|
|
50
59
|
repairFindings: string[];
|
|
60
|
+
repairArtifactSha256?: Record<string, string>;
|
|
61
|
+
iosProofInputs?: IosProofInputsV1;
|
|
51
62
|
workflowGeneration?: WorkflowGenerationReceipt;
|
|
52
63
|
signal: AbortSignal;
|
|
64
|
+
invocationState?: DurableReportInvocationState;
|
|
65
|
+
beforeLaunch?: () => Promise<void>;
|
|
53
66
|
}): Promise<ProofAgentResult>;
|
|
54
67
|
}
|
|
55
|
-
export declare class ProofQuiescenceError extends Error {
|
|
56
|
-
readonly pid: number;
|
|
57
|
-
readonly processGroupId: number;
|
|
58
|
-
readonly waitForAbsence: () => Promise<void>;
|
|
59
|
-
constructor(pid: number, processGroupId: number, waitForAbsence: () => Promise<void>);
|
|
60
|
-
}
|
|
61
68
|
export declare class ProofLaunchAuthorizationError extends Error {
|
|
62
69
|
readonly outcome: unknown;
|
|
63
70
|
constructor(outcome: unknown);
|
|
64
71
|
}
|
|
72
|
+
export declare class CandidateProofInspectionError extends Error {
|
|
73
|
+
readonly code: string;
|
|
74
|
+
constructor(code: string);
|
|
75
|
+
}
|
|
65
76
|
export type ProveChangeResult = {
|
|
66
77
|
status: 'passed';
|
|
67
78
|
receipt: ProofReceipt;
|
|
@@ -84,13 +95,13 @@ export type ProveChangeResult = {
|
|
|
84
95
|
status: 'internal-error';
|
|
85
96
|
receipt: ProofReceipt;
|
|
86
97
|
};
|
|
87
|
-
export declare class AcceptanceProof {
|
|
98
|
+
export declare class AcceptanceProof<TPayload extends CheckedChangePayload = CheckedChangePayloadV1> {
|
|
88
99
|
private readonly dependencies;
|
|
89
100
|
constructor(dependencies: {
|
|
90
101
|
checkedChangeReader: CheckedChangeReadCapability;
|
|
91
102
|
proofRecords: ProofRecordWriter;
|
|
92
|
-
proofAgent: ProofAgent
|
|
93
|
-
inspectFreshness: (payload:
|
|
103
|
+
proofAgent: ProofAgent<TPayload>;
|
|
104
|
+
inspectFreshness: (payload: TPayload, executionLease?: CandidateExecutionLeaseV2) => Promise<CheckedChangeFreshnessAny>;
|
|
94
105
|
readArtifact: (relativePath: string) => Promise<Buffer>;
|
|
95
106
|
inspectArtifact?: (relativePath: string) => Promise<{
|
|
96
107
|
modifiedAt: string;
|
|
@@ -98,7 +109,6 @@ export declare class AcceptanceProof {
|
|
|
98
109
|
androidLease?: AndroidLeaseVerifier;
|
|
99
110
|
iosLease?: IosLeaseVerifier;
|
|
100
111
|
proofArtifactDir: string;
|
|
101
|
-
createAttemptId: () => string;
|
|
102
112
|
now: () => string;
|
|
103
113
|
signal?: AbortSignal;
|
|
104
114
|
});
|
|
@@ -106,18 +116,21 @@ export declare class AcceptanceProof {
|
|
|
106
116
|
proofId: string;
|
|
107
117
|
issue: IssueSnapshot;
|
|
108
118
|
frozenCriteria: FrozenCriterion[];
|
|
109
|
-
checkedChange: CheckedChange
|
|
119
|
+
checkedChange: CheckedChange<TPayload>;
|
|
120
|
+
executionLease?: CandidateExecutionLeaseV2;
|
|
110
121
|
workflowGeneration?: WorkflowGenerationReceipt;
|
|
111
122
|
beforeAgentLaunch?: () => Promise<void>;
|
|
112
123
|
runnerPreparedArtifactPaths?: string[];
|
|
113
124
|
runnerPreparedArtifactSha256?: Record<string, string>;
|
|
114
125
|
runnerPreparationWarnings?: string[];
|
|
126
|
+
iosProofInputs?: IosProofInputsV1;
|
|
115
127
|
}): Promise<ProveChangeResult>;
|
|
116
128
|
private execute;
|
|
117
129
|
private validateArtifactsAndDiff;
|
|
118
130
|
private releaseMobileLeasesIfSettled;
|
|
119
131
|
private releaseMobileLeases;
|
|
120
|
-
private
|
|
132
|
+
private invocationState;
|
|
133
|
+
private requireState;
|
|
121
134
|
private isFresh;
|
|
122
135
|
private persistOperationalTerminal;
|
|
123
136
|
private persistTerminal;
|
|
@@ -1 +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,
|
|
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"}
|