{
  "tm": "1RB0RD_1RC0LF_0LA0RB_1RE---_1LB1RA_0LE0LF",
  "rank": 348,
  "class_sheet": "Bouncer + Chaotic Edge",
  "class_guess": "Period-seven bouncer with partially described edge returns",
  "confidence": "med",
  "summary": "Exact sweep rules and tested edge returns are known; the growing edge word still lacks a closed model.",
  "mechanism": [
    "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."
  ],
  "diagrams": [
    {
      "mode": "default",
      "png": "img/default-1e4.png",
      "html": null,
      "steps": 10000,
      "caption": "First ten thousand steps from the blank tape.",
      "title": "Initial motion",
      "why": "Read downward to see the initial sweeps.",
      "primary": false,
      "start": "blank",
      "rows": "site canvas: output row y blends step rows 20y+9 and 20y+10 equally; 500 output rows",
      "window": "cells -200..199, 1 px = 1 cells",
      "legend": "white = 1, black = 0 or unvisited, red/green = head moving R/L; bilinear blends retained",
      "style": "bbchallenge-default"
    },
    {
      "mode": "records:R",
      "png": "img/slow-edge-1e8.png",
      "html": null,
      "steps": 100000000,
      "caption": "New right records expose the changing irregular edge.",
      "title": "Irregular edge at new records",
      "why": "Compare the short irregular words beside the long periodic region.",
      "primary": true,
      "start": "blank",
      "rows": "start, then all 141 new right records through 100000000 steps; last pictured record at step 90387011",
      "window": "cells -255..0, 1 px = 1 cells; coordinates relative to the current rightmost reached cell",
      "legend": "white = 1, black = 0 or unvisited, red/green = head moving R/L",
      "style": "bbchallenge-default"
    },
    {
      "mode": "every:100000",
      "png": "img/overview-1e8.png",
      "html": null,
      "steps": 100000000,
      "caption": "The entire reached span sampled over time.",
      "title": "Long sweeps across the growing tape",
      "why": "Follow the head markers across the reached span; narrow tape details are undersampled.",
      "primary": true,
      "start": "blank",
      "rows": "every 100000 steps, including step 0 and step 100000000; 1001 rows",
      "window": "cells -13218..141, 1 px = 8 cells; sampled columns, head marker retained",
      "legend": "white = 1, black = 0 or unvisited, red/green = head moving R/L",
      "style": "bbchallenge-default"
    }
  ],
  "history": null,
  "rules": [
    {
      "name": "Reflected right-run identity",
      "from": "0 1^k 0 <E",
      "to": "<E 0^(k+1) 1",
      "steps": "k+2",
      "cases": "k>=1; arbitrary exterior unchanged and unread.",
      "validated": {
        "instances": 7,
        "passed": 7
      },
      "source": "manual"
    },
    {
      "name": "Reflected left-bulk identity",
      "from": "1 <E 0000001^n",
      "to": "1111001^n 1 <E",
      "steps": "17n",
      "cases": "n>=0; arbitrary exterior unchanged and unread.",
      "validated": {
        "instances": 7,
        "passed": 7
      },
      "source": "manual"
    }
  ],
  "template": {
    "file": null,
    "module": null,
    "machine": null,
    "diff": null,
    "applies": "unknown",
    "note": "No existing proof template has been established for the irregular edge."
  },
  "strategy": "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.",
  "risks": [
    "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."
  ],
  "checkpoint_questions": [],
  "discord_check": null,
  "stats": {
    "simulated_steps": 5016956497,
    "cells": 93841,
    "nonzeros": 66950,
    "growth": "Observed bulk expansion toward the left; no asymptotic growth law proved."
  },
  "status": "SKIPPED",
  "status_reason": "User chose to defer further research on the 6/348 family. The completed local study is retained; the edge-word invariant remains unresolved."
}