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.Machines / Astra research 89
1RB1LD_1RC1RE_1LA0RA_1RC0LB_0LA1RF_---1RD
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,515,111,844 in 23.996 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
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 81 of
BB6_holdouts_663.txt· historical 740 line 89
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
Proof & checks
No proof work yet.
Files
machines/<tm>/: 2 entries · raw notes, status, scripts, images
| name | size | changed |
|---|---|---|
| notes.md ↓ | 650 B | 2026-10-15 04:57 |
| status.json ↓ | 936 B | 2026-10-15 04:57 |
status.json in full
{
"tm": "1RB1LD_1RC1RE_1LA0RA_1RC0LB_0LA1RF_---1RD",
"label": "Astra research 89",
"status": "OPEN",
"stage": "informal_proof",
"updated": "2026-10-15",
"owner": "astra",
"holdout_line_740": 89,
"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,515,111,844 in 23.996 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/counter62/catalog/report.md",
"campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
"new_classification": false
}