Skip to content

Commit 5b18da8

Browse files
committed
docs: record hunt-wide gate checkpoint
1 parent 54bf8ed commit 5b18da8

1 file changed

Lines changed: 12 additions & 1 deletion

File tree

SOURCE_OF_TRUTH.md

Lines changed: 12 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,20 @@
11
# Source of truth
22

3-
Last verified: 2026-09-07 in `Asia/Singapore`.
3+
Last verified: 2026-09-10 in `Asia/Singapore`.
44

55
## Current local procedure
66

7+
Code checkpoint `54bf8ed` on local `main` now starts one
8+
fixed two-hour deadline at `hunt init`. Every attached orchestration reads that
9+
deadline, and neither a replacement candidate nor
10+
`--time-budget-override-reason` can reset it. `hunt add` refuses an expired
11+
hunt and any target already used by that hunt, including a dropped run.
12+
Agent work now requires a machine-checked reproduction. Before the primary
13+
starts, Mailman runs the exact verification argv recorded by `build-prompts`
14+
on the clean base tree and blocks if it fails or changes candidate bytes.
15+
Local verification passed 781 tests and 54 subtests. The change is not pushed,
16+
deployed, or live-verified. Issues #81, #82 and #83 track the failures.
17+
718
`520ab2a` on `main`, 2026-09-09, passed GitHub Actions run `34298470558`. It
819
adds three commands and one run status on top of the procedure below:
920
`mailman prescreen OWNER/REPO#N` screens an issue before a run exists and

0 commit comments

Comments
 (0)