{
  "src_dir_abs_path": "/Users/denisignatovich/Src/cl-main/src/code_logician_server/data/code4",
  "language": "Python",
  "sketch_container": {
    "sketches": []
  },
  "tasks": [],
  "meta_cache": {
    "cache": []
  },
  "strat_id": "6e4081d8-ef01-4fe6-b5aa-65e9f7f625e7",
  "curr_meta_model": {
    "src_dir_abs_path": "/Users/denisignatovich/Src/cl-main/src/code_logician_server/data/code4",
    "models": {
      "one.py": {
        "rel_path": "one.py",
        "src_code": "import random as rn\n\nprint (rn.random())\n\ndef hello():\n    return rn.random()",
        "src_code_last_changed": null,
        "src_language": "Python",
        "agent_state": {
          "status": "admitted_with_opaqueness",
          "src_code": "import random as rn\n\nprint (rn.random())\n\ndef hello():\n    return rn.random()",
          "iml_code": "let random : unit -> real = () [@@opaque]\n\nlet main () =\n  let _ = random () in\n  ()\n\nlet hello () : real =\n  random ()",
          "vgs": [],
          "region_decomps": [],
          "opaque_funcs": [
            {
              "opaque_func": "random",
              "assumptions": [],
              "approximation": null,
              "assumption_candidates": [],
              "approximation_candidates": []
            }
          ],
          "context": ""
        },
        "context": null,
        "outstanding_task_ID": null,
        "dependencies": [],
        "rev_dependencies": [],
        "formalized_deps": [],
        "formalized_context": ""
      },
      "two.py": {
        "rel_path": "two.py",
        "src_code": "\n\nimport one\n\ndef hello2():\n    print(one.hello())",
        "src_code_last_changed": null,
        "src_language": "Python",
        "agent_state": {
          "status": "inadmissible",
          "src_code": "\n\nimport one\n\ndef hello2():\n    print(one.hello())",
          "iml_code": "let hello2 () =\n  let _ = `one.py`.hello () in\n  ()",
          "vgs": [],
          "region_decomps": [],
          "opaque_funcs": [],
          "context": ""
        },
        "context": null,
        "outstanding_task_ID": null,
        "dependencies": [
          "one.py"
        ],
        "rev_dependencies": [],
        "formalized_deps": [
          {
            "src_module": {
              "name": "one.py",
              "relative_path": "one.py",
              "content": "import random as rn\n\nprint (rn.random())\n\ndef hello():\n    return rn.random()",
              "src_lang": "Python"
            },
            "iml_module": {
              "name": "one.py",
              "relative_path": "one.py",
              "content": "let random : unit -> real = () [@@opaque]\n\nlet main () =\n  let _ = random () in\n  ()\n\nlet hello () : real =\n  random ()",
              "src_lang": "IML"
            }
          }
        ],
        "formalized_context": ""
      }
    },
    "language": "Python"
  }
}
