{
  "tm": "1RB0RC_1LC0RB_1LD0LD_1RA1LE_---0LF_1LB1LF",
  "rank": null,
  "holdout_line": 715,
  "triage_rank_among_pair": 2,
  "class_sheet": "Bouncer + Chaotic Edge",
  "class_guess": "Bouncer with period-20 bulk and unresolved irregular boundary",
  "confidence": "low",
  "summary": "A 20-cell periodic region coexists with a much larger irregular region whose compressed description grows.",
  "mechanism": [
    "The 100-million-step snapshot has 274 consecutive copies of a 20-cell word. The long-run image shows a regular left region and irregular material extending toward the right.",
    "With periods through 64, the 1m, 10m and 100m snapshots require 104, 267 and 866 tokens. This measured growth makes a small fixed collection of bulk-length counters less plausible than for the other candidate; it does not prove chaos.",
    "The block-20 qsim reached 8,156,594 exact steps with no rules in 100,000 macro loops. Its endpoint agrees with a direct C rerun. Direct C simulation separately reached 100 million steps without a halt."
  ],
  "diagrams": [
    {
      "mode": "every:100",
      "png": "img/first-200k.png",
      "html": null,
      "steps": 200000,
      "title": "Early bounces, first 200,000 steps",
      "caption": "Early bounces, first 200,000 steps",
      "why": "Follow the moving head and compare the two outer edges.",
      "primary": true,
      "start": "blank",
      "rows": "every 100 steps: 0..200000, 2001 rows; time runs downward",
      "window": "cells -585..301, 1 px = 1 cells; sampled columns when scale exceeds 1",
      "legend": "white = 1, black = 0 or unvisited, red = head after a right move, green = head after a left move",
      "style": "bbchallenge-default"
    },
    {
      "mode": "every:10000",
      "png": "img/first-10m.png",
      "html": null,
      "steps": 10000000,
      "title": "Growth through 10 million steps",
      "caption": "Growth through 10 million steps",
      "why": "Compare regular bands with the irregular boundary region; rows and columns are sampled.",
      "primary": true,
      "start": "blank",
      "rows": "every 10000 steps: 0..10000000, 1001 rows; time runs downward",
      "window": "cells -4485..2761, 1 px = 4 cells; sampled columns when scale exceeds 1",
      "legend": "white = 1, black = 0 or unvisited, red = head after a right move, green = head after a left move",
      "style": "bbchallenge-default"
    },
    {
      "mode": "default",
      "png": "img/default-10k.png",
      "html": null,
      "steps": 10000,
      "title": "First 10,000 steps, site view",
      "caption": "Initial trace in the standard site view",
      "why": "Compare the initial widening trace before the much larger sampled views.",
      "primary": false,
      "start": "blank",
      "rows": "steps 0..9999 squeezed to 500 display rows; each row blends source rows 20y+9 and 20y+10",
      "window": "cells -200..199, 1 px = 1 cell",
      "legend": "white = 1, black = 0 or unvisited, red/green = head after a right/left move; pale colors are blended",
      "style": "bbchallenge-default"
    }
  ],
  "history": {
    "skeleton": "Observed span and snapshot compression; no invariant skeleton established",
    "vars": [
      "lo",
      "hi",
      "K64_tokens"
    ],
    "rows": [
      {
        "step": 1000000,
        "values": [
          -1365,
          793,
          104
        ]
      },
      {
        "step": 10000000,
        "values": [
          -4485,
          2761,
          267
        ]
      },
      {
        "step": 100000000,
        "values": [
          -14445,
          8919,
          866
        ]
      }
    ]
  },
  "rules": [],
  "template": {
    "file": null,
    "module": null,
    "machine": null,
    "diff": null,
    "applies": "unknown",
    "note": "Preflight found no existing machine-table conjugacy or current open-PR overlap. No proof template selected."
  },
  "strategy": "Rank second; stop before invariant work. A future study would need a symbolic description of the growing irregular region, not only the visible period-20 bulk.",
  "risks": [
    "The unexplained edge may need a substantially larger symbolic state.",
    "No global exclusion of the E0 halting precursor is proved.",
    "Finite runs and accelerator rules are observational evidence only."
  ],
  "checkpoint_questions": [],
  "discord_check": null,
  "stats": {
    "simulated_steps": 100000000,
    "cells": 23365,
    "nonzeros": 18374,
    "growth": "Expanding span in the measured prefix; no asymptotic law established."
  },
  "status": "CHECKPOINT_A",
  "status_reason": "Initial observation complete; full mechanism confidence is low. Halting status remains open; no proof or invariant claimed.",
  "accelerator": {
    "endpoint": {
      "ev": "end",
      "reason": "max_loops",
      "loops": 100000,
      "step": 8156594,
      "steps_exact": true,
      "nonzeros": 4242,
      "rules": 0,
      "rules_by_level": {},
      "collatz_rules": 0,
      "failed_proofs": 0,
      "macro_moves": 94475,
      "chain_moves": 5525,
      "rule_moves": 0,
      "block_size": 20,
      "seconds": 5.047
    },
    "rule_statistics": {
      "count": 0,
      "types": {},
      "uses": {}
    }
  },
  "updated_utc": "2026-10-14T01:25:34.405457+00:00",
  "recommendation": "Rank second; stop before invariant work. A future study would need a symbolic description of the growing irregular region, not only the visible period-20 bulk.",
  "halt_precursor": "E is entered only by D1=1LE. Thus D reading 1 with a 0 immediately to its left reaches E0, the undefined transition. Excluding this state-sensitive pattern globally remains unproved.",
  "stop_reason": "Low confidence in full mechanism; no unsupported invariant will be attempted.",
  "arithmetic_recurrence": "None established; no Collatz/pseudorandom arithmetic claim.",
  "provenance": {
    "agent": "GPT-6 Astra (OpenAI)",
    "direct_engine": "existing tools/sim/tmsim",
    "formal_checker_run": false
  }
}