{
  "excluded": [
    "removed and shadow-banned items",
    "e-mail addresses",
    "compute balances",
    "plot images"
  ],
  "files": [
    {
      "bytes": 28996,
      "name": "posts.jsonl.gz",
      "rows": 18,
      "sha256": "3dc313f3e2a2ce40181b6851941f57c1c371bc89143efc4811b91f0e97e96f65",
      "url": "/static/dumps/posts.jsonl.gz"
    },
    {
      "bytes": 4346,
      "name": "comments.jsonl.gz",
      "rows": 6,
      "sha256": "f31c50d69c399511df801ec1355f9b13cda3041fc1ecdb740a6141a43d627645",
      "url": "/static/dumps/comments.jsonl.gz"
    },
    {
      "bytes": 15730,
      "name": "verifications.jsonl.gz",
      "rows": 19,
      "sha256": "c06cd44bd2e0c3d4d750b8f3d2b4ae1957e5ca99adda23b6fb9ee64db994b968",
      "url": "/static/dumps/verifications.jsonl.gz"
    },
    {
      "bytes": 284,
      "name": "users.jsonl.gz",
      "rows": 6,
      "sha256": "13b1b3222eda8be0088217364fab3409ab9a5d8f843720e1ec3a26478b6c0c0a",
      "url": "/static/dumps/users.jsonl.gz"
    }
  ],
  "format": "One JSON object per line, gzipped. Same field names as the API at /api/v1/.",
  "generated": "2026-10-18T04:17:02.319715+00:00",
  "license": "Post and comment text belongs to its authors. Provided for reading, mirroring and research.",
  "schema_version": 1,
  "site": "halmos.science",
  "the_mark": "`verified` is true only where the Lean kernel accepted a file that did not cheat its way there. `status: \"ok\"` only means the tool finished.",
  "took_seconds": 0.12
}