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 109
1RB1RA_1RC0RE_0RD1LE_0LE---_1LF0LC_0RA1LC
Where it stands
In progress: informal proof
Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 10-step primitive blank entrance. The modules pass independent kernel review. The safe global invariant remains missing; 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 98 of
BB6_holdouts_663.txt· historical 740 line 109
Your calls on file 1
- next
- A structurally justified safe invariant for the generated return relation; do not repeat the exhausted scalar or small regular templates unchanged.
Mechanism
Proof & checks
No proof work yet.
Files
machines/<tm>/: 2 entries · raw notes, status, scripts, images
| name | size | changed |
|---|---|---|
| notes.md ↓ | 544 B | 2026-10-15 04:57 |
| status.json ↓ | 832 B | 2026-10-15 04:57 |
status.json in full
{
"tm": "1RB1RA_1RC0RE_0RD1LE_0LE---_1LF0LC_0RA1LC",
"label": "Astra research 109",
"status": "OPEN",
"stage": "informal_proof",
"updated": "2026-10-15",
"owner": "astra",
"holdout_line_740": 109,
"reason": "Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 10-step primitive blank entrance. The modules pass independent kernel review. The safe global invariant remains missing; no classification.",
"next": "A structurally justified safe invariant for the generated return relation; do not repeat the exhausted scalar or small regular templates unchanged.",
"research_evidence": "astra/outcome-campaign-20261015/parser-discovery-proof-v2/REPORT.md",
"campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
"new_classification": false
}