{"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-distill-1-7b"},"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":4063515640,"declaredSizeBytes":4063515640,"storageSizeBytes":4063515640,"sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","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-distill-1-7b/model.safetensors","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors/verified?receipt=rcpt_5f836f397fb71374ca0b24e65d404ec0","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors/verify-status?receipt=rcpt_5f836f397fb71374ca0b24e65d404ec0","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"model.safetensors","sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","sizeBytes":4063515640},"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-distill-1-7b/proof-receipt?path=model.safetensors&sha256=0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f"},"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-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},"defaultDownload":{"paths":["model.safetensors"],"sizeBytes":4063515640,"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-01T22:43:35.337Z","serveEvaluationId":"serve-d270425075c5bbfdee3aee6c5904801d8d06ba91820463c6ab5cf661b92ad93b","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-11-01T22:43:35.337Z","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-01T22:43:35.337Z","serveEvaluationId":"serve-d270425075c5bbfdee3aee6c5904801d8d06ba91820463c6ab5cf661b92ad93b","readiness":"ready","downloadReady":true,"hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-11-01T22:43:35.337Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-11-01T22:43:35.345Z","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","artifact":{"id":"hf-model-ai-mo-kimina-prover-distill-1-7b","repo":"AI-MO/Kimina-Prover-Distill-1.7B","type":"llm","license":"apache-2.0","visibility":"public","hostingStatus":"hosted","upstreamUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B"},"status":"complete-bytes","serve":{"schemaVersion":"hugging-bay.serve-contract.nv5","decisionVersion":"hugging-bay.serve-decision/v1","evaluatedAt":"2026-11-01T22:43:35.337Z","bytesStatus":"complete","downloadReady":true,"runReady":false,"byteVerificationStatus":"verified","commandsAvailable":false,"reasonCodes":["no-tested-run-plan"],"readiness":"ready","downloadable":true,"downloadStatus":"READY","hostedFileCount":10,"mirroredBytes":4079401510,"readinessCheckedAt":"2026-11-01T22:43:35.343Z","readinessSource":"file-check","degraded":false,"stale":false,"serveEvaluatedAt":"2026-11-01T22:43:35.337Z","serveEvaluationId":"serve-d270425075c5bbfdee3aee6c5904801d8d06ba91820463c6ab5cf661b92ad93b"},"representation":{"id":"rep-ee3aad38d932e416a0f7601817dadbcafcbe4717983a9b06040bfc0ce1d75a2b","artifactId":"hf-model-ai-mo-kimina-prover-distill-1-7b","representationDigest":"sha256:29db9e010488a83eae96bd352a284df70a1b629a1b87d33623a73c701bbdfd81","selectedFilesDigest":"sha256:998ef3333ca330168041db67084a295dddcf81731c28520d86f9f9f7f8de7c30","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"AI-MO/Kimina-Prover-Distill-1.7B","revision":"3d66bc560a29bdee21322eba9b02971a7b891ef5","immutable":true}},"tool":"any","toolCompatibility":"unknown","manifest":{"url":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","digest":"sha256:f809e0e5af9d248dd17f333d56fdad835b90c989f4db349304e5ec0a4617a974","keyUrl":"https://huggingbay.xyz/api/keys/manifest-signing","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:f809e0e5af9d248dd17f333d56fdad835b90c989f4db349304e5ec0a4617a974","value":"gPwMkGKvydLcBVTPtNpTdumBc90tgbkV9i56fj_tgWng0qOBwdg0XQfpCEtv60bUU4W5A5XnSWcaNEftGc_4CQ","signed_at":"2026-11-01T22:43:35.340Z","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-Distill-1.7B","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-distill-1-7b","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/decentralized-fallbacks","manifestDigest":"sha256:f809e0e5af9d248dd17f333d56fdad835b90c989f4db349304e5ec0a4617a974","fileCount":10,"totalBytes":4079401510,"files":[{"path":"README.md","sizeBytes":2479,"sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md"},{"path":"added_tokens.json","sizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json"},{"path":"config.json","sizeBytes":728,"sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json"},{"path":"generation_config.json","sizeBytes":214,"sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json"},{"path":"merges.txt","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt"},{"path":"model.safetensors","sizeBytes":4063515640,"sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors"},{"path":"special_tokens_map.json","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json"},{"path":"tokenizer.json","sizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json"},{"path":"tokenizer_config.json","sizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json"},{"path":"vocab.json","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/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":4079401510,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"externalFiles":1,"allArtifactFiles":11},"files":[{"path":"README.md","role":"support","sizeBytes":2479,"declaredSizeBytes":2479,"storageSizeBytes":2479,"sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","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-distill-1-7b/README.md","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md/verified?receipt=rcpt_f88b4bb940ae26600b98b0a3f92f8e9c","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md/verify-status?receipt=rcpt_f88b4bb940ae26600b98b0a3f92f8e9c","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"README.md","sha256":"12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311","sizeBytes":2479},"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-distill-1-7b/proof-receipt?path=README.md&sha256=12feb503a3182d44039be7fc69a93bc610071371d80d7807b22a0192b9d9a311"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/README.md","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"declaredSizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","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-distill-1-7b/added_tokens.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json/verified?receipt=rcpt_e0678f58934fb10800b5a7ea56ac2144","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json/verify-status?receipt=rcpt_e0678f58934fb10800b5a7ea56ac2144","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"added_tokens.json","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","sizeBytes":707},"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-distill-1-7b/proof-receipt?path=added_tokens.json&sha256=c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"config.json","role":"support","sizeBytes":728,"declaredSizeBytes":728,"storageSizeBytes":728,"sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","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-distill-1-7b/config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json/verified?receipt=rcpt_2ba96b08465008e8b238fc3110fa3a4c","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json/verify-status?receipt=rcpt_2ba96b08465008e8b238fc3110fa3a4c","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"config.json","sha256":"f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84","sizeBytes":728},"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-distill-1-7b/proof-receipt?path=config.json&sha256=f1fa8c9eb800a88f5c59880273c5f4ef7bdcd86e11149b356e1f887e45c58a84"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"generation_config.json","role":"support","sizeBytes":214,"declaredSizeBytes":214,"storageSizeBytes":214,"sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","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-distill-1-7b/generation_config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json/verified?receipt=rcpt_4e990f49cd32dd2b6d341e6f18d84371","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json/verify-status?receipt=rcpt_4e990f49cd32dd2b6d341e6f18d84371","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"generation_config.json","sha256":"787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf","sizeBytes":214},"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-distill-1-7b/proof-receipt?path=generation_config.json&sha256=787409d8b23543ca6a24affbca01de9251ec48e5b0f268911ca92daabde329bf"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-distill-1-7b/merges.txt","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt/verified?receipt=rcpt_7617c7e328b1de68ff471ec48f96f9d9","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt/verify-status?receipt=rcpt_7617c7e328b1de68ff471ec48f96f9d9","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/merges.txt","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","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-distill-1-7b/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-distill-1-7b/merges.txt","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"model.safetensors","role":"weight","sizeBytes":4063515640,"declaredSizeBytes":4063515640,"storageSizeBytes":4063515640,"sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","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-distill-1-7b/model.safetensors","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors/verified?receipt=rcpt_5f836f397fb71374ca0b24e65d404ec0","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors/verify-status?receipt=rcpt_5f836f397fb71374ca0b24e65d404ec0","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"model.safetensors","sha256":"0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f","sizeBytes":4063515640},"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-distill-1-7b/proof-receipt?path=model.safetensors&sha256=0690bbea3436b2eb21de32ae9a59e0c930d64f24e8f7d6f60a58194faf861e6f"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/model.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-distill-1-7b/special_tokens_map.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json/verified?receipt=rcpt_ff8a8c32f18f4ee7ffe4e6273256d634","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json/verify-status?receipt=rcpt_ff8a8c32f18f4ee7ffe4e6273256d634","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/special_tokens_map.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","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-distill-1-7b/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-distill-1-7b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"tokenizer.json","role":"support","sizeBytes":11422654,"declaredSizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","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-distill-1-7b/tokenizer.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json/verified?receipt=rcpt_cbe88026fdd4a92f73e7f3b5883d4c36","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json/verify-status?receipt=rcpt_cbe88026fdd4a92f73e7f3b5883d4c36","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"tokenizer.json","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654},"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-distill-1-7b/proof-receipt?path=tokenizer.json&sha256=aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"},{"path":"tokenizer_config.json","role":"support","sizeBytes":9789,"declaredSizeBytes":9789,"storageSizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","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-distill-1-7b/tokenizer_config.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json/verified?receipt=rcpt_abe180d16293067cba2be71c67d7fd46","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json/verify-status?receipt=rcpt_abe180d16293067cba2be71c67d7fd46","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","file":{"path":"tokenizer_config.json","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","sizeBytes":9789},"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-distill-1-7b/proof-receipt?path=tokenizer_config.json&sha256=5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72"},"runCommands":{"tested":false,"status":"not-tested-yet","file":null,"sha256":null,"commands":[]},"downloadEndpoint":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"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-distill-1-7b/vocab.json","verifiedDownloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json/verified?receipt=rcpt_5d766fe83f090bbd91e508970ad7c6f6","verifyStatusUrl":"https://huggingbay.xyz/api/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json/verify-status?receipt=rcpt_5d766fe83f090bbd91e508970ad7c6f6","completionAttestationUrl":"https://huggingbay.xyz/api/download-completions/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json","completionAttestationMethod":"POST","landingUrl":"https://huggingbay.xyz/downloads/hf-model-ai-mo-kimina-prover-distill-1-7b/vocab.json","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b","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-distill-1-7b","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-distill-1-7b/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-distill-1-7b/vocab.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"},"signature_state":"signed"}],"actions":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-ai-mo-kimina-prover-distill-1-7b","hostedFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-ai-mo-kimina-prover-distill-1-7b&limit=100","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-ai-mo-kimina-prover-distill-1-7b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-ai-mo-kimina-prover-distill-1-7b/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-1s2js","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T22:43:35.337Z","evidence_url":"/api/manifests/hf-model-ai-mo-kimina-prover-distill-1-7b"}}