Record the run 4 deployment boundary and F24
F24 is the last Orchestra-owned editor write outside the delivery guarantee, in the coordinator-local CLIAdapter.LeasePrompt. It cannot execute on the deployed topology, so it is logged rather than fixed: run 4 exercises the federated worker path, whose launch delivery already confirms. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_011xsXyr5J1RACo71YeKG3Pu
This commit is contained in:
@@ -931,3 +931,57 @@ F23 closed, already implemented; tests added
|
||||
|
||||
Run 4 starts from here. Both halves must be rebuilt and redeployed before it
|
||||
begins, and the deployment boundary recorded as usual.
|
||||
|
||||
## Deployment boundary for run 4, 2026-08-27
|
||||
|
||||
Revision `1f5bf7e`, both halves, built from a detached worktree of that commit.
|
||||
|
||||
| Half | Evidence |
|
||||
|---|---|
|
||||
| Coordinator, homesrv container | `docker logs orchestra-api`, `orchestra revision 1f5bf7e66e0c6dc8dc1db794ab91193c6c38e118 built 2026-08-27T16:35:37+04:00 dirty false`, `/readyz` 200 |
|
||||
| Worker, workpc systemd | pending operator install |
|
||||
|
||||
Worker sha256 `c188ec78f7b11bd0f3b72da2c3544c5c9477b4505816b30bd0f243f6fa8032da`,
|
||||
staged at `~/orchestra-deploy/orchestra-worker.1f5bf7e`.
|
||||
|
||||
Both worker registrations must report `1f5bf7e` before run 4 starts.
|
||||
|
||||
### F24, correctness, dormant on the current topology
|
||||
|
||||
`CLIAdapter.LeasePrompt` (`internal/herdr/adapter.go:161`) calls
|
||||
`backend.Prompt` and returns without confirming. It is the last Orchestra-owned
|
||||
editor write outside the delivery guarantee.
|
||||
|
||||
Dormant, not fixed: the coordinator-local harness path cannot execute here. No
|
||||
local herdr is eligible, and `Coordinator.adapterFor` refuses a session owned by
|
||||
a non-local herdr. Run 4 exercises the federated worker path, whose launch
|
||||
delivery is already confirmed at `cmd/orchestra-worker/main.go:454`.
|
||||
|
||||
The eventual fix:
|
||||
|
||||
```text
|
||||
CLIAdapter.LeasePrompt
|
||||
→ backend.Prompt
|
||||
→ ConfirmInput
|
||||
→ only then acknowledge launch
|
||||
```
|
||||
|
||||
The comment in place there argues that waiting would turn a long first turn
|
||||
into a false lease failure. It is obsolete: `ConfirmInput` proves submission,
|
||||
not completion of the first turn.
|
||||
|
||||
Required before claiming coordinator-local harness conformance. Not required
|
||||
before this federated burn-in, and changing the revision now would add churn
|
||||
run 4 cannot observe.
|
||||
|
||||
### The y/n approval paths stay separate
|
||||
|
||||
`internal/herdr/adapter.go:703` and `cmd/orchestra-worker/main.go:1086` write to
|
||||
a y/n dialog, not an editor. They need a capture-revision-aware confirmation
|
||||
protocol of their own. The editor confirmer would report nonsense on them, so
|
||||
they are deliberately outside F20 and stay that way.
|
||||
|
||||
### Run 3
|
||||
|
||||
Left running and untouched. Whatever it does from here is additional diagnostic
|
||||
evidence. Run 4 does not wait on it.
|
||||
|
||||
Reference in New Issue
Block a user