{"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-01T18:57:18.496Z","serveEvaluationId":"serve-0f176c2f9fcafcb62edf393771091611cc02c5a379e9dcb1add3605837b0f0a7","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5027781024,"readinessCheckedAt":"2026-11-01T18:57:18.496Z","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-01T18:57:18.496Z","serveEvaluationId":"serve-0f176c2f9fcafcb62edf393771091611cc02c5a379e9dcb1add3605837b0f0a7","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5027781024,"readinessCheckedAt":"2026-11-01T18:57:18.496Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","repo":"mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","type":"llm","task":"general","license":"apache-2.0","visibility":"public","summary":"Model from Hugging Face for llm: mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","repoUrl":"https://huggingface.co/mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","revision":"191cd79b72372e236c8eb42f58ac226b97195c46","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":1,"signals":{"size":{"known":true,"bytes":73425301192,"label":"68.4 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":21,"upstreamStars":1,"label":"21 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":"mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"1/14 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: mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 1/14 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_850dc8630bdca9163a49c1e74c226c38b04577df6d2c5577ef982d43c36dc79f","artifactId":"hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","representationId":"rep-97935ccf60556396452010c0265c8038f851d8f09fa74d10b6ec4962b62514bb","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-97935ccf60556396452010c0265c8038f851d8f09fa74d10b6ec4962b62514bb","artifactId":"hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf","format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B-GGUF","revision":"191cd79b72372e236c8eb42f58ac226b97195c46","immutable":true},"files":[{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","role":"weight","sizeBytes":5027781024,"sha256":"sha256:43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:42e09037b8925ff7b9f624e92b85db3fd1cd83cff1459b087dc4191d59e61690"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:b928701a5a52ee2b1aee3b3ac97328f8cdaaff95bd8fccc25f6b486ab5e35d24","representationDigest":"sha256:1d0c9b6c5f5a30a80b8c540e9063f36a2743b20f583bd2880efa08f30eb885a7","evidenceSnapshotDigest":"sha256:a585fef67a90d6bccfa682c4a603055f8e4d2362af1ffa5cb095d54ac8b8b4f5","evaluatedAt":"2026-09-03T09:03:22.858Z","authorityVersion":"sha256:4f1fb3934de87cbd256c195da5044f2baba64a5057277ecd5c41e58b59121801","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":14,"scope":"canonical-postgres-snapshot"},"hostedFinal":true,"hostedFiles":1,"externalFiles":13,"totalFiles":14},"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-mathsmith-hard-problem-synthesizer-qwen3-8b-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-mathsmith-hard-problem-synthesizer-qwen3-8b-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":2614,"declaredSizeBytes":2614,"storageSizeBytes":2614,"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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.IQ4_XS.gguf","sizeBytes":4593293728,"declaredSizeBytes":4593293728,"storageSizeBytes":4593293728,"sha256":"1fcdc0c13b4a74b04445734766da09a2e9d332c2f503e8150a0787c158682430","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q2_K.gguf","sizeBytes":3281729952,"declaredSizeBytes":3281729952,"storageSizeBytes":3281729952,"sha256":"b022d4c6c854d6d63cf65378eb545c0fb1722258f721d85a65da8759b54574ce","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_L.gguf","sizeBytes":4431391136,"declaredSizeBytes":4431391136,"storageSizeBytes":4431391136,"sha256":"fd9fe91bb741dddb6f5e9b800ff6ad073144039e53935c29925429b7daa59632","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_M.gguf","sizeBytes":4124158368,"declaredSizeBytes":4124158368,"storageSizeBytes":4124158368,"sha256":"deb790f94b08d47b0c7470a1252d628d6c7e82c8f3f85f1f0cff1a3fd24bfbec","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q3_K_S.gguf","sizeBytes":3769608608,"declaredSizeBytes":3769608608,"storageSizeBytes":3769608608,"sha256":"dd55a9a2a2b66d455fcddc53270efad99db5021741d9d9f1bdffde62d8c1c10a","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","sizeBytes":5027781024,"declaredSizeBytes":5027781024,"storageSizeBytes":5027781024,"sha256":"43d77b25b7f1f3d59990fc3d1fa01dd3f24c94bb83c11589d3d157062c966989","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-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf/MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_M.gguf","externalUrl":null,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q4_K_S.gguf","sizeBytes":4802009504,"declaredSizeBytes":4802009504,"storageSizeBytes":4802009504,"sha256":"31db7358a3a61b920c74366ff2c697b1274aacaeb219b7ca03a6ec4e776fa2b6","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q5_K_M.gguf","sizeBytes":5851109792,"declaredSizeBytes":5851109792,"storageSizeBytes":5851109792,"sha256":"c5423ff238f4027ca36e2c678c56b86cdca084e80581502ad7e3f1b25b00101f","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q5_K_S.gguf","sizeBytes":5720758688,"declaredSizeBytes":5720758688,"storageSizeBytes":5720758688,"sha256":"dff6eed8491f3adf55dd4f6c1696b5f70a48aa6638c2092b825784cbf97c1d35","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q6_K.gguf","sizeBytes":6725896608,"declaredSizeBytes":6725896608,"storageSizeBytes":6725896608,"sha256":"6f3151eb1c8d4b276dff5f33128cfb3d15d0476a07dcc07df88d2c16a14e5f52","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.Q8_0.gguf","sizeBytes":8709515680,"declaredSizeBytes":8709515680,"storageSizeBytes":8709515680,"sha256":"5ff2411379ffd9e79772a7d9065f571a954b8500afb23d7498986a692de11ac5","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"MathSmith-Hard-Problem-Synthesizer-Qwen3-8B.f16.gguf","sizeBytes":16388041120,"declaredSizeBytes":16388041120,"storageSizeBytes":16388041120,"sha256":"720888af8b7261e84648a970cb3b50f974ffed79cf15878210966939c0d1bbe0","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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":4370,"declaredSizeBytes":4370,"storageSizeBytes":4370,"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-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"},"signature_state":"unsigned"}],"generated_at":"2026-11-01T18:57:18.633Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-11-01T18:57:18.496Z","evidence_url":"/api/manifests/hf-model-mradermacher-mathsmith-hard-problem-synthesizer-qwen3-8b-gguf"}}