{"manifest_version":2,"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T18:07:30.630Z","serveEvaluationId":"serve-4b85dfa833f225e91dcf145533db53e2f335c3b243f8f81b16602d6b0bd25d1c","readiness":"ready","downloadReady":true,"hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T18:07:30.630Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T18:07:30.630Z","serveEvaluationId":"serve-4b85dfa833f225e91dcf145533db53e2f335c3b243f8f81b16602d6b0bd25d1c","readiness":"ready","downloadReady":true,"hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T18:07:30.630Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"Goedel-LM/Goedel-Prover-V2-32B","artifact":{"id":"hf-model-goedel-lm-goedel-prover-v2-32b","repo":"Goedel-LM/Goedel-Prover-V2-32B"},"release":"hf-main","artifact_type":"llm","license":"apache-2.0","license_clarity":{"license":"apache-2.0","commercialUse":"yes","confidence":"high","obligations":["Attribution/notice requirements of the license still apply."],"summary":"Permissive open license: commercial use, modification, and redistribution are permitted.","redistribution":"Keep every copyright, attribution, license, and NOTICE requirement imposed by the exact license text.","notes":"Not legal advice."},"license_decision":{"policy":"mirror","license":"apache-2.0","ids":["apache-2.0"],"status":"allowed","mirrorable":true,"publicCatalog":true,"publicCatalogUnconditional":true,"osiOpenSource":true,"unrestricted":true,"conditional":false,"conditionalEligible":false,"conditionalReason":"not_conditional","licenseId":null,"obligations":null,"conditions":[],"reason":"license_allowlisted","allowlist":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","cc0-1.0","cc-by-4.0","odc-by"]},"license_obligations_digest":null,"visibility":"public","hosted":true,"hosting":{"status":"hosted","hostedFiles":21,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Prover-V2-32B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","disabled":false,"provider":"huggingface","repoType":"model","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","fetchedAt":"2026-09-21T07:44:51.115Z","importMode":"external-catalog","licenseRaw":"apache-2.0","licenseDeclared":"apache-2.0","mirrorLicensePolicy":"permissive"},"license_upstream_record":{"declared_license":"apache-2.0","upstream_license_raw":"apache-2.0","source_url":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Prover-V2-32B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B","disabled":false,"provider":"huggingface","repoType":"model","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","fetchedAt":"2026-09-21T07:44:51.115Z","importMode":"external-catalog","licenseRaw":"apache-2.0","licenseDeclared":"apache-2.0","mirrorLicensePolicy":"permissive"}},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","signer":"hugging-bay","manifest_digest_kind":"signed-manifest","release_manifest_digest":"external-not-mirrored","canonical_representation_digest":"sha256:8f40f94e30d7465fbf99b0c7a2b3ba44b1d34c02fe03b519a34403bc56220fd2","canonical_state":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_1614c87633de5a53ffcd3e92d9c30dc9715d861c15c61a4b103511cf7dd1d5e2","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","representationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Prover-V2-32B","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"files":[{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:66c8bff283c9d13f6221783ea11606b970d826aebdd8937246519a26f632892d"},{"path":"config.json","role":"config","sizeBytes":730,"sha256":"sha256:2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9436e696e7abcfdbabc050777bd0ce1d20de4b12dd204c917bd317bad819d236"},{"path":"generation_config.json","role":"config","sizeBytes":143,"sha256":"sha256:f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:2f0dfa16734677e51f158c238332d0820309d43a20179ae844b985b25352f99b"},{"path":"model-00001-of-00014.safetensors","role":"weight","sizeBytes":4932307584,"sha256":"sha256:152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:624895d8be442b4c8ce39d46e8549208e9bfef0bc58e2140a15e00db955ea30b"},{"path":"model-00002-of-00014.safetensors","role":"weight","sizeBytes":4875989696,"sha256":"sha256:ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c1f98eff8a61068d24badbf5e5e908d25e5a1c6a2e3cfa3b0bcd49a914951c14"},{"path":"model-00003-of-00014.safetensors","role":"weight","sizeBytes":4875989720,"sha256":"sha256:b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5290a0de72bf11889dc102d169cd3151d99df0634f9df4942531f7b6bbd49fc8"},{"path":"model-00004-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:779356307588ebabe14468d23c5a5408c0605e5b1148f286a65c7d6be2ee36c9"},{"path":"model-00005-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f9c5a3e3502ffff46e0b9b4f15c462ab5472016f3421669ace7ac9765907f7cc"},{"path":"model-00006-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:7846a559c1a5aefb05a6cab7306600262397f7b2f20fa0435fc04fef49aa788b"},{"path":"model-00007-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9f9700e1d11447ce147c92ac630661ee7c36b462eed6de26cac5173346df195a"},{"path":"model-00008-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:861bfd248c73425de658fdcb9cbf0429b569f8c18355061c0b3c318500a435b1"},{"path":"model-00009-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:90ea8f9a6ca5096431fed378a6c3e5fa54a9b30bb76cf24fd1e860a8df459ea3"},{"path":"model-00010-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b743ae88a9ec7260e2c9624d4fd8da098ab54c99ac310c7738b51db64f30ed3b"},{"path":"model-00011-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:055f68e463b16b29c8dd11952e85e997f0ec61d36cb42f30b7f6e53e5aeeaecc"},{"path":"model-00012-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5d977730dbe87ff65924d5cd48e338ffb21ee2db1f0bc7bcc5a17e66610782dd"},{"path":"model-00013-of-00014.safetensors","role":"weight","sizeBytes":4875989752,"sha256":"sha256:a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:896f849ee513ee3ed7ee047aa2cc2d47b335ee9b3091e321cbdf3ac7a73de3d1"},{"path":"model-00014-of-00014.safetensors","role":"weight","sizeBytes":2080144040,"sha256":"sha256:79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:48db48af67699772958b2d4d360a2331ec44c5bfc7d65e9816e4fc739479e64d"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":58330,"sha256":"sha256:83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4c1d9a0c8636e36b97f8319d3c21abc77beb63df0e3d2c1dde33c5a79d90cbaa"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d1decf41263d5e48c4f6938d6fba2af8c707c3bf8e451bdae7f05d6ff100db5f"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b55f8e5a54043699d418836c5d2249f00be980337ae3cf9cc5edee93115d7e04"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:81cfd9105bc580e30f85e77b1ee209dbcb4636b913a3fb103146d8ae146ed264"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd","representationDigest":"sha256:8f40f94e30d7465fbf99b0c7a2b3ba44b1d34c02fe03b519a34403bc56220fd2","evidenceSnapshotDigest":"sha256:718621a313346834f5da8d5d776dcc5ab5281def7d6357a2567a02a5615604ca","evaluatedAt":"2026-09-21T09:05:39.204Z","authorityVersion":"sha256:fd7e82857f06ed71c9309b8d1ad45193316aaff6b2a9a61092bb4e76690da0f7","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":21,"serveAuthority":"live-serve-decision","individuallyHashedFiles":21,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":21,"strictlyDownloadableFiles":21,"strictlyDownloadableHashedFiles":21,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":25,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd","representation":{"id":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","representationDigest":"sha256:8f40f94e30d7465fbf99b0c7a2b3ba44b1d34c02fe03b519a34403bc56220fd2","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Prover-V2-32B","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true}},"release_gates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"files":[{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"added_tokens.json","size":707,"declared_size":707,"storage_size":707,"media_type":"application/octet-stream","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"config.json","size":730,"declared_size":730,"storage_size":730,"media_type":"application/octet-stream","sha256":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"generation_config.json","size":143,"declared_size":143,"storage_size":143,"media_type":"application/octet-stream","sha256":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00001-of-00014.safetensors","size":4932307584,"declared_size":4932307584,"storage_size":4932307584,"media_type":"application/octet-stream","sha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00001-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00002-of-00014.safetensors","size":4875989696,"declared_size":4875989696,"storage_size":4875989696,"media_type":"application/octet-stream","sha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00002-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00003-of-00014.safetensors","size":4875989720,"declared_size":4875989720,"storage_size":4875989720,"media_type":"application/octet-stream","sha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00003-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00004-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00004-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00005-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00005-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00006-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00006-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00007-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00007-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00008-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00008-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00009-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00009-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00010-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00010-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00011-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00011-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00012-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00012-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00013-of-00014.safetensors","size":4875989752,"declared_size":4875989752,"storage_size":4875989752,"media_type":"application/octet-stream","sha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00013-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00014-of-00014.safetensors","size":2080144040,"declared_size":2080144040,"storage_size":2080144040,"media_type":"application/octet-stream","sha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00014-of-00014.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model.safetensors.index.json","size":58330,"declared_size":58330,"storage_size":58330,"media_type":"application/octet-stream","sha256":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model.safetensors.index.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"special_tokens_map.json","size":613,"declared_size":613,"storage_size":613,"media_type":"application/octet-stream","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer.json","size":11422654,"declared_size":11422654,"storage_size":11422654,"media_type":"application/octet-stream","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer_config.json","size":9789,"declared_size":9789,"storage_size":9789,"media_type":"application/octet-stream","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-10-30T18:07:30.630Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T18:07:30.630Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"manifest_digest":"sha256:aabb6d769885f3eb33c17c18c83186abd3c250a8a816e91f1abcd89ac97d5cd7","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:aabb6d769885f3eb33c17c18c83186abd3c250a8a816e91f1abcd89ac97d5cd7","value":"-eZxRcVzik2jqwB11ElCiEss5kQBr3qf8KjdvWd5rcxgmklfpw7noUJWvL8cTfWa26uX3X7C7AAI4MUXsKY3Bg","signed_at":"2026-10-30T18:07:30.631Z","public_key_url":"/api/keys/manifest-signing","payload":"canonical-json:manifest-excluding-signature-and-generated_at","canonical_encoding":"rfc8785","canonical_excludes":["signature","generated_at","manifest_digest","serveEvaluatedAt","serveEvaluationId","serveExplanation","readinessCheckedAt","obtainReady","serveVerdict","reason","reasonCodes"]}}