{
  "tm": "1RB0LA_0RC0LE_0RD1RC_1LD1RE_1LA1RF_---0RB",
  "label": "Astra research 169",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 169,
  "reason": "The guarded matched-producer language proposed in this stage is refuted by a concrete 557-step counterexample. Earlier local return rules remain available; global closure is open. No classification.",
  "next": "A domain retaining the missing ordered frame and parent provenance, justified against the saved counterexample.",
  "research_evidence": "astra/outcome-campaign-20261015/169/report.md",
  "campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
  "new_classification": false
}