Update to Mathbox

{
  "files": {
    ".claude-plugin/marketplace.json": {
      "sha256": "2548937ed51a85cdba99d65b6688af53c7378d7706ceef6810d8f2239a7e2b85",
      "size": 842
    },
    ".claude-plugin/plugin.json": {
      "sha256": "e3f87e89646e2266bde0688b3b418819c374bc83f50b784fcad1094c76274ca8",
      "size": 881
    },
    ".codex-plugin/plugin.json": {
      "sha256": "19dacd990887cc016be2e7fcddba406c339f229cbad948559c1dd76bf8a0665b",
      "size": 1499
    },
    ".github/workflows/check.yml": {
      "sha256": "05ed7bd2de3009a7b615106e8c8b6dc14b35a9841fca3633c8461710b05c29da",
      "size": 467
    },
    ".gitignore": {
      "sha256": "862263fa1f46c20f0d1e4dac5ffcc75abd55c08211b2c3864c5f8764b9d87793",
      "size": 19
    },
    "AGENTS.md": {
      "sha256": "9ae01e721472195e687bcc0e6af100944e6e7519b40507b3effc9dc7bdb7c036",
      "size": 5911
    },
    "LICENSE": {
      "sha256": "f5cbe3f493cb0f981474e0ae52df3733a1988c5604f1c061a510b5a3da6260d7",
      "size": 1080
    },
    "README.md": {
      "sha256": "81757cd263e043e54b9efd89e8c4e4eada348129e625af35fa1242eac2dd76a7",
      "size": 10538
    },
    "assets/mathbox.svg": {
      "sha256": "e527aafd57259e9f782a0c74448af89614d3808e27c72bff929f846bb8bb5e01",
      "size": 568
    },
    "docs/CHANGELOG.md": {
      "sha256": "79536b165769517841732c7df07183d829510017c9f83cd00e2178024122363b",
      "size": 21089
    },
    "docs/design-v3.md": {
      "sha256": "4b5cf7a210083ea6f41ae88a41a1f2cc3ec14e7c12254277e4b509385ea8e857",
      "size": 10483
    },
    "docs/referee-migration.md": {
      "sha256": "3e200b2fe6c9281cac7d451ee961b9ca773e629e94a9b4cf6c04f3ea1882d7aa",
      "size": 9102
    },
    "docs/referee-validation.md": {
      "sha256": "038ea745cade2ce81114b681cce70adfcf3ebcb2dcd8e6c09912ea078aa3a43a",
      "size": 14126
    },
    "docs/suite-review-plan.md": {
      "sha256": "6b2a4b6b3daed5b9ffbc49c4ecfdd27b890ada533711aea439849a3e5a5f082d",
      "size": 89558
    },
    "docs/validation-v3.md": {
      "sha256": "2a16b07d953e93c78674fe44385fa35cd1522a1c8817b7488010d1d163db3381",
      "size": 7743
    },
    "evals/README.md": {
      "sha256": "97bff7edde2c5f399388223510c171d61283e3501f9ea5a93d792b2890205fad",
      "size": 6000
    },
    "evals/cases.json": {
      "sha256": "b1a5c534eb69428f94eb1a880db089cfba8526e7726808edc133c8abb5b0b55c",
      "size": 9079
    },
    "evals/compare_referee_preparation.py": {
      "sha256": "dd8ae72dfc5b793bd541b81ee9632547fe696a07df8b2addc59c5200645ee024",
      "size": 9326
    },
    "evals/fixtures/absolute-grading.md": {
      "sha256": "0fdf3ac31a3a8341b3f6b26ea36a8bc71d1d165092caf3efc2db9d1c016b9a4a",
      "size": 548
    },
    "evals/fixtures/bounded-tower.md": {
      "sha256": "70496109cce7bef495845fde091ab899bd653fc94d93c386983a5b2c54dd007c",
      "size": 604
    },
    "evals/fixtures/equivariant-map.md": {
      "sha256": "ab21a32e47315d2f7c45665f71717130db6350294868ff91458e6b85defab1e3",
      "size": 443
    },
    "evals/fixtures/inconclusive-continuation.md": {
      "sha256": "9212c2a201bfe1a89d8a27fc2326148c66114ffeb599d5d041a26bd2c862c652",
      "size": 1245
    },
    "evals/fixtures/modular-rank.md": {
      "sha256": "7aef5d393f76df66358f33cb30e4271b084a752008450ed6318433ac8591f00e",
      "size": 529
    },
    "evals/fixtures/novelty-vocabulary.md": {
      "sha256": "f60c730a3f288167f1039226b41b1f15467e39c1e0841bc8a2146c1adffb0103",
      "size": 663
    },
    "evals/fixtures/parallel-reconciliation.md": {
      "sha256": "a683f672402816557ea2a4be6cfdb7c5e4f9d3b887be4849dc9a913eb246a614",
      "size": 593
    },
    "evals/fixtures/prime-binomial.md": {
      "sha256": "fc57d8956d7e9b209a34135d1c0046440a21f10b574e289a88545c9e1a7100e2",
      "size": 356
    },
    "evals/fixtures/referee-context.tex": {
      "sha256": "eefda5cdf57b10e80353029959129cca3e63960706de90cf41cd320d56ad0748",
      "size": 568
    },
    "evals/fixtures/referee-core.tex": {
      "sha256": "90715e630c11d2692d20f60d173bf39856ced9cc9f1a50dff87911ff8d655012",
      "size": 2220
    },
    "evals/fixtures/referee-enumeration.tex": {
      "sha256": "0a87d1c229c8f47bb3ee2b30128bab5418541e1243bc6346540cf67a5815a648",
      "size": 888
    },
    "evals/fixtures/referee-exposition.tex": {
      "sha256": "fdb4bd16b93fd24e012c4be71c87fddb3112a1f0587f824437799b7f606dda81",
      "size": 735
    },
    "evals/fixtures/referee-source.tex": {
      "sha256": "f9fb02302c62077b4f14380621fb94b26faabb5971194b1a7df67784e8339425",
      "size": 902
    },
    "evals/fixtures/sampled-enumeration.md": {
      "sha256": "664c0a7d1cbc88a0ae4c993b688c76047155065dbec3088e7689c81f0a2821d3",
      "size": 500
    },
    "evals/fixtures/surrogate-domain.md": {
      "sha256": "15a0f0dcd403883039a7e212deded3985ad4f930e03b02a44c4cc39a119cab9f",
      "size": 661
    },
    "evals/results/referee-v1/artifact-checks.json": {
      "sha256": "26735e3b387b81940c69626285da2857a7f59cebf5bd1c47c8b512ae9ac80c5e",
      "size": 79983
    },
    "evals/results/referee-v1/artifact-inventory.json": {
      "sha256": "64d172d97f6fa217b82209146f28ec2e52f2eed30b75a3711565fe73c6bb8637",
      "size": 39296
    },
    "evals/results/referee-v1/context/coverage.json": {
      "sha256": "cf396375db8460babd4e224c75bf06d62239fbd047c6904d48e7200b88d62edc",
      "size": 11146
    },
    "evals/results/referee-v1/context/findings.json": {
      "sha256": "c4c5ffbb0a69d645017b6d7e72dc643a0a1d76b8dda6faa78e6557611e599e27",
      "size": 9388
    },
    "evals/results/referee-v1/context/passes/01-current-correctness.json": {
      "sha256": "1de3edda581c922ab3c561f0ace2ce865196acd711d7b7a0e84fbf8ff0795baf",
      "size": 2659
    },
    "evals/results/referee-v1/context/passes/02-current-adversarial.json": {
      "sha256": "723d2e27c43e81b5b99e4aa716576f97fb62bcbf02970925ae4dc3ac378bc752",
      "size": 2676
    },
    "evals/results/referee-v1/context/passes/03-current-exposition.json": {
      "sha256": "8ef8f0fa2ee0bf89706e3208f05df6f6bbf04632c167ff44ca0203d27190d9b6",
      "size": 2697
    },
    "evals/results/referee-v1/context/passes/04-current-notation.json": {
      "sha256": "46b3990448d9e8d14fbfe93c09f0ac9cdaac7ad125124ae1eb726a09e4fcbe49",
      "size": 3095
    },
    "evals/results/referee-v1/context/passes/04-current-tau-search.txt": {
      "sha256": "3ec50b18d0b0a3ff4381cba77159f835518d057b82c3622971c1a23a8487cd5e",
      "size": 163
    },
    "evals/results/referee-v1/context/passes/05-current-claims-quote-correction.json": {
      "sha256": "3fa7537150f06445033730f1806ca3f8e4e1e8fa9d28da4becd9c97d30c63763",
      "size": 1021
    },
    "evals/results/referee-v1/context/passes/05-current-claims.json": {
      "sha256": "656fc97334235d0648f318b2990de32573b7585b8be4c21f6182cef693bdd3c1",
      "size": 2951
    },
    "evals/results/referee-v1/context/preparation/context.json": {
      "sha256": "f5d9401eebc37f4ddcbc98222fb4dd82bdedc84a75a1900bffa650598d369b81",
      "size": 698
    },
    "evals/results/referee-v1/context/preparation/manifest.json": {
      "sha256": "46d3e0fbddc46f0b44d38fd6d3f20b5a57772076976481113885b94d7a261edd",
      "size": 3759
    },
    "evals/results/referee-v1/context/prior-lead.json": {
      "sha256": "3fa4c48a629d49f0bab0a694f1d86903c41c069e9c4ef8dcf71dfb4fb0a1f9f0",
      "size": 622
    },
    "evals/results/referee-v1/context/prior-local-review.txt": {
      "sha256": "74eae22ac4fc9a342beb5ddeb990cb4fe93f99f119e772186579df6294a35902",
      "size": 73
    },
    "evals/results/referee-v1/context/reconciliation.json": {
      "sha256": "a6320da45978edc5f19d605875a3cb6413292646ae1b5fae7b2a375125dd28a6",
      "size": 2174
    },
    "evals/results/referee-v1/context/report.md": {
      "sha256": "b90ad6d5ea7beb65136756432935974402b488a19d5244c9b9ecc214a8a55825",
      "size": 3152
    },
    "evals/results/referee-v1/context/revision-comparison.json": {
      "sha256": "d7c934386ed0d4125f056ce3e384cf0c510f4dd940c2504c3044bfe00daba82e",
      "size": 1047
    },
    "evals/results/referee-v1/context/survey.md": {
      "sha256": "5dc97d54083fda7d086bb006fd4e73dd24e74fcd1654dfee4baf9502ff66b48c",
      "size": 1831
    },
    "evals/results/referee-v1/context/verification.json": {
      "sha256": "d8d3fa42c91dc9f9833b1c9f0925a6bbd608a94de169b0a4ab79ddfa71622e46",
      "size": 2382
    },
    "evals/results/referee-v1/core/checks.json": {
      "sha256": "9b987d619bda12e3de9a31b7dfca84f3af601c82e4941b2f57ee2f3240b13453",
      "size": 3847
    },
    "evals/results/referee-v1/core/context.json": {
      "sha256": "dff2c959e35efe934d3d37048b3cdf1576bd614b4f3f62d9c261704771167916",
      "size": 1965
    },
    "evals/results/referee-v1/core/findings.json": {
      "sha256": "3c5c24467ed74f6da444507dfe72883b5bce2674ec177ea49de873fe8623cb99",
      "size": 36951
    },
    "evals/results/referee-v1/core/historical/passes/adversarial.md": {
      "sha256": "a7d42970d142fdd965a4328641406354d1a7a5f5d536113c6c53ce8cd4b11f58",
      "size": 831
    },
    "evals/results/referee-v1/core/historical/passes/correctness.md": {
      "sha256": "2d0b4466e639a3d4f7d972a348ab6fe1a7b4ed8843cebd4b4c4ba05aad9ba5d7",
      "size": 886
    },
    "evals/results/referee-v1/core/historical/passes/exposition.md": {
      "sha256": "06eee092f6203a7e5b18f6ea8b2eefc74c9112b90c2dde17e0efe515193e80e9",
      "size": 664
    },
    "evals/results/referee-v1/core/historical/specialist-quote-validation.json": {
      "sha256": "2994dc5614482a5aea9b4047c95be77fb5205cd3b57b429ff5a2cb1633db7a58",
      "size": 1206
    },
    "evals/results/referee-v1/core/historical/specialists/proof-audit.md": {
      "sha256": "275c158ba95107e42b3a1ffc053d70ad29032eac1149126c7095b7e7edccda18",
      "size": 17468
    },
    "evals/results/referee-v1/core/historical/specialists/proof-audit.provenance.json": {
      "sha256": "74bf7c34cbc5539e180781f808a792bb902b5a3436b8917ff3c82b00def9c68f",
      "size": 10552
    },
    "evals/results/referee-v1/core/manifest.json": {
      "sha256": "298fbb1a9fed22f753e68c5926a116f8d4e3eabb45187429043448df795ccb8a",
      "size": 7123
    },
    "evals/results/referee-v1/core/observed-preparation-failure.txt": {
      "sha256": "3008c098ca43b2d161a9e00c196eb0828b3631fd5fc60cf960c4614ff593774d",
      "size": 396
    },
    "evals/results/referee-v1/core/passes/claims.md": {
      "sha256": "687856e7884fb05a6b99a7b4eabe1fcdb45fce1db886df50852c5c4dc090cf9a",
      "size": 1112
    },
    "evals/results/referee-v1/core/passes/notation.md": {
      "sha256": "55e4dd8fa2ca72f3035e1f2eb6724cb71a04c00acf7d2fe9306fb29cc637fb47",
      "size": 957
    },
    "evals/results/referee-v1/core/rechecks/current-contract.md": {
      "sha256": "1ae2e0f4466cf755232a4070457ffe2e38383570c20712fb9f445f2a9f3bfbb0",
      "size": 4295
    },
    "evals/results/referee-v1/core/reconciliation.json": {
      "sha256": "08f4aaba6236d6126a179ec2a99e932a567a95ac0f35e96962f787e3638e4632",
      "size": 12936
    },
    "evals/results/referee-v1/core/report.md": {
      "sha256": "985ded0737b072d4de56b788b640150a50072fecf6d4eef209256e1d2f03318f",
      "size": 6377
    },
    "evals/results/referee-v1/core/reuse-recheck.json": {
      "sha256": "d56cf6b74fbd8f1367a239b17bb5b91a9448bfab8434c2491cf7195b698cbf9f",
      "size": 12204
    },
    "evals/results/referee-v1/enumeration/artifact-validation.json": {
      "sha256": "2db80e807ea3bef32bdd1354735079cde49becf19511286dffe5fb386b0712ee",
      "size": 880
    },
    "evals/results/referee-v1/enumeration/checks/domain-audit-contract.json": {
      "sha256": "627e7750c8c1b4bbbce8fce0519e3e848d836a93b5dfce286b4abce6e603720c",
      "size": 967
    },
    "evals/results/referee-v1/enumeration/checks/domain_audit.py": {
      "sha256": "8e6c8fe94eee8c97d4499bd45740fa229fb1b9527f4bd16a05c6871daa8f0e28",
      "size": 1080
    },
    "evals/results/referee-v1/enumeration/checks/supplied-contract.json": {
      "sha256": "1e842d56af72bad188e01857598e98f5de90d8ddfae114a764c6cbad2c3133e9",
      "size": 928
    },
    "evals/results/referee-v1/enumeration/checks/supplied.py": {
      "sha256": "a6225823bd1f864c786b2f98bd3865cee20679ab33ac7f87c3028b66219b67d6",
      "size": 201
    },
    "evals/results/referee-v1/enumeration/computations/domain-audit/manifest.json": {
      "sha256": "35174aeaf15b2c8487024b74d05a844e0aed6dbda5519d29b63a4bbbdbcbaf24",
      "size": 3612
    },
    "evals/results/referee-v1/enumeration/computations/domain-audit/result.json": {
      "sha256": "ee4d42235e4f513f2dfadb9c6b2cf863deb08646ec2ce627045eefd438c51e17",
      "size": 1897
    },
    "evals/results/referee-v1/enumeration/computations/domain-audit/stderr.txt": {
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "size": 0
    },
    "evals/results/referee-v1/enumeration/computations/domain-audit/stdout.txt": {
      "sha256": "d0f48ad0573b408d1514cc9dce4e22764e15f03bd5a7e4fb090fcf8b4b5b94b0",
      "size": 235
    },
    "evals/results/referee-v1/enumeration/computations/supplied/manifest.json": {
      "sha256": "d317245883b2dca38a798a68e22371cf093bd7df54cb3d7f7687c4f96592fc36",
      "size": 3331
    },
    "evals/results/referee-v1/enumeration/computations/supplied/stderr.txt": {
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "size": 0
    },
    "evals/results/referee-v1/enumeration/computations/supplied/stdout.txt": {
      "sha256": "0efd339254cbd925cc95413c4f4350e44c84deac0784a3441f6295d37b5d86d4",
      "size": 5
    },
    "evals/results/referee-v1/enumeration/context.json": {
      "sha256": "9388950f89e6d6148385c778db45318445eb7dadd23355f7fe2a9363b6c0152b",
      "size": 693
    },
    "evals/results/referee-v1/enumeration/evidence-recheck.json": {
      "sha256": "c52a60cb791577925590c62b6a8d99b98f7af8362b348cc67853966047642a3a",
      "size": 2859
    },
    "evals/results/referee-v1/enumeration/findings.json": {
      "sha256": "9419d11153f7158b784ecaf167168ae1a70fafd74ae3be40cc643749bf69b9d9",
      "size": 11340
    },
    "evals/results/referee-v1/enumeration/historical-specialists/command-log.json": {
      "sha256": "2d1e7ef7bd82183d947322a93d9bd2022c04b58806da7ed3403688787ea5809c",
      "size": 2904
    },
    "evals/results/referee-v1/enumeration/historical-specialists/computation-audit.md": {
      "sha256": "a4b0bf69d2ccb2da90e1dbdf5e69f2bb42b2474a8b131280daf7510113913189",
      "size": 2689
    },
    "evals/results/referee-v1/enumeration/historical-specialists/proof-audit.md": {
      "sha256": "0434cf9603fa09d299589c12d49ea63fcafb9f992c2b1ef1837eab4a2799fbfd",
      "size": 2248
    },
    "evals/results/referee-v1/enumeration/manifest.json": {
      "sha256": "cd6f2d87579e6908581c8d8442019ae4f97cd796e1b68f352ae9a51ecc47717e",
      "size": 3703
    },
    "evals/results/referee-v1/enumeration/passes/adversarial.json": {
      "sha256": "c819822e42945e387a50cb1b74ad8a39046b9795816423b5274389335eb9e7e4",
      "size": 3079
    },
    "evals/results/referee-v1/enumeration/passes/claims.json": {
      "sha256": "876d3727401a39d9900539fed3bd6e4de1e13749421ef319d00f6e7a00811647",
      "size": 2007
    },
    "evals/results/referee-v1/enumeration/passes/correctness.json": {
      "sha256": "04db8fc7883d67d3ef62cf565ba6e1749cba10a55412194180ffdc78d6966a43",
      "size": 3198
    },
    "evals/results/referee-v1/enumeration/passes/exposition.json": {
      "sha256": "85e3dfaccf85851f9e4bf05df192637698e9732e64c350e86e245671a8ba120e",
      "size": 2015
    },
    "evals/results/referee-v1/enumeration/passes/notation.json": {
      "sha256": "2aff22a8375c82f6ac4c1623fc934fcaa55c0e9d91672e55ee70481e09850567",
      "size": 2011
    },
    "evals/results/referee-v1/enumeration/raw/adversarial.md": {
      "sha256": "85537e05e13e918fb3c415a396f682fb0dcabb8a03f320a1d8fbc8e93b076dc2",
      "size": 965
    },
    "evals/results/referee-v1/enumeration/raw/claims.md": {
      "sha256": "db46f2e0519194f925173ad490f335996c0aa0064b47aaa8b725933c345e50dd",
      "size": 972
    },
    "evals/results/referee-v1/enumeration/raw/correctness.md": {
      "sha256": "411eeb3047aabbce16e7e4119f9e1683f842361f2f1166a543e4171ed9582e78",
      "size": 1219
    },
    "evals/results/referee-v1/enumeration/raw/exposition.md": {
      "sha256": "1bb43b44cce50631b9246f409a2e4767e671f01557bca125a49ba6e540f3b792",
      "size": 907
    },
    "evals/results/referee-v1/enumeration/raw/notation.md": {
      "sha256": "0ed555f5ab5a5e5a043d30675e257251aca9a2d9ff64fe5165c08ab6ac1da828",
      "size": 878
    },
    "evals/results/referee-v1/enumeration/reconciliation.json": {
      "sha256": "8c1ad21c5f1b536d3db3fa804f4545a693331c64de87c523388b5688f773fb94",
      "size": 2741
    },
    "evals/results/referee-v1/enumeration/report.md": {
      "sha256": "f85d0bf2e5418e94a26ff7aec7e5b8459bb1cb24cee3408bf62a88a176d20cc2",
      "size": 4285
    },
    "evals/results/referee-v1/enumeration/survey.md": {
      "sha256": "09ac3a35a0a4a409f38ac4e3a84265ca5b0eacf61df9289d50fc3985fc9122c9",
      "size": 1853
    },
    "evals/results/referee-v1/exposition/artifact-validation.json": {
      "sha256": "872c5fb598fd9d5c9334fc0fb9b1aa2488f582d89445cf6c91547b81900d143f",
      "size": 880
    },
    "evals/results/referee-v1/exposition/context.json": {
      "sha256": "c4d92842266c6ee88942a1d3f8a8dd632de50f27e6e5027ccf61e393f6fe02e9",
      "size": 728
    },
    "evals/results/referee-v1/exposition/evidence-recheck.json": {
      "sha256": "baa9d256fdf38ddabeba6aaa5dcbb0cdcfe3d3f79ff63d452952e28df7eae86d",
      "size": 1529
    },
    "evals/results/referee-v1/exposition/findings.json": {
      "sha256": "1479baeb5ba62a8c72ee374ac46d8c8320f8d92bf267b1c943ac8c10877b7283",
      "size": 8555
    },
    "evals/results/referee-v1/exposition/manifest.json": {
      "sha256": "cc9ee522c6caadd86ee9730e0f100b79e9e0d2dfbfeccf473867ae0d700afb9b",
      "size": 3065
    },
    "evals/results/referee-v1/exposition/passes/adversarial.json": {
      "sha256": "22a21d031c6ee0d9ec6b5838a47ea07a7fd8c572933829303e0c59b96daa8f33",
      "size": 1692
    },
    "evals/results/referee-v1/exposition/passes/claims.json": {
      "sha256": "80b6602f2148195d2dd1a73d0fe360a1e30b946f8c5031c0777e90dd5de0bd39",
      "size": 1682
    },
    "evals/results/referee-v1/exposition/passes/correctness.json": {
      "sha256": "ed7a0e200b722df92502250ea2fa2716a79652d7dd01823248b9811747c61025",
      "size": 1692
    },
    "evals/results/referee-v1/exposition/passes/exposition.json": {
      "sha256": "41f5f86c43c13aaa925b7e8372eb7a265cada607fa6633df5e30c1bc25467f25",
      "size": 2771
    },
    "evals/results/referee-v1/exposition/passes/notation.json": {
      "sha256": "d42568cf14e79cebd14590cc671ea47566ce10db42b7bc0ca20d606268217adc",
      "size": 1686
    },
    "evals/results/referee-v1/exposition/raw/adversarial.md": {
      "sha256": "7509d9781e2c6e1eea33adf6cc48117ea330de22a6c9f7c478490cf7f21b4762",
      "size": 1263
    },
    "evals/results/referee-v1/exposition/raw/claims.md": {
      "sha256": "a76a398c6b940b2500c4973196247677077b4f5fef87a12ea8563269e651d2b4",
      "size": 1224
    },
    "evals/results/referee-v1/exposition/raw/correctness.md": {
      "sha256": "d1215198d86818fffb4afefbab6795a3fdfc9c0db74e15fe8f71cee97ceaa8c3",
      "size": 1376
    },
    "evals/results/referee-v1/exposition/raw/exposition.md": {
      "sha256": "a05dd9ced1bf50a7efdbcd5534d41edd6500e6508ceea3ae025aa4fc6ee6b896",
      "size": 1323
    },
    "evals/results/referee-v1/exposition/raw/notation.md": {
      "sha256": "2a18ff333af1a5c0464eff260a62a8539fb02fa106a78c7dce8e8ba0589dc6cf",
      "size": 1403
    },
    "evals/results/referee-v1/exposition/reconciliation.json": {
      "sha256": "84a6965b31496349a198cec3f249538e0e75c15c0549088475ebb0a5ed217b61",
      "size": 1318
    },
    "evals/results/referee-v1/exposition/report.md": {
      "sha256": "879b6e157e8a99e6bc3f17239c3482da8de93d2cb8a3b01aa0475cd8dfe9f7f0",
      "size": 2930
    },
    "evals/results/referee-v1/exposition/survey.md": {
      "sha256": "d41111a3ad9a82dd1e97929c90ac72bf30c79dbc05eb2627ad5e80b00648f58a",
      "size": 2195
    },
    "evals/results/referee-v1/grading.json": {
      "sha256": "55d149aadfdf1c17a39aa2423bd9393a4191832beb7d8a6a380ae073ee97f347",
      "size": 34883
    },
    "evals/results/referee-v1/grading.md": {
      "sha256": "73b06a473945caf1b5326fee0ac37b463e9f8674c5add47ca5abed88ff1b8d1d",
      "size": 11657
    },
    "evals/results/referee-v1/preparation-comparison.json": {
      "sha256": "cebca047442e3a25d2aabe4e013ed79a383ab5852b773604e865c3fc742a1946",
      "size": 3594
    },
    "evals/results/referee-v1/referee-context-artifact-inventory.json": {
      "sha256": "e308e9cc76d5872cf0aef5129eee09d239f98fa1c020b75caa2e3bd4b35dce4e",
      "size": 8310
    },
    "evals/results/referee-v1/referee-core-artifact-inventory.json": {
      "sha256": "c0fc9c40cf621c47f0e06a63516cabea5483a6e7cbe6b99545a334dcbb0d7a10",
      "size": 10354
    },
    "evals/results/referee-v1/referee-enumeration-artifact-inventory.json": {
      "sha256": "32711511978a4f53e2e8cb361eb50de705af28a3f94e3c8e3f0f81dab977f198",
      "size": 4914
    },
    "evals/results/referee-v1/referee-exposition-artifact-inventory.json": {
      "sha256": "a3cb7cba3b87fb1dac6ccac06e068bd06efdb2b51424a11692084e9a81c99242",
      "size": 4682
    },
    "evals/results/referee-v1/referee-source-artifact-inventory.json": {
      "sha256": "f6a8a386d1a0732114c86e2355266ce2b6a726d52b1a4e3104ef4bf46e0db3db",
      "size": 5024
    },
    "evals/results/referee-v1/routing/routing.json": {
      "sha256": "058798eccd1e28cf0737849bd05cb48ee7651226cf27f91937fd09caa5d03579",
      "size": 2093
    },
    "evals/results/referee-v1/source/artifact-validation.json": {
      "sha256": "032af135173d69e353edcb0c4ad93cd9be50fb6642b0de31dae1b6664b9143de",
      "size": 880
    },
    "evals/results/referee-v1/source/context.json": {
      "sha256": "3b726542076311a2d08f40335f87c7ef198263fa8c2d74acdedb14d464100a63",
      "size": 734
    },
    "evals/results/referee-v1/source/evidence-recheck.json": {
      "sha256": "872651fbca515ad4073202473e676a3a069677c912c81eb55aef7e92c405efc8",
      "size": 2006
    },
    "evals/results/referee-v1/source/findings.json": {
      "sha256": "74ce1af3987ffd409c864b46b2d939f0c60a788322cad829bb1a16cc131f3859",
      "size": 14306
    },
    "evals/results/referee-v1/source/historical-specialists/literature-check.md": {
      "sha256": "1ac3062642979bb50690a1da2447d2d289e13489a31269e14f4d8ded2ecc5eff",
      "size": 2992
    },
    "evals/results/referee-v1/source/historical-specialists/proof-audit.md": {
      "sha256": "75e16a4cc684e291620834ad3d9504275928237a9a9e91c8e509b94a52457697",
      "size": 2832
    },
    "evals/results/referee-v1/source/manifest.json": {
      "sha256": "eef855f4b9bf104829840d33246bdb26170b22502847eacf2b48cb36dd15aacb",
      "size": 4382
    },
    "evals/results/referee-v1/source/passes/adversarial.json": {
      "sha256": "af5ffc2fda85f14cb42cc503d48cb2847bc4c807c7c95f0d2ba30dd912953c05",
      "size": 2657
    },
    "evals/results/referee-v1/source/passes/claims.json": {
      "sha256": "baaff13290779238e3a48ec5ae1d502cfbc0591eb39dedfacdc4fa691e7916c9",
      "size": 2369
    },
    "evals/results/referee-v1/source/passes/correctness.json": {
      "sha256": "a67717dd46fd348debff45c03bed7bdae1b78d71ee51a430c44d6c7ed631e6eb",
      "size": 4074
    },
    "evals/results/referee-v1/source/passes/exposition.json": {
      "sha256": "58d56ea9cd723f9f277ed618b420bbacb42d2bb72bd3c3538b32ed4facc615e4",
      "size": 2538
    },
    "evals/results/referee-v1/source/passes/notation.json": {
      "sha256": "a9855b4758f06c011894b3c5223f5c0674fec0f5c7cc159308dc58deafff59be",
      "size": 3638
    },
    "evals/results/referee-v1/source/raw/adversarial.md": {
      "sha256": "a78abe9c3a01925e378ab78c8cc50b8025228ebf8d76fa0757cd3f45c7c7b65f",
      "size": 1136
    },
    "evals/results/referee-v1/source/raw/claims.md": {
      "sha256": "1533970a028396f03837ebdbd2e7d866904bf5ab80076ccad9202ce9fe52f45f",
      "size": 1208
    },
    "evals/results/referee-v1/source/raw/correctness.md": {
      "sha256": "99b9700138bef8d9cf48be7f00bc40a2b1c5817454e19d3296bf69a344ef1556",
      "size": 1204
    },
    "evals/results/referee-v1/source/raw/exposition.md": {
      "sha256": "63f51a3c00f43df436473759932881b0d3626787027c75c836fd69d80ed88e59",
      "size": 938
    },
    "evals/results/referee-v1/source/raw/notation.md": {
      "sha256": "73a8c22c1c545f31bb1715697e82be73e2ad468709f6fedca3683f35c51628fe",
      "size": 1057
    },
    "evals/results/referee-v1/source/reconciliation.json": {
      "sha256": "89f7e6a70e3322d58c46a1a021869471ad8974e45c1509410be4c86de741f9db",
      "size": 2411
    },
    "evals/results/referee-v1/source/report.md": {
      "sha256": "d7f8ed81d4e86eef32235ae6f9634703f6041fe26cfb6064e69b2c583d40a9a3",
      "size": 4927
    },
    "evals/results/referee-v1/source/survey.md": {
      "sha256": "d3ea94fa433e3d68fced095ef3563505851f27c5e13204a4d935f957e7886156",
      "size": 2094
    },
    "evals/results/suite-review-2026-10-02/README.md": {
      "sha256": "6da7bc9fa1aa971d5903b8b461627dc3b2507b66c4ac1e470a228b306164502c",
      "size": 8151
    },
    "evals/results/suite-review-2026-10-02/checks.json": {
      "sha256": "c6117e96d50c86c1f385b5f562d98cf55dce34493e00c7e76d9ee40befff57bf",
      "size": 5645
    },
    "evals/results/suite-review-2026-10-02/continuation/case1-ledger.json": {
      "sha256": "40d0b79f470d1905bca02905092e826df769e818a1b023810172768b50caf950",
      "size": 9597
    },
    "evals/results/suite-review-2026-10-02/continuation/case2-closeout.json": {
      "sha256": "543b93081352ba048c2a1385e8b6942aaea48771ef7d83af4b847a2c1fd14035",
      "size": 19319
    },
    "evals/results/suite-review-2026-10-02/continuation/case3-deferred.json": {
      "sha256": "3e52d28ad0a64c8f33187e30f868249640faea8ae4bb0d4b9fe3cadc944ce201",
      "size": 17506
    },
    "evals/results/suite-review-2026-10-02/continuation/case3-normal.json": {
      "sha256": "b2fc87ce4d1944d2e049ffccc1c17209d8ab02e1abd41b5c50845776a8bd6860",
      "size": 17461
    },
    "evals/results/suite-review-2026-10-02/continuation/case5-retrospective.json": {
      "sha256": "7a10f5002b2bebaad64abbf816df383afb08ac98517383ed5d3f54d046020c30",
      "size": 6907
    },
    "evals/results/suite-review-2026-10-02/continuation/raw.json": {
      "sha256": "49524d2e64c6e57bccefb29d0aa9defd3ae4a156081af9ca606bb575b3ad73f7",
      "size": 280067
    },
    "evals/results/suite-review-2026-10-02/continuation/retrospective.md": {
      "sha256": "18997e8014ee7ec2e0cd3a57cd1dcfdd1f3c7c1d3c9601b49614ba078e3032f7",
      "size": 5699
    },
    "evals/results/suite-review-2026-10-02/continuation/sharding-plan.md": {
      "sha256": "b1b119e0231205ff07ae77789b6f5cdd2ecf0dbf2013c3a1eda956c0da85ec23",
      "size": 6272
    },
    "evals/results/suite-review-2026-10-02/continuation/trial-notes.md": {
      "sha256": "9de68acb95f151e6e249055231fe7f74c3be49a297073ba131808e365bab1df1",
      "size": 7283
    },
    "evals/results/suite-review-2026-10-02/implementation.json": {
      "sha256": "b8d56f7bb5815c317e76c531f817c8f494a38c59edc53f79639c53d68239b9d0",
      "size": 40529
    },
    "evals/results/suite-review-2026-10-02/live-codex/arithmetic.json": {
      "sha256": "bb8c81c0119d241687d7d03422f1a5f102285ac95a392f4f922bd38e2ce9015d",
      "size": 4730
    },
    "evals/results/suite-review-2026-10-02/live-codex/escalated-execution.json": {
      "sha256": "c301d0c7655048798fc5e01e3c78db35ca58d86c0bcf541de715bf378290d676",
      "size": 295
    },
    "evals/results/suite-review-2026-10-02/live-codex/escalated-stderr.log": {
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "size": 0
    },
    "evals/results/suite-review-2026-10-02/live-codex/escalated-stdout.jsonl": {
      "sha256": "79adefeb5d01e2c4941d0056aa80b650b6fcfcca761f8a4c331688ce1cea076c",
      "size": 71507
    },
    "evals/results/suite-review-2026-10-02/live-codex/execution.json": {
      "sha256": "b736a60643005246e5f5aebe4121a780b8e507e78e13088eb0f97cc9407d03f5",
      "size": 263
    },
    "evals/results/suite-review-2026-10-02/live-codex/extended-execution.json": {
      "sha256": "4217390032c147f3c51223f9653dc0fc3666dadd57084ef96680ddf0b7517f03",
      "size": 295
    },
    "evals/results/suite-review-2026-10-02/live-codex/extended-response.md": {
      "sha256": "950df1548c0ed5b16b65926ce18438a90a431d4a06fb83d9a4953b733864f092",
      "size": 1935
    },
    "evals/results/suite-review-2026-10-02/live-codex/extended-stderr.log": {
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "size": 0
    },
    "evals/results/suite-review-2026-10-02/live-codex/extended-stdout.jsonl": {
      "sha256": "2eaac0b5f5672f7661241f83dfa50ebfd33343a0e3e943e542485c7fe634c22e",
      "size": 115403
    },
    "evals/results/suite-review-2026-10-02/live-codex/preservation.json": {
      "sha256": "175b9a83d03fc22f33a1050f42f910ef36a213a6afd235228f85966f6eb3f428",
      "size": 3231
    },
    "evals/results/suite-review-2026-10-02/live-codex/stderr.log": {
      "sha256": "8e3330eeb312ddb37b9da73c3ece4a8aa7e2ade4b7bb255573aa487bc89f0f58",
      "size": 197
    },
    "evals/results/suite-review-2026-10-02/live-codex/task.txt": {
      "sha256": "2d49a98f53b0059597c261f59a4de21ae8e6648c1f547c36b2fd9ca5ade7f2fd",
      "size": 345
    },
    "evals/results/suite-review-2026-10-02/native-program/closeout.md": {
      "sha256": "b56877d1c87160e9cdf971f74c6843d063090be71cb62a60435bda98cd33f16d",
      "size": 1790
    },
    "evals/results/suite-review-2026-10-02/native-program/coordinator.json": {
      "sha256": "8e89d2fc7b9ae271b7dac7a452ce9e5ae7006637fbce826fa24b77b6f781a793",
      "size": 92748
    },
    "evals/results/suite-review-2026-10-02/native-program/deferred-project.json": {
      "sha256": "5f162661b92c6d9f41a01864c697e8e32cad10827b2e78e7016ff1d7ac32f2d5",
      "size": 40369
    },
    "evals/results/suite-review-2026-10-02/native-program/normal-project.json": {
      "sha256": "d9023daea88daf41b9b60d17f9d8176fe27eb4d4cbc160d5d658c7130405d7c3",
      "size": 40446
    },
    "evals/results/suite-review-2026-10-02/native-program/squares.md": {
      "sha256": "8c5cba204da105a8bf1961a33a86da00700fd89e4c9ca6361bb85fcce5006018",
      "size": 10824
    },
    "evals/results/suite-review-2026-10-02/native-program/sum.md": {
      "sha256": "138a0f4c69cd23c3d803ba3c7a299e3f5f24b2b64f2d5dc2177bf41308bfb48f",
      "size": 13245
    },
    "evals/results/suite-review-2026-10-02/referee/child-assignments.json": {
      "sha256": "d732917b6842aa68e57427989b4442ae2610d8c77c302041d64dfa42db6cd39b",
      "size": 2365
    },
    "evals/results/suite-review-2026-10-02/referee/child-format-task.json": {
      "sha256": "ddc3cf98c8c676c65849556d436d1b21e3f68b1e7ade957b2725ee382fa2a197",
      "size": 485
    },
    "evals/results/suite-review-2026-10-02/referee/child-format.json": {
      "sha256": "c5e9600885f9a6ee996a0cf88a7d1ede1a1f4262212af28167616647db640070",
      "size": 21911
    },
    "evals/results/suite-review-2026-10-02/referee/child-format.md": {
      "sha256": "70c8532673ee8ce4d9e261475bfe2213d06d898e40e911b77db0707e724c559b",
      "size": 1840
    },
    "evals/results/suite-review-2026-10-02/referee/no-delegation-task.json": {
      "sha256": "72833a19ec5b7d3b5a26ca02664c2fef675cb8c3d95f495ce07668c824ba37dd",
      "size": 567
    },
    "evals/results/suite-review-2026-10-02/referee/no-delegation.json": {
      "sha256": "80380069c86d3f518ffea8c39f71231cac6c9331914869f96eea6c6bef659895",
      "size": 31541
    },
    "evals/results/suite-review-2026-10-02/referee/no-delegation.md": {
      "sha256": "9ae292d404a897d6d3eb8b9f200cf2b98eff4b3913975a3977959748fc157b05",
      "size": 1998
    },
    "evals/results/suite-review-2026-10-02/referee/prior-lead-task.json": {
      "sha256": "aa68689139561b971ac8c0711b1c8092d0afd5fd08dc1f545c75bcef3af4df27",
      "size": 375
    },
    "evals/results/suite-review-2026-10-02/referee/prior-lead.json": {
      "sha256": "4f76c9be5406de318aa539536e6c79f9269833ef00559c23cbdc1c19279b511d",
      "size": 18597
    },
    "evals/results/suite-review-2026-10-02/referee/prior-lead.md": {
      "sha256": "bb29df72d0016c131714f289dc9c6d476a6f1f0e638e05cd2e329c336401c384",
      "size": 1555
    },
    "evals/results/suite-review-2026-10-02/routing/artifact-validation.json": {
      "sha256": "52852d4eae0550b8e4e24354432f81572153fc913f27fcfd28f14699df696358",
      "size": 862
    },
    "evals/results/suite-review-2026-10-02/routing/blind-queries.json": {
      "sha256": "b06db9abbaee063b97e9afbbda779d1f455fd0f9af2cce2a40be51f3c665f27f",
      "size": 16541
    },
    "evals/results/suite-review-2026-10-02/routing/commands-and-results.json": {
      "sha256": "d994e8fe8859b56311653d842ed4f41a450045e3777f2be58af7439ee52f4212",
      "size": 2895
    },
    "evals/results/suite-review-2026-10-02/routing/final-observed-hashes.json": {
      "sha256": "09cffdc94d001946890b8f3242505561793ce8888286c78f8ffc586c34a5efd0",
      "size": 3877
    },
    "evals/results/suite-review-2026-10-02/routing/final-routing-contract-comparison.json": {
      "sha256": "bfb3b9d3128dcd2523fa4a8004c493a9d46c679271cdfc4313967ef671a6548d",
      "size": 1928
    },
    "evals/results/suite-review-2026-10-02/routing/raw-routing-decisions.json": {
      "sha256": "db39cb7cbb723d47a9d158447092048bc6f5a3ee3ab6a6c629a1ad0f2670e9dd",
      "size": 78643
    },
    "evals/results/suite-review-2026-10-02/routing/routing-comparison.json": {
      "sha256": "77f4469cd2f312f057d277dea5dc2a3d5c537e1b09f98a2d8ccb2bc0c663cdc3",
      "size": 73770
    },
    "evals/results/suite-review-2026-10-02/routing/skill-revision-hashes.json": {
      "sha256": "90d4d64db60457c7d53ca5fefbc48c7259b3b4e9dd2713f0a591ebf04a27e719",
      "size": 1159
    },
    "evals/results/suite-review-2026-10-02/routing/suite-descriptions-and-policies.json": {
      "sha256": "24ed65dafdab01e6167145e266f5435f4be53c013598eb760ba8745781d0b6c6",
      "size": 9292
    },
    "evals/results/suite-review-2026-10-02/routing/trial-summary.json": {
      "sha256": "88e6dee6ce084f67a356a22b2ffa46315bb422ae7b9a6a3a91b8bc6f670e5b32",
      "size": 2406
    },
    "evals/results/suite-review-2026-10-02/safeguards/01-sampled-enumeration.json": {
      "sha256": "9180fb9c14a9353047c8b3b914981a554a84c119a5fca64902c7876ba21670fa",
      "size": 4588
    },
    "evals/results/suite-review-2026-10-02/safeguards/01-sampled-enumeration.md": {
      "sha256": "2265ad4bae322781e9f932ad932163bf6a1a237f8ea38d450ba788e4ba8ad585",
      "size": 1435
    },
    "evals/results/suite-review-2026-10-02/safeguards/02-gf5-rank.json": {
      "sha256": "35680adc1f001ccca58112c791f6b461c19b04da783132b70e4c45dda80ce376",
      "size": 112517
    },
    "evals/results/suite-review-2026-10-02/safeguards/02-gf5-rank.md": {
      "sha256": "9d0370c89cc41d942ebbdea09bec6a8b5aa46621de347bb4bcf98d66839f3993",
      "size": 2937
    },
    "evals/results/suite-review-2026-10-02/safeguards/03-proof-audit.json": {
      "sha256": "a1bf22367b71c2307f68b977f1725f2d99f666af0ea69ab660cb8a829137011b",
      "size": 5683
    },
    "evals/results/suite-review-2026-10-02/safeguards/03-proof-audit.md": {
      "sha256": "944d202b40232c6b2d95818fd03734a554a5aa6b6f6850bc10774869d8f22d05",
      "size": 1884
    },
    "evals/results/suite-review-2026-10-02/safeguards/04-established-integration.json": {
      "sha256": "e4985de7d88a370c837908aaa039e72cd8c3b8792374b5ff8e3d552055020fe9",
      "size": 6850
    },
    "evals/results/suite-review-2026-10-02/safeguards/04-established-integration.md": {
      "sha256": "1e682c69e446d7d26fcc3f80505a612f557e90ad1d9bd35c46b2d44eacc4f0a7",
      "size": 1239
    },
    "evals/results/suite-review-2026-10-02/safeguards/05-conditional-integration.json": {
      "sha256": "a2ad9429f55679b66fc3b773a31fff9703c282254412983b028df269db0da9db",
      "size": 20016
    },
    "evals/results/suite-review-2026-10-02/safeguards/05-conditional-integration.md": {
      "sha256": "8b9af761fe020afe40f8196a39df3472cd335b98ee1e1b851c0187e14d5d044c",
      "size": 1864
    },
    "evals/results/suite-review-2026-10-02/safeguards/06-proofread.json": {
      "sha256": "f845d20eab8c9d6702ba441bec1c358ec6510af1dbd2a48f894264c5cd831b63",
      "size": 4496
    },
    "evals/results/suite-review-2026-10-02/safeguards/06-proofread.md": {
      "sha256": "bf8f09cfe7a49f27e9849459a8ce9379a5d75520fb83471b6a827c0723b861df",
      "size": 770
    },
    "evals/results/suite-review-2026-10-02/safeguards/07-source-application.json": {
      "sha256": "b9fa85143e8797bea4e46848ef728c7448e05715d2d028504f9dc3dca964bcd4",
      "size": 42464
    },
    "evals/results/suite-review-2026-10-02/safeguards/07-source-application.md": {
      "sha256": "93573575ad982b7ff4dc8e2584d0e98e233b7c35844d6c41cc28386b479880e4",
      "size": 1806
    },
    "evals/results/suite-review-2026-10-02/safeguards/provenance.json": {
      "sha256": "eccfd27b686822b4380f71e2beada9dc71ebc7631d9c2bf5a5d328ca45883846",
      "size": 8403
    },
    "evals/results/suite-review-2026-10-02/safeguards/trial-notes.md": {
      "sha256": "06aa934229be878c06bfe84db1ff42ee5c5a6057280fb02931586b351cf859ff",
      "size": 2443
    },
    "evals/results/v3/artifact-hashes.json": {
      "sha256": "ca974b89b5ac25b4c7fa8f416b9036077b15b91ed8653604e9eb760b93cf2b47",
      "size": 396
    },
    "evals/results/v3/prime-binomial-computation.json": {
      "sha256": "30d4def7a4f8d95ddc8453b62d1ab6450f2ea30b7db91166d799fa90aec92e97",
      "size": 1287
    },
    "evals/results/v3/prime-binomial-proof.md": {
      "sha256": "f31a02fe51fd09a351a4c5694ce9208cb4a31bb436e9ce1cb3a3dc4084004d02",
      "size": 9842
    },
    "evals/results/v3/state-trial-events.json": {
      "sha256": "ff347a1713357aeed2eb8e710a5853ac011c9a1d86df9d723e84da6b00251a6c",
      "size": 5810
    },
    "evals/results/v3/state-trial-notes.md": {
      "sha256": "274d396ade3450ed39ed85891b782e7421b7a5198f6d7b5fcd29c5e85f5c2a41",
      "size": 4656
    },
    "scripts/check.py": {
      "sha256": "94d73367de3f303d19b2024a1d38cb9b4eb93fe039b3531cf84bd2623b9f06e0",
      "size": 13993
    },
    "scripts/test_check.py": {
      "sha256": "1b9632e24d7f6fa6d3f0d39747292c503207fd96ceea5819998555a330831354",
      "size": 5025
    },
    "skills/computation-audit/SKILL.md": {
      "sha256": "712f586d7b324466f597f9fa2418c8297878d3e139a79570fe9e1845bc14e199",
      "size": 5357
    },
    "skills/computation-audit/agents/openai.yaml": {
      "sha256": "706742062e7643b7c5b0e7793f1e3d07c01b484a8ad1df3c0f2f8c4177df4770",
      "size": 277
    },
    "skills/computation-audit/assets/computation-manifest.json": {
      "sha256": "459410714de1c923662083aec231bfe5591f8319714109fe8fa91bfc40838e1f",
      "size": 1013
    },
    "skills/computation-audit/evals/evals.json": {
      "sha256": "cb107f595d8468f0966f1fd90956d22888266a48c6f9c4f29de8d63edf31adb2",
      "size": 6724
    },
    "skills/computation-audit/evals/trigger-evals.json": {
      "sha256": "4ff75d87facd6e615aa22b3c567a5a590be9d7ae104be574e11f9054848a12dc",
      "size": 1456
    },
    "skills/computation-audit/references/checklist.md": {
      "sha256": "8fa4e5708beadb903371c164f2faf7dc8c2f4bfd5de9e5bf36512f1392fafa18",
      "size": 1767
    },
    "skills/computation-audit/references/runner.md": {
      "sha256": "827341b685b68bdd3d93836d7dae9ab808ea152244d54c6bbd84a2326edba024",
      "size": 6577
    },
    "skills/computation-audit/scripts/run_experiment.py": {
      "sha256": "06b28f46a55327414ebbc202cd4434b22d6b3a2390979ac7ad65f2eae1a2284a",
      "size": 21005
    },
    "skills/computation-audit/scripts/test_experiments.py": {
      "sha256": "8b68caeda18902d59839b78c522e23f4ffcfc697ef85167381c9a4c62494f30e",
      "size": 20610
    },
    "skills/computation-audit/scripts/validate_manifest.py": {
      "sha256": "fda9d340735b02a649038cc9c023da33d049ee1ae69d9c6ab06dd93b4d683e4e",
      "size": 19952
    },
    "skills/literature-check/SKILL.md": {
      "sha256": "7a5e4c6b34be49d566fd3fe8f91968d1cfe3bfcc59f3dd708c4625219313569b",
      "size": 5866
    },
    "skills/literature-check/agents/openai.yaml": {
      "sha256": "a45d4b2c8880a0184799f3e9e0a952c34826067e3ff1e41e6d7ec82a5b6dc41d",
      "size": 265
    },
    "skills/literature-check/evals/evals.json": {
      "sha256": "88804da963c807ad1fdecb23b69311fe2068d7eaade6c4af086bc7d2a4f87565",
      "size": 7704
    },
    "skills/literature-check/evals/trigger-evals.json": {
      "sha256": "2e4ebd126f1795e955572e7fba266c946ec2407ff317bc2a9abb7c0e4bced201",
      "size": 1696
    },
    "skills/literature-check/references/source-cache.md": {
      "sha256": "2df6b9b7766b2d68582c0d269ff6c2a646b3dfe7dede53e31f0c1e3f3ae77048",
      "size": 5302
    },
    "skills/literature-check/references/source-record.md": {
      "sha256": "5c7b8cfa9cd062a51c9bbcd16fcfa78b4923000111d6707b51f0bd7627b9a2b0",
      "size": 1367
    },
    "skills/literature-check/scripts/literature_cache.py": {
      "sha256": "26f96eb348fa675a7e27a0f9c580c53980c739bcc760391ab6e66d847990a63a",
      "size": 34451
    },
    "skills/literature-check/scripts/test_literature_cache.py": {
      "sha256": "e9b89f4dbc98ce8bc65ba00138d6176fcd55a1778dcba199168506f56bc84a0a",
      "size": 19277
    },
    "skills/manuscript-integrate/SKILL.md": {
      "sha256": "af5039110440ac2ccc364635fd76a79fd6f5f4483db46cd69cc015ba3278dd77",
      "size": 5571
    },
    "skills/manuscript-integrate/agents/openai.yaml": {
      "sha256": "3ca61cee233ac4a12e25d7889dc7bd3637d4a7a36e7c2de4f6b4ab236e3cbf5a",
      "size": 282
    },
    "skills/manuscript-integrate/evals/evals.json": {
      "sha256": "f7998a5af96c3f35a5bd9abd4ec0291d11d4df63135a678be170db9665bfa3cf",
      "size": 4345
    },
    "skills/manuscript-integrate/evals/trigger-evals.json": {
      "sha256": "ba7a08430518673e9d1b64601b857cd6642e3c8237622f33d88e6bac33785f22",
      "size": 1004
    },
    "skills/manuscript-integrate/references/integration-checklist.md": {
      "sha256": "541a428afb73878e49ab8b222c413d1c7f9c791b0043c6b3c27fea3e6349e26a",
      "size": 954
    },
    "skills/proof-audit/SKILL.md": {
      "sha256": "f2e689736b611d5f2a4752422ec40095536d2598c1f6b7a7de02e8e903380e48",
      "size": 6598
    },
    "skills/proof-audit/agents/openai.yaml": {
      "sha256": "90ae72484cbe9938d5156dc91e52e5a79fca8979a92d73abae166332cc05c329",
      "size": 254
    },
    "skills/proof-audit/evals/evals.json": {
      "sha256": "107b205dc63e5740d2c2ed28f663904040a33f1c676bc06e28876252706bb5c6",
      "size": 6175
    },
    "skills/proof-audit/evals/trigger-evals.json": {
      "sha256": "6c1844d3f3ec7eb33125ad15c5956d0f354c1293bedf8df4a1e979bc6e2cf385",
      "size": 1433
    },
    "skills/proof-audit/references/obligation-checklists.md": {
      "sha256": "904293ea4f9265ebdfba0c0f8979c49034860b0e89af6d1a63e871485bd7b1cd",
      "size": 2886
    },
    "skills/proofread-math/SKILL.md": {
      "sha256": "9ace712f6f8d9d3e7ccad59e5eb10726ebf65d28aed512d1222dee882b9f9a76",
      "size": 4046
    },
    "skills/proofread-math/agents/openai.yaml": {
      "sha256": "abac94a51ffd2cb65b1f52483e56d4316f948f73309169d711c76434059ae732",
      "size": 275
    },
    "skills/proofread-math/evals/evals.json": {
      "sha256": "f20ec3374b7df27029ab31ca42ef1287305ec68e84fb8f157960ef8005f01197",
      "size": 2966
    },
    "skills/proofread-math/evals/trigger-evals.json": {
      "sha256": "0c7a25cf71cfff280a06389c583d51915cb15ca4f8f2b8d76dfb4015c92f3f0c",
      "size": 1544
    },
    "skills/proofread-math/references/checklist.md": {
      "sha256": "a3dd31d524f8be47f4f38769d5ccc82ba07694d735ee43d8b7996b2054ecd198",
      "size": 1495
    },
    "skills/referee/SKILL.md": {
      "sha256": "aabaf34132e9b92c0456897128b29bf4dae1c0bc8d11c1d39da60a1face44802",
      "size": 8690
    },
    "skills/referee/agents/openai.yaml": {
      "sha256": "c32a9c26e8ed77945ce6ca98cb41ce3522f542495f9bd59b5cf64661c057615f",
      "size": 275
    },
    "skills/referee/evals/evals.json": {
      "sha256": "566c01e10e285315cbfe4a35fd75b28c0e0d1473e9e824e04e9d35ec83480d39",
      "size": 15761
    },
    "skills/referee/evals/trigger-evals.json": {
      "sha256": "956ac4de4813349817f0a7ff2c3d2409bc4ada87e047ae2ac2b63b10dc8b44aa",
      "size": 2633
    },
    "skills/referee/references/final-referee.md": {
      "sha256": "d0fdf800f7dbf077141a381aac65cdd43583b596ff612366e3e309addb4a6fbc",
      "size": 3293
    },
    "skills/referee/references/math-scout-license.txt": {
      "sha256": "f5cbe3f493cb0f981474e0ae52df3733a1988c5604f1c061a510b5a3da6260d7",
      "size": 1080
    },
    "skills/referee/references/model-assignments.md": {
      "sha256": "30211143f779431c7f9da4d1d9179e253ee2fe614bd44027b2b868bef7458d13",
      "size": 5676
    },
    "skills/referee/references/output-contract.md": {
      "sha256": "b28619a165ac58215a3fe4d3dd44dafd6be7e8dd33481859e28d7d10fbc239b8",
      "size": 7411
    },
    "skills/referee/references/preparation.md": {
      "sha256": "c68421fff405be70cc14918b50c89a6548ef4b5ea97fe352e47854f9229a9496",
      "size": 3741
    },
    "skills/referee/references/review-protocol.md": {
      "sha256": "a9ea88eba2049d8c944711d7f777a2874343c3a3edf2663e9e36443976fa6def",
      "size": 6614
    },
    "skills/referee/references/reviewers/adversarial.md": {
      "sha256": "fa07c0c35a6a3c4606e3cad08241195b85d6c53ae4131173386fda8c2e17ed47",
      "size": 1746
    },
    "skills/referee/references/reviewers/claims.md": {
      "sha256": "525767b1fa6cc0cdc709cdf21f55827bcc798ab4762d168afe4b14fe4b855671",
      "size": 2082
    },
    "skills/referee/references/reviewers/correctness.md": {
      "sha256": "1de34877fcf90ae05fac943bdad3e16814f806a774d33e7b24e807019284c66f",
      "size": 1897
    },
    "skills/referee/references/reviewers/exposition.md": {
      "sha256": "cd1eb9d1e9a5057357d21a6afb5ffc51eaa9b896bd7d3d1bcaa1fbae176fc832",
      "size": 1470
    },
    "skills/referee/references/reviewers/notation.md": {
      "sha256": "e7333b5f91872b73610366f8e5cb179811c1d1317831db5d6ad56d1479356f8a",
      "size": 1956
    },
    "skills/referee/scripts/prepare_manuscript.py": {
      "sha256": "ac86d124803dce10f892fa07f8a0860905c0d9f70c8333a2930e5ba8b3630355",
      "size": 33391
    },
    "skills/referee/scripts/test_prepare_manuscript.py": {
      "sha256": "1bf4d830d3a85c8f1dcd939fdbcfd9d3ca1d4efd2d91adcffd64c5e44177f7fa",
      "size": 31860
    },
    "skills/research-attempt/SKILL.md": {
      "sha256": "1cd8218a76ae6571caa33d411ab69ce332a7c0723b592724395ff0453882e0e8",
      "size": 9455
    },
    "skills/research-attempt/agents/openai.yaml": {
      "sha256": "7917b9179371b34df116ecb77ecd24916b562094fe71cf16cead98d784bd14bb",
      "size": 268
    },
    "skills/research-attempt/evals/evals.json": {
      "sha256": "0f28165e49c3ae9d93cf8aac9e7ec58072fab43e5d3fcca755f7500daef1dca0",
      "size": 12029
    },
    "skills/research-attempt/evals/trigger-evals.json": {
      "sha256": "9e14ba5f1e3a0c1826115aa9c601c652f92deb4a52aeaf62a280e70c0979e5fb",
      "size": 2454
    },
    "skills/research-attempt/references/evidence-model.md": {
      "sha256": "5c2b40cc99edc9b87a6b730a37605995e78368978c4f8b8d37a2897911c6eea5",
      "size": 2589
    },
    "skills/research-attempt/references/project-context.md": {
      "sha256": "b1a385d0e4105550ec93e7b913af7a05ec278292461f2eed62545313734fa68c",
      "size": 1175
    },
    "skills/research-attempt/references/route-card.md": {
      "sha256": "ce3646011b6d4b36a61af529153313ea4d1e292c37a29474c285184917939f4d",
      "size": 2944
    },
    "skills/research-attempt/references/structural-moves.md": {
      "sha256": "7e567cf31e8a73a3484f42678cebcb31b176cd74a6cf4fa27a60d98dcca238af",
      "size": 2543
    },
    "skills/research-init/SKILL.md": {
      "sha256": "af3aef9edb330cb071eb87e5a5f7458d3e4320c96ec7d9c91c57c3994f01682f",
      "size": 9687
    },
    "skills/research-init/agents/openai.yaml": {
      "sha256": "2b0a0ee7bc50970c17823a40252af0657ef09de2ecce6d62aad5866aa19a3322",
      "size": 274
    },
    "skills/research-init/assets/AGENTS.template.md": {
      "sha256": "c23572fc2a7ec221c400d9c911927c58dd897662fbaa33aa375e95d4f6a22fe5",
      "size": 4126
    },
    "skills/research-init/assets/CLAUDE.template.md": {
      "sha256": "1c0ecbb14b1b6861e9df517c4c772881edc533990046604099c3efea7e9e5114",
      "size": 89
    },
    "skills/research-init/assets/CONVENTIONS.template.md": {
      "sha256": "701ef1a2fe2b68fbc729b9452d954a4d98281c0bbd8bd5c67e5a4d18e3da37c0",
      "size": 265
    },
    "skills/research-init/assets/LITERATURE.template.md": {
      "sha256": "e9024892bd5125033e60d32b17d61a2e4e715b3dea62a414bca54497260c189a",
      "size": 512
    },
    "skills/research-init/assets/PROJECT_CHARTER.template.md": {
      "sha256": "f368729a2688c2be7f6b688033de2eccedb664ca509dba0272bdca9647492509",
      "size": 1087
    },
    "skills/research-init/assets/PROOF_OBLIGATIONS.template.md": {
      "sha256": "8160c88f9d30ed80bd78631f9bcb5accd0b82d291843575ebacae3e2aa66bacc",
      "size": 195
    },
    "skills/research-init/assets/RESEARCH_LOG.template.md": {
      "sha256": "50e269bf666c392b538413e41d5accbc8172ca7279e66f996f4b399c1172a512",
      "size": 1178
    },
    "skills/research-init/assets/RESEARCH_STATUS.template.md": {
      "sha256": "a33ff4d337ba7215530b82e8f36f54e1abf0a9a7fcfaba31af59aae28a7da7a7",
      "size": 586
    },
    "skills/research-init/assets/VERIFICATION.template.md": {
      "sha256": "aee71255e41ad923a71d9b2e5352a81f1e775dffef7d23d55c8cd2e17f366501",
      "size": 335
    },
    "skills/research-init/evals/evals.json": {
      "sha256": "5493a73a7d7819955d828a87e63cefeee7c854b560d9d66fe89a79b82f88bca8",
      "size": 13837
    },
    "skills/research-init/evals/trigger-evals.json": {
      "sha256": "8bd2c9259f3c8dc37718eb8aa4a88b0aaad2c8b824b1ccc1261cf34548b68d0d",
      "size": 2561
    },
    "skills/research-init/references/existing-repo-migration.md": {
      "sha256": "9f4c9bec28f33f138308293176b9f9a129b0a99b1e07fbd940c0a476d47a66b9",
      "size": 10024
    },
    "skills/research-init/references/interview.md": {
      "sha256": "867e8dfaf2670aa4631380edd6bc5e4d63a0a5c42f253a3ca5fc03ef819db51c",
      "size": 3576
    },
    "skills/research-init/references/output-contract.md": {
      "sha256": "8b1e5c3b9881ed4f820d582a0ec7decd33f7be0ecb1dfa75f74e50b1924c90ac",
      "size": 6389
    },
    "skills/research-init/references/skill-layer.md": {
      "sha256": "c4e9ce5c3cc19c8bf208febd3cd33e71cf4458e489ee217b29adf8ddef8d81f3",
      "size": 1175
    },
    "skills/research-init/scripts/inspect_repo.py": {
      "sha256": "e563270979a8e2dfb71645dd41d24a4b9fcdc7276423dc98b7fb659c040c5159",
      "size": 39041
    },
    "skills/research-init/scripts/test_inspect_repo.py": {
      "sha256": "271d48264d868639929f9bde3805ebd52dc618d17af9e9ddf4bc892b44ea385e",
      "size": 15108
    },
    "skills/research-program/SKILL.md": {
      "sha256": "cb18d623b18ed1ec915885381382157a40d6b687397e10b3e4577b07fe45dfb4",
      "size": 9886
    },
    "skills/research-program/agents/openai.yaml": {
      "sha256": "6ae25e0ad9b62cad729e0010c0d0e72cb42019b75c4e425f59634299be47f268",
      "size": 328
    },
    "skills/research-program/assets/program-closeout.template.md": {
      "sha256": "fe6e57485bfef1a40fe4aea83762b9b92c0af0154e7532db7a5601b03db10df2",
      "size": 1400
    },
    "skills/research-program/evals/evals.json": {
      "sha256": "849abb91c27d03477d8211cadf6fc2f333cd38cf5085c1cb500d9d185d0a7b4d",
      "size": 13824
    },
    "skills/research-program/evals/trigger-evals.json": {
      "sha256": "76162efe0638a42f6175e32cea46b8880f2366f1aac0bcee9c7892b0a34a139d",
      "size": 2169
    },
    "skills/research-program/references/handoff.md": {
      "sha256": "59b3c829230b91644ade151ea69bd27505144be04c32a1c1a51f271d73d2af0a",
      "size": 2103
    },
    "skills/research-program/references/program-closeout.md": {
      "sha256": "7e0495de97d8aceeef44117691fdb8e1e9dffff4f9f9018f6b7cac314a9340f0",
      "size": 6477
    },
    "skills/research-program/references/program-protocol.md": {
      "sha256": "e31f8e28334cb3c6329ed6f3da1d45c334f25d98c9c9a7611e33e5556832d77f",
      "size": 3922
    },
    "skills/research-retrospective/SKILL.md": {
      "sha256": "4f4a6052a485f7e1f0c9400b2c9dca2f43bfd7067bc0bdec172ef73539d5cfd9",
      "size": 6516
    },
    "skills/research-retrospective/agents/openai.yaml": {
      "sha256": "368021a8e4c1075c4048ac6f0cfc4073772da3c999fee716d35caf0561d52733",
      "size": 305
    },
    "skills/research-retrospective/evals/evals.json": {
      "sha256": "fcb38bb3c6a297d2467a243b3bb1ee54f69403eb3c03f8581c0093fe7aa0f1d7",
      "size": 6573
    },
    "skills/research-retrospective/evals/trigger-evals.json": {
      "sha256": "bf41ecc14ce13fa770cbd0fc5b40546af26425f0a33ef289348a414c8be23579",
      "size": 1461
    },
    "skills/research-state/SKILL.md": {
      "sha256": "fc4f4707fe126911116d1311445a22083dc8d2b2691c8f4fa60e1b8562abf2f5",
      "size": 8233
    },
    "skills/research-state/agents/openai.yaml": {
      "sha256": "39ddc074c720224864dc3b706f4aa9e1090e818915e18497d84f0d0a74d1b6ea",
      "size": 323
    },
    "skills/research-state/evals/evals.json": {
      "sha256": "1d7690b7cb34938eac1ab893c53a7acc6b49f53d0d4eab243c0c89c032f7611c",
      "size": 16031
    },
    "skills/research-state/evals/trigger-evals.json": {
      "sha256": "5e1861356d37a34e151c0ce7db745e82ee0d94c46e34bcbbc2607a8a2ea67bb8",
      "size": 2462
    },
    "skills/research-state/references/deferred-packet.md": {
      "sha256": "fd5ea28b78c6b921b5e6ff87e77d47c6fb7c939dbc39f9480ab00900a823145c",
      "size": 6691
    },
    "skills/research-state/references/executions.md": {
      "sha256": "d942a06163936cf1ce2d6bf2ae04d85c7915db1cb2dde41b3a9afd8d7cc79375",
      "size": 5286
    },
    "skills/research-state/references/ledger.md": {
      "sha256": "14962d7851a1b739e622b2a09e24a9abdeccb7db88c1b8b692edae75769f38f1",
      "size": 17889
    },
    "skills/research-state/references/migration.md": {
      "sha256": "c9c5bea0df56bb71a25b1b874c5744b9f51d42c4571cb734683699a80bdc1f2d",
      "size": 2142
    },
    "skills/research-state/scripts/research_state.py": {
      "sha256": "c7a1d1c301f689109bc3525c91ca7af020ca84a512a49ef1fcfa4ebef3d0717f",
      "size": 82844
    },
    "skills/research-state/scripts/test_research_state.py": {
      "sha256": "4f1b07e51ff99763deae050c4305e447b888c53dc240467f6ab930865be92a7a",
      "size": 75371
    }
  }
}