{"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-03T07:03:16.744Z","serveEvaluationId":"serve-3d554e642cbbe4164db635b613156e07cab9621d513061624cd5c6b9d609ee32","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1117319968,"readinessCheckedAt":"2026-11-03T07:03:16.744Z","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-03T07:03:16.744Z","serveEvaluationId":"serve-3d554e642cbbe4164db635b613156e07cab9621d513061624cd5c6b9d609ee32","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1117319968,"readinessCheckedAt":"2026-11-03T07:03:16.744Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-1.5b-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-1.5b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"6091a805d13bbf3db4d44820ac2b82fbab6c3399","fetchedAt":"2026-08-29T12:29:57.109Z","importMode":"external-catalog","licenseRaw":"mit"},"license_upstream_record":{"declared_license":"mit","upstream_license_raw":"mit","source_url":"https://huggingface.co/mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","upstream":{"gated":false,"repoId":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"6091a805d13bbf3db4d44820ac2b82fbab6c3399","fetchedAt":"2026-08-29T12:29:57.109Z","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:c86f829a09c6ea833f090a62a36d1977990eb28aa947671453388ac4d6289a9b","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_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"},"selected_files_digest":"sha256:63e0e5067f83f908ea48e17e493f80562eac18ace9c563f16006e1225b9ebb5a","representation":{"id":"rep-83c7ded32f26c88ba893c2b906cdb3a2ee9fae254df7b8ff01f40b2511ac1f4d","artifactId":"hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf","representationDigest":"sha256:c86f829a09c6ea833f090a62a36d1977990eb28aa947671453388ac4d6289a9b","selectedFilesDigest":"sha256:63e0e5067f83f908ea48e17e493f80562eac18ace9c563f16006e1225b9ebb5a","taskMode":{"mode":"unknown"},"format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-1.5b-rl-i1-GGUF","revision":"6091a805d13bbf3db4d44820ac2b82fbab6c3399","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-1.5b-rl.i1-Q4_K_M.gguf","size":1117319968,"declared_size":1117319968,"storage_size":1117319968,"media_type":"application/octet-stream","sha256":"0e60d760c8c81fcc7590fd2e16368dacba7bc5abe59268ce626e3b886cc18003","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-1-5b-rl-i1-gguf/DeepTheorem-qwen-1.5b-rl.i1-Q4_K_M.gguf","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-03T07:03:16.744Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-11-03T07:03:16.744Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-03T07:03:16.744Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-1-5b-rl-i1-gguf"},"manifest_digest":"sha256:48550eb31cb123809ef123a24cc2ece062f713fb10b49e6ed8028e9bc392f222","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:48550eb31cb123809ef123a24cc2ece062f713fb10b49e6ed8028e9bc392f222","value":"OnxV3byReF9Tm5W_U7rY_zfTvm1Kr9czwIqqbYzch6ziohbgGf_z4ezfBNicKWHs35lIRmJvUSvViKLafEllBA","signed_at":"2026-11-03T07:03:16.745Z","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"]}}