{
  "tm": "1RB1RA_1RC0RE_0RD1LE_0LE---_1LF0LC_0RA1LC",
  "label": "Astra research 109",
  "status": "OPEN",
  "stage": "informal_proof",
  "updated": "2026-10-15",
  "owner": "astra",
  "holdout_line_740": 109,
  "reason": "Literal-table discovery generated complete guarded recursive parser semantics, exact word-relation binding and a 10-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
}