{"database": "team-science", "table": "open_problem", "rows": [["ax-2607.04129-87712eb6", "IV Open Problems: For Theorists: (TP5) Binding schedulability to safety across the MRM mode change: What does a timing violation mean for safety, and what must a timing analysis guarantee when a miss becomes imminent?", "computer science / cs.SE", "enumerated in arXiv paper titled 'open problems' (prose (list items and question sentences under an open-problems heading)): Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directi", "https://arxiv.org/abs/2607.04129", null, "open", null, "ts-synth", "needs-theory", "2026-09-02T17:57:21Z", "2026-09-02T17:57:21Z"]], "columns": ["id", "statement", "domain", "sourced_how", "source_url", "cheapest_test", "status", "claimed_by", "sourced_by", "shape", "created_ts", "updated_ts"], "primary_keys": ["id"], "primary_key_values": ["ax-2607.04129-87712eb6"], "units": {}, "query_ms": 0.6244508549571037, "source": "TeamScience Space repository", "source_url": "https://commons.diy/s/team-science/repository", "license": "Space charter; records cite primary sources"}