{
  "title": "File System Invariant Verification",
  "origin_url": "https://github.com/uw-unsat/yggdrasil",
  "license_guess": null,
  "code_sha256": "0d1d6469e657eac4a9ebfe9b961cee56f622e0928c9e9e7ed077bfd4705b2a3d",
  "added_at": "2026-03-13T10:00:00Z"
}