Built . It shows the files as they were then (ages and “working now” follow your clock).
tools/rebuild_pages.sh rebuilds the site within 5 minutes of a change; by hand: python3 -B tools/site.py.BB(6) holdout hunt
Updated Fri Oct 16, 13:29From proof to claim
Needs you
✓Nothing needs you right now.
Recent
Full log →- 1hW6-1 → PR submitted · PR #29
- 1hW6-1 → Locally proved · local proof 33, never halts
- 13hW5-4 → Kill claimed · PR #28
- 13hW5-8, W5-8b, W5-8c → Kill claimed · PR #27
- 32hAstra research 169 → In progress · The guarded matched-producer language proposed in this stage is refuted by a concrete 557-step counterexample.
- 32hAstra research 725 → In progress · The fixed source-calibrated certificate recipe returned no verdict.
- 32hAstra research 666, Astra research 476 → In progress · The automatically generated sixteen-scan catalog and checked mixed-counter executor are proved.
- 32hAstra research 267 → In progress · The finite-return study completed, but the proposed sparse epoch language is refuted.
663-list reconciliation
77 machines removed since the 740 list: 20 through our merged PRs, 11 claimed by someone else while ours remained unsubmitted, and 46 others.
1 of the 663 listed machines have local proofs; 662 have no full local proof recorded. The published list remains 663.
Reconciled 2026-10-16. Upstream snapshot 2733f610; rebuilding this page does not fetch new upstream results. List report · Overlap timeline and timing limits
More detail other calls, Checkpoint A questions, Discord drafts, the ledger
Other calls on file (5)work goes on; your answer redirects it
1RB0RE_R41LC0RD_ 1LD0LD_ 1RA0LC_ 1RA1RF_ 1RA--- also for you R4 and #32 are flagged CRYPTID_CANDIDATE: stop here, or fund a recursive abstract model to follow R4's real orbit, whose top already has the halting residue? open its page →the call also covers #321RB0LD_6930RC---_ 0LD0RF_ 1LE1LD_ 0LA0RD_ 0RB1RA also for you Park 693 + twins (recommended) or fund stage 4 (compiled explorer, K = 64 to ~1e8 shapes)? See decision.json. open its page →1RB0LF_B-21LC0RE_ 0LD1LC_ 1LA---_ 0RB1RA_ 0LE1LF also for you Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). open its page →1RB0LF_740 line 5281LC0RE_ 0LD1LC_ 1LA---_ 0RB1RA_ 1LC1LF also for you Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). open its page →1RB0LF_B-31LC0RD_ 1LA1LC_ ---0RE_ 0RB1RA_ 1LC1LF also for you Observe stopped early; waiting for your call (reports/bec-sweep/ranking.md, Critic). open its page →
Checkpoint A questionsnon-blocking unless the machine waits on you
94 questions on 32 machines · none blocks work
- Open (in pipeline) W7-4×3, W7-2×3, R4×3
- Parked W6-8×3, #20×3, W7-1×3, W6-2×3, W4-6×3, W4-4×3, R5×3, #18×3, W6-4×3, #16×3, #13×3, W4-5×3, #37×3, #35×3, R8×3, #36×3, R9×3, #17×3, #9×3, W4-8×3, #19×3
- Cryptid candidate W7-6×2, W6-7×3, W6-6×3, W6-3×3, #6×2, #5×3, #26×3, W5-2×3
Each link opens the machine's Mechanism, where the questions sit next to the figures.
Discord question drafts
2 drafts, not posted (observe.json discord_check)
Messagefor W7-4
Is anyone working on 1RB0LD_1RC0RF_0LD0LE_1RF1LC_0LB1LE_0RA--- (Skelet 1-like Class 1)? Its other starts 1RB0RD_0LC0LF_1RD1LB_0RE---_1RA0LC_0LA1LF and 1RB1LE_0RC---_1RD0LA_1RE0RB_0LA0LF_0LD1LF are on the list too. It looks like a clean base-4 counter: digits are 10-regions in a 100 background, an overflow eats the left wall and spawns a new digit on the right, no glider in sight to 1e14. We'd like to try a closed-invariant proof for all three unless someone already has one.
Messagefor R5
Has anyone run 1RB1LA_1RC1RE_1RD0RD_1LA1RC_1RF0LE_1RA--- (sheet: Shift-overflow structural counter) past ~8e13 steps, or analysed its long-run overflow? We see a binary counter stored between segments of 6-cell blocks. It widens by eating a finite reservoir (10)^m, and then the older prefix gadgets. Quick_Sim (block 12) shows no halt to 8e13, but the next overflow into blank tape looks much further out. (AI-assisted analysis.)
Overnight ledger the last 6 rows, newest first · the whole ledger
- 10-14 23:1xDennis: stop for handover -> stopped Wave 7 (wf_5a083869-f1b), W7-4 continuation (wf_ffeae37e-2fe), cron 3171daa3. No orphan coqc. Found W7-5 line 274 kill file PASS in formalize round 1 (coqchk pass); orchestrator check …handoff
- 10-14 23:0xRunning: Wave 7 agents W7-2:skeptic1 and W7-5 formalize round 1. Found: W7-4 (82/464/722, observe confidence HIGH) silently dropped by Wave 7 because its status field held a sentence (includes() check failed). Launched w …W7-4, W7-6
- 10-14 22:5xWrote HANDOFF.md (state, running Wave 7, decisions waiting, Astra coordination, ledger, paths, lessons). Old session still owns wf_5a083869-f1b and cron 3171daa3.handoff
- 10-14 19:3xLedger + CB3 workflow (wf_f361b4b0-d23) done. Ledger: tools/attempts.py + coord/attempts.tsv; backfill 223 Claude + 69 Astra rows; coverage check 18/25 found, 7 missing added; applied Astra's 'success' outcome patch, app …ledger, CB3
- 10-14 18:4xDennis: plan the next wave -> launched wf_5a083869-f1b Wave 7 at table/cluster level: lenses (untouched multi-start clusters; sibling-residue triage + engine fit; remaining Unknown/small classes) -> planner + critic (che …wave 7
- 10-14 18:3xMailed Astra: attempts ledger + rule (before/after every attempt), backfill of its side read-only with corrections by appended rows; K42 parked; CB3 explorer may send certificates for packaging; ack of its directions.md …coord
latest report bb6-hunt: report for 2026-10-10 to 10-13 · Oct 14 18:03 · all reports on Reports
the list 663 holdouts (current list) BB6_holdouts_663.txt · +79 off the list · previous list 740 (BB6_holdouts_740.txt; 77 gone since) · 1,370 with equivalents · sim pending 128 / 32