{
  "tm": "1RB1LD_1LC0RF_0RD0LB_1LB0LE_1LA---_0RA0RF",
  "rank": 6,
  "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": [
    "Two exact local sweep identities describe the period-seven bulk; a reduced word interpreter matches 122 saved/full endpoint checks through 100 million steps.",
    "R1 has an informal universal derivation; two further return families remain candidates. All 124 independent C checks and 31 extra literal checks pass.",
    "473 exact bounded prefix returns explain 22 of 37 observed consecutive edge returns. The growing remainder is not a closed word family."
  ],
  "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:L",
      "png": "img/slow-edge-1e8.png",
      "html": null,
      "steps": 100000000,
      "caption": "New left 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 121 new left records through 100000000 steps; last pictured record at step 10923095",
      "window": "cells 0..255, 1 px = 1 cells; coordinates relative to the current leftmost 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 -121..13216, 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": "Right run: exact local identity",
      "from": "A>0 1^k 0",
      "to": "1 0^(k+1) A>",
      "steps": "k+2",
      "cases": "k>=1; arbitrary exterior unchanged and unread.",
      "validated": {
        "instances": 160,
        "passed": 160
      },
      "source": "manual"
    },
    {
      "name": "Left bulk: exact local identity",
      "from": "1000000^n A>1",
      "to": "A>1 1001111^n",
      "steps": "17n",
      "cases": "n>=0; arbitrary exterior unchanged and unread.",
      "validated": {
        "instances": 160,
        "passed": 160
      },
      "source": "manual"
    },
    {
      "name": "R1: derived edge family",
      "from": "0^inf A>01001111100101 1111001^n 0^inf",
      "to": "0^inf A>0100111101110010 1111001^(n+1) 0^inf",
      "steps": "48n+73",
      "cases": "n>=0; blank exterior; informally derived for every n; head shift -3.",
      "validated": {
        "instances": 42,
        "passed": 42
      },
      "source": "manual"
    },
    {
      "name": "R2: candidate edge family",
      "from": "0^inf A>01001111100101111110010 1111001^n 0^inf",
      "to": "0^inf A>0101111100101111111110010 1111001^(n+3) 0^inf",
      "steps": "168n+486",
      "cases": "n>=1; blank exterior; finite-tested, not a universal proof; head shift -2.",
      "validated": {
        "instances": 41,
        "passed": 41
      },
      "source": "manual"
    },
    {
      "name": "R3: candidate edge family",
      "from": "0^inf A>0100111111100101111111110010 1111001^n 0^inf",
      "to": "0^inf A>01011100111100101111101111110010 1111001^(n+6) 0^inf",
      "steps": "336n+1410",
      "cases": "n>=1; blank exterior; finite-tested, not a universal proof; head shift -4.",
      "validated": {
        "instances": 41,
        "passed": 41
      },
      "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": 5277609441,
    "cells": 96254,
    "nonzeros": 68673,
    "growth": "Observed bulk expansion toward the right; 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."
}