{"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-03T05:13:31.809Z","serveEvaluationId":"serve-4e63d51595b7dc8241e0ed306ef60e04868235725c821e8b744c737666d24a24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683072672,"readinessCheckedAt":"2026-11-03T05:13:31.809Z","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-03T05:13:31.809Z","serveEvaluationId":"serve-4e63d51595b7dc8241e0ed306ef60e04868235725c821e8b744c737666d24a24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683072672,"readinessCheckedAt":"2026-11-03T05:13:31.809Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","type":"llm","task":"general","license":"mit","visibility":"public","summary":"Model from Hugging Face for llm: mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","revision":"24651ab71f868d8a8d0c33b434d522704371bc73","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":88970412921,"label":"82.9 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":61,"upstreamStars":1,"label":"61 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-7b-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-7b-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_9d9462c2b6caf9976fee4e444375767bf5a38cd2aba45cbb089ee6620cbd3f4b","artifactId":"hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf","representationId":"rep-c03ed8e88604ced0dabfeb631693e58c35332491fd658037503840175ee730fd","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-c03ed8e88604ced0dabfeb631693e58c35332491fd658037503840175ee730fd","artifactId":"hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf","format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","revision":"24651ab71f868d8a8d0c33b434d522704371bc73","immutable":true},"files":[{"path":"DeepTheorem-qwen-7b-rl.i1-Q4_K_M.gguf","role":"weight","sizeBytes":4683072672,"sha256":"sha256:833e8b56a3fe97b1b1ebf938cb1542244f3ef8b9b2be7e791fea9f5286a63de8","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:211a32691c8293df03d4e79f0b0273c687c1498228359512773877df8afb5736"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:3865f02e4172204b62ac15d8d57325e859126b405391c48d345d9d41a1c1ecbc","representationDigest":"sha256:e2ea3ea1576aa82e80de8a87c5ba899748d4d1cbc82e0ec0b02c02ec6cbb189e","evidenceSnapshotDigest":"sha256:f981d2d58d33b41ac61bfad506a2f1fc0a6cf83ebdc5f38c6032f44d2b6cd3f5","evaluatedAt":"2026-08-29T18:02:47.800Z","authorityVersion":"sha256:2470acc4c5c8be35031f7a6eff6daa0e9a6e821568f9ca21b561441c5e9c8ced","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-7b-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-7b-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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ1_M.gguf","sizeBytes":2042195104,"declaredSizeBytes":2042195104,"storageSizeBytes":2042195104,"sha256":"fe56e77ed03aef48d7e79a1030d8da01a25c93a0fa786aa44d207994f3268482","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ1_S.gguf","sizeBytes":1903666336,"declaredSizeBytes":1903666336,"storageSizeBytes":1903666336,"sha256":"d6f41d57f57a55f0189f8e9061dc82144c4038eb52067a29ec7837d78e1814a8","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ2_M.gguf","sizeBytes":2780341408,"declaredSizeBytes":2780341408,"storageSizeBytes":2780341408,"sha256":"b20a469aa20662701151a5343d72bb7e615497a5ad1f7a61b17e1053ec136403","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ2_S.gguf","sizeBytes":2595636384,"declaredSizeBytes":2595636384,"storageSizeBytes":2595636384,"sha256":"3001130aef9ae15a0c64c6f574ce548ee765d86cb703ca902ff4d1a4ce2ffc98","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ2_XS.gguf","sizeBytes":2469020832,"declaredSizeBytes":2469020832,"storageSizeBytes":2469020832,"sha256":"f9b81bff212f0f36434f2ba4cc790167fb24b8acf08e150d7b1e9160b0c66263","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ2_XXS.gguf","sizeBytes":2273076384,"declaredSizeBytes":2273076384,"storageSizeBytes":2273076384,"sha256":"8cef6dd8fef1dd6b7e6f4a957fb133981b7294e0465412bb620bd7fe09215105","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ3_M.gguf","sizeBytes":3574011040,"declaredSizeBytes":3574011040,"storageSizeBytes":3574011040,"sha256":"6fb11e47e107994bebd458f106ce91f4ef6cadf53c546f11a67f750100f8fe94","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ3_S.gguf","sizeBytes":3499191456,"declaredSizeBytes":3499191456,"storageSizeBytes":3499191456,"sha256":"8eae00f2ca14116121f7989ebe4b6a6e8ac099910415f566e8f3daa87d7952f4","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ3_XS.gguf","sizeBytes":3346255008,"declaredSizeBytes":3346255008,"storageSizeBytes":3346255008,"sha256":"ea2d6bd098a83846753fa6b374f71e334f718c3eccdbbc24984d99c0ef06c35a","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ3_XXS.gguf","sizeBytes":3114513568,"declaredSizeBytes":3114513568,"storageSizeBytes":3114513568,"sha256":"7687b1d63e206266f3d3ad5b2638738e1e089163a30f2fba0851700571399d2c","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ4_NL.gguf","sizeBytes":4437812384,"declaredSizeBytes":4437812384,"storageSizeBytes":4437812384,"sha256":"6b37d0ce2d9ad4dcfc5668163332090908dda4cfbec586b7caadb5a0d8fb9428","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-IQ4_XS.gguf","sizeBytes":4218471584,"declaredSizeBytes":4218471584,"storageSizeBytes":4218471584,"sha256":"c79d9c25c80e04426a0b6be8654ca7d7fd9397a35413f4c9979f2456d7dc63be","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q2_K.gguf","sizeBytes":3015939232,"declaredSizeBytes":3015939232,"storageSizeBytes":3015939232,"sha256":"65d1c53f608d692ce6a5d8a1868fee2559c6235e1419bad1771f6afcb0ef07cd","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q2_K_S.gguf","sizeBytes":2834072736,"declaredSizeBytes":2834072736,"storageSizeBytes":2834072736,"sha256":"32bd014baa510eebdca08777f3c46491d0e383f7a1dbea13f44b435d14e77d66","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q3_K_L.gguf","sizeBytes":4088458400,"declaredSizeBytes":4088458400,"storageSizeBytes":4088458400,"sha256":"fbeb41be684c585ccb8a52c0e38fdc89262e4d105692e2937d20ca064b6d3f40","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q3_K_M.gguf","sizeBytes":3808390304,"declaredSizeBytes":3808390304,"storageSizeBytes":3808390304,"sha256":"d1c9c2dc977af399a1d1e8b34932dfe310e8f7c2c4337187dad55d196bf44bb9","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q3_K_S.gguf","sizeBytes":3492367520,"declaredSizeBytes":3492367520,"storageSizeBytes":3492367520,"sha256":"32be778498ed20393591fc8e8c0f14637ec58d0b0cea818232c19ae5798a79bf","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q4_0.gguf","sizeBytes":4444120224,"declaredSizeBytes":4444120224,"storageSizeBytes":4444120224,"sha256":"58a3bb01e058342f2837d9da13b9d19dec81e7948ea1cd8161303b0421d1de7f","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q4_1.gguf","sizeBytes":4873282720,"declaredSizeBytes":4873282720,"storageSizeBytes":4873282720,"sha256":"fea03165fe99f31d9af39923bbbf6000d8ec9febeca3741ea8830b8c352d0284","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q4_K_M.gguf","sizeBytes":4683072672,"declaredSizeBytes":4683072672,"storageSizeBytes":4683072672,"sha256":"833e8b56a3fe97b1b1ebf938cb1542244f3ef8b9b2be7e791fea9f5286a63de8","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-7b-rl-i1-gguf/DeepTheorem-qwen-7b-rl.i1-Q4_K_M.gguf","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q4_K_S.gguf","sizeBytes":4457768096,"declaredSizeBytes":4457768096,"storageSizeBytes":4457768096,"sha256":"06b5852958769e81ea67c7f0fe599a1d37e6da8bee9bb660a73b51cc197bd50a","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q5_K_M.gguf","sizeBytes":5444830368,"declaredSizeBytes":5444830368,"storageSizeBytes":5444830368,"sha256":"2a3c29865b310ae606e979621417a1be63ba3b9f611826667d1cbc31b6983be4","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q5_K_S.gguf","sizeBytes":5315175584,"declaredSizeBytes":5315175584,"storageSizeBytes":5315175584,"sha256":"76574f9e148f9992ca8dfcfae44513d6f011aee6a54d978d2ca490a02aaf95ef","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"DeepTheorem-qwen-7b-rl.i1-Q6_K.gguf","sizeBytes":6254197920,"declaredSizeBytes":6254197920,"storageSizeBytes":6254197920,"sha256":"bf1d531651057480f19e1071055ebc69015363c645f45f34ddb75edfeed552be","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"},{"path":"imatrix.dat","sizeBytes":4536665,"declaredSizeBytes":4536665,"storageSizeBytes":4536665,"sha256":"9481012123b2d0961efb4d923ad9a505c68b8b3eaf2459b54b776089618b9ec3","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-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"unsigned"}],"generated_at":"2026-11-03T05:13:31.951Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-03T05:13:31.809Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"}}