BB(6) hunt
Machines / Astra research 81

1RB0RE_0RC1RE_1RD1LE_0LE---_1RA1LF_1RF0LC

Astra research 81In progressSkelet 1-like Class 1bbchallenge ↗Explorer

Where it stands

In progress: informal proof

Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 13-step primitive blank entrance. The modules pass independent kernel review. The safe global invariant remains missing; no classification.

Observe
Deepen
Informal proof
Rocq
space-time diagram, first 10,000 steps from blank
The first 10,000 steps from a blank tape. Time runs down; white is 1.
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 75 of BB6_holdouts_663.txt · historical 740 line 81
eqv ×1table ×3sim 1e15
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

No observation yet: no observe.json here. See notes.md.

Proof & checks

No proof work yet.

Files

machines/<tm>/: 2 entries · raw notes, status, scripts, images

namesizechanged
notes.md ↓544 B2026-10-15 04:57
status.json ↓830 B2026-10-15 04:57
status.json in full
{
 "tm": "1RB0RE_0RC1RE_1RD1LE_0LE---_1RA1LF_1RF0LC",
 "label": "Astra research 81",
 "status": "OPEN",
 "stage": "informal_proof",
 "updated": "2026-10-15",
 "owner": "astra",
 "holdout_line_740": 81,
 "reason": "Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 13-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
}