{"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-04T14:51:07.471Z","serveEvaluationId":"serve-cf373414bc174b0702a419955a5d9e8c0321085ff7c683e77568561e2db7d3df","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1117319968,"readinessCheckedAt":"2026-11-04T14:51:07.471Z","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-04T14:51:07.471Z","serveEvaluationId":"serve-cf373414bc174b0702a419955a5d9e8c0321085ff7c683e77568561e2db7d3df","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1117319968,"readinessCheckedAt":"2026-11-04T14:51:07.471Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","type":"llm","task":"general","license":"mit","visibility":"public","summary":"Model from Hugging Face for llm: mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","revision":"6091a805d13bbf3db4d44820ac2b82fbab6c3399","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":21729040911,"label":"20.2 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":68,"upstreamStars":1,"label":"68 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-1.5b-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-1.5b-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_8a0dfab022215ca91ba6b31bae99b09efc89ee4f6cb845efb92d3847664fef4a","artifactId":"hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf","representationId":"rep-83c7ded32f26c88ba893c2b906cdb3a2ee9fae254df7b8ff01f40b2511ac1f4d","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-83c7ded32f26c88ba893c2b906cdb3a2ee9fae254df7b8ff01f40b2511ac1f4d","artifactId":"hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf","format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","revision":"6091a805d13bbf3db4d44820ac2b82fbab6c3399","immutable":true},"files":[{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q4_K_M.gguf","role":"weight","sizeBytes":1117319968,"sha256":"sha256:0e60d760c8c81fcc7590fd2e16368dacba7bc5abe59268ce626e3b886cc18003","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:094583f2b80da6e9f020c6c8cf9d54ffc00cdde1840776171746c499615026a1"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:63e0e5067f83f908ea48e17e493f80562eac18ace9c563f16006e1225b9ebb5a","representationDigest":"sha256:c86f829a09c6ea833f090a62a36d1977990eb28aa947671453388ac4d6289a9b","evidenceSnapshotDigest":"sha256:80cab7ac7d67e94dd93fac89e1d861f768647df2b85b51b735319c9a0099db3b","evaluatedAt":"2026-08-29T17:53:45.115Z","authorityVersion":"sha256:89f43be6a0e95343a513d4e3b41220bc65b22a6ed1b84dd5fc96861f37bb2ece","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-1-5b-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-1-5b-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":3379,"declaredSizeBytes":3379,"storageSizeBytes":3379,"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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ1_M.gguf","sizeBytes":541035808,"declaredSizeBytes":541035808,"storageSizeBytes":541035808,"sha256":"29a4b424d68e0e8497a2cb52b07b26d5587fbed6cf41a31da03949e496a9aa79","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ1_S.gguf","sizeBytes":513102112,"declaredSizeBytes":513102112,"storageSizeBytes":513102112,"sha256":"21986669a6c548905c02a9d686d2d45b3ef1012fcb1914062184426d252addaf","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ2_M.gguf","sizeBytes":701331232,"declaredSizeBytes":701331232,"storageSizeBytes":701331232,"sha256":"b2461f1dc8d6e9f93d64f850e008fcff20b4b01a47b0a03bf6542670bef95d6f","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ2_S.gguf","sizeBytes":664086304,"declaredSizeBytes":664086304,"storageSizeBytes":664086304,"sha256":"705806b5492bb8f2d3011ca073b8498cbaace55005781d405ffed95601dcd5c9","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ2_XS.gguf","sizeBytes":626901280,"declaredSizeBytes":626901280,"storageSizeBytes":626901280,"sha256":"0ce42165ba8adc411c8e0dbfd697f2b7465be0129f7a3328758dda3d0b802ff6","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ2_XXS.gguf","sizeBytes":587591968,"declaredSizeBytes":587591968,"storageSizeBytes":587591968,"sha256":"57fe9ce36cd162d863cf5a7a6b1fe205d920bbedd9a055c60650f93733dd05df","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ3_M.gguf","sizeBytes":876940576,"declaredSizeBytes":876940576,"storageSizeBytes":876940576,"sha256":"9c6890484d31e04461bf73391dcf2a243f8eae459fdfd430a34bd2b5d8d8c828","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ3_S.gguf","sizeBytes":862683424,"declaredSizeBytes":862683424,"storageSizeBytes":862683424,"sha256":"86a2e51b97d3e6e4a7209aea2227c07a094d2ed4b31f3b92bd5b8394b9110541","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ3_XS.gguf","sizeBytes":831975712,"declaredSizeBytes":831975712,"storageSizeBytes":831975712,"sha256":"6e552d3f0122fb53edc04637a6206d02b5a52e254991869c1ac5e207d20299c7","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ3_XXS.gguf","sizeBytes":769068832,"declaredSizeBytes":769068832,"storageSizeBytes":769068832,"sha256":"b97e6997f172f955c3b1750531a70e2ab028ec22c101d0b177525fdd77086363","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ4_NL.gguf","sizeBytes":1067602720,"declaredSizeBytes":1067602720,"storageSizeBytes":1067602720,"sha256":"3ff52ac1f7cf2a8cddc9f4c129842f493d8424d911f8e140d8969d71c52dabca","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-IQ4_XS.gguf","sizeBytes":1019710240,"declaredSizeBytes":1019710240,"storageSizeBytes":1019710240,"sha256":"0b0a3a834c99d5dbab9588ec41fbb94bb2dead9f73fe19edb603bae68cb9045c","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q2_K.gguf","sizeBytes":752879392,"declaredSizeBytes":752879392,"storageSizeBytes":752879392,"sha256":"28d96458346e71c92d5b6ccc0a961bb4dec889076af9fd9a6f6d3a6e65644386","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q2_K_S.gguf","sizeBytes":716709664,"declaredSizeBytes":716709664,"storageSizeBytes":716709664,"sha256":"953bd22a87a697e1bb4b8dda769c69dbf4ef247ba7c9f1b8e1d8e623d8cfa75c","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q3_K_L.gguf","sizeBytes":980439328,"declaredSizeBytes":980439328,"storageSizeBytes":980439328,"sha256":"810f16d61b0e6b5a032f92332f274782052fc676cf2a1c50027a3247e4eea094","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q3_K_M.gguf","sizeBytes":924455200,"declaredSizeBytes":924455200,"storageSizeBytes":924455200,"sha256":"1dd4b2d08a10cd57097687376020dfe1880a6c1b3b311af33c8729e19b6dafd6","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q3_K_S.gguf","sizeBytes":861221152,"declaredSizeBytes":861221152,"storageSizeBytes":861221152,"sha256":"69bda048a876dc9a71d251bcf62648dcd556a3d7f38dd91200a2a6574f46285b","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q4_0.gguf","sizeBytes":1068806944,"declaredSizeBytes":1068806944,"storageSizeBytes":1068806944,"sha256":"34bec4da73960b00a148af9ea81803d91d7f950c5a0f9cae97c5b306e9248c7d","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q4_1.gguf","sizeBytes":1162699552,"declaredSizeBytes":1162699552,"storageSizeBytes":1162699552,"sha256":"da9641db1741674dd6ba723ce61801d6f6ad4ea5afaac2dfd096aa8970ba681c","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q4_K_M.gguf","sizeBytes":1117319968,"declaredSizeBytes":1117319968,"storageSizeBytes":1117319968,"sha256":"0e60d760c8c81fcc7590fd2e16368dacba7bc5abe59268ce626e3b886cc18003","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-1-5b-rl-i1-gguf/DeepTheorem-qwen-1.5b-rl.i1-Q4_K_M.gguf","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q4_K_S.gguf","sizeBytes":1071584032,"declaredSizeBytes":1071584032,"storageSizeBytes":1071584032,"sha256":"b678ec20040789b831334b4f749db4dafc540304f6c6aec332e20ad5f655896a","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q5_K_M.gguf","sizeBytes":1285493536,"declaredSizeBytes":1285493536,"storageSizeBytes":1285493536,"sha256":"43332e31f1df6d06f336355bc9808f27bcf1bc07c9b94e057e4fa549b9cd221f","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q5_K_S.gguf","sizeBytes":1259172640,"declaredSizeBytes":1259172640,"storageSizeBytes":1259172640,"sha256":"e6639f894229923754b14401c1e5ef87940cceb6694a709ae138957c38da8586","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-1.5b-rl.i1-Q6_K.gguf","sizeBytes":1464177952,"declaredSizeBytes":1464177952,"storageSizeBytes":1464177952,"sha256":"c603616985d1834eb549f63b335d0f4a8831d9636e48e10ea43a62c9adc9618f","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":5763,"declaredSizeBytes":5763,"storageSizeBytes":5763,"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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"imatrix.dat","sizeBytes":2042201,"declaredSizeBytes":2042201,"storageSizeBytes":2042201,"sha256":"8e3c9bc206bd06951cb8683d692162e78373f45caf3ec375d15f57309463f27d","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-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"unsigned"}],"generated_at":"2026-11-04T14:51:07.617Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-04T14:51:07.471Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"}}