{
  "tm": "1RB1RF_1LC1RD_1RA1LD_1RE0LA_---0RC_0LC1RB",
  "label": "Astra research 476",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 476,
  "reason": "The automatically generated sixteen-scan catalog and checked mixed-counter executor are proved. A fixed fresh blank run reached a conservative primitive lower bound of 1,099,516,009,415 in 29.118 seconds without halt, then stopped at its preset goal. This is audited native execution using proved local rules, not a full Coq evaluation of the entire trajectory or a classification.",
  "next": "A global structural invariant connecting the exact counter/word rules to avoidance of halting; no automatic unchanged fuel widening.",
  "research_evidence": "astra/outcome-campaign-20261015/phase-catalog-ports/REPORT.md",
  "campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
  "new_classification": false
}