{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-24T03:46:28.737Z","artifactId":"hf-model-quantfactory-bfs-prover-gguf","repo":"QuantFactory/BFS-Prover-GGUF","totalSizeBytes":69035673818,"rows":[{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":2331,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"1726fcc0a2e07faf9d795321efcbe07df4c386c7","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":2331,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q2_K.gguf","risk":"low","format":"gguf","sha256":"c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e","lfsSha256":"c6a895ba95fc84b358c05c9192817dfc5e664802e7d2cb33cdc417a0109c8b7e","sizeBytes":3015941056,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"7f25a293956635cd3acf51ac4b8c60dd96ab3c5b","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q2_K.gguf","license":"apache-2.0","declaredSizeBytes":3015941056,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q3_K_L.gguf","risk":"low","format":"gguf","sha256":"07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889","lfsSha256":"07063ba9f2a4a33559fc9b94d1684774cacfd71d667ad10eff0a6758e1467889","sizeBytes":4088460224,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"d351341a6afb6ec06392188a4d50c0d7eda756d9","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q3_K_L.gguf","license":"apache-2.0","declaredSizeBytes":4088460224,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q3_K_M.gguf","risk":"low","format":"gguf","sha256":"fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d","lfsSha256":"fd78bdf1245fd2228d9dabb184d8ce82222454e9c215544f56aee8de487c3f7d","sizeBytes":3808392128,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"02d3a2442ee1c81622cd84ef3dde54ad43ff5348","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q3_K_M.gguf","license":"apache-2.0","declaredSizeBytes":3808392128,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q3_K_S.gguf","risk":"low","format":"gguf","sha256":"72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8","lfsSha256":"72369040812f82e4bbe470b0f6c2ef04a6c7f1171d10eb353062e3f427e423e8","sizeBytes":3492369344,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"abc0712765462aebba3ae39c8f9ceb757b95a8f6","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q3_K_S.gguf","license":"apache-2.0","declaredSizeBytes":3492369344,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q4_0.gguf","risk":"low","format":"gguf","sha256":"de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4","lfsSha256":"de96fa34e5f079ba10e22436610fc6c51b1267954ce72f5323283c1b4a0ea5b4","sizeBytes":4431391680,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"7429d65f0f18ce67f369909807fb5c4c0514954a","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q4_0.gguf","license":"apache-2.0","declaredSizeBytes":4431391680,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q4_1.gguf","risk":"low","format":"gguf","sha256":"4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67","lfsSha256":"4aa4aed2d351b7af4f45ccf71abf7b306ee056ac6921c5cd4ccb9af93d80ab67","sizeBytes":4873284544,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"4b79f19067d759982d828f7983282b73628ded34","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q4_1.gguf","license":"apache-2.0","declaredSizeBytes":4873284544,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.646Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q4_K_M.gguf","risk":"low","role":"weight","format":"gguf","review":{"batchId":"mirror-batch-f26928d60ae2a823738ac3c3a56702fc110edf7f6207ae42","approvedAt":"2026-08-28T08:38:48.974Z","approvedBy":"configured-admin","approvalDigest":"sha256:7e59475d9722a66acdafc19a6ce1b3c14eff1681a8242ef99b0d16dfddae756e"},"sha256":"sha256:e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","source":{"identity":"QuantFactory/BFS-Prover-GGUF","provider":"huggingface","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","immutable":true},"required":true,"lfsSha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","sizeBytes":4683074496,"mirroredAt":"2026-08-31T10:47:12.502Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","externalUrl":null,"scanFindings":[],"sourceSha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","approvedSha256":"sha256:e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","downloadPolicy":"unavailable","reviewFindings":[],"sourceIdentity":{"path":"BFS-Prover.Q4_K_M.gguf","digest":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","repoId":"QuantFactory/BFS-Prover-GGUF","provider":"huggingface","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","sizeBytes":4683074496},"sourceRevision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for QuantFactory/BFS-Prover-GGUF under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"d64622f20a6e5e94c7cf88f2143a48cb19ab1760","sha256":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","sizeBytes":4683074496,"externalOid":"e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b"},"upstream":{"path":"BFS-Prover.Q4_K_M.gguf","repoId":"QuantFactory/BFS-Prover-GGUF","provider":"huggingface","revision":"f5a3bc6907d4f9a73876736d4842d410c2a2ccf8"},"planDigest":"sha256:e89e6f52d09739be9a5e093b6162c1196399b96bb2e7a8670bf96bfb71b10772","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:e520d40ace35e4a04746e5ebaf22ac81f8c2ef7c78715f15e0617a1f7aeb8181","observationId":"packet-observation-778979e454b18d55201c3aa342c39a1dc62d09acccdeaa2ce74e70b9b22d3d3d","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:2d19da1e4cda5d2b95ac4a4166c93c79975509afbacacc432e758960a9ab771a"},"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:e7fe283835415a8e2dacf8af1d4d197397d5c36efee3fb043f17d78ae2ed390b","selectedRepresentationId":"","scanStatus":"passed","licenseDecisionId":"mirror-license-adf589fd6dcdb8f06f27cabd3df03f358f5c9f1d12973016a392b1e90964a332","manifestVersion":null,"tombstonedAt":null,"hosted":null,"downloadAuthorized":false,"downloadUrl":null,"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-24T03:46:28.737Z","artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q4_K_M.gguf","license":"apache-2.0","declaredSizeBytes":4683074496,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"unknown","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveDecision":{"state":"UNKNOWN","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":false,"publicDownloadableFileCount":null,"reason":"Download availability is being checked."},{"path":"BFS-Prover.Q4_K_S.gguf","risk":"low","format":"gguf","sha256":"e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa","lfsSha256":"e0d9939bf8ba9ea553914a6f5386a6352e7754acb0854a33e56ae1586219c4fa","sizeBytes":4457769920,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"375bcb229a6015f8a5caa784a0b27472ceba06f9","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q4_K_S.gguf","license":"apache-2.0","declaredSizeBytes":4457769920,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q5_0.gguf","risk":"low","format":"gguf","sha256":"11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2","lfsSha256":"11c5d50bcd9d95d3de1da5147b8c61bebc1cddeea6d5e205e2ba29e26730efb2","sizeBytes":5315177408,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"ecd09b80e4a9d49b39aa16cc2007672027053cf2","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q5_0.gguf","license":"apache-2.0","declaredSizeBytes":5315177408,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q5_1.gguf","risk":"low","format":"gguf","sha256":"64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45","lfsSha256":"64294b281f546e1935ad02e9428040ddd962e5eaf8dea7d1d0bde1ececcdfe45","sizeBytes":5757070272,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"2dab11d3238afacbea7b7b6a16e5b0265cd117e2","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q5_1.gguf","license":"apache-2.0","declaredSizeBytes":5757070272,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q5_K_M.gguf","risk":"low","format":"gguf","sha256":"fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271","lfsSha256":"fc1435eba4183ed26fdfd78e3df709141ac596b6d0298a0b9855fd03de05b271","sizeBytes":5444832192,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"2544eb2c9d107f42abe191aa1037db4586cbd7fd","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q5_K_M.gguf","license":"apache-2.0","declaredSizeBytes":5444832192,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q5_K_S.gguf","risk":"low","format":"gguf","sha256":"1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5","lfsSha256":"1e0de59dbb7d04806c345a562a164d4c873ca3564745dafe3d1623f2666abeb5","sizeBytes":5315177408,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"454e9b8a8b1692c32f4fabf59b5480bf57d45a4d","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q5_K_S.gguf","license":"apache-2.0","declaredSizeBytes":5315177408,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q6_K.gguf","risk":"low","format":"gguf","sha256":"1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5","lfsSha256":"1ec953969f2ba9ed3c1d83178829af666fe4feb757b44571e7ddaad1312f6fd5","sizeBytes":6254199744,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"7e0935a2514bb3e74297acf51ec24135ae0b24e1","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q6_K.gguf","license":"apache-2.0","declaredSizeBytes":6254199744,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"BFS-Prover.Q8_0.gguf","risk":"low","format":"gguf","sha256":"343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e","lfsSha256":"343089e3f8134aa8afd61a77061a86a2390653eab920dcf11a04b8d503e9098e","sizeBytes":8098526144,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"fff053eda993e46927cb22bd9de019e4890b0a0a","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"BFS-Prover.Q8_0.gguf","license":"apache-2.0","declaredSizeBytes":8098526144,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}},{"path":"README.md","risk":"low","format":"md","sha256":"","lfsSha256":"","sizeBytes":4927,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"b41a527fa66710f16347bf2c8c19094fec63b5b0","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-quantfactory-bfs-prover-gguf","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":4927,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","readiness":"blocked","downloadReady":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"serveExplanation":{"readiness":"blocked","downloadReady":false,"downloadable":false,"downloadStatus":"BLOCKED","hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T03:47:10.647Z","readinessSource":"file-check","degraded":false,"stale":false,"reason":"Download availability is being checked.","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"]},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"}}],"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"reason":"Download availability is being checked.","reasonCodes":[],"serveExplanation":{"readiness":"unknown","downloadReady":null,"downloadable":null,"downloadStatus":"UNKNOWN","hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"reason":"Download availability is being checked.","reasonCodes":[]},"total":16,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-24T03:47:10.647Z","note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs."}}