{
  "schema_version": 1,
  "last_updated": "2026-08-25",
  "recorded_period": {
    "start": "2026-02-15",
    "end": "2026-08-25"
  },
  "scope": "all_classified_mathematical_work",
  "mathematical_sources": 557,
  "project_breakdown_scope": "allowlisted_projects_and_activities",
  "totals": {
    "fresh_input": 538404236,
    "cached_input": 11348048884,
    "output": 38595156,
    "reasoning": 28178172,
    "unclassified": 2880872,
    "total": 11956107320,
    "generated_output": 66773328
  },
  "projects": [
    {
      "public_id": "synthetic-categories-catt",
      "title": "Agda formalization work",
      "lower_bound": false,
      "note": null,
      "sources": 147,
      "tokens": {
        "fresh_input": 232479399,
        "cached_input": 4912181247,
        "output": 14155542,
        "reasoning": 13331361,
        "unclassified": 93694,
        "total": 5172241243,
        "generated_output": 27486903
      }
    },
    {
      "public_id": "stable-homotopy-higher-algebra",
      "title": "Stable Homotopy Theory and Higher Algebra",
      "lower_bound": false,
      "note": null,
      "sources": 217,
      "tokens": {
        "fresh_input": 104985669,
        "cached_input": 2131929623,
        "output": 9184603,
        "reasoning": 3824681,
        "unclassified": 2019553,
        "total": 2251944129,
        "generated_output": 13009284
      }
    },
    {
      "public_id": "synthetic-category-theory",
      "title": "Synthetic category theory",
      "lower_bound": false,
      "note": null,
      "sources": 16,
      "tokens": {
        "fresh_input": 30705647,
        "cached_input": 781764251,
        "output": 2308933,
        "reasoning": 1330790,
        "unclassified": 27775,
        "total": 816137396,
        "generated_output": 3639723
      }
    },
    {
      "public_id": "gestalten",
      "title": "Gestalten",
      "lower_bound": false,
      "note": null,
      "sources": 38,
      "tokens": {
        "fresh_input": 28198734,
        "cached_input": 481174400,
        "output": 1528862,
        "reasoning": 2010759,
        "unclassified": 0,
        "total": 512912755,
        "generated_output": 3539621
      }
    },
    {
      "public_id": "hammock-localization",
      "title": "Hammock localization",
      "lower_bound": false,
      "note": null,
      "sources": 24,
      "tokens": {
        "fresh_input": 11477873,
        "cached_input": 233888363,
        "output": 1176720,
        "reasoning": 1294264,
        "unclassified": 155793,
        "total": 247993013,
        "generated_output": 2470984
      }
    },
    {
      "public_id": "higher-topos-theory",
      "title": "Lectures on Higher Topos Theory",
      "lower_bound": true,
      "note": "Some Claude Code sessions for this project were lost due to Claude Code's local-transcript retention policy. The figures in this row are therefore lower bounds.",
      "sources": 12,
      "tokens": {
        "fresh_input": 6171358,
        "cached_input": 174959959,
        "output": 802612,
        "reasoning": 385298,
        "unclassified": 159214,
        "total": 182478441,
        "generated_output": 1187910
      }
    },
    {
      "public_id": "universality-span2",
      "title": "Universality of Span 2-categories",
      "lower_bound": false,
      "note": null,
      "sources": 9,
      "tokens": {
        "fresh_input": 4794139,
        "cached_input": 65453056,
        "output": 228505,
        "reasoning": 284417,
        "unclassified": 8335,
        "total": 70768452,
        "generated_output": 512922
      }
    },
    {
      "public_id": "global-spaces-stacks",
      "title": "Global spaces and the homotopy theory of stacks",
      "lower_bound": false,
      "note": null,
      "sources": 7,
      "tokens": {
        "fresh_input": 1770261,
        "cached_input": 45063547,
        "output": 112371,
        "reasoning": 72724,
        "unclassified": 7678,
        "total": 47026581,
        "generated_output": 185095
      }
    },
    {
      "public_id": "webpage-maintenance",
      "title": "Webpage maintenance",
      "lower_bound": false,
      "note": null,
      "sources": 1,
      "tokens": {
        "fresh_input": 584339,
        "cached_input": 22421760,
        "output": 82396,
        "reasoning": 41414,
        "unclassified": 0,
        "total": 23129909,
        "generated_output": 123810
      }
    },
    {
      "public_id": "relative-rezk-nerve",
      "title": "Relative Rezk nerve",
      "lower_bound": false,
      "note": null,
      "sources": 2,
      "tokens": {
        "fresh_input": 1178971,
        "cached_input": 7176832,
        "output": 39828,
        "reasoning": 75306,
        "unclassified": 0,
        "total": 8470937,
        "generated_output": 115134
      }
    },
    {
      "public_id": "twisted-ambidexterity",
      "title": "Twisted ambidexterity",
      "lower_bound": false,
      "note": null,
      "sources": 1,
      "tokens": {
        "fresh_input": 273583,
        "cached_input": 1278592,
        "output": 7809,
        "reasoning": 8285,
        "unclassified": 0,
        "total": 1568269,
        "generated_output": 16094
      }
    }
  ]
}