{
  "compiled_graph_scope": "recorded source-bound proof-body occurrences and whitelisted unexpanded-statement profiles; fresh replay is separate, not full closure, binder-role analysis or mathematical necessity",
  "cores": 29,
  "difficulty_calibration": "author-assigned; not empirically calibrated",
  "editorial_accepted_cores": 29,
  "editorial_accepted_graph_tasks": 7,
  "editorial_admitted_numbered_exercises": 1,
  "editorial_review_complete_for_current_mathematical_cores": true,
  "files": {
    "ECOSYSTEM.md": "f8e42349cb832dc49fba18282776d25380bc908bc71556d4819a3463a4c65fef",
    "EVALUATION.md": "31c706cebd5e792483d764060b9f51847fbbab667827559c58562de3f26a1da9",
    "GOAL.md": "8c296880bfe3a24cc11a9c916477436e4fe780c51b1f08f9fd7e0f4c171ac007",
    "HARBOR.md": "199f485d0a17168fca8e6b066d0084c7089438a199691e7e3f96cf4f24b6710a",
    "LICENSE": "cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30",
    "LICENSE_SCOPE.md": "978f0a9d7d9d11471ed50af4ae184e7713cebc0c22e5ccf66a08cef9058b8102",
    "NOTICE": "fb9f1c98a807685ac40a12e191efaae81ec8126a7b03f3a1ce47c0bfc4785cb8",
    "NOTICE.md": "48c26ea187e86c05e44c7fa00e20ca597864598aaa3ca712e1de1d3e66d119ef",
    "README.md": "b5750fa6a8810bb62e973276a8e6191304be5077799923497779231dc31d2d96",
    "TEXTBOOK_EXERCISES.md": "5e2c1b140fb4a05313fb689d8774013fdc7bf9a297853d4aa9ea74aae23cff4b",
    "agent-tasks.zip": "a912c14b2a17ac85b4c3cc5a051377a393a8968aca2c2aa190c25941d310cf84",
    "compiled-flow-graph.json": "c40480f0760e7fc74c6473d57fe2ca1596777501f6c757c93398f0f316d729e1",
    "compiled-transport-graph.json": "5acc8ce2fd312ac2bff83b8a593893fa4e29177f1f07d4686967705113ca9004",
    "coverage.json": "da358821109cff5b1360f1a9104161b8acaddc30255861a48e53cc53a5153405",
    "curriculum.json": "c6abe2a9888105d423fa5c03fee06a1f492911166495d26afc158356f93ad2ac",
    "editorial-review.json": "1cfc283590d6ea47c15ff3173ca8efc3ee418500f20f545ad33e360ef2d9c52d",
    "examples/graph-run.json": "0840c49fd318df1efc8605a7b8bb3465e5fa5d6dda81de220344b97537b432b2",
    "examples/prose-run.json": "0f669d5c9cb6e34472c5bb8b59cdba428d43a3a1984591d0b2d0788677600731",
    "expert-graph-positions.json": "527f7977c7f2300e229e80aa85e1b42aaf4ff014cce221a46167db9055c74abe",
    "graph-editorial-review.json": "9e79e0d290a8433e9780d62f4364ea5e6f7e483d1d0cbaa6dc1df6cf0a076946",
    "graph-questions.jsonl": "6e0357acb008d9a2809d67de7f9bffe96497c9da1f3c688bde7b3002030281c7",
    "graph-reference.jsonl": "dd3d8c01347f25ae1856ab74ca0e0658a56d9c15d423c54a182e4b1a4bb931fe",
    "harbor-graph-tasks.zip": "83eafcbfb22b98c6c8a464db9d94e442bdbf7673ae0e98daee95cfc54065ed95",
    "lean/sogb-001-reference.lean": "9be233463e483f566b3e11c6c21564babe245c47a383f7d5d18430a6d147b397",
    "lean/sogb-001-task.lean.txt": "5e7dbf2e385aacc88a951fa9ee21f525800d5717d7680f75dfe5ca9985104e1a",
    "lean/sogb-002-reference.lean": "daa9e502c20d31cffc967918741929a8ab63c6cd380e4539b410a3e15d5c06bf",
    "lean/sogb-002-task.lean.txt": "35edd213a2e06cbc75a1b6037d757c47c9f8e28ce008f97f0a7040f2eebc0198",
    "lean/sogb-003-reference.lean": "a36f4ae7dbd706a68e1094250644b820d35e4840cb390d9b5e89b3b591e5a054",
    "lean/sogb-003-task.lean.txt": "06a0db439c7522ff943a2508b20c9acba96b93639b60fa8da6bb7cb178b564bc",
    "lean/sogb-015-reference.lean": "68301ff29f1831ec0038045ce9c76d902230bf11c22be5b78cbd2a3ab1637140",
    "lean/sogb-015-task.lean.txt": "fcbf44baa1598d3ba442d4af3018a4b09dd397a07e53fb593e4fc019d60154c0",
    "lean/sogb-016-reference.lean": "827429849da4e7f1f5f6948a251fed276b2ebd30fcfa140f0799a873006b6118",
    "lean/sogb-016-task.lean.txt": "0d2fa457ad7cd531c1e509f5dcacb5fcf460d053d78a27a2770ed083a5a61eb8",
    "lean/sogb-017-reference.lean": "b35bba7472802daf38c75dfafab2d950b3a12fe343741b977e0515425b9d6bf8",
    "lean/sogb-017-task.lean.txt": "74ecb641332abda181bb4e98732a91592007ba42aaa0eff7e5129a66f5a3287d",
    "lean/sogb-018-reference.lean": "31abc3c75a1995539e23c0db491c66a0ae87a001d9d1ce662d9b1ea199285e7a",
    "lean/sogb-018-task.lean.txt": "e22cf40bb4202b23434446734963a462faff770299e785ddc425a3d1c311ff70",
    "lean/sogb-019-reference.lean": "481e5ed987a5d593c3584bf8a5769b28ddf75eb3cb13119379ebe04978c162dd",
    "lean/sogb-019-task.lean.txt": "ae7562077af24ce893d13bfeeb0131e13f059c6ca513c7889132b1975d72e4a0",
    "lean/sogb-020-support.lean": "0913d624dae26a627474f56dc2d0e394af2cf059b8237ee3ee5db8833035683f",
    "lean/sogb-021-reference.lean": "2396a0a5ea9c49d48720727fc0e64d7e172b0a06138039595b2a56aaed617d4b",
    "lean/sogb-021-task.lean.txt": "c37295659fbce3cb80a0a0c3cadc451f1fafd4ccc53488aa0bbc6e82645ef877",
    "lean/sogb-022-reference.lean": "a1e6f6e77deb4c4487a2c853e5dc4e92ed1432cae9c634d9de1410649d133412",
    "lean/sogb-022-task.lean.txt": "b10b18a9ef2b88669ce66960bc91b696f1b44fa3f510ed0cfbd6a62ae06e3dd0",
    "lean/sogb-023-reference.lean": "658b5e1cdbb55a8dc6f2d56c9fe7ded85d96fc63503ae614af1cda5c0da5e52e",
    "lean/sogb-023-task.lean.txt": "90524fc0841193fdcb03ec7adbdc019c22670d44bc0f9ff0fab7e6e062c8e715",
    "lean/sogb-024-support.lean": "9f5a28c56daeafdfd141d4f66411ff10e0276b4b0ca8ff34e1e98a679097577b",
    "lean/sogb-025-reference.lean": "9afede2ab752ac4cebc46582dbcbe50f40355e6d3880ba8bafdf71b30b2fd188",
    "lean/sogb-025-task.lean.txt": "b7129276fba2d3a1dd5a6e0962793ebcef2293b1f43accc4d49ae0abfe7aebdc",
    "lean/sogb-026-support.lean": "2ee3ea7afbedde94d75b1056226baaf6171f330b582949b89a8ccbff90b915f2",
    "lean/sogb-027-support.lean": "eb2cab559551d03001cf9f6679ce69864a974d317316f80a870203ed120a46c0",
    "lean/sogb-028-reference.lean": "3f604744845e750e9b3b7749bbd93529adfc4a1e0382090f2553dbb52dc1a68a",
    "lean/sogb-028-task.lean.txt": "4b7a02c9910ff5af17f79d36158e10f66825ab63c0e0114cc21014017741a0b9",
    "lean/sogb-029-support.lean": "856f336591e9cd23a69b827d5c438ec70628e530974c4b63981e6b13cd77dc83",
    "questions.jsonl": "83cfdedda86e224b75e07293081038357773282e303c8a13b9e00c141bf7df8e",
    "reference.jsonl": "066b957b69efd2f2e4781d3e19a69a80998e6f5d5d5bb88cd13beb2f84ccdcbe",
    "reviewed-graph-questions.jsonl": "6e0357acb008d9a2809d67de7f9bffe96497c9da1f3c688bde7b3002030281c7",
    "reviewed-graph-reference.jsonl": "dd3d8c01347f25ae1856ab74ca0e0658a56d9c15d423c54a182e4b1a4bb931fe",
    "reviewed-questions.jsonl": "83cfdedda86e224b75e07293081038357773282e303c8a13b9e00c141bf7df8e",
    "reviewed-reference.jsonl": "066b957b69efd2f2e4781d3e19a69a80998e6f5d5d5bb88cd13beb2f84ccdcbe",
    "task-files.sha256.json": "f83c709ea6179b208d92d2bc47d9ff79b5675cf97d31a9d8787b7a511f05dbce",
    "task-index.json": "7cea91f97870d4822441b25e097605d2285dc8fba163564537052bc25a075f36",
    "tasks/sogb-001/lean/instruction.md": "343c90f2f95f1c4152b83fb28d06a2f7e12bb8004669cc708835ca7f110ac2b9",
    "tasks/sogb-001/lean/prompt.json": "a4210501263ce77631d8fd09913334080316bdc39d81b845c986bdbe2891396c",
    "tasks/sogb-001/lean/response-template.json": "9fad636ba33a6f02f5dc1d54b49dd1727a686ec341804e723d9bb16213262c93",
    "tasks/sogb-001/lean/task.json": "db7c8a5f6af2a32aa3ab13b2376eea85ab134bffc64919d217b87f32b422d0eb",
    "tasks/sogb-001/natural-language/instruction.md": "343c90f2f95f1c4152b83fb28d06a2f7e12bb8004669cc708835ca7f110ac2b9",
    "tasks/sogb-001/natural-language/prompt.json": "f9823ae9d8110082a2c253c15b81fc7cdc76dcbab60344db1eb4647aaf9e811d",
    "tasks/sogb-001/natural-language/response-template.json": "0620808acf618dfb66994376f65a6354e43f760cf14cc5e7664f3fd633bb96b9",
    "tasks/sogb-001/natural-language/task.json": "9c39aab7c6e0d75d33c8b3e2edc252493554ed5a775662a422a4bf10cb0de181",
    "tasks/sogb-002/lean/instruction.md": "dafa946c4b9fdeb4edb6b8e7cbd66e44ac4e11df633d1c5b938dc3aa938fc4d0",
    "tasks/sogb-002/lean/prompt.json": "2db01df66779e93cac68ecc68ce380be8f867bcc4faa25c998fbc6539d8e833d",
    "tasks/sogb-002/lean/response-template.json": "d7beff40c147e2ffcef8132bc1e85a95fd3d9853bdab766f91bf4f695912e147",
    "tasks/sogb-002/lean/task.json": "4d3948ed213150be48d1a59091f2c2c69dc74b2716631d9b0ced1318e055c446",
    "tasks/sogb-002/natural-language/instruction.md": "dafa946c4b9fdeb4edb6b8e7cbd66e44ac4e11df633d1c5b938dc3aa938fc4d0",
    "tasks/sogb-002/natural-language/prompt.json": "c787af1fe3844d9d43600e9790892a6a6a369208f6219847574c7a1511d8fa66",
    "tasks/sogb-002/natural-language/response-template.json": "613e779d9529b5adde5772346f851ddda8db9be7b2b08a0bfce354533ae26393",
    "tasks/sogb-002/natural-language/task.json": "cd15cac534276e635340dcde7e9a739bb6050349ffd4f3bfe33c7eeb968f1735",
    "tasks/sogb-003/lean/instruction.md": "0d288cb8bf5d43bbab537938d158193e7dc2cc6619b3e5590d9ec467a4cc2a57",
    "tasks/sogb-003/lean/prompt.json": "69b6183754860aa912c4e05fe514f8c6907e4d42a2af22eb38cee29c1206c2d5",
    "tasks/sogb-003/lean/response-template.json": "408a9cb68612e9c727e1ee6954919324a628c56fa2db67c9bf3b4ee571e00cc6",
    "tasks/sogb-003/lean/task.json": "19984d84f72b59bafda340ec3469aeae907febca97f0d56983b17034f706c3dd",
    "tasks/sogb-003/natural-language/instruction.md": "0d288cb8bf5d43bbab537938d158193e7dc2cc6619b3e5590d9ec467a4cc2a57",
    "tasks/sogb-003/natural-language/prompt.json": "01d69a5e08d28afe0e4c69bfd0ce82052223abb3e094ebf7a3aa4bf7d6251e15",
    "tasks/sogb-003/natural-language/response-template.json": "7fb5bffc371a34275afa32bc1516937d89b39f94d28234b84453859b39785b9f",
    "tasks/sogb-003/natural-language/task.json": "1db53d8079985f8c2b87c1e9c7d506bc8959d7f628d1c23dee3ee1a6546c5f0d",
    "tasks/sogb-004/natural-language/instruction.md": "55fea50627d03aa9d8efd0e40df9ce0c5e43c3d621dfa6cd9500169614f1d5a8",
    "tasks/sogb-004/natural-language/prompt.json": "c6469ceb3cdfbd13d847df6785c1391129a2ca2b4b72c9d545d5f720e0535bdd",
    "tasks/sogb-004/natural-language/response-template.json": "308d500d89d4d8eddc9d75b7dce0656239291b8140cef76af855d38ef03a71d7",
    "tasks/sogb-004/natural-language/task.json": "e602c92cf96bf4125a9f6f42e65c9bca67b171055ff17356908c3226206ac81b",
    "tasks/sogb-005/natural-language/instruction.md": "b350b36ffdd9aa24a8304a65d12563408183d0e572a5bfc7641cc6b0210dba88",
    "tasks/sogb-005/natural-language/prompt.json": "b71aaaca94d1f6523d1cb5b45768ecf740e0781a61f03364f0bcae7659fe2aad",
    "tasks/sogb-005/natural-language/response-template.json": "126c84721c5a1da17dc7ce649ac219e91440c4cf2d3c9ec234d42f9a42db72ba",
    "tasks/sogb-005/natural-language/task.json": "69ce8dc339f85ea65452d11f0f91f4526c735abfac4ce57e4396760dbc95edbf",
    "tasks/sogb-006/natural-language/instruction.md": "86937e4cb908193767b69124005c9a57cbcbf6216bce73f7c53856bcbe87af78",
    "tasks/sogb-006/natural-language/prompt.json": "8bf0b1327c25b28b9778ee25cf0d6f98ab8b62d852e11022df003c00f8bfe4b7",
    "tasks/sogb-006/natural-language/response-template.json": "5a32cdda2a16e29891c13bbf078d84a80584a8532c725ecc83bc04493779d828",
    "tasks/sogb-006/natural-language/task.json": "5c2f9e7939d087ca0d3d90f99b87f0d78e24320266142b17ab19a66086fe8650",
    "tasks/sogb-007/natural-language/instruction.md": "bb5f7f5f12d2cda32c69a86033d4d53e66dac8d15c65657c1258939b764dfad9",
    "tasks/sogb-007/natural-language/prompt.json": "fd52aadff3445925ae3d56e42309312e930b33786d5ff3c5db1d9487bf79da4e",
    "tasks/sogb-007/natural-language/response-template.json": "63180de595880c5e48ff5cdeb62b148157a4c7315212b7e5428f20e38b931087",
    "tasks/sogb-007/natural-language/task.json": "16b4e856c0cce6372359235db01686c22480df64db54b247317bde8ff233c616",
    "tasks/sogb-008/natural-language/instruction.md": "13a7dfa6530e46e5a7c3c76155888fe2c8c0ad7e80f8e11ca10faf677d3af121",
    "tasks/sogb-008/natural-language/prompt.json": "9995c56c998b439d2d2ec8fcac82b59733c0b5d3d2b2558af07191e661be6ed2",
    "tasks/sogb-008/natural-language/response-template.json": "f445d0f5d72253c63808ab65a0ad938d4e63015dbd13aa31d18d3baf2e93b58e",
    "tasks/sogb-008/natural-language/task.json": "2540a018962c53d320c4b50347771a8870a9b6983c309b834069739b784bce7f",
    "tasks/sogb-009/natural-language/instruction.md": "64a3ae4ff44b5531c3b8d7c72bb7eb68bd329f1189cdf9460a89e0b38ba164c0",
    "tasks/sogb-009/natural-language/prompt.json": "c76de571c5800535f9163d97406f0a55237f8bd3050d906c902f9e17ff26981b",
    "tasks/sogb-009/natural-language/response-template.json": "73b1a3e338952ba420fe76d5e476d3648477187730df28cccceab7e90617a222",
    "tasks/sogb-009/natural-language/task.json": "9b89f09122e2b489bca08b74a977579c0df3f858b2a8d60a2c3a2e4faff1e811",
    "tasks/sogb-010/natural-language/instruction.md": "cc9f16005cd8e8e459ffdcc537e7ee00dabba436b3c84589b1ea8635ac45d162",
    "tasks/sogb-010/natural-language/prompt.json": "2f2d4dd9717f7b258741d36cef6b79f56b475dcbbfbc0b21f20f4ea200d139b9",
    "tasks/sogb-010/natural-language/response-template.json": "b6a70b3eaab1d90aae8392d0725cfc5797b4a8f567315749ccf014ac3712d9a5",
    "tasks/sogb-010/natural-language/task.json": "8e711ead5ceadbbb3f5b031e1adac21fc040adae92e23c044c24f683304bc21e",
    "tasks/sogb-011/natural-language/instruction.md": "b41f2c5e0ac2af1178c5f436c063fad41b403d89e83b437c4fbf4b0bca73416f",
    "tasks/sogb-011/natural-language/prompt.json": "d867ee0f40295e7a3e13d3b5619c050367d383589ae6952116f974649425227d",
    "tasks/sogb-011/natural-language/response-template.json": "1fe15116a8304515a0f942d66e9bf07817844ce2246b3a26ea40bc7bdb039390",
    "tasks/sogb-011/natural-language/task.json": "a29094a646f14f486d909be74390b27e7aaa98d39a104e1d963278106b2037ac",
    "tasks/sogb-012/natural-language/instruction.md": "afe59397c587f9daca60842dfe9ca83eabc267c4ecf0630f63f58a561bfc4e34",
    "tasks/sogb-012/natural-language/prompt.json": "85d5f50fcf821de9b3f285a9e0182393431f3515aaa7a052f449df199fe695f6",
    "tasks/sogb-012/natural-language/response-template.json": "58c0b14f81809c587312b318d6357b8f4f2a9b09d9a1178d3851caf387f7aa6a",
    "tasks/sogb-012/natural-language/task.json": "79bc70241ed3add91360e3cdd3066bcb5f16aa5b2490981953e477af8dbb7a70",
    "tasks/sogb-013/natural-language/instruction.md": "e8ff73f225f47010d3f539047e6db734fe7d247fa8d378e7f982213401c3684f",
    "tasks/sogb-013/natural-language/prompt.json": "28dcd09710ab801258858f41f6747787b3f533e88b413a74436880751690a912",
    "tasks/sogb-013/natural-language/response-template.json": "b70cfd0aa56733aa5ba57a07c5e3b45552c56a7d0e8f9dbf237ceaeaf2614f91",
    "tasks/sogb-013/natural-language/task.json": "fbf6dd4fe5ac9dc0cd47626a585b2da89692737000332797a581c2665e5f9d98",
    "tasks/sogb-014/natural-language/instruction.md": "8dcd43c126a16f46f09e572794c601d8b8d88e8a6f357f2f34516de2033d4993",
    "tasks/sogb-014/natural-language/prompt.json": "21fc87ea48c9978d918c77dc4df921d15239e817396603ac2d692b6254af32f3",
    "tasks/sogb-014/natural-language/response-template.json": "83952c51784f3f8248cc928989394a490fdc0530b4210e7c3528e040dce3f161",
    "tasks/sogb-014/natural-language/task.json": "86a5422808ad71054d7c5bf0f92028dd7c22d93e30ccc50615c520439d333d52",
    "tasks/sogb-015/lean/instruction.md": "2db6ebed5298daa94685d85bdd2dd8572af9e043d75659a64fee051475b8b9a9",
    "tasks/sogb-015/lean/prompt.json": "b2fdb3ee280727f501b077532b4e7111ddcc53a753e80ecf346233eade6c23a0",
    "tasks/sogb-015/lean/response-template.json": "10b048c39a46adfd443332f62e2da611550c3c37201fcb73c9ce0a1f449b38fd",
    "tasks/sogb-015/lean/task.json": "800a13c1bc75592273bec98148d86075acdf518cb996a3611962ec3ba33e1a96",
    "tasks/sogb-015/natural-language/instruction.md": "2db6ebed5298daa94685d85bdd2dd8572af9e043d75659a64fee051475b8b9a9",
    "tasks/sogb-015/natural-language/prompt.json": "52acc1b9e9508b14f8c5cbbcf3016678e9b015f4a07759e4fa6e27f69d57b08e",
    "tasks/sogb-015/natural-language/response-template.json": "39c76179af21d401eaaa04c388e3cf18d39e80ac83f02053aaa2854701da0de8",
    "tasks/sogb-015/natural-language/task.json": "e6bed4e14c638e516fc06e4e5330d0fc34a24da85b79134d0b24e93f414dbd32",
    "tasks/sogb-016/lean/instruction.md": "049dd965e8463069f85f8f85f9265b1a2205438121120a13b1cb2dde938f988e",
    "tasks/sogb-016/lean/prompt.json": "e0b59ba92e59ff96da913e12f57c10189fe87fb4b43716c2c54c220f2373c633",
    "tasks/sogb-016/lean/response-template.json": "0f6348cac726accfb5302e2788cdfadd8503de5baa4dcb8a8778f9825e310c3a",
    "tasks/sogb-016/lean/task.json": "86f13ba754e9d503b7fff19952b4fca2bdaafa6cabc63b8546108a919e2164c4",
    "tasks/sogb-016/natural-language/instruction.md": "049dd965e8463069f85f8f85f9265b1a2205438121120a13b1cb2dde938f988e",
    "tasks/sogb-016/natural-language/prompt.json": "6daa4c2066231e557a94c6114138e0dd9794404da17d9f4f22f7d5cc73c28fe9",
    "tasks/sogb-016/natural-language/response-template.json": "86d567fec37fa7dc980a0d01c33f431ca82b4e37ea92dda4f1f39bece9ed3fb0",
    "tasks/sogb-016/natural-language/task.json": "38df5201c5942b6826195bfbc5da86eba04b9ef67e4e0e24f1d02ce039456d9f",
    "tasks/sogb-017/lean/instruction.md": "1cc159f1a178ece89bfd0847c7bf07c8584cd93a010182627213de23725cf67c",
    "tasks/sogb-017/lean/prompt.json": "68ca0a1dd2156ff4da366d581e9fb1653f97e8fe1518ef9fca49f1a66e5a7e7e",
    "tasks/sogb-017/lean/response-template.json": "5562a1274c76e20f0330183c2b46e67d0b3314e8fa39bc56a1f3d3c79ac0b872",
    "tasks/sogb-017/lean/task.json": "acb62d7c60564e3ae2340bed69de881989cc338c6c4e8c5081ea9180e9759de0",
    "tasks/sogb-017/natural-language/instruction.md": "1cc159f1a178ece89bfd0847c7bf07c8584cd93a010182627213de23725cf67c",
    "tasks/sogb-017/natural-language/prompt.json": "56a17a1490db941c5b5869c8ecbe2023d27961622f6f6a9095259781d504a372",
    "tasks/sogb-017/natural-language/response-template.json": "b4d4eb9ad6c9793a2157556890d387ba6b8ed83b43a0aa7208a268269d74538a",
    "tasks/sogb-017/natural-language/task.json": "14084afd67802a43a335f425b53916bb25c658505691c22732ed2270c9cda98d",
    "tasks/sogb-018/lean/instruction.md": "4419bbe3f5c9d51b8332649e87d8db427cc18fc0ebcf06eaaf0110e113a62fe0",
    "tasks/sogb-018/lean/prompt.json": "52fe3e7c7e0c40937a89c130c44328b691bfb433a450e683ebd01e7b7b28df50",
    "tasks/sogb-018/lean/response-template.json": "01a570ed6c0d25daadc5f5db4fe6fcffe57701f79da81f76887abeecec0c244b",
    "tasks/sogb-018/lean/task.json": "ed3aeaf99a5260f972ea6fd0486a3c3ea6a74a1ce7480a410cb4f98d1a36c61c",
    "tasks/sogb-018/natural-language/instruction.md": "4419bbe3f5c9d51b8332649e87d8db427cc18fc0ebcf06eaaf0110e113a62fe0",
    "tasks/sogb-018/natural-language/prompt.json": "29c67f7899570b8adccabd6d2b9e4884eebca45333c8e777a2f81242a4c29ce4",
    "tasks/sogb-018/natural-language/response-template.json": "06e1402f1d05a1411f333ed60c32f4e7b853acd11c7950cd7417acda0de752a0",
    "tasks/sogb-018/natural-language/task.json": "a4d8de62267315ce72a4649ce15917df02a7696a55e2863081d07799461f4914",
    "tasks/sogb-019/lean/instruction.md": "3333cb66901d9d56a5d86a7da2beb2a596ae0369ccbb2feac0a0fff0730ee8f3",
    "tasks/sogb-019/lean/prompt.json": "db1cf1def7523114eccc49f67c54cf1fa84ad8e1487d2e6073502efbafe8d162",
    "tasks/sogb-019/lean/response-template.json": "2fa8f7787bf0eebfab816a9ed6d6ecefbc39235ab37c01130d217ec1faa6a8e6",
    "tasks/sogb-019/lean/task.json": "6156ba0a08bcd22e6e38c96b418fbe745f947dbfa824af148d53e3e3f2de86d8",
    "tasks/sogb-019/natural-language/instruction.md": "3333cb66901d9d56a5d86a7da2beb2a596ae0369ccbb2feac0a0fff0730ee8f3",
    "tasks/sogb-019/natural-language/prompt.json": "c4054e7be51fb1c5c98577dbab9f38f1a9f8e5888e61620ceee63a2c8f630595",
    "tasks/sogb-019/natural-language/response-template.json": "851536691be4ed183c956b228cb54ca29480d5c1c51c8eb1f2944a1c3bb2d080",
    "tasks/sogb-019/natural-language/task.json": "1085953c675a3bc87c6c6020c027f7b29e13fbd4ffd5f3433ad672ee293ff592",
    "tasks/sogb-020/natural-language/instruction.md": "790ef013452da10fee0dfd70bff6ecc364616414d09c2001f9fdfaa797d24fae",
    "tasks/sogb-020/natural-language/prompt.json": "b90c73c162d84221c19c1486899b83544d8f30257d2d26acbfb99407e98be7c8",
    "tasks/sogb-020/natural-language/response-template.json": "4a3c71807001c74ed3411c4339cac5660c2edd647662f217fa613e57d29d7278",
    "tasks/sogb-020/natural-language/task.json": "2e94c2f30bf9cc4138353f3a69974beb7d348d1663f2704fe68b0b190f8d9c08",
    "tasks/sogb-021/lean/instruction.md": "91d6300cf755aba1e36b12708678a312226964199ae602e85b72b8d2cedaab76",
    "tasks/sogb-021/lean/prompt.json": "6e313a7a22be6373234ddfd3d198ee340489a591a6a72cfc4cc879da2fd74691",
    "tasks/sogb-021/lean/response-template.json": "22cc4cab8d77d54f08ce8603c08432f9834736dfdebab68abe78ac5eb0cf893d",
    "tasks/sogb-021/lean/task.json": "ef656715e75cf27a902de0b534c762608b37360d7b8d564d41bf6fd07f8e1f6b",
    "tasks/sogb-021/natural-language/instruction.md": "91d6300cf755aba1e36b12708678a312226964199ae602e85b72b8d2cedaab76",
    "tasks/sogb-021/natural-language/prompt.json": "6021d346eebb38ba56ceb553053742ad02a4e1bb58ed883b369b8d4884f7abbc",
    "tasks/sogb-021/natural-language/response-template.json": "72b016b2e96e89650cf9c6032fe1ee1bdc39ffe55d5665e1191a559bf34837ec",
    "tasks/sogb-021/natural-language/task.json": "78d768d1cae2b86b58dfe060a51848721478899d97d7a275e850434539c2915e",
    "tasks/sogb-022/lean/instruction.md": "a076fa631f6a30bf23e31d364c41014d0cdd8890fb5861f5d7f777972f7c2b01",
    "tasks/sogb-022/lean/prompt.json": "e220eb5e369fdca3d38f38c4ef6566988893a198c0d2e8537e9c8cab8f55bd54",
    "tasks/sogb-022/lean/response-template.json": "9ee86ec3874cb165253b69c56d47dfe88f08251f8ce5a439d0630f2741d0399b",
    "tasks/sogb-022/lean/task.json": "4ebd6e8d82887f86d70a4206ef25e0349cd3c734e2dfe640f5db19fccfeba783",
    "tasks/sogb-022/natural-language/instruction.md": "a076fa631f6a30bf23e31d364c41014d0cdd8890fb5861f5d7f777972f7c2b01",
    "tasks/sogb-022/natural-language/prompt.json": "b6dc2fa3d4c063e414931ece901146f8d754074b06dad713fbbd0f9c111eac26",
    "tasks/sogb-022/natural-language/response-template.json": "305501dd5dc0afd236d8155f290caa09a0b7ad7aada0a534130b44bdfe372d73",
    "tasks/sogb-022/natural-language/task.json": "a86da82ac5e9bc0b29ff932c30e0ba6a08f557597846849e23031aacc80dd89a",
    "tasks/sogb-023/lean/instruction.md": "95841f95cb32f646dd535137b381a3c3ba57400b635b6d0f13e628951d7cf0a1",
    "tasks/sogb-023/lean/prompt.json": "bf5ca81d99be14be042e3897acb456eb6e0f64fba7cb9643826de9647b23fffe",
    "tasks/sogb-023/lean/response-template.json": "216816df7e9a3c5b8d9366e0585ecb78919c94f7139aeba078081a4ad1a2ea99",
    "tasks/sogb-023/lean/task.json": "84f02f540a206e62e01a3af173c5b5c72278865e77f0732aba90c4e7f579cb22",
    "tasks/sogb-023/natural-language/instruction.md": "95841f95cb32f646dd535137b381a3c3ba57400b635b6d0f13e628951d7cf0a1",
    "tasks/sogb-023/natural-language/prompt.json": "7f05691a6bc0c2d3dcb6a673cc2e7d0722390acd12a357a7e361ccbf1d70d633",
    "tasks/sogb-023/natural-language/response-template.json": "96082bb40bd3c49e6d67ca9c188be2f87593b4f952ed93d4f1eca4f71aaa42d2",
    "tasks/sogb-023/natural-language/task.json": "35e18ae0adbd9688e543f5600f05b552e020ebc11b2cf6113be3b25e9baa70b8",
    "tasks/sogb-024/natural-language/instruction.md": "34043581f4a6dbb2f86e2b99e2ea98ba411765c4d7246ad99d4fc4ab423972bf",
    "tasks/sogb-024/natural-language/prompt.json": "1e342d198b80f0afd2cd91ce5ecce198ff4bbd0acd875ba19427f5ae4c8ec61c",
    "tasks/sogb-024/natural-language/response-template.json": "a88d8cebee49700fcf7ae62e7d2f5b0a8d2ed91ed07188eed12235766f58604c",
    "tasks/sogb-024/natural-language/task.json": "2b4ea3c9115f5340f8680db155e8a2958be189845734c5598dd68530710b03b2",
    "tasks/sogb-025/lean/instruction.md": "5f68f05d9a9fc056a3272cbe676e6ed2f05fb133c99f04fa16265b22b979181b",
    "tasks/sogb-025/lean/prompt.json": "6f7930247c2e1f07158440c6fb5c50eb4f3879c60e660fcf4840138de9807c95",
    "tasks/sogb-025/lean/response-template.json": "d8f4415ce199e5c27691592fe2cd164a34ff862baf0d901bde5f25c24c246551",
    "tasks/sogb-025/lean/task.json": "10026d3611b343ff4226275484f13efada36e53801f7d98367ede7e68a0edfdd",
    "tasks/sogb-025/natural-language/instruction.md": "5f68f05d9a9fc056a3272cbe676e6ed2f05fb133c99f04fa16265b22b979181b",
    "tasks/sogb-025/natural-language/prompt.json": "7545351d304a330367a1e66d0d73280cb8a9a9226398d56f18ad5168db061f0e",
    "tasks/sogb-025/natural-language/response-template.json": "fccb21855c37aeea09c0f7fe0f0b56db8f0412899996978f69ada8f34f81c9e7",
    "tasks/sogb-025/natural-language/task.json": "269517fa665d36536d3c806c1e1985d3dc2e51274db8b675f80fbccc79b4b82d",
    "tasks/sogb-026/natural-language/instruction.md": "d3751c3c01b51bb1a37f85f56b1fd751bdb60464a5711d4cfd86b8e08e46602c",
    "tasks/sogb-026/natural-language/prompt.json": "142b9106898d19f8f9a96f4c6670d0c5ca5919fa2862ff741a4d6775c1739e23",
    "tasks/sogb-026/natural-language/response-template.json": "2e7536ecc7416b7dedcba08441bad1b4aeac76d134a12ac191519fae13fcf6a7",
    "tasks/sogb-026/natural-language/task.json": "12e24884bdb780b2463d18bde5ac894a78ffd4b89d4202def19506ab10dc40d7",
    "tasks/sogb-027/natural-language/instruction.md": "ef58e135d8bd2b031212b41b96de1ebf4d18492e5293fcfed4533cc2c75e09fe",
    "tasks/sogb-027/natural-language/prompt.json": "335c14d5095297585a7b2137edc4e429f9700113c2880472fec84c935b387ddb",
    "tasks/sogb-027/natural-language/response-template.json": "8d1d4d6bed1194718ec21e68c9db9e4d5b92f03aa29486fd9df09dd01e94a77d",
    "tasks/sogb-027/natural-language/task.json": "40529c1999638bbe94cbfb3ff01b177f738e540666fb1a1ec3c1cfc569140137",
    "tasks/sogb-028/lean/instruction.md": "37d30e442275bdb8a1137c8b296f81eda32043f7f905e2caf7c6982c5571359b",
    "tasks/sogb-028/lean/prompt.json": "223f8e63ee15ab381cba2bdad8f4fa730a489cb3cac2143e515bc8495e2752f2",
    "tasks/sogb-028/lean/response-template.json": "1275b35e1f6a2179e319bcbb6a3396b2fc40e76570fdb0b830a1e899321c0bbc",
    "tasks/sogb-028/lean/task.json": "460fcfd4dddcb4feced374a0e35517a96b7aed9947acbed7043dac2630ffa49a",
    "tasks/sogb-028/natural-language/instruction.md": "37d30e442275bdb8a1137c8b296f81eda32043f7f905e2caf7c6982c5571359b",
    "tasks/sogb-028/natural-language/prompt.json": "e98d79dc8ef5d53d8a908caf8efb72abf1a99bb94254101a964c6b91dd2fbdd9",
    "tasks/sogb-028/natural-language/response-template.json": "af680ba763fcb16496c2ef56c36d138fd93c458d881dfb0c01c55f96f5673bd1",
    "tasks/sogb-028/natural-language/task.json": "09178c9f6a6e3d7e0ccb86b9a53d14bae54ca86f19e568bc8cfa8d0269f97ec4",
    "tasks/sogb-029/natural-language/instruction.md": "21cd0aea5e3adf266f12704e17d1b7d9d5bc5db7ff8f552c11960844d5741c62",
    "tasks/sogb-029/natural-language/prompt.json": "0d0b088e16363b3fa1a9556bcc8b16d0c0df00d3c53ef35b158634a59d7a7675",
    "tasks/sogb-029/natural-language/response-template.json": "2e88655e3334db52a6ac72cc88e47a7603d809ef8fcc46d9d0b39d2757422ceb",
    "tasks/sogb-029/natural-language/task.json": "56a79ff2fe19c205dfe2849def05a2dfd26b9d7b94f7512ee9099ee445cd93b0",
    "tasks/sogb-g001/graph-json/instruction.md": "d5a686c21d1118053f468341c2ea359324412c7f27ab380a2ec475ecd37dc7b9",
    "tasks/sogb-g001/graph-json/prompt.json": "77d2da70ca26ecc7e48acd6bd8db7b2e211c497296bee5898575ada2b1a01408",
    "tasks/sogb-g001/graph-json/response-template.json": "06b2783b9a10a853f0bbdfc6e5f8e59708574c9e640622d88876c5909ea3a9c9",
    "tasks/sogb-g001/graph-json/task.json": "b48da87ed89d63a9c49935a8f4273dad9c1ff120445375aaf75e49daf32713a4",
    "tasks/sogb-g002/graph-json/instruction.md": "fc0415c4ba38def3e2c93d134f7efafcb51b0cd106012f718c9cb9bd38d827ca",
    "tasks/sogb-g002/graph-json/prompt.json": "24795468e8f077281717d0772855460fd7afc6b8a4f5db3eadb686eba9ecbccf",
    "tasks/sogb-g002/graph-json/response-template.json": "ba96be4db10a2a0a7af1966db321d6358b12b0cff2ffeb37715ce00cafdd6bbf",
    "tasks/sogb-g002/graph-json/task.json": "26af9e7aa3636a54ebc225be5a60592ae0f1c3b71fa018380ac4fb8ac6047ed1",
    "tasks/sogb-g003/graph-json/instruction.md": "af9fd4d09cf4e92632bf365087600684f809a31ef34f0fa662b6a01fcd1b76ba",
    "tasks/sogb-g003/graph-json/prompt.json": "b25f9b7443636c13c3a54eddb0d8a1b23583e4378f87ce8119717e521e8d6331",
    "tasks/sogb-g003/graph-json/response-template.json": "92ddb1e779920c3f6c3d56abeadf0b58096b77afab8df7dc581cb8e11e8d2e01",
    "tasks/sogb-g003/graph-json/task.json": "f9f59c6cd986885b8f2d116a338f5ef4fa76f3ebde341585265b18632719ce89",
    "tasks/sogb-g004/graph-json/instruction.md": "67bed1ae142144d35adab2cc4da93a29f06a20e4becb86715a1c20206ea7d8a4",
    "tasks/sogb-g004/graph-json/prompt.json": "e0afcb741047e51c26ddad9ebd3c81e9f795d11feb76989700e2a9bcba1e8951",
    "tasks/sogb-g004/graph-json/response-template.json": "f2d399d9c1f10ae57cad37755e9be2c0069e0c04c187a7733657d3473d25f169",
    "tasks/sogb-g004/graph-json/task.json": "5c04b9a5cfb0496c5016e0349a87bfbef7af7a86394234cbf5e984a65f51bcda",
    "tasks/sogb-g005/graph-json/instruction.md": "b7739ca0d1c0c6b8c09045c3bec3d4112500ab11eedb13026392e316e1410ce0",
    "tasks/sogb-g005/graph-json/prompt.json": "45ce7ecb53be0d848d9a7c4f73332b6fb5906b4d63d5e849d842cc9d23aace53",
    "tasks/sogb-g005/graph-json/response-template.json": "817de6ae59ee4d4076613f7bb69fbbc65f4ff9e3283d6e17013bc232f3fb1e7d",
    "tasks/sogb-g005/graph-json/task.json": "2d7001663ff3760b2ddd06b76d344075bad7a0df361056f25a2b609631bfd4c1",
    "tasks/sogb-g006/graph-json/instruction.md": "15d27648ea9f3c3b08a4b07241d2c8d984cc6dc5274299716cfcefb821d36227",
    "tasks/sogb-g006/graph-json/prompt.json": "cd94c84eadf9dc0954d55d1f44033d93ff0ab11f01e3b3aa73f0bc40877e9520",
    "tasks/sogb-g006/graph-json/response-template.json": "b865015cd5a799bd942bb1dea0a0874bc9c869d058af234a1ec5d93eb3987aca",
    "tasks/sogb-g006/graph-json/task.json": "a586da1a62ef7f5efd14cf3caaf20996b0045b81a50c0bd729e94eb5f9b5c65a",
    "tasks/sogb-g007/graph-json/instruction.md": "e10c09562c43f2e3fe08809cd28cb909807356c573f5798e7c7f80eef7fb48b0",
    "tasks/sogb-g007/graph-json/prompt.json": "f08be7a76bfbb9dd5e66573816674a0487ffa9f80dda98ec889b31f3e8176743",
    "tasks/sogb-g007/graph-json/response-template.json": "d6b9d1f45002df8b9ca95520460afd3dced2c67e480f61ce105a962d9740ef28",
    "tasks/sogb-g007/graph-json/task.json": "0156e6be0468489b6d931dd8246d90796a7c405e7c012a6714d23a770bec5c1f",
    "textbook-exercise-map.json": "bc07515500dacf7d6da5dd29846b0dee9710127ca69f3ae7f6d3b5870bdb9a0e",
    "training-pairs.jsonl": "e381c2234f5c7964e75a024a27c64b5e9bf3388483a35b11b37f77d1ed2e041d"
  },
  "graph_evidence_kinds": [
    "compiled-proof-body-constant-occurrences",
    "source-scanned-module-imports"
  ],
  "graph_tasks": 7,
  "hidden_test": false,
  "independent_semantic_review": "see content-bound mathematical and structural editorial reports; not empirical calibration",
  "mathlib_manifest_sha256_lf": "b83ca83b9cf7caa85fa8b023c2ff9a3fb7a7cce7e1c332e810c348535ec49c37",
  "name": "SamplingOptimisationGeometryBench",
  "numbered_textbook_exercises": 1,
  "prose_scoring": "offline human-attested rubric records; execution and judgments not automatically verified",
  "qa_views": 42,
  "review_kind": "AI editorial review, not full Lean coverage or canonical theorem publication",
  "split": "public-dev",
  "textbook_exercise_programme": "See textbook-exercise-map.json and TEXTBOOK_EXERCISES.md; source intake is not QA admission or full exercise formalization",
  "toolchain": "leanprover/lean4:v4.33.0",
  "track_counts": {
    "lean": 13,
    "natural-language": 29
  },
  "version": "0.14.0-dev"
}