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 725
1RB1RF_0RC1RD_1LC1LA_0LE1RE_1RA0RB_---0LC
Where it stands
In progress: informal proof
The fixed source-calibrated certificate recipe returned no verdict. 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:57 (32 h ago) · status.json 2026-10-15
- Class
- Translated Counter
- On the list
- line 648 of
BB6_holdouts_663.txt· historical 740 line 725
Your calls on file 1
- next
- A changed certificate or mechanism with a concrete reason to succeed; no unchanged replay.
Mechanism
Proof & checks
No proof work yet.
Files
machines/<tm>/: 2 entries · raw notes, status, scripts, images
| name | size | changed |
|---|---|---|
| notes.md ↓ | 305 B | 2026-10-15 04:57 |
| status.json ↓ | 593 B | 2026-10-15 04:57 |
status.json in full
{
"tm": "1RB1RF_0RC1RD_1LC1LA_0LE1RE_1RA0RB_---0LC",
"label": "Astra research 725",
"status": "OPEN",
"stage": "informal_proof",
"updated": "2026-10-15",
"owner": "astra",
"holdout_line_740": 725,
"reason": "The fixed source-calibrated certificate recipe returned no verdict. No classification.",
"next": "A changed certificate or mechanism with a concrete reason to succeed; no unchanged replay.",
"research_evidence": "astra/outcome-campaign-20261015/portfolio/REPORT.md",
"campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
"new_classification": false
}