{"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-10-21T11:11:46.114Z","serveEvaluationId":"serve-813dcc25f87a9c63311de205c92c87687a3dfc7d63b6d60dd028b3f996ea5e10","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-21T11:11:46.114Z","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-10-21T11:11:46.114Z","serveEvaluationId":"serve-813dcc25f87a9c63311de205c92c87687a3dfc7d63b6d60dd028b3f996ea5e10","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-21T11:11:46.114Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"QuantFactory/BFS-Prover-GGUF","artifact":{"id":"hf-model-quantfactory-bfs-prover-gguf","repo":"QuantFactory/BFS-Prover-GGUF"},"release":"hf-main","artifact_type":"llm","license":"apache-2.0","license_clarity":{"license":"apache-2.0","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":"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"]},"license_obligations_digest":null,"visibility":"public","hosted":true,"hosting":{"status":"hosted","hostedFiles":1,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"QuantFactory/BFS-Prover-GGUF","private":false,"repoUrl":"https://huggingface.co/QuantFactory/BFS-Prover-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","fetchedAt":"2026-08-28T08:38:14.027Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"license_upstream_record":{"declared_license":"apache-2.0","upstream_license_raw":"apache-2.0","source_url":"https://huggingface.co/QuantFactory/BFS-Prover-GGUF","upstream":{"gated":false,"repoId":"QuantFactory/BFS-Prover-GGUF","private":false,"repoUrl":"https://huggingface.co/QuantFactory/BFS-Prover-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","fetchedAt":"2026-08-28T08:38:14.027Z","importMode":"external-catalog","licenseRaw":"apache-2.0"}},"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:e58526b54f120c95fd1766818502a52b4691aa3af5f86ad884a1559d33d778f2","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_0d6183505338adb6997937abb6a4aaaf32e18ef04485ec476435125c81e4266b","artifactId":"hf-model-quantfactory-bfs-prover-gguf","representationId":"rep-8a9da83d85ab57d1ff09ee2bdcebb0796ddf485af58ad0be87412654eb489384","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-8a9da83d85ab57d1ff09ee2bdcebb0796ddf485af58ad0be87412654eb489384","artifactId":"hf-model-quantfactory-bfs-prover-gguf","format":"gguf","source":{"provider":"huggingface","identity":"QuantFactory/BFS-Prover-GGUF","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","immutable":true},"files":[{"path":"BFS-Prover.Q4_K_M.gguf","role":"weight","sizeBytes":4683074496,"sha256":"sha256:e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:0e70eef66f46f585079d31e6a0627c2bd9d034d9520966d514202b2a32faba38"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:2d19da1e4cda5d2b95ac4a4166c93c79975509afbacacc432e758960a9ab771a","representationDigest":"sha256:e58526b54f120c95fd1766818502a52b4691aa3af5f86ad884a1559d33d778f2","evidenceSnapshotDigest":"sha256:87aff45f668a779dd7b7a23466d5f5f91f37cde627cafad8ae40adf9ba9e994e","evaluatedAt":"2026-08-28T09:03:02.045Z","authorityVersion":"sha256:f9343710be709e82279aeb5c86508a36296990c251944d5912e6271390a31457","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":16,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:2d19da1e4cda5d2b95ac4a4166c93c79975509afbacacc432e758960a9ab771a","representation":{"id":"rep-8a9da83d85ab57d1ff09ee2bdcebb0796ddf485af58ad0be87412654eb489384","artifactId":"hf-model-quantfactory-bfs-prover-gguf","representationDigest":"sha256:e58526b54f120c95fd1766818502a52b4691aa3af5f86ad884a1559d33d778f2","selectedFilesDigest":"sha256:2d19da1e4cda5d2b95ac4a4166c93c79975509afbacacc432e758960a9ab771a","taskMode":{"mode":"unknown"},"format":"gguf","source":{"provider":"huggingface","identity":"QuantFactory/BFS-Prover-GGUF","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","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":"BFS-Prover.Q4_K_M.gguf","size":4683074496,"declared_size":4683074496,"storage_size":4683074496,"media_type":"application/octet-stream","sha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","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-quantfactory-bfs-prover-gguf/BFS-Prover.Q4_K_M.gguf"}],"mirrors":1,"generated_at":"2026-10-21T11:30:57.113Z","manifest_digest":"sha256:66ed07fef2a8fae7a399ef94dc5e72519f76c686d8216b656dfc10fe2e140889","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:66ed07fef2a8fae7a399ef94dc5e72519f76c686d8216b656dfc10fe2e140889","value":"hFC4DOhjHV-pAD6Y1GC8P0cz_z53I3GU-_QCa4m4wmZugyEd6Vwraw-QT4scJpi1M9-R3TyYXay8RBydCjvQDg","signed_at":"2026-10-21T11:30:57.113Z","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"]}}