{
  "date": "2026-10-04",
  "lastUpdate": "2026-10-04T22:26:34.679Z",
  "theories": 1685,
  "papers": 142,
  "papersMaxLocalNumber": 180,
  "papersMissingLocalCount": 38,
  "papersZenodoRecords": 199,
  "papersZenodoTagged": 163,
  "papersZenodoSnapshotAt": "2026-08-12T01:57:33Z",
  "papersLabel": "ローカル草稿142本",
  "tests": 29325,
  "leanTheorems": 3843,
  "leanSorry": 27,
  "leanAxiomDeclared": 264,
  "leanAxiomFreeProven": 2866,
  "leanFiles": 346,
  "leanClosedByReiFiles": 228,
  "leanLabel": "Lean4 定理・補題 3,843(未完 27)",
  "metadbEntries": 2806,
  "latestAxioms": 1447,
  "impossibilities": 388,
  "dailySources": 10,
  "lastCommitHash": "798e2bc26",
  "ogpDescription": "D-FUMT₈ 八値論理フレームワーク | SEED_KERNEL 1,685理論 | ローカル草稿142本 | Lean4 定理・補題 3,843(未完 27) | META-DB 2,806 entries | Daily sources 10 | Peace Axiom #196"
}