{"bundle_version":1,"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:19:47.710Z","serveEvaluationId":"serve-b9b75857c464847a8d7d3c3d0d54ce72195a8820e58269c5fa7b9170d96a7613","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-30T05:19:47.710Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:19:47.710Z","serveEvaluationId":"serve-b9b75857c464847a8d7d3c3d0d54ce72195a8820e58269c5fa7b9170d96a7613","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-30T05:19:47.710Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","type":"llm","task":"text-generation","license":"apache-2.0","visibility":"public","summary":"Model from Hugging Face for text generation: lm-provers/QED-Nano · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"lm-provers/QED-Nano","repoUrl":"https://huggingface.co/lm-provers/QED-Nano","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","importMode":"external-catalog","gated":false,"private":false,"disabled":false}},"trust":{"license_decision":{"policy":"mirror","license":"apache-2.0","ids":["apache-2.0"],"status":"allowed","mirrorable":true,"publicCatalog":true,"publicCatalogUnconditional":true,"osiOpenSource":true,"unrestricted":true,"conditional":false,"conditionalEligible":false,"conditionalReason":"not_conditional","licenseId":null,"obligations":null,"conditions":[],"reason":"license_allowlisted","allowlist":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","cc0-1.0","cc-by-4.0","odc-by"]},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","verification_status":"pending","hosting_status":"hosted","hosted_files":13,"signals":{"size":{"known":true,"bytes":8061868927,"label":"7.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":153,"upstreamStars":89,"label":"153 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"canonical-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"lm-provers/QED-Nano"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"13/20 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: lm-provers/QED-Nano","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 13/20 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","canonicalState":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_e0cfb1732145b9496a5c1309272306d3a54d9773303a3c05f4fcde87488e46a1","artifactId":"hf-model-lm-provers-qed-nano","representationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","artifactId":"hf-model-lm-provers-qed-nano","format":"safetensors","source":{"provider":"huggingface","identity":"lm-provers/QED-Nano","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":5744,"sha256":"sha256:11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f85fa72d1dceb01926db7aef3387be3dd24074a9357a434b73caf45bbb2de4be"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:683db5119de5f337b1440a0c31107677b52b5813084db2d8f1b4f436b10e55ad"},{"path":"chat_template.jinja","role":"template","sizeBytes":4049,"sha256":"sha256:3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:fc71d1f8d7ba2c9ef9037e34dbfc44cb3dc008e93396d30de1982cb7e08b2e18"},{"path":"config.json","role":"config","sizeBytes":1567,"sha256":"sha256:43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8ac5c0b17505e501c41f223085e443edb366e5cd9ce0c52d81bdce323a4a2b1c"},{"path":"generation_config.json","role":"config","sizeBytes":188,"sha256":"sha256:3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:52d160f546354d2201aa3b30f9ea3b87cc605b20652b37ff5869c7d3c7f7eb75"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:e72bd970959b48a3dde8941c3ef885e6c8baa0dd3a1a5fddcf4eb8941d4f0d93"},{"path":"model-00001-of-00002.safetensors","role":"weight","sizeBytes":4967215360,"sha256":"sha256:73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b04bb3d6adabe170fa0bfd6ae83b9e808fbee3fc9e736b0c988aefe494a63d8a"},{"path":"model-00002-of-00002.safetensors","role":"weight","sizeBytes":3077766632,"sha256":"sha256:6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:aec3ca73aed8930e79c7dadfc0535ff8c768705b3310818d5677b08e27f6d57f"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32819,"sha256":"sha256:e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0126114bcb631e4a50903fb584bf0e32c8861444a82de16e5aac2dbd53be727c"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:eaca17cab232e371dee2e18f43f5c852a82551c1d10293e19c843b90c6e43dcf"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4f1dfcdc51cd85b1241b91770b3a2d231f0c6c730bc592782de1896439e642ee"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9637,"sha256":"sha256:da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:abf27da6c50834080ea87c5f927355f569c26a12e79895578f5fd2748fb4d9f7"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:9d259484df4c7a65c3a19a2c872ab0d7e691ac6dd3bc2b7dd1614c9dd95a5612"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2","representationDigest":"sha256:d328817b9b43abc492f718698e4678caf4731c85855f0af70bca830d0cbfb555","evidenceSnapshotDigest":"sha256:03a5ba8d193ddcba1bcbe4a4eb459fd2b5f47f225e32c26e79ecce759aa5970f","evaluatedAt":"2026-09-02T23:57:49.411Z","authorityVersion":"sha256:917086036bf066270c6e2c3eca03b1bcb251d32c8b79deb914976734b2949a75","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":13,"serveAuthority":"live-serve-decision","individuallyHashedFiles":13,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":13,"strictlyDownloadableFiles":13,"strictlyDownloadableHashedFiles":13,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":20,"scope":"canonical-postgres-snapshot"},"hostedFinal":true,"hostedFiles":13,"externalFiles":7,"totalFiles":20},"action":{"id":"download","label":"Download exact selected bytes","detail":"The selected immutable representation is byte-complete; runtime compatibility is not established.","href":"/api/v1/artifacts/hf-model-lm-provers-qed-nano/download-plan"}},"community_reviews":{"count":0,"averageRating":0,"verifiedRuns":0,"selfReportedVerifiedRuns":0,"verificationQualification":"quarantined-untrusted-evidence","verificationTrustImpact":"none","helpfulCount":0,"reportCount":0,"reportedReviews":0,"distribution":{"1":0,"2":0,"3":0,"4":0,"5":0},"toolCounts":{},"categoryAverages":{},"categoryCounts":{},"benchmarkEvidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"recent":[]},"benchmark_evidence":{"count":0,"verifiedCount":0,"benchmarkCount":0,"performanceCount":0,"hardwareCounts":{},"topMetrics":[],"recent":[]},"manifest_url":"/api/manifests/hf-model-lm-provers-qed-nano","manifest_key_url":"/api/keys/manifest-signing","verification":{"schema":"hugging-bay.verification-oracle-verdict.v1","status":"verified","authenticityEstablished":true,"contentAddress":{"checked":false,"result":"not-checked","expectedDigest":null,"computedDigest":null,"provesAuthenticity":false},"signatures":[{"proof":"signed-manifest","result":"valid","reason":"manifest-signature-subject-valid"}],"reason":null,"notClaimOf":{"notClaimOf":["authenticity-from-integrity","origin-of-bytes","bay-hosting","legal-advice","silence-as-evidence"],"contentAddressProves":"byte-integrity-against-a-caller-supplied-digest-only","contentAddressNeverProves":["authenticity","origin","bay-hosting"],"authenticityRequires":"at-least-one-valid-signature","authenticitySubjectRequires":"exact-artifact-id-revision-representation-and-selected-files-digest-match","notes":"A content-address match proves only that the bytes hash to the digest the caller supplied; it is NOT proof of authenticity or origin, and implies no Bay hosting. Authenticity requires at least one valid signature bound to the exact requested artifact id, revision, representation, and selected-files digest. Absence of a proof is never treated as evidence. Not legal advice."},"verdictDigest":"sha256:b9fe9329e5d82f2580eca8d55f54f6148e1d27919e9ce40fe2466dc03f510d3e"},"verification_unavailable_reason":null,"verify_url":"/api/verify","takedown_state":"active","warnings":[]},"files":[{"path":".eval_results/MathArena--aime_2026.yaml","sizeBytes":209,"declaredSizeBytes":209,"storageSizeBytes":209,"sha256":"","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":".eval_results/MathArena--hmmt_feb_2026.yaml","sizeBytes":222,"declaredSizeBytes":222,"storageSizeBytes":222,"sha256":"","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":".gitattributes","sizeBytes":1773,"declaredSizeBytes":1773,"storageSizeBytes":1773,"sha256":"","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":5744,"declaredSizeBytes":5744,"storageSizeBytes":5744,"sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/README.md","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"added_tokens.json","sizeBytes":707,"declaredSizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/added_tokens.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"chat_template.jinja","sizeBytes":4049,"declaredSizeBytes":4049,"storageSizeBytes":4049,"sha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/chat_template.jinja","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"config.json","sizeBytes":1567,"declaredSizeBytes":1567,"storageSizeBytes":1567,"sha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/config.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"evals.png","sizeBytes":155380,"declaredSizeBytes":155380,"storageSizeBytes":155380,"sha256":"3afd0b946a07d2e844552a14be5470114c9376c769053ba6f8fa4e8438fdb6cd","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"generation_config.json","sizeBytes":188,"declaredSizeBytes":188,"storageSizeBytes":188,"sha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/generation_config.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"imoproofbench.png","sizeBytes":109511,"declaredSizeBytes":109511,"storageSizeBytes":109511,"sha256":"85b12ad73afb696ab7788781b6dbf5b8cfb229d94bc70c419b8e1657f5635a72","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"logo.png","sizeBytes":260424,"declaredSizeBytes":260424,"storageSizeBytes":260424,"sha256":"53db7ff09e16ec14c3633d509844f1b52b751537d78fb49a48e90ddd3cdc69c1","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"merges.txt","sizeBytes":1671853,"declaredSizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/merges.txt","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"model-00001-of-00002.safetensors","sizeBytes":4967215360,"declaredSizeBytes":4967215360,"storageSizeBytes":4967215360,"sha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00001-of-00002.safetensors","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"model-00002-of-00002.safetensors","sizeBytes":3077766632,"declaredSizeBytes":3077766632,"storageSizeBytes":3077766632,"sha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00002-of-00002.safetensors","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"model.safetensors.bak","sizeBytes":432752,"declaredSizeBytes":432752,"storageSizeBytes":432752,"sha256":"6c6159d1fb660bc5d2a07ddabaa7ffc693077bec37f6a85e0df775f4032ef87b","risk":"low","sourceKind":"external-hf","downloadPolicy":"unavailable","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":null,"externalUrl":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","sizeBytes":32819,"declaredSizeBytes":32819,"storageSizeBytes":32819,"sha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model.safetensors.index.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","sizeBytes":613,"declaredSizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/special_tokens_map.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"tokenizer.json","sizeBytes":11422654,"declaredSizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","sizeBytes":9637,"declaredSizeBytes":9637,"storageSizeBytes":9637,"sha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer_config.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"},{"path":"vocab.json","sizeBytes":2776833,"declaredSizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","risk":"low","sourceKind":"mirrored-upstream","downloadPolicy":"capability","hosted":true,"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","scanPolicyVersion":"hb-scan-2026-07-09.1","scanFindings":[],"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/vocab.json","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"},"signature_state":"unsigned"}],"generated_at":"2026-10-30T05:19:47.871Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:19:47.710Z","evidence_url":"/api/manifests/hf-model-lm-provers-qed-nano"}}