{
 "tm": "1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC1RF_0LD---",
 "label": "P-145/276",
 "status": "SKIPPED",
 "stage": "twin_port_refuted",
 "updated": "2026-10-14",
 "confidence": "high",
 "holdout_line_740": 276,
 "class": "Chaotic Bell Class 4",
 "partner": "1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1LF_---1RA (740 line 145); evidence, scripts and logs live in that machine's directory",
 "upstream_twin": "RWLAccHaltv6.v tm158 = 1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD---, halts_at_trans c0 (F,1) by solve_halt' 48 20000 true 2%N (10^8)%N",
 "relation": "same tape up to translation (tm158 cell p = 276 cell p+2), sync states tm158 B/C = 276 C/D, tm158 A (entered by C1) = 276 E, tm158 D and E = 276 A; identical cells B0/C0, B1/C1, C0/D0, C1/D1, A0/E0, D1/A1; detours EA1 (guard t[p+1]=0), DA0, EA0, AE1 (guard t[q-1]=0). Every radius-7 context from a sync pair merges or ends in S1 (tm158 halts on D1 E1 F1 over 1 1 1; 276 sweeps those 1s in A) or S2 (276 halts on D1 E1 F1; tm158 sweeps right in A).",
 "reason": "Twin port refuted at the halting event. tm158's native replay halts at F1 after 732,886 iterations; its window halt is an S1 event (D1 E1 F1 over three 1s), where 276 is in A sweeping left over the same 1s and runs on. No earlier S2 event: 276's native run passes 1,500,000 iterations without halting, counts up to about 1e72 (tm158's largest at its halt about 1e33).",
 "checks": {
  "twin_check": "machines/1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1LF_---1RA/scripts/twin_check.py (checks R276, L276, H158, X cover this machine); SUMMARY PASS"
 },
 "formalization_route": "None for the port. RWLAccHaltv6.v's lemmas for tm161 and tm158 prove only that the twins halt, and the holdouts split from the twins exactly at those halting steps, so no module transfers (no Perm or Flip, no new init). Any later halting proof would have to use the standard RWLAcc62 checker under vm_compute (closed assumptions; Astra's tm1193 calibration passed the unchanged gate), not RWLAcc62_BigUint, whose soundness lists Uint63 primitives outside the baseline.",
 "next": "Not funded. Only open lead: longer native RWLAcc runs past the split (direction 3, halting pipeline), counted only if the standard RWLAcc62 call reproduces them. Nonhalting would need a Chaotic Bell Class 4 invariant (W6-5, line 333, same family, parked as a cryptid candidate)."
}