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 169
1RB0LA_0RC0LE_0RD1RC_1LD1RE_1LA1RF_---0RB
Where it stands
In progress: informal proof
The guarded matched-producer language proposed in this stage is refuted by a concrete 557-step counterexample. Earlier local return rules remain available; global closure is open. No 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:58 (32 h ago) · status.json 2026-10-15
- Class
- Unknown
- On the list
- line 154 of
BB6_holdouts_663.txt· historical 740 line 169
Your calls on file 1
- next
- A domain retaining the missing ordered frame and parent provenance, justified against the saved counterexample.
Mechanism
Proof & checks
No proof work yet.
Files
machines/<tm>/: 2 entries · raw notes, status, scripts, images
| name | size | changed |
|---|---|---|
| notes.md ↓ | 432 B | 2026-10-15 04:58 |
| status.json ↓ | 720 B | 2026-10-15 04:58 |
status.json in full
{
"tm": "1RB0LA_0RC0LE_0RD1RC_1LD1RE_1LA1RF_---0RB",
"label": "Astra research 169",
"status": "OPEN",
"stage": "informal_proof",
"updated": "2026-10-15",
"owner": "astra",
"holdout_line_740": 169,
"reason": "The guarded matched-producer language proposed in this stage is refuted by a concrete 557-step counterexample. Earlier local return rules remain available; global closure is open. No classification.",
"next": "A domain retaining the missing ordered frame and parent provenance, justified against the saved counterexample.",
"research_evidence": "astra/outcome-campaign-20261015/169/report.md",
"campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
"new_classification": false
}