BB(6) hunt
Machines / Astra research 204

1RB1RE_1LC0RC_1RA1LD_1RB0LA_0LC1RF_---1RD

Astra research 204In progressSkelet 1-like Class 1bbchallenge ↗Explorer

Where it stands

In progress: informal proof

The automatically generated sixteen-scan catalog and checked mixed-counter executor are proved. A fixed fresh blank run reached a conservative primitive lower bound of 1,099,516,009,415 in 29.182 seconds without halt, then stopped at its preset goal. This is audited native execution using proved local rules, not a full Coq evaluation of the entire trajectory or a classification.

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
In progressinformal proof · updated 2026-10-15Not blocking · Writing proof.md.
idle since Oct 15 04:57 (32 h ago) · status.json 2026-10-15
Class
Skelet 1-like Class 1
On the list
line 186 of BB6_holdouts_663.txt · historical 740 line 204
eqv ×2sim 1e15
Your calls on file 1
next
A global structural invariant connecting the exact counter/word rules to avoidance of halting; no automatic unchanged fuel widening.

Mechanism

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

Proof & checks

No proof work yet.

Files

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

namesizechanged
notes.md ↓652 B2026-10-15 04:57
status.json ↓940 B2026-10-15 04:57
status.json in full
{
 "tm": "1RB1RE_1LC0RC_1RA1LD_1RB0LA_0LC1RF_---1RD",
 "label": "Astra research 204",
 "status": "OPEN",
 "stage": "informal_proof",
 "updated": "2026-10-15",
 "owner": "astra",
 "holdout_line_740": 204,
 "reason": "The automatically generated sixteen-scan catalog and checked mixed-counter executor are proved. A fixed fresh blank run reached a conservative primitive lower bound of 1,099,516,009,415 in 29.182 seconds without halt, then stopped at its preset goal. This is audited native execution using proved local rules, not a full Coq evaluation of the entire trajectory or a classification.",
 "next": "A global structural invariant connecting the exact counter/word rules to avoidance of halting; no automatic unchanged fuel widening.",
 "research_evidence": "astra/outcome-campaign-20261015/phase-catalog-ports/REPORT.md",
 "campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
 "new_classification": false
}