{
  "certkit.py": {
    "source_file": "E:\\Erdos Problems\\key_results\\RAFs\\Randomized_Stopped_Lineage_Identification_arxiv\\certkit.py",
    "source_sha256": "bc05bc8917ccdeb092631b5b68bdc0f10872f6438f00e3419f573838239d3661",
    "changes": [
      "Correct endpoint verification from n*kl >= L/n to kl >= L/n; floating root proposals are not certificates.",
      "Report an entirely negative switching interval as model conflict rather than clipping it to zero."
    ]
  },
  "prospective_boxes.py": {
    "source_file": "E:\\Erdos Problems\\key_results\\RAFs\\Randomized_Stopped_Lineage_Identification_arxiv\\prospective_boxes.py",
    "source_sha256": "8b682b5d165d255cb8e9b972af1803d46b16e54f3b2ab92460c8ba0122184cc3",
    "changes": [
      "Enclose the entire control switching interval in one interval calculation; do not infer enclosure from two endpoint evaluations without a monotonicity proof."
    ]
  },
  "model.py": {
    "source_file": "E:\\Erdos Problems\\key_results\\RAFs\\Randomized_Stopped_Lineage_Identification_arxiv\\model.py",
    "source_sha256": "fd20dbac4006c5959780360b8d261f9dce8bf849daf0611645adef7e7671cf22",
    "changes": []
  }
}