{
  "date": "2026-05-15",
  "lastUpdate": "2026-05-15T14:12:49.811Z",
  "theories": 1601,
  "papers": 153,
  "tests": 21375,
  "leanTheorems": 2255,
  "leanSorry": 14,
  "leanFiles": 153,
  "metadbEntries": 4306,
  "latestAxioms": 1421,
  "impossibilities": 194,
  "dailySources": 10,
  "lastCommitHash": "f82a397c",
  "ogpDescription": "D-FUMT₈ 八値論理フレームワーク | SEED_KERNEL 1,601理論 | 論文153本(DOI付) | Lean4 2,255定理 | META-DB 4,306 entries | Daily sources 10 | Peace Axiom #196"
}