{
  "tm": "1RB1LD_1RC1RE_1LA0RA_1RC0LB_0LA1RF_---1RD",
  "label": "Astra research 89",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 89,
  "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,515,111,844 in 23.996 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/counter62/catalog/report.md",
  "campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
  "new_classification": false
}