{"manifest_version":2,"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-11-01T03:35:38.962Z","serveEvaluationId":"serve-b16298341a7d0766a2032ab4eb087d52a6b52c73d1606ae14ef0021bcce21572","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2104932000,"readinessCheckedAt":"2026-11-01T03:35:38.962Z","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-01T03:35:38.962Z","serveEvaluationId":"serve-b16298341a7d0766a2032ab4eb087d52a6b52c73d1606ae14ef0021bcce21572","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2104932000,"readinessCheckedAt":"2026-11-01T03:35:38.962Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF"},"release":"hf-main","artifact_type":"llm","license":"mit","license_clarity":{"license":"mit","commercialUse":"yes","confidence":"high","obligations":["Attribution/notice requirements of the license still apply."],"summary":"Permissive open license: commercial use, modification, and redistribution are permitted.","redistribution":"Keep every copyright, attribution, license, and NOTICE requirement imposed by the exact license text.","notes":"Not legal advice."},"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"]},"license_obligations_digest":null,"visibility":"public","hosted":true,"hosting":{"status":"hosted","hostedFiles":1,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"0a862c45cb4a4cf2b861f6cb9c70256a5146c35d","fetchedAt":"2026-08-29T12:30:27.182Z","importMode":"external-catalog","licenseRaw":"mit"},"license_upstream_record":{"declared_license":"mit","upstream_license_raw":"mit","source_url":"https://huggingface.co/mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","upstream":{"gated":false,"repoId":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"0a862c45cb4a4cf2b861f6cb9c70256a5146c35d","fetchedAt":"2026-08-29T12:30:27.182Z","importMode":"external-catalog","licenseRaw":"mit"}},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","signer":"hugging-bay","manifest_digest_kind":"signed-manifest","release_manifest_digest":"external-not-mirrored","canonical_representation_digest":"sha256:9f624ec39604055975ebb26590ba380ab1d324fee0272d6dd0f59927af758786","canonical_state":{"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"},"selected_files_digest":"sha256:1d53bc93caab1c3398bf5ac56a59334b3d26885e90bf40f06f07725f23e77983","representation":{"id":"rep-a474836fc98ce08417c9ff90c91159e2ade1aa3d7e640771f5ea128cf6f751e7","artifactId":"hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf","representationDigest":"sha256:9f624ec39604055975ebb26590ba380ab1d324fee0272d6dd0f59927af758786","selectedFilesDigest":"sha256:1d53bc93caab1c3398bf5ac56a59334b3d26885e90bf40f06f07725f23e77983","taskMode":{"mode":"unknown"},"format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-3b-rl-i1-GGUF","revision":"0a862c45cb4a4cf2b861f6cb9c70256a5146c35d","immutable":true}},"release_gates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"files":[{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","size":2104932000,"declared_size":2104932000,"storage_size":2104932000,"media_type":"application/octet-stream","sha256":"9b7c7ff62b810576222d06a00c60dc9337d4b33291fc06d044b25bf4137a627b","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf/DeepTheorem-qwen-3b-rl.i1-Q4_K_M.gguf","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T03:35:38.962Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-11-01T03:35:38.962Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T03:35:38.962Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-3b-rl-i1-gguf"},"manifest_digest":"sha256:141afb61d02b7fad93ba9186ea2c566217a3870222cfa9c2139236d37a72fbfc","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:141afb61d02b7fad93ba9186ea2c566217a3870222cfa9c2139236d37a72fbfc","value":"PWhGE9DrbvI0VBffgd9iy-IwM6OUKzbIhmz_lNAyO3wyumwSiQKCqhUwiCQc2NBSSrJp-vL23u6J7XgfJ-ZhBA","signed_at":"2026-11-01T03:35:38.962Z","public_key_url":"/api/keys/manifest-signing","payload":"canonical-json:manifest-excluding-signature-and-generated_at","canonical_encoding":"rfc8785","canonical_excludes":["signature","generated_at","manifest_digest","serveEvaluatedAt","serveEvaluationId","serveExplanation","readinessCheckedAt","obtainReady","serveVerdict","reason","reasonCodes"]}}