Catch refused-command loops and unrun tests; run the held-out gate off the turn, deterministically - #63
Merged
Conversation
added 3 commits
September 29, 2026 15:14
An approval refusal is neutral, so no counter moved when run bcd61b39's implementor retried rm, nohup jolt and true about fifteen times over fifty turns. The shell policy now names the head it refused, the branch counts refusals per head for the whole run, and the refused-again gate fires on a repeat, naming the head and saying nobody will approve it.
Run bcd61b39 added a test namespace the project's runner never required; the suite reported the baseline's 94 tests green and the supervisor twice called the work verified. The feature verify now checks that every test namespace the run added or changed shows the runner's own marker in the output (Testing <ns> for clojure.test, policy in :focused-verify :ran-marker), and a suite that skipped one reads as tests not passed, naming it.
A refusal is confirmed by a second replay, and one case's refusal took 733 s against a 900 s turn deadline while the gate ran inside the tool call. Cell, manifest and policy saves now validate in the turn and hand the edit to a background lane; the tool answers that it is pending and not live, and the verdict reaches the branch that made it as a message on a later turn. Edits are measured and committed in the order they were made. Replays were not the same computation twice: a recording that forked replayed its branches concurrently and which turn landed first was timing, so one baseline read 11/14 and 13/14 minutes apart. The replay child now runs the beam with serial turns and no supervisor stream; three reads of the same case came back identical.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Four fixes from the third endless-flight run.