{"schemaVersion":"hugging-bay.artifact-download-plan.v1","proofLab":null,"testedRunPlan":null,"receiptCard":{"schemaVersion":"hugging-bay.agent-receipt-card.v1","outcome":{"status":"unavailable","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"proof":null},"runTested":false,"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"summary":"No fresh signed Proof Lab run plan for this file.","recommendedFile":{"path":"model.safetensors","role":"weight","sizeBytes":3554214752,"declaredSizeBytes":3554214752,"storageSizeBytes":3554214752,"sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","format":"safetensors","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors/verified?receipt=rcpt_a40859e8f081ac4edc2c23b460cd1df0","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors/verify-status?receipt=rcpt_a40859e8f081ac4edc2c23b460cd1df0","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":true,"recommended":true,"weightSafety":{"path":"model.safetensors","container":"safetensors","executesCodeOnLoad":false,"beginnerSafe":true,"agentLabel":"Non-executing weight container (safetensors or GGUF)."},"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"model.safetensors","sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","sizeBytes":3554214752},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=model.safetensors&sha256=8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},"defaultDownload":{"paths":["model.safetensors"],"sizeBytes":3554214752,"fileCount":1},"run":{"caveat":"Compatibility with your machine is not checked — this is guidance, not a promise. These steps are for after the byte-check passes."},"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-02T02:47:29.218Z","serveEvaluationId":"serve-d9a19ee86c5697be0c96e3ec3e7764b8b655c6a5a46a0144eb1213dba8eb6bb3","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-02T02:47:29.218Z","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-02T02:47:29.218Z","serveEvaluationId":"serve-d9a19ee86c5697be0c96e3ec3e7764b8b655c6a5a46a0144eb1213dba8eb6bb3","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-02T02:47:29.218Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-11-02T02:47:29.230Z","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","artifact":{"id":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","repo":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","type":"llm","license":"apache-2.0","visibility":"public","hostingStatus":"hosted","upstreamUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B"},"status":"complete-bytes","serve":{"schemaVersion":"hugging-bay.serve-contract.nv5","decisionVersion":"hugging-bay.serve-decision/v1","evaluatedAt":"2026-11-02T02:47:29.218Z","bytesStatus":"complete","downloadReady":true,"runReady":false,"byteVerificationStatus":"verified","commandsAvailable":false,"reasonCodes":["no-tested-run-plan"],"readiness":"ready","downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":3570098302,"readinessCheckedAt":"2026-11-02T02:47:29.228Z","readinessSource":"file-check","degraded":false,"stale":false,"serveEvaluatedAt":"2026-11-02T02:47:29.218Z","serveEvaluationId":"serve-d9a19ee86c5697be0c96e3ec3e7764b8b655c6a5a46a0144eb1213dba8eb6bb3"},"representation":{"id":"rep-350451c532595c70b5fa39a02ebd57f8fe51eed1c7697a90d4c774bbf84edb35","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","representationDigest":"sha256:5845bbab14470fb482ed9d05610551d6fcd64c34aa3722ac2fd6e7cdddb0e3ba","selectedFilesDigest":"sha256:3bac6cd73960c3647e16f7a841e24a034d0a7b52bdabaac62ac6919f44c4ad7c","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Preview-Distill-1.5B","revision":"737ff8442bdd883bf18c9b76f46f8e63d03949d1","immutable":true}},"tool":"any","toolCompatibility":"unknown","manifest":{"url":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","digest":"sha256:83395464ee5772e693c1277dd3ee804f9d76356100a8863bd54ec330c125b13f","keyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:83395464ee5772e693c1277dd3ee804f9d76356100a8863bd54ec330c125b13f","value":"AsZjkqchcMVqTWnKC8zzCCuN18FDx3i4ERoTpbBUrpm_Z8FQeeCfe0gqKMSkoWl8MTSjmmunK57RYfjq0rWoAw","signed_at":"2026-11-02T02:47:29.224Z","public_key_url":"/api/keys/manifest-signing","payload":"canonical-json:manifest-excluding-signature-and-generated_at","canonical_encoding":"rfc8785","canonical_excludes":["signature","generated_at","manifest_digest","serveEvaluatedAt","serveEvaluationId","serveExplanation","readinessCheckedAt","obtainReady","serveVerdict","reason","reasonCodes"]},"claim":"Signed by the harbor"},"peerFallbackReadiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"AI-MO-Kimina-Prover-Preview-Distill-1.5B","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/decentralized-fallbacks","manifestDigest":"sha256:83395464ee5772e693c1277dd3ee804f9d76356100a8863bd54ec330c125b13f","fileCount":10,"totalBytes":3570098302,"files":[{"path":"README.md","sizeBytes":3500,"sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md"},{"path":"added_tokens.json","sizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json"},{"path":"config.json","sizeBytes":739,"sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json"},{"path":"generation_config.json","sizeBytes":139,"sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json"},{"path":"merges.txt","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt"},{"path":"model.safetensors","sizeBytes":3554214752,"sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors"},{"path":"special_tokens_map.json","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json"},{"path":"tokenizer.json","sizeBytes":11421896,"sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json"},{"path":"tokenizer_config.json","sizeBytes":7372,"sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json"},{"path":"vocab.json","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json"}],"blockers":[],"requiredEvidence":["magnet URI with btih info hash","source URL proving the torrent maps to this public upstream release","SHA-256 or signed manifest evidence for each hosted file","reviewer note confirming license, provenance, scan, and same-as-upstream checks"],"guidance":"This hosted artifact has enough signed hash/provenance metadata for a reviewed torrent or magnet fallback request; submit the magnet for review before publication."},"fileIntegrity":{"manifestSignatureAvailable":true,"hashAlgorithm":"sha256","individuallyHashedFiles":10,"externalFilesExcluded":true,"noArchiveGenerated":true,"scope":"individual hosted files only; no bundle or runtime claim","completionAttestationAvailable":true,"bytesAreClientAttestedOnly":false,"redirectLaneIsClientAttested":true,"serverStreamVerifiedLaneAvailable":true,"serverStreamVerifiedNote":"GET a file's verifiedDownloadUrl to have Hugging Bay proxy the bytes and compute a streaming SHA-256 over them; the run steps unlock only when the streamed digest matches this plan's file.sha256. A range/partial read cannot be verified and is refused on that lane."},"receiptJoin":{"perFileField":null,"receiptSource":"X-Hugging-Bay-Receipt response header of a verifiedDownloadUrl transfer (fresh per attempt)","events":["plan_issued","bytes_verified","bytes_mismatch"],"store":"jev_wedge.outcomes","requiresMigration":"157_jev_wedge_outcomes (branch claude/jev-whichfile-wedge-20260920)","note":"plan_issued is emitted when a real verified transfer starts; bytes_verified/bytes_mismatch when it completes, keyed by the transfer's own receipt id (X-Hugging-Bay-Receipt) + file sha256. There is no public receipt lookup route; the plan carries no receipt id."},"completionAttestation":{"required":false,"purpose":"After a client downloads a hosted file in full and recomputes its SHA-256 locally, POST completion so the pull is counted honestly. Redirect issuance (this plan / the signed URL) is a download initiation, not a completed pull; self-reported receipts, probes, HEAD requests, and partial/range reads are never counted.","endpoint":"https://huggingbay.xyz/api/download-completions/{id}/{path}","method":"POST","perFileField":"completionAttestationUrl","when":"Only after the ENTIRE file is downloaded and its locally recomputed SHA-256 equals this plan's file.sha256.","requestFields":{"sha256":"The locally recomputed SHA-256 of the fully downloaded file; must equal this plan's file.sha256 (the exact catalog digest the completion is validated against).","sizeBytes":"The exact stored byte length of the file; must equal this plan's file.sizeBytes (the storage size the redirect capability is bound to).","completionToken":"Required single-use capability returned in the X-Hugging-Bay-Completion-Token response header of the GET /api/downloads/{id}/{path} redirect. Not derivable client-side; the redirect must be observed to obtain it."},"guarantees":["Bytes are client-attested, not app-metered: the platform never meters redirect egress, so a completion is credited only against a single-use redirect capability plus the exact catalog SHA-256 and stored size — never from a self-reported byte count.","Probes, HEAD requests, partial/range reads, and self-reported receipts never count as a completed pull.","The completion capability is single-use and cryptographically bound to the exact artifact, path, immutable object version, sha256, size, initiating client bucket, and issuance day; it cannot be forged or replayed to inflate counts."],"responses":{"200":"already recorded; single-use capability replayed, no duplicate count","202":"client-attested completion accepted (counted once)","403":"completion capability invalid, expired, or not matching its issuance binding","409":"sha256, size, hosted verification, or completion eligibility mismatch"}},"stats":{"files":10,"listedFiles":10,"withheldFiles":0,"bytes":3570098302,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"externalFiles":1,"allArtifactFiles":11},"files":[{"path":"README.md","role":"support","sizeBytes":3500,"declaredSizeBytes":3500,"storageSizeBytes":3500,"sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","format":"md","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md/verified?receipt=rcpt_21cd0c37a359ea550934268f8fb70316","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md/verify-status?receipt=rcpt_21cd0c37a359ea550934268f8fb70316","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"README.md","sha256":"d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882","sizeBytes":3500},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=README.md&sha256=d5ce720b4d16c8c4bc3dc779e21f7f0b7a79d1b0ec37626933f553981a1c8882"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/README.md","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"added_tokens.json","role":"support","sizeBytes":605,"declaredSizeBytes":605,"storageSizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json/verified?receipt=rcpt_2cf42631fe4a474a33769c919c6cd827","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json/verify-status?receipt=rcpt_2cf42631fe4a474a33769c919c6cd827","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"added_tokens.json","sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","sizeBytes":605},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=added_tokens.json&sha256=58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"config.json","role":"support","sizeBytes":739,"declaredSizeBytes":739,"storageSizeBytes":739,"sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json/verified?receipt=rcpt_277071ee58f10456a297939c10d7d74f","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json/verify-status?receipt=rcpt_277071ee58f10456a297939c10d7d74f","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"config.json","sha256":"34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe","sizeBytes":739},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=config.json&sha256=34a21d463b04d31c9f3ee4247d51e6d00841e864404c5b8d8b385906176a4ebe"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"generation_config.json","role":"support","sizeBytes":139,"declaredSizeBytes":139,"storageSizeBytes":139,"sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json/verified?receipt=rcpt_870e4559e9aa104523ac2c640efc3105","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json/verify-status?receipt=rcpt_870e4559e9aa104523ac2c640efc3105","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"generation_config.json","sha256":"de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d","sizeBytes":139},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=generation_config.json&sha256=de09cb41808e0b762be0b1ee87ed237e4aa79079fc13b2bb42cb62aa15b0987d"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"merges.txt","role":"support","sizeBytes":1671853,"declaredSizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","format":"txt","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt/verified?receipt=rcpt_186483fd97a2e7fda08308b388684a30","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt/verify-status?receipt=rcpt_186483fd97a2e7fda08308b388684a30","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"merges.txt","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","sizeBytes":1671853},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=merges.txt&sha256=8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/merges.txt","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"model.safetensors","role":"weight","sizeBytes":3554214752,"declaredSizeBytes":3554214752,"storageSizeBytes":3554214752,"sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","format":"safetensors","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors/verified?receipt=rcpt_a40859e8f081ac4edc2c23b460cd1df0","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors/verify-status?receipt=rcpt_a40859e8f081ac4edc2c23b460cd1df0","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":true,"recommended":true,"weightSafety":{"path":"model.safetensors","container":"safetensors","executesCodeOnLoad":false,"beginnerSafe":true,"agentLabel":"Non-executing weight container (safetensors or GGUF)."},"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"model.safetensors","sha256":"8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29","sizeBytes":3554214752},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=model.safetensors&sha256=8eeb38242eec989e56aebbd23541f81ba770475556b7fd80038229959bf44e29"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/model.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"special_tokens_map.json","role":"support","sizeBytes":613,"declaredSizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json/verified?receipt=rcpt_9dc61b574d7999d8d6d1e8c40cba85cb","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json/verify-status?receipt=rcpt_9dc61b574d7999d8d6d1e8c40cba85cb","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"special_tokens_map.json","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","sizeBytes":613},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=special_tokens_map.json&sha256=76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"tokenizer.json","role":"support","sizeBytes":11421896,"declaredSizeBytes":11421896,"storageSizeBytes":11421896,"sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json/verified?receipt=rcpt_13d6bec62bf154b44551ceafa9adb975","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json/verify-status?receipt=rcpt_13d6bec62bf154b44551ceafa9adb975","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"tokenizer.json","sha256":"9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa","sizeBytes":11421896},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=tokenizer.json&sha256=9c5ae00e602b8860cbd784ba82a8aa14e8feecec692e7076590d014d7b7fdafa"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"tokenizer_config.json","role":"support","sizeBytes":7372,"declaredSizeBytes":7372,"storageSizeBytes":7372,"sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json/verified?receipt=rcpt_69cb7b544ad84450c999b1ae384e9360","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json/verify-status?receipt=rcpt_69cb7b544ad84450c999b1ae384e9360","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"tokenizer_config.json","sha256":"4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0","sizeBytes":7372},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=tokenizer_config.json&sha256=4461979643db606ce128f709420d8e99310e2f6fab67985879c58715520aa9e0"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"},{"path":"vocab.json","role":"support","sizeBytes":2776833,"declaredSizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","format":"json","dtype":null,"risk":"low","sourceKind":"mirrored-upstream","license":"apache-2.0","licenseState":"clear","individuallyHashed":true,"fileOnly":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","bundleImplication":"none","peerFallbacks":[],"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json/verified?receipt=rcpt_aa6f9d3ee5fb95f00df2191cb80f99fe","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json/verify-status?receipt=rcpt_aa6f9d3ee5fb95f00df2191cb80f99fe","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","run":{"commandsAvailable":false,"commands":[],"reason":"no-tested-run-plan","sharded":false,"runBlockKind":"hosted-file-recipe","guiProven":false,"certifiedRunKit":false,"disclosure":"This is not a certified run kit — Hugging Bay has not verified a run path for these exact bytes. These are hosted-file guidance recipes; recompute each file's SHA-256 and check it before running.","fileRecipeAvailable":false,"authority":"hugging-bay.run-authority/v1"},"default":false,"recommended":false,"proofReceipt":{"schemaVersion":"hugging-bay.proof-receipt.v1","artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","file":{"path":"vocab.json","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","sizeBytes":2776833},"license":"apache-2.0","evidenceDate":null,"checks":{"bytes":{"status":"not-recorded","checkedAt":null},"run":{"status":"not-recorded","checkedAt":null,"device":null,"runtime":null},"safety":{"verdict":"unknown"}},"proves":["The catalog records this file path and SHA-256."],"doesNotProve":["Safety to execute.","Licence suitability for your use.","A completed download or successful run on your device."],"sentence":"This receipt records checks for this exact file; it does not prove safety or that it will run on your device.","receiptUrl":"https://huggingbay.xyz/api/v1/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/proof-receipt?path=vocab.json&sha256=ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/vocab.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"},"signature_state":"signed"}],"actions":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","hostedFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-ai-mo-kimina-prover-preview-distill-1-5b&limit=100","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b/distribution"},"warnings":["External upstream files are intentionally excluded."],"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},"snapshotId":"s1-1s2kg","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-02T02:47:29.218Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-preview-distill-1-5b"}}