{
  "tm": "1RB1LD_1RC1RE_1LA0RA_1RC0LB_0LA1RF_---1RB",
  "label": "Astra research 62",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 62,
  "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,994,680 in 19.221 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
}