1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC1RF_0LD---
Status: SKIPPED (2026-10-14). The halting port from RWLAccHaltv6.v tm158 is refuted at the halting event itself. This machine follows tm158 up to tm158's halting step. There tm158 halts (D, E and F each read a 1, moving left), while this machine is in A, sweeps left over the same 1s and runs on. No delta proof.md exists.
Label: P-145/276 (strategy direction 1). 740 line 276, byte for byte. Class: Chaotic Bell Class 4.
The full write-up, scripts and logs are in the partner's directory, machines/1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1LF_---1RA/ (line 145): see notes.md, section "Line 276 against tm158". The checks that cover this machine are R276, L276, H158 and X in that directory's scripts/twin_check.py (SUMMARY PASS).
In short
276 = 1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC1RF_0LD---
tm158 = 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- (halts at F1, solve_halt' 48 20000 true 2 1e8)
- Same tape, shifted. tm158's cell p is this machine's cell p+2. The sync states are tm158 B = 276 C and tm158 C = 276 D. tm158's A (when entered by C1) is 276's E, and tm158's D and E are both 276's A.
- Two ways to split. Every radius-7 context from a sync pair either merges at the next sync point or ends in one of two events:
- S1: tm158 halts and 276 runs on;
- S2: 276 halts and tm158 runs on.
- tm158's halt is an S1 event. Its native replay (732,886 iterations) halts on D1, E1, F1 over three 1s. 276 is in A there and sweeps left.
- No earlier S2 event. 276's native run passes 1,500,000 iterations without halting, with counts up to about 10^72; tm158's largest count at its halt is about 10^33.
Formalization route
None for the port. The upstream lemma proves only that tm158 halts, and that is exactly where this machine splits off. No Perm or Flip, and no new init, would help.