BB(6) hunt
Machines / H-1

1RB0RB_0LC0RA_1LE1LD_0LE---_1LF0LC_1RA1LB

H-1ParkedBell eats counterbbchallenge ↗Explorer

Where it stands

Parked at the observation

Halting hunt H-1 (exact model) ended without a halt. Exact accelerated phase map (347's validated fast map, plus bijective-base-3 batching of the pre-alignment Incs; C port, about 45 us per phase) ran from phase 15,304 to phase 127,822,269 (M = 2,055,209,149, about 3.5e26 steps): no halt and no margin break.

Read the full status

New near-miss: k_align/(M-1) = 0.9893 at phase 43,355,647 (M = 662,347,287); the earlier record was 0.9755 at phase 1572. Model checked against: the old map, 15,000/15,000 phases; 347's own orbit, 10,476/10,476; continuous direct simulation of 686 itself, phases 304..1604 (1,300/1,300, 1.84e11 steps, covering the 0.9755 phase); one direct whole phase at 31,857 (2.19e11 steps); and direct full-bell component checks on 686 at 13 phases up to M = 1.19e9, including the 0.9893 phase (286/286). Forced breaks show a halt needs a break of depth about 1.5 (0 of 9,507 runs at k/M <= 1.43 halt; 3-30% at 1.54 or more). A forced halt at M ~ 2e7 is reproduced on 686 itself. Not cryptid. Non-halting would need a margin lemma; the lead is k_align < 2*3^floor(log3 M) with a chain-depth/M coupling.

Observe
Deepen
Informal proof
Rocq
space-time diagram, first 10,000 steps from blank
The first 10,000 steps from a blank tape. Time runs down; white is 1.
About this picture

The standard picture (bbchallenge.org's Default view): each row is the whole tape at one step, time runs downward, and the head's path draws the pattern.

bbchallenge-defaultStart blankRows steps 0 → 10,000, top to bottomWindow cells −200..199, left to rightColors 1 0 or unvisited

Overview

In one sentence

No summary yet: no observe.json, and status.json gives no relation.

Status
Parkedhalting-hunt exact model · updated 2026-10-13Not blocking · Stuck at the halting-hunt exact model stage.
idle since Oct 13 21:23 · status.json 2026-10-13
Class
Bell eats counter
On the list
line 614 of BB6_holdouts_663.txt · historical 740 line 686
eqv ×1sim 1e15

Mechanism

No observation yet: no observe.json here. See notes.md.

Proof & checks

No proof work yet.

Files

machines/<tm>/: 4 entries · raw notes, status, scripts, images

namesizechanged
notes.md ↓11 KB2026-10-13 21:23
status.json ↓1.7 KB2026-10-13 21:23
scripts/13 items2026-10-13 20:35
work/24 items2026-10-13 20:35
status.json in full
{
 "tm": "1RB0RB_0LC0RA_1LE1LD_0LE---_1LF0LC_1RA1LB",
 "label": "H-1",
 "status": "STUCK",
 "stage": "halting-hunt exact model",
 "updated": "2026-10-13",
 "reason": "Halting hunt H-1 (exact model) ended without a halt. Exact accelerated phase map (347's validated fast map, plus bijective-base-3 batching of the pre-alignment Incs; C port, about 45 us per phase) ran from phase 15,304 to phase 127,822,269 (M = 2,055,209,149, about 3.5e26 steps): no halt and no margin break. New near-miss: k_align/(M-1) = 0.9893 at phase 43,355,647 (M = 662,347,287); the earlier record was 0.9755 at phase 1572. Model checked against: the old map, 15,000/15,000 phases; 347's own orbit, 10,476/10,476; continuous direct simulation of 686 itself, phases 304..1604 (1,300/1,300, 1.84e11 steps, covering the 0.9755 phase); one direct whole phase at 31,857 (2.19e11 steps); and direct full-bell component checks on 686 at 13 phases up to M = 1.19e9, including the 0.9893 phase (286/286). Forced breaks show a halt needs a break of depth about 1.5 (0 of 9,507 runs at k/M <= 1.43 halt; 3-30% at 1.54 or more). A forced halt at M ~ 2e7 is reproduced on 686 itself. Not cryptid. Non-halting would need a margin lemma; the lead is k_align < 2*3^floor(log3 M) with a chain-depth/M coupling.",
 "holdout_line_740": 686,
 "family": "347's table (1RB1RF_1RC0RA_1LD1RE_1LE0LE_0RA0LD_0RB---) relabeled and mirrored; 441 is the same table from another start",
 "hunt": {
  "horizon_phase": 127822269,
  "horizon_M": 2055209149,
  "horizon_steps_est": "3.5e26",
  "max_ratio_after_15304": 0.9893,
  "max_ratio_phase": 43355647,
  "breaks": 0,
  "halts": 0,
  "resume": "scripts/fastmap686 work/c_long.txt NPH OUT"
 }
}