[
  {
    "path": "answers/openviking-formal-post-combined-001.json",
    "bytes": 2477,
    "sha256": "97c6bc341fda8cb678a0aa8c7ad1215102fc53b8750d1b914534553e66708c45"
  },
  {
    "path": "answers/openviking-formal-post-doc-000.json",
    "bytes": 1418,
    "sha256": "30a087a7f27eab1e5aeab04c331962ea5abbab0b4e44b776adf51e6a5288c829"
  },
  {
    "path": "answers/openviking-formal-post-doc-001.json",
    "bytes": 1387,
    "sha256": "2d267bf599c23ab8f19d65524743e1cb94ee73ad7a12f501b7d340b97bc4f60c"
  },
  {
    "path": "answers/openviking-formal-post-memory-0-0.json",
    "bytes": 2175,
    "sha256": "1ba4563721199b60720e3c51bae9cadb974ee1ae7952e6d8a25d4e592ed417ec"
  },
  {
    "path": "answers/openviking-formal-post-memory-0-1.json",
    "bytes": 2547,
    "sha256": "796a34f29d73072bd0b701ec698117c3f085d26e23daaee6796400d775982007"
  },
  {
    "path": "answers/openviking-formal-post-memory-0-2.json",
    "bytes": 1745,
    "sha256": "c92b87c5ceaaada29341adb42b33abf33619e0957f1d7084040ae3dd757ef1f5"
  },
  {
    "path": "answers/openviking-formal-post-memory-0-3.json",
    "bytes": 1603,
    "sha256": "42e93a12ad0aa7dab346bf4924029de7269f38fc86780ada24e6b1c657e7007f"
  },
  {
    "path": "answers/openviking-formal-post-memory-1-0.json",
    "bytes": 2460,
    "sha256": "9ff2cea5ff9465e98757a195abcf415c9505045be3ee600e5b15becff99df724"
  },
  {
    "path": "answers/openviking-formal-post-memory-1-1.json",
    "bytes": 3047,
    "sha256": "57dd4fa5a1ed7520c60c54d112922eb23af36cfb38438cf71e25e5b61768aa76"
  },
  {
    "path": "answers/openviking-formal-post-memory-1-2.json",
    "bytes": 1913,
    "sha256": "0ba03026f8dcbabba9073f6c5f918e49c0ec7001f36491a846c9ae7764786dff"
  },
  {
    "path": "answers/openviking-formal-post-memory-1-3.json",
    "bytes": 1671,
    "sha256": "a77a1aba244caaca5cdbe47c97a14457ac37795d660616ba6fcce2034615c0e0"
  },
  {
    "path": "answers/openviking-formal-pre-memory-0-2.json",
    "bytes": 1751,
    "sha256": "b9f2d193899225f81c5fe1306dd2be5dc0cde629acfde449315305f1a70e20a8"
  },
  {
    "path": "answers/openviking-formal-pre-memory-1-2.json",
    "bytes": 1948,
    "sha256": "e526238ef1bd6361fbbbfdfbca7d3ed37df88ad4cbf1b5ac772fc17cd0104c59"
  },
  {
    "path": "answers/ragflow-formal-post-combined-001.json",
    "bytes": 2536,
    "sha256": "cf9d7d79390367fca8cab121ecb86ab49855d08b541692e2d830f7d28b418ed0"
  },
  {
    "path": "answers/ragflow-formal-post-doc-000.json",
    "bytes": 1465,
    "sha256": "94f3e7cf006615a249e70128fb65246f60ae90b393c2adf3a6483478d038fd0e"
  },
  {
    "path": "answers/ragflow-formal-post-doc-001.json",
    "bytes": 1365,
    "sha256": "39df536edac03d2ebd9b40dd781621b51a154cfbe9d2d53eea12a9f1e28ce82c"
  },
  {
    "path": "answers/ragflow-formal-post-memory-0-0.json",
    "bytes": 2558,
    "sha256": "909c194481d9432a4a651e98858b0b7f709e9abf655f521e073475e0188868ad"
  },
  {
    "path": "answers/ragflow-formal-post-memory-0-1.json",
    "bytes": 2338,
    "sha256": "b8dafa7b8d2c018c96e6175f6c7a5e14979ba8abebfd4094da1016787453ebd2"
  },
  {
    "path": "answers/ragflow-formal-post-memory-0-2.json",
    "bytes": 1774,
    "sha256": "928b7ba9679943ecab401eb575c507ed2c2fce4dd0d124f0f35a5d57e727e443"
  },
  {
    "path": "answers/ragflow-formal-post-memory-0-3.json",
    "bytes": 1548,
    "sha256": "485deaa6ceff3b45a17657e3fe69bb2f45b1a6fe07cdc203acf7ce74369e19c0"
  },
  {
    "path": "answers/ragflow-formal-post-memory-1-0.json",
    "bytes": 1706,
    "sha256": "3b2d0df2b1a29fe2f709a3967db84193934356968e8711e98f001f168953879b"
  },
  {
    "path": "answers/ragflow-formal-post-memory-1-1.json",
    "bytes": 2112,
    "sha256": "4a06b77eab2dbdd49aecf315ef382fe3acd05c7f573cf6d2a903a83ce01719bd"
  },
  {
    "path": "answers/ragflow-formal-post-memory-1-2.json",
    "bytes": 1959,
    "sha256": "27a3f7ad387f124fa2195720a601e18b6002fc7a1f7a314dcda0ea6b63789c26"
  },
  {
    "path": "answers/ragflow-formal-post-memory-1-3.json",
    "bytes": 1554,
    "sha256": "e5cccec90970c4b9584f8ae39bf72dabf67b3f1313bd1134a1d8553f2b2fe253"
  },
  {
    "path": "answers/ragflow-formal-pre-memory-0-2.json",
    "bytes": 1790,
    "sha256": "5214442b59620f373cc404a0bff77ff9a017f3c3e0a79ab7b8f8fd68352648af"
  },
  {
    "path": "answers/ragflow-formal-pre-memory-1-2.json",
    "bytes": 1782,
    "sha256": "5748530c0013e5235f70bdfd27ec6336a3557556f2d5ba83b8d4ce9f4696e053"
  },
  {
    "path": "audit-formal-openviking.json",
    "bytes": 26491,
    "sha256": "cde1c4fbd2b03fa48238570999e4f0d50a6a1cad84aadd48cce5b7d42a7d6261"
  },
  {
    "path": "audit-formal-ragflow.json",
    "bytes": 12153,
    "sha256": "dbde0c3c94684c227c8604e33f43890f720c786c3ff40f9e36360b10b4290dd3"
  },
  {
    "path": "audit.py.txt",
    "bytes": 6992,
    "sha256": "b9c09dcbd97991279c7f86fe2ea6081ea791ce797396425c541f1d07a075dd7f"
  },
  {
    "path": "calibration-result.json",
    "bytes": 523,
    "sha256": "9f7efb9e66549635706c405bf07651255c57a884c1dbd708e45296b4341776b0"
  },
  {
    "path": "cleanup-summary.json",
    "bytes": 1476,
    "sha256": "08b76fb50fedc747e96f3e5057c1c8e2bb4b49c9dad097556eb171bfcb9f075a"
  },
  {
    "path": "contexts/openviking-formal-post-combined-001.json",
    "bytes": 9876,
    "sha256": "d35730b5317c23fffbefc31dec3bfb7745cd6541db57add121a3a80ce9c57fac"
  },
  {
    "path": "contexts/openviking-formal-post-doc-000.json",
    "bytes": 12450,
    "sha256": "e3f80a1d016d20a8c91090a9e845fa1b11e39a4f6574a26d901dea24151d06c5"
  },
  {
    "path": "contexts/openviking-formal-post-doc-001.json",
    "bytes": 8546,
    "sha256": "97a3a9912467b12c5f0a3e2cc3e091bfa5c034ce8e95e820820bfd24ab064f1b"
  },
  {
    "path": "contexts/openviking-formal-post-memory-0-0.json",
    "bytes": 8482,
    "sha256": "17e58b0a9f181091637fbfd5caf3766ec828bb80146abbcbaad11ae7b0b8fcb9"
  },
  {
    "path": "contexts/openviking-formal-post-memory-0-1.json",
    "bytes": 11119,
    "sha256": "41eace8fa0d6aae0bb8f8e54754b288142495f697ebcac79afbe6ffd66fcfc5c"
  },
  {
    "path": "contexts/openviking-formal-post-memory-0-2.json",
    "bytes": 11282,
    "sha256": "dc3acb81a76d15774f4a0669a35c0e49fd864307024ca951c9ac27d272828a52"
  },
  {
    "path": "contexts/openviking-formal-post-memory-0-3.json",
    "bytes": 9820,
    "sha256": "5b6a09840caf2a15e3a6d328a7ec3fd84d17a60f9ff04ebde29b8d3eb991d742"
  },
  {
    "path": "contexts/openviking-formal-post-memory-1-0.json",
    "bytes": 9129,
    "sha256": "619f6a81beb0b7a9aaa1a73285fec015d4a8bfe165e74b64a34c0ed4d0ef557d"
  },
  {
    "path": "contexts/openviking-formal-post-memory-1-1.json",
    "bytes": 11008,
    "sha256": "a330fe8237998c3b335cb8695bc8d0bab7a2a957d4e7835c0e668a82db57b574"
  },
  {
    "path": "contexts/openviking-formal-post-memory-1-2.json",
    "bytes": 11588,
    "sha256": "4b669ad6916ead654dcf9c1027fa08bc8d5a55efac898b6e8dcb9a05204707b6"
  },
  {
    "path": "contexts/openviking-formal-post-memory-1-3.json",
    "bytes": 7400,
    "sha256": "e978e77bcebcdaf8d9e7f4597a418f32a1a3a879d1265faf1c9dd18737e58085"
  },
  {
    "path": "contexts/openviking-formal-pre-memory-0-2.json",
    "bytes": 12242,
    "sha256": "b53efea72f785ac82c5a1cbdf5f6afdc3802e2b75de7e1685b2a496c8ea72f46"
  },
  {
    "path": "contexts/openviking-formal-pre-memory-1-2.json",
    "bytes": 11448,
    "sha256": "ca1cbc5f6b40f363c9ae2b241ec752a4ec9f6ed97d6ce468ef6bfd9f27366f63"
  },
  {
    "path": "contexts/ragflow-formal-post-combined-001.json",
    "bytes": 6163,
    "sha256": "8f1499d81c22744ce8315d487dc22c272efa2f9f94ca37aac4a2503759579bb1"
  },
  {
    "path": "contexts/ragflow-formal-post-doc-000.json",
    "bytes": 4743,
    "sha256": "b38d7f85a0bc3b2201679d24c546f024d834e69bd16f9981c283d24cbfd7e5ad"
  },
  {
    "path": "contexts/ragflow-formal-post-doc-001.json",
    "bytes": 5363,
    "sha256": "78a75a22014d4a1e597194aee100264240f9064c16b53cbff87a73b8403c4f77"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-0-0.json",
    "bytes": 5634,
    "sha256": "fed61aa6e69a1254caa37816f4cefd51a28fe6f637422a6c877a6ffa6085564e"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-0-1.json",
    "bytes": 5491,
    "sha256": "74fda5cbe6fcadf996b10d2b004ca81036a0b33db0d6177d7800c7b85c9d5704"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-0-2.json",
    "bytes": 5282,
    "sha256": "de12808f43970468c314506519a821d0e98e44b70da088a43f68eca6865fc404"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-0-3.json",
    "bytes": 4501,
    "sha256": "69252a11a9b5649318bf771fa7d722d797bf77b953509f18f17c42312c6bc0e9"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-1-0.json",
    "bytes": 5634,
    "sha256": "fd44ec56b96576980c6c944786fe3d78d33095909f05631061c976a910d5689c"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-1-1.json",
    "bytes": 5491,
    "sha256": "2496e9a10683fc705d923cb5adfeff76866238b077e1c852b3c1a909b2336d0d"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-1-2.json",
    "bytes": 5282,
    "sha256": "970bffa1d98f08b1a31bb9d322d4a87d3e02451d942a17b45e495c27727279df"
  },
  {
    "path": "contexts/ragflow-formal-post-memory-1-3.json",
    "bytes": 4500,
    "sha256": "2311c2f2466b904f315560bbf829e1b29e7d02daa2ea0cf64fade61f20c50208"
  },
  {
    "path": "contexts/ragflow-formal-pre-memory-0-2.json",
    "bytes": 5393,
    "sha256": "297507956e47cf1caf0bd79d0da2bd694ae39f563a30e00ac098fce519595182"
  },
  {
    "path": "contexts/ragflow-formal-pre-memory-1-2.json",
    "bytes": 5393,
    "sha256": "260b4c0063c5497410dc5bb3b9c56ae4eec116161118149ce667a7d2cc8b3bcc"
  },
  {
    "path": "embedding-proof.json",
    "bytes": 643,
    "sha256": "391ea228f4052ab4756211cbb7ee33b145b0fb8207f9fd621779582ba1aa305a"
  },
  {
    "path": "formal-method.json",
    "bytes": 3011,
    "sha256": "3ac852a890c33d6c3fce6b6c9e3e64054bab95e1846865ef5f2a819c4d12fa29"
  },
  {
    "path": "formal-retries.json",
    "bytes": 353,
    "sha256": "9d7bfe55385ebc96a27f239404d917df50683f178fe61a9da0385a78340f05cc"
  },
  {
    "path": "inputs.json",
    "bytes": 8354,
    "sha256": "7141532c7efb77758ab36f3d7acc2db5369b234134a6119ba4a891c58dd3e47d"
  },
  {
    "path": "openviking-cross-subject-overwrites.json",
    "bytes": 1839,
    "sha256": "fd511b13d4f4387183281b217c44c5707b2efed6eba6ec11640b5ee236879f17"
  },
  {
    "path": "openviking-failure-diagnosis.json",
    "bytes": 1620,
    "sha256": "327c3b7f2b118ab6dfee6aebad6f25e5cf31aa74b310ce48f852c0daa29191d5"
  },
  {
    "path": "openviking-final-memories.json",
    "bytes": 18993,
    "sha256": "123847b724fcf3328fc4ac7ff3de4ea3ba19074299dcf0bb406bc87f408d1a89"
  },
  {
    "path": "openviking-release.json",
    "bytes": 195,
    "sha256": "edbbe480d8f9056b537b63783e7cecb0f4ca9ba12e841a9ff08e2256a53e2f68"
  },
  {
    "path": "oracle.json",
    "bytes": 2788,
    "sha256": "8ac3caf4055989d319ef143eb1fad280d3372c6c85113bbd639498fdc7871644"
  },
  {
    "path": "protocol.json",
    "bytes": 1414,
    "sha256": "d41e926e2ce76880b33d9e301ee3239bfe4c9b6d5bec4e0b1eed88b5935c3d6d"
  },
  {
    "path": "ragflow-extraction-observations.json",
    "bytes": 1030,
    "sha256": "3443fdaf64caeb8cf37c3cce6606f344c6a7b4484902fe12e02c6e973df409fd"
  },
  {
    "path": "ragflow-failure-diagnosis.json",
    "bytes": 1664,
    "sha256": "32f290cc049f2094b001d0371f22a57b89efb2484abb6f688fc7031fdd56a393"
  },
  {
    "path": "ragflow-final-memories.json",
    "bytes": 12923,
    "sha256": "626fb9b10a3e3941b2015b3faa377117b77325e602dd87a3fcb36a816115d75e"
  },
  {
    "path": "ragflow-release.json",
    "bytes": 164,
    "sha256": "329763672b16683012d171c3f388786e950d005e99cd8d5b41b8d017ef37b1f9"
  },
  {
    "path": "recover_openviking.py.txt",
    "bytes": 2561,
    "sha256": "48669402ef26be3183e1a73dfc406a75cd049a6287645d34a35d72946942ab56"
  },
  {
    "path": "restart-incident.json",
    "bytes": 2206,
    "sha256": "e0dc60263ad8f261e255d28fcf549ac9ce605545c3846fa24aab49ff3e6b9664"
  },
  {
    "path": "results-summary.json",
    "bytes": 3728,
    "sha256": "c22386df2e6fa4ffc7b2ec9d14a7713ff9c4d8b8deed55997168c2b68db81c99"
  },
  {
    "path": "review-openviking.json",
    "bytes": 4014,
    "sha256": "464577c27600ba9c09a15c53d2db0302325319c224a90b0dbf3099da8bc5b72a"
  },
  {
    "path": "review-ragflow.json",
    "bytes": 3540,
    "sha256": "4f625457ff88b18ee63be1ad46d6ce6800a6b3b2bb5c1efe38ba8a11d69544f7"
  },
  {
    "path": "runtime-recovery.json",
    "bytes": 798,
    "sha256": "7cca589f37052a489b987e55e144e426c954fdb0ba3325a89e1570c395a18a37"
  },
  {
    "path": "setup-observations.json",
    "bytes": 3423,
    "sha256": "5a8db1ba0a3da21748dd09974af5fae2e2342524e6a1be2a0aefeb8508a14a68"
  },
  {
    "path": "source-receipts.json",
    "bytes": 12314,
    "sha256": "47bf36cfa99a7ea410b1e93ecfe616bf1c089a5ab8a99983300f2a3d706a7073"
  },
  {
    "path": "trial.py.txt",
    "bytes": 25400,
    "sha256": "b4e24de1ac4544ae15985323bc3b8b5c4a339695431a4b68f10f76cb544d8867"
  }
]