{"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-01T00:00:19.418Z","serveEvaluationId":"serve-9b9e95565a09c4859f28b50ca735916f26f1a9481bec5603b27659125d448bd7","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683072672,"readinessCheckedAt":"2026-11-01T00:00:19.418Z","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-01T00:00:19.418Z","serveEvaluationId":"serve-9b9e95565a09c4859f28b50ca735916f26f1a9481bec5603b27659125d448bd7","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683072672,"readinessCheckedAt":"2026-11-01T00:00:19.418Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","artifact":{"id":"hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf","repo":"mradermacher/DeepTheorem-qwen-7b-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-7b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"24651ab71f868d8a8d0c33b434d522704371bc73","fetchedAt":"2026-08-29T12:33:16.120Z","importMode":"external-catalog","licenseRaw":"mit"},"license_upstream_record":{"declared_license":"mit","upstream_license_raw":"mit","source_url":"https://huggingface.co/mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","upstream":{"gated":false,"repoId":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","private":false,"repoUrl":"https://huggingface.co/mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"24651ab71f868d8a8d0c33b434d522704371bc73","fetchedAt":"2026-08-29T12:33:16.120Z","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:e2ea3ea1576aa82e80de8a87c5ba899748d4d1cbc82e0ec0b02c02ec6cbb189e","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_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"},"selected_files_digest":"sha256:3865f02e4172204b62ac15d8d57325e859126b405391c48d345d9d41a1c1ecbc","representation":{"id":"rep-c03ed8e88604ced0dabfeb631693e58c35332491fd658037503840175ee730fd","artifactId":"hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf","representationDigest":"sha256:e2ea3ea1576aa82e80de8a87c5ba899748d4d1cbc82e0ec0b02c02ec6cbb189e","selectedFilesDigest":"sha256:3865f02e4172204b62ac15d8d57325e859126b405391c48d345d9d41a1c1ecbc","taskMode":{"mode":"unknown"},"format":"gguf","source":{"provider":"huggingface","identity":"mradermacher/DeepTheorem-qwen-7b-rl-i1-GGUF","revision":"24651ab71f868d8a8d0c33b434d522704371bc73","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-7b-rl.i1-Q4_K_M.gguf","size":4683072672,"declared_size":4683072672,"storage_size":4683072672,"media_type":"application/octet-stream","sha256":"833e8b56a3fe97b1b1ebf938cb1542244f3ef8b9b2be7e791fea9f5286a63de8","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-7b-rl-i1-gguf/DeepTheorem-qwen-7b-rl.i1-Q4_K_M.gguf","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T00:00:19.418Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-11-01T00:00:19.418Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-11-01T00:00:19.418Z","evidence_url":"/api/manifests/hf-model-mradermacher-deeptheorem-qwen-7b-rl-i1-gguf"},"manifest_digest":"sha256:27e44c7f0cddf7d42e37290371714da696157de6c5b1b1b5f4154dfcd95ad4bd","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:27e44c7f0cddf7d42e37290371714da696157de6c5b1b1b5f4154dfcd95ad4bd","value":"IfCCvtI99UoYUk6iXNy_9-bR7l0r9Ws8vSkzXL6CoZ9NJvOtminDCvaXjIza4384EB8_0RrbQwSkCRJYtsArBw","signed_at":"2026-11-01T00:00:19.418Z","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"]}}