{
  "tm": "1RB1LD_1RC1RF_1LA1RD_1RE0LB_---0RA_0LA1RC",
  "label": "Astra research 666",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 666,
  "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 26.135 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
}