{"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-30T15:07:02.933Z","serveEvaluationId":"serve-1c65d138ba507d1c5e535cd02418f465f1eb3a31ec7e3b4f9a65de27182bfef3","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-30T15:07:02.933Z","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-30T15:07:02.933Z","serveEvaluationId":"serve-1c65d138ba507d1c5e535cd02418f465f1eb3a31ec7e3b4f9a65de27182bfef3","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-30T15:07:02.933Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"AI-MO/Kimina-Prover-Distill-1.7B","artifact":{"id":"hf-model-ai-mo-kimina-prover-distill-1-7b","repo":"AI-MO/Kimina-Prover-Distill-1.7B"},"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":10,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Distill-1.7B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","disabled":false,"provider":"huggingface","repoType":"model","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","fetchedAt":"2026-08-29T19:16:55.788Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"license_upstream_record":{"declared_license":"apache-2.0","upstream_license_raw":"apache-2.0","source_url":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Distill-1.7B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","disabled":false,"provider":"huggingface","repoType":"model","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","fetchedAt":"2026-08-29T19:16:55.788Z","importMode":"external-catalog","licenseRaw":"apache-2.0"}},"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:29db9e010488a83eae96bd352a284df70a1b629a1b87d33623a73c701bbdfd81","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_d83717d1e17d192098c8eea2c3b066123fa431c8ea7bf6220107a19bf78e317e","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","representationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Distill-1.7B","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":2479,"sha256":"sha256:12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:be8847f0d1823952174df6f2ccc923372a6bc83481e2feabfe85505912360a2c"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:56ea63374c3158aafd81ae890334a2d528658d4db8c267d76ca5d31622108d2c"},{"path":"config.json","role":"config","sizeBytes":728,"sha256":"sha256:f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1ceeb2c8d5163dc68c13452d62cf85582aada68bfab26c24dcb3677593a2b1d3"},{"path":"generation_config.json","role":"config","sizeBytes":214,"sha256":"sha256:787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:6f5fce2827c7523fbd1707a62fe6143ddd52de1766c9a119a0d6bae358e6a6b6"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:61cb3ee879cd561517ba6e10c31fadf5a69698d0529b83a1086332810df8d5aa"},{"path":"model.safetensors","role":"weight","sizeBytes":4063515640,"sha256":"sha256:0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0ab7d01bf99545e103f757386207a42fae8d91216c6fcc30062cd096327948b9"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c7ffe63b173d3d30db8a17f94e418402ed4e27e5446e7fcce9b5ad2832d3239c"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:5f7a5fff73f765bb8af5d49d137b590b236595921ee0d06a18795f3a2ccc661e"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:234419c664a6239259d7a7322ee99f8665ae74ea8fe213dd3b2024c6453d0c4b"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:80ebccff08364d8da6f7273811761eb7114b3cf9b5e08aadb0e9ae204f096147"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30","representationDigest":"sha256:29db9e010488a83eae96bd352a284df70a1b629a1b87d33623a73c701bbdfd81","evidenceSnapshotDigest":"sha256:fa8243903317a2e9b6f167b8f8ff893a5e9b5d53aa3af9ad7e92b17d7c78ac2a","evaluatedAt":"2026-08-29T22:47:34.009Z","authorityVersion":"sha256:51fa0d0f6e8dbddab5f61bef4bd0276ef645c8b209ddeaa3db22d88eeffe96bd","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":10,"serveAuthority":"live-serve-decision","individuallyHashedFiles":10,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":10,"strictlyDownloadableFiles":10,"strictlyDownloadableHashedFiles":10,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":11,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30","representation":{"id":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","representationDigest":"sha256:29db9e010488a83eae96bd352a284df70a1b629a1b87d33623a73c701bbdfd81","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Distill-1.7B","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","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":"README.md","size":2479,"declared_size":2479,"storage_size":2479,"media_type":"application/octet-stream","sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","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-ai-mo-kimina-prover-distill-1-7b/README.md","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"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-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"config.json","size":728,"declared_size":728,"storage_size":728,"media_type":"application/octet-stream","sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","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-ai-mo-kimina-prover-distill-1-7b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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":214,"declared_size":214,"storage_size":214,"media_type":"application/octet-stream","sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","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-ai-mo-kimina-prover-distill-1-7b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"merges.txt","size":1671853,"declared_size":1671853,"storage_size":1671853,"media_type":"application/octet-stream","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","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-ai-mo-kimina-prover-distill-1-7b/merges.txt","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model.safetensors","size":4063515640,"declared_size":4063515640,"storage_size":4063515640,"media_type":"application/octet-stream","sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","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-ai-mo-kimina-prover-distill-1-7b/model.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"vocab.json","size":2776833,"declared_size":2776833,"storage_size":2776833,"media_type":"application/octet-stream","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","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-ai-mo-kimina-prover-distill-1-7b/vocab.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-10-30T15:07:02.934Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T15:07:02.933Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"manifest_digest":"sha256:b0115de2812b390a7983ff76bba26ebcff7cef09703dafce9e2b15eb9377d0b3","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:b0115de2812b390a7983ff76bba26ebcff7cef09703dafce9e2b15eb9377d0b3","value":"DfhaCXaKTmvsXYRDzc0JDjmUDYokP_j8Wt2XWnbUtKjKnpX47PKgD4MPLIb0la9oW7i8mlemkwbX9ym-OwQrAQ","signed_at":"2026-10-30T15:07:02.934Z","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"]}}