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 267
1RB1RE_0RC0RF_1LC1RD_1RA0LE_0RA0LD_0RA---
Where it stands
In progress: informal proof
The finite-return study completed, but the proposed sparse epoch language is refuted. Its exact finite evidence is preserved. 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
- Unknown
- On the list
- line 243 of
BB6_holdouts_663.txt· historical 740 line 267
Your calls on file 1
- next
- A different global word invariant justified by the exact return mechanism.
Mechanism
Proof & checks
No proof work yet.
Files
machines/<tm>/: 2 entries · raw notes, status, scripts, images
| name | size | changed |
|---|---|---|
| notes.md ↓ | 347 B | 2026-10-15 04:57 |
| status.json ↓ | 635 B | 2026-10-15 04:57 |
status.json in full
{
"tm": "1RB1RE_0RC0RF_1LC1RD_1RA0LE_0RA0LD_0RA---",
"label": "Astra research 267",
"status": "OPEN",
"stage": "informal_proof",
"updated": "2026-10-15",
"owner": "astra",
"holdout_line_740": 267,
"reason": "The finite-return study completed, but the proposed sparse epoch language is refuted. Its exact finite evidence is preserved. No classification.",
"next": "A different global word invariant justified by the exact return mechanism.",
"research_evidence": "astra/outcome-campaign-20261015/portfolio/REPORT.md",
"campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
"new_classification": false
}