{"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-11-02T09:54:31.719Z","serveEvaluationId":"serve-358404fbe969444adac8f14883a968e6547529e86c9d6c08e68558bb96f72fad","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2104932000,"readinessCheckedAt":"2026-11-02T09:54:31.719Z","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-11-02T09:54:31.719Z","serveEvaluationId":"serve-358404fbe969444adac8f14883a968e6547529e86c9d6c08e68558bb96f72fad","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2104932000,"readinessCheckedAt":"2026-11-02T09:54:31.719Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","type":"llm","task":"general","license":"mit","visibility":"public","summary":"Model from Hugging Face for llm: mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","revision":"0a862c45cb4a4cf2b861f6cb9c70256a5146c35d","importMode":"external-catalog","gated":false,"private":false,"disabled":false}},"trust":{"license_decision":{"policy":"mirror","license":"mit","ids":["mit"],"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":1,"signals":{"size":{"known":true,"bytes":40317168321,"label":"37.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":22,"upstreamStars":0,"label":"22 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":"mit"},{"id":"provenance","label":"Provenance","status":"pass","detail":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"1/27 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: mit","Provenance: mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 1/27 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_199a9ac1370f927858775dd378b8a0f3cc9d956ac7e5e61a51ab004b43d2e0bd","artifactId":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","representationId":"rep-a474836fc98ce08417c9ff90c91159e2ade1aa3d7e640771f5ea128cf6f751e7","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-a474836fc98ce08417c9ff90c91159e2ade1aa3d7e640771f5ea128cf6f751e7","artifactId":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","revision":"0a862c45cb4a4cf2b861f6cb9c70256a5146c35d","immutable":true},"files":[{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","role":"weight","sizeBytes":2104932000,"sha256":"sha256:9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:922d3e391f691d32ca84efd46a3f3555a5e0198f10b362bf3a9b04e432d4a2ff"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:1d53bc93caab1c3398bf5ac56a59334b3d26885e90bf40f06f07725f23e77983","representationDigest":"sha256:9f624ec39604055975ebb26590ba380ab1d324fee0272d6dd0f59927af758786","evidenceSnapshotDigest":"sha256:993834cb5f9ba456d3de2fff75785756d69ba118ec66ac49d6ac7d50332054ad","evaluatedAt":"2026-08-29T17:55:00.278Z","authorityVersion":"sha256:90747963677619753e7db7530c2019629bd887a7e69e388069d095a9fd635539","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":1,"serveAuthority":"live-serve-decision","individuallyHashedFiles":1,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":1,"strictlyDownloadableFiles":1,"strictlyDownloadableHashedFiles":1,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":27,"scope":"canonical-postgres-snapshot"},"hostedFinal":true,"hostedFiles":1,"externalFiles":26,"totalFiles":27},"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-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/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-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","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":".gitattributes","sizeBytes":3331,"declaredSizeBytes":3331,"storageSizeBytes":3331,"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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ1_M.gguf","sizeBytes":952127136,"declaredSizeBytes":952127136,"storageSizeBytes":952127136,"sha256":"bf54d09c49718a0ecd97ccec784962e22e1d297ac381280d53c99774dd148ae3","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ1_S.gguf","sizeBytes":893193888,"declaredSizeBytes":893193888,"storageSizeBytes":893193888,"sha256":"1980a2e210cea8ae3136e37edf9cf2beba957b15601e60e41287208c7c0006ce","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_M.gguf","sizeBytes":1274218144,"declaredSizeBytes":1274218144,"storageSizeBytes":1274218144,"sha256":"594f43b7b11d823807971b0e61b2df683b527b745b942af65ea3a9ee6e44254f","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_S.gguf","sizeBytes":1195640480,"declaredSizeBytes":1195640480,"storageSizeBytes":1195640480,"sha256":"e0ccca284c6c9f79fad4b0938b314262fa23776ef26fc29130eb90e71e7672ec","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_XS.gguf","sizeBytes":1133645472,"declaredSizeBytes":1133645472,"storageSizeBytes":1133645472,"sha256":"94fce6e2cb0c3841e9be70d7c495529b81928bb600392f9d4828c507b6f714db","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ2_XXS.gguf","sizeBytes":1050349216,"declaredSizeBytes":1050349216,"storageSizeBytes":1050349216,"sha256":"e5e2899621f16c58b8c923f9b4661831fcbbbdebe2bd199246ad1596bb516211","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_M.gguf","sizeBytes":1622597280,"declaredSizeBytes":1622597280,"storageSizeBytes":1622597280,"sha256":"fc38c80b2ca6e5c8a130b32229d15f37126bef047e7de071d4cdec57cf051e75","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_S.gguf","sizeBytes":1590566560,"declaredSizeBytes":1590566560,"storageSizeBytes":1590566560,"sha256":"fa3b84ba1299571fc887f8fc8706ed946b6be19de5f7d73862c061fc3d02e4b1","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_XS.gguf","sizeBytes":1525538464,"declaredSizeBytes":1525538464,"storageSizeBytes":1525538464,"sha256":"b665944533d1aeaa66376a51425ffa58ca4c7b0284ff353c15c705fc5a6bf9e5","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ3_XXS.gguf","sizeBytes":1416529568,"declaredSizeBytes":1416529568,"storageSizeBytes":1416529568,"sha256":"95ac3ffc1a5fdea34a221bc59586e8453e99edcbbad34ecdf61690fb96b8a2bc","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ4_NL.gguf","sizeBytes":2000238240,"declaredSizeBytes":2000238240,"storageSizeBytes":2000238240,"sha256":"95372b2e9cd51d1f1314faeaba6c00ac13235c12e4da1801bc2d5fe0878e7f60","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-IQ4_XS.gguf","sizeBytes":1904400032,"declaredSizeBytes":1904400032,"storageSizeBytes":1904400032,"sha256":"a88c8f8e293d64aaf6d5786364cb1c19c01afaab87484dff11a7195817a777e9","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q2_K.gguf","sizeBytes":1376855712,"declaredSizeBytes":1376855712,"storageSizeBytes":1376855712,"sha256":"578bcefb19e7e1fb6ada90d09bf19ff948af61f70c0ee5bd7f9927843cec6dbb","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q2_K_S.gguf","sizeBytes":1300227744,"declaredSizeBytes":1300227744,"storageSizeBytes":1300227744,"sha256":"60de87d0663c196c39a4424775a2da54ec8953543a9b3a4c18159ced811aedbe","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_L.gguf","sizeBytes":1841094304,"declaredSizeBytes":1841094304,"storageSizeBytes":1841094304,"sha256":"8dc5b587d9544babacc21b266854d38525e1d4f9f11ffcc14337ef9311de95ef","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_M.gguf","sizeBytes":1724178080,"declaredSizeBytes":1724178080,"storageSizeBytes":1724178080,"sha256":"71acfa12a542161d8a0f30b2ebb5d8e50fbff866bfeaa851835dd3aba367ac49","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q3_K_S.gguf","sizeBytes":1588059808,"declaredSizeBytes":1588059808,"storageSizeBytes":1588059808,"sha256":"b050248e822ca3f702c81544e81ead33d40f5695dabebef6ebe6865ce1a268c9","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_0.gguf","sizeBytes":2003515040,"declaredSizeBytes":2003515040,"storageSizeBytes":2003515040,"sha256":"85f28a197a10c87eeba1c29d382bf2c4a25d833bfb789d44e4ac0729a16587c9","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_1.gguf","sizeBytes":2190735008,"declaredSizeBytes":2190735008,"storageSizeBytes":2190735008,"sha256":"42685b4f2ae12c6b421f7e6144ccd94642af0014c49a25c6811b6021a2b63654","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","sizeBytes":2104932000,"declaredSizeBytes":2104932000,"storageSizeBytes":2104932000,"sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","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-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_S.gguf","sizeBytes":2009413280,"declaredSizeBytes":2009413280,"storageSizeBytes":2009413280,"sha256":"9f92b28c460078bfe256fc75ef7ea6220ba76bd5cfeff626a2a9013d22984022","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q5_K_M.gguf","sizeBytes":2438739616,"declaredSizeBytes":2438739616,"storageSizeBytes":2438739616,"sha256":"1aa5738f1a5b65cbee3f4030d9ca0b548edaeb632d11636a3a98550014fc7035","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q5_K_S.gguf","sizeBytes":2383591072,"declaredSizeBytes":2383591072,"storageSizeBytes":2383591072,"sha256":"5b4e8c8e79c4bffb0180f194f6aa8c2b7e2551a892952a3ac01d5638fd29a9bb","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-3b-rl.i1-Q6_K.gguf","sizeBytes":2793410208,"declaredSizeBytes":2793410208,"storageSizeBytes":2793410208,"sha256":"c31ff115173299b60fdeb439d2b59e656357727d387068d97ed3813c4942caee","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":5661,"declaredSizeBytes":5661,"storageSizeBytes":5661,"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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"imatrix.dat","sizeBytes":3362977,"declaredSizeBytes":3362977,"storageSizeBytes":3362977,"sha256":"f5a2606fa790c788bbb5de1ce2f9a08a58dee64f36863bc725a3b0df380c571f","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-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"unsigned"}],"generated_at":"2026-11-02T09:54:31.881Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-02T09:54:31.719Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"}}