{"version":"0.2.2","api_version":"1.2.2","cli_version":"0.2.2","manifest_version":1,"module_format":"hunch-module-v1","build_hash":"f06c39a76a6e04e646a4649bd77de8282db86004d5c3fcdeaa9e92fa87193af1","built_at":"2026-10-08T09:04:22.891Z","lean_commit":"62b6a2291302d4bbeace37642a066b7510d0145c","mathlib_commit":"de3a9cf33016bbb6d15880d7680643f7ca2d25ba","profiles":["core","mathlib","std","discrete","number_theory","algebra","linear_algebra","topology","analysis","graph_theory","computability","probability","calculus"],"files":{"src/api.ts":"c4f4faa61b2abb28c60ff0b7a7b7d0dafcf93f17ca005272e9a8d6f7d07669d7","src/auth.ts":"4e4bdbfe52a2116de38d3b689a7038a432944b2f8a1aca6076811c8c75a71e15","src/available-libraries.ts":"156b038b2cea92329901721fd66e7629de2d2608d67ee424c22eff748bff31bf","src/idempotency.ts":"d9b86b2f735aae1719a78fcb4f725ff171ba84effcd528d36be41a4bad7ef4ee","src/isolated-verifier.ts":"5b8c97354dd9fd9f017a9a9eebb37ebdec03728d423ad5e910b60a9a237a0d26","src/legal.ts":"5f22866b39fd85330657f760ea4d0f39778414dcd02d2176cd1654175691b9c2","src/member-data.ts":"7d68831d5bcd985385f160dbd2ac9c5b0349122a0bfd67f09b31146cc2b2d771","src/members.ts":"0bb310ad0103e2b44eb8f10d8f318d6dfe4170f064dd47a499b077a5e1afcd14","src/pages.ts":"216045c4bcbff6a3614c4943391d5be4a298aff9d378b58f88445a3cd7791161","src/progress.ts":"236df73d03971da876d776b92fc0e945ee456771b4ba45264892c63626ad29da","src/proof-storage.ts":"02800f12c3a9c0453ec39964cee3c1c36939fdc9b83486906abdf5859a5c4b8a","src/receipts.ts":"b580f63c48ac817c526cc9b415423d4d1eaeb662b7f89eafcd005f82f53539c7","src/research-data.ts":"e91b4874749268e8cb0a4fc7783c75932e4185220848f39a6a941b5561586295","src/research.ts":"bc19a6b243ef204d95894612146934bc60f65653a829378b3a42705d96ca8394","src/stack-checker.ts":"465c13379cf858ccd3e37ff05203ca82e785f8b748483ce81d705ba3e9759fba","src/stack-server-source.ts":"06bcd3b364bf2c5a68c3ef644b4814c70629fce95ef86dca1f35f0a7234516cb","src/types.ts":"e2310d8f0d485947b27d04073b8798b0e30dc0163bc08bdda6890440b1f3fa87","src/verifier.ts":"add463722f88727d02f811e75f77f1b14033e3834457f7a38e7576617f89fb39","src/workbench-pages.ts":"b2e1f44a3d900eaa7b867111eaec68ca5fca71b37a004b03ac99b17d39fd3d2b","src/workbench.ts":"beb056604c08eda59257beb49684679fbcf101d9c8c87538d7f86b069de1a8e5","src/worker.ts":"aca0fbf3564e27db1b6491f86e873a4b3654bb2366f4709825ee9f7f4ede1a13","src/workos.ts":"7a9abf116b0f12552babc56a022d386f7ea84632dcd686105e6d5abac8a23ff2","cli/draft.mjs":"1bbde7e990144594776f39c55b21ef54367e5b1e0f892bededdfe966cb76fd4b","cli/hunch.mjs":"910f3fc4ee3c560b69d7d8be782cfa029f44717d5e14f8fa8e16924026c7056d","cli/openwork.mjs":"2307af8e36660e0813bce3c247b7072ed6cf03bac73b481f3e3f4f2f4dd3b32a","cli/receipts.mjs":"c35ad568cc0149e9b5eccaa641331119cd4149c174e8157511e7351ff384bbb3","public/app.js":"3da70c5a8b1b8c0550dc8b5090fd8676e1366bbee44429bd9508d0ecd9352f55","public/verification.js":"312e34c2375771682092b6c96ae94c9388f3a53f4bffb0f13a26659788f3b160","public/research-metadata.js":"17890221dfe8d29194286f73b7fdf18bb885d00227348daa7864dd1bd228267b","public/openapi-template.json":"44122b475c9dc16d73d9e72a2896966683c6c6d4803e42887498102794078a66","public/cli/hunch.mjs":"49283854ee965e901734ff0a7872bfe25e34678f15988e5d3db71f02d06d9bc6","public/verifier.js":"f94c58f2689d5480e9fb07f5a1292da028b58f7c10ec01068342bde632816231","public/lean-checker.js":"9069ee46ca4f008f55f6ed6e182dd20292218180f724fee58f826bb5d4098a39"},"unavailable_profiles":[],"capabilities":["pinned_modules","external_proofs","source_revisions","batch_manifests","idempotency_keys","structured_scope","coverage","signed_receipts","independent_kernel","verified_result_dependencies"]}