{"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-11-01T10:30:20.185Z","serveEvaluationId":"serve-daefab00c10ade273feb0bbd12ee8f97b69c3a2d2c3e7e612148c7200943b11e","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-01T10:30:20.185Z","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-11-01T10:30:20.185Z","serveEvaluationId":"serve-daefab00c10ade273feb0bbd12ee8f97b69c3a2d2c3e7e612148c7200943b11e","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-01T10:30:20.185Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","artifact":{"id":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B"},"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-Preview-Distill-1.5B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","disabled":false,"provider":"huggingface","repoType":"model","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","fetchedAt":"2026-09-04T00:00:18.147Z","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-Preview-Distill-1.5B","upstream":{"gated":false,"repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","private":false,"repoUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","disabled":false,"provider":"huggingface","repoType":"model","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","fetchedAt":"2026-09-04T00:00:18.147Z","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:5845bbab14470fb482ed9d05610551d6fcd64c34aa3722ac2fd6e7cdddb0e3ba","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_979619428e793d240856513a5f6188abb8be58286537c4c18d282e70dc42c6c5","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","representationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":3500,"sha256":"sha256:d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d7186b044f6c51f3f91ee5b38f24573ab2c1f347bef28418d29908c5856e0d6a"},{"path":"added_tokens.json","role":"support","sizeBytes":605,"sha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1bfcb8efd130c31679dcbcd95c9e2a5033b5776028ee857b3600ac67c9ec468b"},{"path":"config.json","role":"config","sizeBytes":739,"sha256":"sha256:34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:cc56b3894a6c1c11bcee9a724dcff5290aa51f6e50efe653f0000ef138cdb189"},{"path":"generation_config.json","role":"config","sizeBytes":139,"sha256":"sha256:de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:776acff1498285663a970b7f3999ced837e56c2b02f78bd836c07351f7cc2e3d"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:dcdeb90b059164215cf470a4c876ff0e417533064e72dd6132478a87b5e525a9"},{"path":"model.safetensors","role":"weight","sizeBytes":3554214752,"sha256":"sha256:8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1d20433849e66849e1d59347a21897dce82b079ee33a367ec6f5b6c582733e5c"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:d05171f38a39bb23ee460096e0128a3f8544fc1d04fc9feecb976cda8a8d9849"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11421896,"sha256":"sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:7ee7d2e5ee8675cf710bae83dba9edb7c6a18de87b88f66aff3c7ea2b29b4d19"},{"path":"tokenizer_config.json","role":"config","sizeBytes":7372,"sha256":"sha256:4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:6d6e68a04a2627ce3de92d9fbcc9074faf00791c2275ecedccc300158dc8548d"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c019f0a8ed65e39480c8134c8ac24ee462cae5d5ac90c6308b1bc011eef26861"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c","representationDigest":"sha256:5845bbab14470fb482ed9d05610551d6fcd64c34aa3722ac2fd6e7cdddb0e3ba","evidenceSnapshotDigest":"sha256:479f5c2aad648563dd90c96a099013db62838d7e6cdc4b69d1fa8eab3c2d0ea2","evaluatedAt":"2026-09-04T05:05:27.366Z","authorityVersion":"sha256:8a41ec341268e9a5c823d967f720f2f130f2496f1369a4e3a2c528be4af05908","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:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c","representation":{"id":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","representationDigest":"sha256:5845bbab14470fb482ed9d05610551d6fcd64c34aa3722ac2fd6e7cdddb0e3ba","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","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":3500,"declared_size":3500,"storage_size":3500,"media_type":"application/octet-stream","sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","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-preview-distill-1-5b/README.md","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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":605,"declared_size":605,"storage_size":605,"media_type":"application/octet-stream","sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","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-preview-distill-1-5b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"config.json","size":739,"declared_size":739,"storage_size":739,"media_type":"application/octet-stream","sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","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-preview-distill-1-5b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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":139,"declared_size":139,"storage_size":139,"media_type":"application/octet-stream","sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","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-preview-distill-1-5b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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-preview-distill-1-5b/merges.txt","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model.safetensors","size":3554214752,"declared_size":3554214752,"storage_size":3554214752,"media_type":"application/octet-stream","sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","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-preview-distill-1-5b/model.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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-preview-distill-1-5b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer.json","size":11421896,"declared_size":11421896,"storage_size":11421896,"media_type":"application/octet-stream","sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","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-preview-distill-1-5b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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":7372,"declared_size":7372,"storage_size":7372,"media_type":"application/octet-stream","sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","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-preview-distill-1-5b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"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-preview-distill-1-5b/vocab.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-11-01T10:30:20.185Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T10:30:20.185Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"manifest_digest":"sha256:7b87229e05c62c98724ca43c7722bdadad403b683ed294f5e05f4a9f1cbced2f","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:7b87229e05c62c98724ca43c7722bdadad403b683ed294f5e05f4a9f1cbced2f","value":"wQ2fPBvFCuywqLcG1td3xBclilmXXT0NOujMq90v1ZKQX16LsXj3N8HrWZMSUyehoa1oQUy-38bQzFSSLQ96AA","signed_at":"2026-11-01T10:30:20.185Z","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"]}}