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 / 740 line 348

`1RB0RD_1RC0LF_0LA0RB_1RE---_1LB1RA_0LE0LF`

740 line 348SkippedBouncer + Chaotic Edgebbchallenge ↗Explorer

Where it stands

Skipped

User chose to defer further research on the 6/348 family. The completed local study is retained; the edge-word invariant remains unresolved.

Observe

Deepen

Informal proof

Rocq

Overview

In one sentence

Exact sweep rules and tested edge returns are known; the growing edge word still lacks a closed model.

Status: Skippeddeferred · updated 2026-10-14T15:50:25.539865-07:00Parked · User chose to defer further research on the 6/348 family.
idle since Oct 14 15:50 (45 h ago) · status.json 2026-10-14T15:50:25.539865-07:00
Class: Bouncer + Chaotic Edgeours: sheet Bouncer + Chaotic Edge ≠ ours Period-seven bouncer with partially described edge returns · med confidence
On the list: line 315 of BB6_holdouts_663.txt · historical 740 line 348 · observe.json rank #348
eqv ×1sim 1e15UBRRBA

Your calls on file 2

priority call (answered): defer
next: Retain the completed study and evidence; no additional research scheduled.

Mechanism

How it works: 3 notes

Reflection transfers the exact period-seven sweep identities; independent C replay checked fourteen reflected local instances.
The canonical blank-D start preserves this machine’s separate initial obligation; 142 full-configuration checks through 100 million steps match.
The shared study derives R1 and samples two further return families; prefix rules explain 24 of 45 returns from this start, without a closed edge language.

Figures

Fig 1 · Irregular edge at new records
Compare the short irregular words beside the long periodic region.

Fig 2 · Long sweeps across the growing tape
Follow the head markers across the reached span; narrow tape details are undersampled.

More figures (1)Fig 3: Initial motion

Rules (2/2 validated)exact tape rewrites the proof will formalize, each re-checked by simulation

rule	from ⟶ to	cases	steps	checked
Reflected right-run identity	0 1^k 0 <E ⟶ <E 0^k+1 1	k>=1; arbitrary exterior unchanged and unread.	k+2	✓7/7
Reflected left-bulk identity	1 <E (0000001)ⁿ ⟶ (1111001)ⁿ 1 <E	n>=0; arbitrary exterior unchanged and unread.	17n	✓7/7

Compressed historynone yet: the tape compressed to a skeleton with growing exponents

—

Template comparisontemplate: unknown · the nearest solved proof, what carries over, and the transitions that differ

	0	1
A	1RB	0RD
B	1RC	0LF
C	0LA	0RB
D	1RE	---
E	1LB	1RA
F	0LE	0LF

file: —
module: —
machine: —
diff: —
note: No existing proof template has been established for the irregular edge.

Proof strategy & riskshow the formal proof will go · 3 risks to watch

Park whole-machine formalization. Any additional funded work should target a closed symbolic update for the variable edge word and its small-bulk exceptions, rather than longer runs or more fixed-prefix examples.

▲R1 has an informal universal derivation; R2/R3 remain candidates, and no closed edge recurrence or Rocq theorem is established.
▲No invariant excludes the halting-sensitive A/111 case in canonical orientation for every future reachable word.
▲The reflected table changes the corresponding start state; both initial configurations remain separate obligations.

Stats & provenance5·10⁹ steps simulated · 93,841 cells · the status in full · files

simulated: 5·10⁹ steps
tape: 93,841 cells · 66,950 nonzeros
growth: Observed bulk expansion toward the left; no asymptotic growth law proved.
status now: User chose to defer further research on the 6/348 family. The completed local study is retained; the edge-word invariant remains unresolved. (status.json, 2026-10-14T15:50:25.539865-07:00)
files: observe.json · notes.md · status.json

Proof & checks

No proof work yet.

Files

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

name	size	changed
notes.md ↓	7.1 KB	2026-10-14 15:50
status.json ↓	1.2 KB	2026-10-14 15:50
observe.json ↓	4.6 KB	2026-10-14 15:50
evidence/	23 items	2026-10-14 10:23
img/	3 items	2026-10-13 18:24
study.md ↓	2.2 KB	2026-10-14 10:27

status.json in full

{
 "tm": "1RB0RD_1RC0LF_0LA0RB_1RE---_1LB1RA_0LE0LF",
 "status": "SKIPPED",
 "stage": "deferred",
 "updated": "2026-10-14T15:50:25.539865-07:00",
 "confidence": "med",
 "reason": "User chose to defer further research on the 6/348 family. The completed local study is retained; the edge-word invariant remains unresolved.",
 "next": "Retain the completed study and evidence; no additional research scheduled.",
 "simulation_only": false,
 "observation_completed": "2026-10-13T18:24:18.533813-07:00",
 "priority_decision_machine": "1RB1LD_1LC0RF_0RD0LB_1LB0LE_1LA---_0RA0RF",
 "updated_utc": "2026-10-14T22:50:25.539865+00:00",
 "study_started": "2026-10-14T10:06:30.232473-07:00",
 "study_deadline": "2026-10-14T10:36:30.232473-07:00",
 "study_budget_minutes": 30,
 "proof_started": false,
 "next_action": "Deferred by user decision on 2026-10-14.",
 "study_result": "study.md",
 "formal_checker_run": false,
 "study_completed": "2026-10-14T10:29:58.650928-07:00",
 "informal_local_derivation": true,
 "evidence_kind": "Local informal derivations and finite checks; no whole-machine invariant or Rocq proof.",
 "priority_call_answered": "defer",
 "decision_source": "coord/mailbox/to-astra/20261014-154300-claude-dennis-answers-6-282.md"
}

Rendered 2026-10-16 13:29 by tools/machinepage.py from status.json, observe.json (the card) and the dashboard records · rebuild: python3 -B tools/card.py 1RB0RD_1RC0LF_0LA0RB_1RE---_1LB1RA_0LE0LF