{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","repo":"AI-MO/Kimina-Prover-Distill-1.7B","totalSizeBytes":4079403080,"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-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","role":"support","format":"md","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":2479,"mirroredAt":"2026-09-02T17:32:08.946Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"4b35ca96057a03c3ffb380bf8b8968ce739a9461","externalUrl":null,"scanFindings":[],"sourceSha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"README.md","digest":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":2479},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":2479,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"4b35ca96057a03c3ffb380bf8b8968ce739a9461","sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","sizeBytes":2479,"externalOid":"4b35ca96057a03c3ffb380bf8b8968ce739a9461"},"upstream":{"path":"README.md","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":2479,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2479,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2479,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.487Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"added_tokens.json","risk":"low","role":"support","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":707,"mirroredAt":"2026-09-02T17:32:09.121Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed","externalUrl":null,"scanFindings":[],"sourceSha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"added_tokens.json","digest":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":707},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":707,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","sizeBytes":707,"externalOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed"},"upstream":{"path":"added_tokens.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"added_tokens.json","license":"apache-2.0","declaredSizeBytes":707,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.487Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":728,"mirroredAt":"2026-09-02T17:32:09.981Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b4f648f8b2a95a24bfe54a3e4347c6085ded9692","externalUrl":null,"scanFindings":[],"sourceSha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":728},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":728,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"b4f648f8b2a95a24bfe54a3e4347c6085ded9692","sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","sizeBytes":728,"externalOid":"b4f648f8b2a95a24bfe54a3e4347c6085ded9692"},"upstream":{"path":"config.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"config.json","license":"apache-2.0","declaredSizeBytes":728,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":728,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":728,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.487Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":214,"mirroredAt":"2026-09-02T17:32:10.147Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"6b204b47b535ecceeec0cd8ca14b8f8c4d8ebc9e","externalUrl":null,"scanFindings":[],"sourceSha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":214},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":214,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"6b204b47b535ecceeec0cd8ca14b8f8c4d8ebc9e","sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","sizeBytes":214,"externalOid":"6b204b47b535ecceeec0cd8ca14b8f8c4d8ebc9e"},"upstream":{"path":"generation_config.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":214,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"merges.txt","risk":"low","role":"tokenizer","format":"txt","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":1671853,"mirroredAt":"2026-09-02T17:32:10.360Z","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-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":1671853},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":1671853,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","sizeBytes":1671853,"externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7"},"upstream":{"path":"merges.txt","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"model.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"lfsSha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","sizeBytes":4063515640,"mirroredAt":"2026-09-02T19:29:39.768Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","externalUrl":null,"scanFindings":[],"sourceSha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors","digest":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":4063515640},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":4063515640,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"5c89b63146e7f01a9ee5e1a56a16bba4aa548dcb","sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","sizeBytes":4063515640,"externalOid":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f"},"upstream":{"path":"model.safetensors","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"model.safetensors","license":"apache-2.0","declaredSizeBytes":4063515640,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4063515640,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4063515640,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"special_tokens_map.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":613,"mirroredAt":"2026-09-02T17:32:09.640Z","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-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":613},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":613,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B 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-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"tokenizer.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"lfsSha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"mirroredAt":"2026-09-02T17:32:10.560Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","externalUrl":null,"scanFindings":[],"sourceSha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer.json","digest":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":11422654},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":11422654,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"cd71f61a15a522601badb3dc960d800d9cb3766c","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"externalOid":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4"},"upstream":{"path":"tokenizer.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"tokenizer.json","license":"apache-2.0","declaredSizeBytes":11422654,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":9789,"mirroredAt":"2026-09-02T17:32:09.280Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"e8bb905c2fb94a128cc19a801677504be2183910","externalUrl":null,"scanFindings":[],"sourceSha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer_config.json","digest":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":9789},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":9789,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"e8bb905c2fb94a128cc19a801677504be2183910","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","sizeBytes":9789,"externalOid":"e8bb905c2fb94a128cc19a801677504be2183910"},"upstream":{"path":"tokenizer_config.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","filePath":"tokenizer_config.json","license":"apache-2.0","declaredSizeBytes":9789,"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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"vocab.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-a9999e8e69eff1d27015d689fbbb75f52c9120a384105050","approvedAt":"2026-08-29T19:24:19.590Z","approvedBy":"configured-admin","approvalDigest":"sha256:dd08c9ade99d500389bc134aea98845a3388af808199b039ad982b24000bab35"},"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source":{"identity":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true},"required":true,"sizeBytes":2776833,"mirroredAt":"2026-09-02T17:32:09.835Z","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-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","sizeBytes":2776833},"sourceRevision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","storageProvider":"","storageSizeBytes":2776833,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","scanStatus":"passed","licenseDecisionId":"mirror-license-9ff78b467378856dc92ce5b8133eda32485bddebb710cd04bbdf2927ad67b7be","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-31T02:55:07.642Z","sha256Provenance":{"reason":"cohort hydration for AI-MO/Kimina-Prover-Distill-1.7B under 713b66f9","observed":{"kind":"git-blob","gitOid":"4783fe10ac3adce15ac8f358ef5462739852c569","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","sizeBytes":2776833,"externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569"},"upstream":{"path":"vocab.json","repoId":"AI-MO/Kimina-Prover-Distill-1.7B","provider":"huggingface","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5"},"planDigest":"sha256:175847be6256bddb87e27f129e70770f95ef9f90424a79769300fa83b31ffd79","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9ef10054ef4e7aecc0470c33c322eea0ffad9bc3b1e7d24af1ceefea15074f99","observationId":"packet-observation-bae62388cc47a5efb2a293004da449625c1eaabe217909429876569551796b99","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30"},"artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T02:55:13.488Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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":"signed","freshness":"current","checked_at":"2026-10-31T02:55:13.488Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"}],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","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-10-31T02:55:13.487Z","serveEvaluationId":"serve-23c566fe8d375e7178373d9e61b0f7d278619dc573615b3fe7c568f391d32406","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-10-31T02:55:13.487Z","readinessSource":"file-check","degraded":false,"stale":false},"total":11,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-31T02:55:13.489Z","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-10-31T02:55:13.487Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"}}