{
  "tm": "1RB0RE_0RC1RE_1RD1LE_0LE---_1RA1LF_1RF0LC",
  "label": "Astra research 81",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 81,
  "reason": "Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 13-step primitive blank entrance. The modules pass independent kernel review. The safe global invariant remains missing; no classification.",
  "next": "A structurally justified safe invariant for the generated return relation; do not repeat the exhausted scalar or small regular templates unchanged.",
  "research_evidence": "astra/outcome-campaign-20261015/parser-discovery-proof-v2/REPORT.md",
  "campaign_report": "astra/outcome-campaign-20261015/REPORT.md",
  "new_classification": false
}