{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","totalSizeBytes":3570099872,"rows":[{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":1570,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"52373fe24473b1aa44333d318f578ae6bf04b49b","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":1570,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.174Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","role":"support","format":"md","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":3500,"mirroredAt":"2026-09-04T05:05:31.357Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"928b464968b9c1e73b64a0e30d132e1973a289cb","externalUrl":null,"scanFindings":[],"sourceSha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"README.md","digest":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":3500},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":3500,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"928b464968b9c1e73b64a0e30d132e1973a289cb","sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","sizeBytes":3500,"externalOid":"928b464968b9c1e73b64a0e30d132e1973a289cb"},"upstream":{"path":"README.md","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":3500,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3500,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3500,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.174Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"added_tokens.json","risk":"low","role":"support","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":605,"mirroredAt":"2026-09-04T05:05:31.257Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"482ced4679301bf287ebb310bdd1790eb4514232","externalUrl":null,"scanFindings":[],"sourceSha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"added_tokens.json","digest":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":605},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":605,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"482ced4679301bf287ebb310bdd1790eb4514232","sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","sizeBytes":605,"externalOid":"482ced4679301bf287ebb310bdd1790eb4514232"},"upstream":{"path":"added_tokens.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"added_tokens.json","license":"apache-2.0","declaredSizeBytes":605,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":739,"mirroredAt":"2026-09-04T05:05:31.154Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"22668a088ad03d28582a441d390b7ad54f94deff","externalUrl":null,"scanFindings":[],"sourceSha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":739},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":739,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"22668a088ad03d28582a441d390b7ad54f94deff","sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","sizeBytes":739,"externalOid":"22668a088ad03d28582a441d390b7ad54f94deff"},"upstream":{"path":"config.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"config.json","license":"apache-2.0","declaredSizeBytes":739,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":739,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":739,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":139,"mirroredAt":"2026-09-04T05:05:30.633Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"cab599ed723aa78ba2a4478db5ecddf602495f43","externalUrl":null,"scanFindings":[],"sourceSha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":139},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":139,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"cab599ed723aa78ba2a4478db5ecddf602495f43","sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","sizeBytes":139,"externalOid":"cab599ed723aa78ba2a4478db5ecddf602495f43"},"upstream":{"path":"generation_config.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":139,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"merges.txt","risk":"low","role":"tokenizer","format":"txt","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":1671853,"mirroredAt":"2026-09-04T05:05:31.460Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","externalUrl":null,"scanFindings":[],"sourceSha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"merges.txt","digest":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":1671853},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":1671853,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","sizeBytes":1671853,"externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7"},"upstream":{"path":"merges.txt","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"merges.txt","license":"apache-2.0","declaredSizeBytes":1671853,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"model.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"lfsSha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","sizeBytes":3554214752,"mirroredAt":"2026-09-04T05:08:10.392Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","externalUrl":null,"scanFindings":[],"sourceSha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors","digest":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":3554214752},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":3554214752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"ff1ce6ecf298545226f9e0c39fae39dc1e8e35b2","sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","sizeBytes":3554214752,"externalOid":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29"},"upstream":{"path":"model.safetensors","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"model.safetensors","license":"apache-2.0","declaredSizeBytes":3554214752,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3554214752,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3554214752,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":613,"mirroredAt":"2026-09-04T05:05:30.729Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"ac23c0aaa2434523c494330aeb79c58395378103","externalUrl":null,"scanFindings":[],"sourceSha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"special_tokens_map.json","digest":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":613},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":613,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"ac23c0aaa2434523c494330aeb79c58395378103","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","sizeBytes":613,"externalOid":"ac23c0aaa2434523c494330aeb79c58395378103"},"upstream":{"path":"special_tokens_map.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"special_tokens_map.json","license":"apache-2.0","declaredSizeBytes":613,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"tokenizer.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"lfsSha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","sizeBytes":11421896,"mirroredAt":"2026-09-04T05:05:31.671Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","externalUrl":null,"scanFindings":[],"sourceSha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer.json","digest":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":11421896},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":11421896,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"51ebb3ba93988c73bbd83a3c163a14343fbc5b06","sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","sizeBytes":11421896,"externalOid":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa"},"upstream":{"path":"tokenizer.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"tokenizer.json","license":"apache-2.0","declaredSizeBytes":11421896,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11421896,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11421896,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":7372,"mirroredAt":"2026-09-04T05:05:30.935Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"4a2530ebb5e7a051989598fb6084617d12abfd93","externalUrl":null,"scanFindings":[],"sourceSha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer_config.json","digest":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":7372},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":7372,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"4a2530ebb5e7a051989598fb6084617d12abfd93","sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","sizeBytes":7372,"externalOid":"4a2530ebb5e7a051989598fb6084617d12abfd93"},"upstream":{"path":"tokenizer_config.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"tokenizer_config.json","license":"apache-2.0","declaredSizeBytes":7372,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":7372,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":7372,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"},{"path":"vocab.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-089e4e49146c47984094c76e36a1558534496ecc9cac37b0","approvedAt":"2026-09-04T00:00:38.683Z","approvedBy":"configured-admin","approvalDigest":"sha256:58383df81fa2c655a33e98ffa3ccfb72d12d37d486bb017a950155260ff3ed76"},"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source":{"identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true},"required":true,"sizeBytes":2776833,"mirroredAt":"2026-09-04T05:05:31.564Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569","externalUrl":null,"scanFindings":[],"sourceSha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"vocab.json","digest":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","sizeBytes":2776833},"sourceRevision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","storageProvider":"","storageSizeBytes":2776833,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","scanStatus":"passed","licenseDecisionId":"mirror-license-baa9cd3ff8cb5a1dc008ce84e064c81362eb2748da9e272338363c0fb21e1b44","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-11-01T03:51:49.226Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Preview-Distill-1.5B under 713b66f9","observed":{"kind":"git-blob","gitOid":"4783fe10ac3adce15ac8f358ef5462739852c569","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","sizeBytes":2776833,"externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569"},"upstream":{"path":"vocab.json","repoId":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","provider":"huggingface","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1"},"planDigest":"sha256:42c622e52edebfb18b753476c863233ca7d50e84531905dfb0e89f53f260f1ff","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:6fa018d6ad6cec1b3d3660e1252c005cb4558cea6ae8c1c9c038ba4cdd7f7911","observationId":"packet-observation-e104da0d004f34597f54fc4e9cc72440c0910a0d8facfe8cb2bf6c492257bf63","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c"},"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","filePath":"vocab.json","license":"apache-2.0","declaredSizeBytes":2776833,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-01T03:54:40.175Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.175Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"unsigned"}],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:54:40.174Z","serveEvaluationId":"serve-ff627bd5b2111338fb157600f707f5173362ca673d3e53af5503366f1b3c1889","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-01T03:54:40.174Z","readinessSource":"file-check","degraded":false,"stale":false},"total":11,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-11-01T03:54:40.176Z","note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs.","downloadable":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T03:54:40.174Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"}}