{"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-10-24T07:53:24.982Z","serveEvaluationId":"serve-eb89cd76a28799abc6996fec28935aa5b15d26360dc57cba9dea076a8ceaca75","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-24T07:53:24.982Z","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-24T07:53:24.982Z","serveEvaluationId":"serve-eb89cd76a28799abc6996fec28935aa5b15d26360dc57cba9dea076a8ceaca75","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4683074496,"readinessCheckedAt":"2026-10-24T07:53:24.982Z","readinessSource":"file-check","degraded":false,"stale":false},"artifact":{"id":"hf-model-quantfactory-bfs-prover-gguf","repo":"QuantFactory/BFS-Prover-GGUF","type":"llm","task":"text-generation","license":"apache-2.0","visibility":"public","summary":"Model from Hugging Face for text generation: QuantFactory/BFS-Prover-GGUF · transformers","upstream":{"provider":"huggingface","repoType":"model","repoId":"QuantFactory/BFS-Prover-GGUF","repoUrl":"https://huggingface.co/QuantFactory/BFS-Prover-GGUF","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","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":69035673818,"label":"64.3 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":108,"upstreamStars":1,"label":"108 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":"QuantFactory/BFS-Prover-GGUF"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"1/16 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: QuantFactory/BFS-Prover-GGUF","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 1/16 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_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"},"hostedFinal":true,"hostedFiles":1,"externalFiles":15,"totalFiles":16},"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-quantfactory-bfs-prover-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-quantfactory-bfs-prover-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":2331,"declaredSizeBytes":2331,"storageSizeBytes":2331,"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},{"path":"BFS-Prover.Q2_K.gguf","sizeBytes":3015941056,"declaredSizeBytes":3015941056,"storageSizeBytes":3015941056,"sha256":"c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e","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},{"path":"BFS-Prover.Q3_K_L.gguf","sizeBytes":4088460224,"declaredSizeBytes":4088460224,"storageSizeBytes":4088460224,"sha256":"07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889","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},{"path":"BFS-Prover.Q3_K_M.gguf","sizeBytes":3808392128,"declaredSizeBytes":3808392128,"storageSizeBytes":3808392128,"sha256":"fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d","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},{"path":"BFS-Prover.Q3_K_S.gguf","sizeBytes":3492369344,"declaredSizeBytes":3492369344,"storageSizeBytes":3492369344,"sha256":"72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8","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},{"path":"BFS-Prover.Q4_0.gguf","sizeBytes":4431391680,"declaredSizeBytes":4431391680,"storageSizeBytes":4431391680,"sha256":"de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4","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},{"path":"BFS-Prover.Q4_1.gguf","sizeBytes":4873284544,"declaredSizeBytes":4873284544,"storageSizeBytes":4873284544,"sha256":"4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67","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},{"path":"BFS-Prover.Q4_K_M.gguf","sizeBytes":4683074496,"declaredSizeBytes":4683074496,"storageSizeBytes":4683074496,"sha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","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-quantfactory-bfs-prover-gguf/BFS-Prover.Q4_K_M.gguf","externalUrl":null},{"path":"BFS-Prover.Q4_K_S.gguf","sizeBytes":4457769920,"declaredSizeBytes":4457769920,"storageSizeBytes":4457769920,"sha256":"e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa","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},{"path":"BFS-Prover.Q5_0.gguf","sizeBytes":5315177408,"declaredSizeBytes":5315177408,"storageSizeBytes":5315177408,"sha256":"11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2","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},{"path":"BFS-Prover.Q5_1.gguf","sizeBytes":5757070272,"declaredSizeBytes":5757070272,"storageSizeBytes":5757070272,"sha256":"64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45","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},{"path":"BFS-Prover.Q5_K_M.gguf","sizeBytes":5444832192,"declaredSizeBytes":5444832192,"storageSizeBytes":5444832192,"sha256":"fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271","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},{"path":"BFS-Prover.Q5_K_S.gguf","sizeBytes":5315177408,"declaredSizeBytes":5315177408,"storageSizeBytes":5315177408,"sha256":"1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5","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},{"path":"BFS-Prover.Q6_K.gguf","sizeBytes":6254199744,"declaredSizeBytes":6254199744,"storageSizeBytes":6254199744,"sha256":"1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5","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},{"path":"BFS-Prover.Q8_0.gguf","sizeBytes":8098526144,"declaredSizeBytes":8098526144,"storageSizeBytes":8098526144,"sha256":"343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e","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},{"path":"README.md","sizeBytes":4927,"declaredSizeBytes":4927,"storageSizeBytes":4927,"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}],"generated_at":"2026-10-24T07:53:25.275Z"}