{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-29T02:45:09.772Z","artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","repo":"tinyopsec/Pythagoras-Prover-4B-GGUF","totalSizeBytes":37215326144,"rows":[{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":2104,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"5dc88bef0593596b8eb290dd8c4c5ae4c760dba9","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":2104,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","format":"md","sha256":"","lfsSha256":"","sizeBytes":2568,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"20dc3d1fcf5bd150865da1fcb7d40837071b9b92","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":2568,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_f16.gguf","risk":"low","format":"gguf","sha256":"737c88e003ad4bcdf8fe973a891b2ccf7bd5fd0d2965f3ca978e444dcb90e4f4","lfsSha256":"737c88e003ad4bcdf8fe973a891b2ccf7bd5fd0d2965f3ca978e444dcb90e4f4","sizeBytes":8829197952,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"2b5171feaf7d5fadd325abfe683387ca996adcf5","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_f16.gguf","license":"apache-2.0","declaredSizeBytes":8829197952,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q2_k.gguf","risk":"low","format":"gguf","sha256":"3b3b3a3b4872b257e6af381e3df8a196c60526c446ef232bcabb1999c8119f8c","lfsSha256":"3b3b3a3b4872b257e6af381e3df8a196c60526c446ef232bcabb1999c8119f8c","sizeBytes":1797126272,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"58148f77a5f574c6f7670dadfa945434f38fb8b6","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q2_k.gguf","license":"apache-2.0","declaredSizeBytes":1797126272,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q3_k_l.gguf","risk":"low","format":"gguf","sha256":"65c267ce03bd73d9a8cae707c92b3fc00c9fdea2158f1cb66aaf5d2b39d37e83","lfsSha256":"65c267ce03bd73d9a8cae707c92b3fc00c9fdea2158f1cb66aaf5d2b39d37e83","sizeBytes":2406915712,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"43f8d72c6b8e1462c44a34c948093c2e4b6310a7","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q3_k_l.gguf","license":"apache-2.0","declaredSizeBytes":2406915712,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q3_k_m.gguf","risk":"low","format":"gguf","sha256":"8784efec7e219d7cb43739705e193fe41176cf92d5f777c7708db872f33d026b","lfsSha256":"8784efec7e219d7cb43739705e193fe41176cf92d5f777c7708db872f33d026b","sizeBytes":2242748032,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"d4e1ebe212b0a2e2167d4a3bfab86701e29fdffd","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q3_k_m.gguf","license":"apache-2.0","declaredSizeBytes":2242748032,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q3_k_s.gguf","risk":"low","format":"gguf","sha256":"eb286fa9c3c51d4a78bcc2ad5918c41beb50992847e5e5a662a2c354354a466c","lfsSha256":"eb286fa9c3c51d4a78bcc2ad5918c41beb50992847e5e5a662a2c354354a466c","sizeBytes":2054127232,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"47bdd573aa4145b34236089ed1bd081633a1b33d","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q3_k_s.gguf","license":"apache-2.0","declaredSizeBytes":2054127232,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q4_k_m.gguf","risk":"low","role":"weight","format":"gguf","review":{"batchId":"mirror-batch-39eda6925d80af67c00afa89c6e133fbca6c7c4f7e1c5018","approvedAt":"2026-09-22T10:28:08.142Z","approvedBy":"configured-admin","approvalDigest":"sha256:55f8ec91fc62cf7762f8a2779a3973aa48cadc360a9132e092fee7d445d13a14"},"sha256":"sha256:2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","source":{"identity":"tinyopsec/Pythagoras-Prover-4B-GGUF","provider":"huggingface","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","immutable":true},"required":true,"lfsSha256":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","sizeBytes":2716068992,"mirroredAt":"2026-09-22T10:41:00.794Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","externalUrl":null,"scanFindings":[],"sourceSha256":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model_q4_k_m.gguf","digest":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","repoId":"tinyopsec/Pythagoras-Prover-4B-GGUF","provider":"huggingface","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","sizeBytes":2716068992},"sourceRevision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for tinyopsec/Pythagoras-Prover-4B-GGUF","observed":{"kind":"hf-lfs","gitOid":"4d455695596f4f7ba494a484a916d21991c18d98","sha256":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","sizeBytes":2716068992,"externalOid":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023"},"upstream":{"path":"model_q4_k_m.gguf","repoId":"tinyopsec/Pythagoras-Prover-4B-GGUF","provider":"huggingface","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf"},"planDigest":"sha256:1ade233198b00ec4e34a409a579b637f2d44abd64c3cbd2194c3eb75aac7e851","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:f41d8268309955848e745889e38342e205b4c44c2dedb1e6dcdc27c014da8b41","observationId":"packet-observation-64efb353b0af3163859a25009a5c353d07bf5fbca303b7b571deab2c2303392e","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:7336c3105352eba95a9f9597838f49928a4172b7eee863d35d6c76c0bc01fb26"},"storageSizeBytes":2716068992,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","scanStatus":"passed","licenseDecisionId":"mirror-license-cbce7b1d222640250c3be93da3e8c618b6f8a6f3fc874542ac071a1d44a3150f","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-tinyopsec-pythagoras-prover-4b-gguf/model_q4_k_m.gguf","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-29T02:45:09.772Z","artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q4_k_m.gguf","license":"apache-2.0","declaredSizeBytes":2716068992,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q4_k_s.gguf","risk":"low","format":"gguf","sha256":"278ad75c8a6257e0a2db565eca121302d1571a363997ec0c78bb3900bedc2b55","lfsSha256":"278ad75c8a6257e0a2db565eca121302d1571a363997ec0c78bb3900bedc2b55","sizeBytes":2602097792,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"5d5d4897d86cd20d7830ddbae0ecb7b111ffd68a","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q4_k_s.gguf","license":"apache-2.0","declaredSizeBytes":2602097792,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q5_k_m.gguf","risk":"low","format":"gguf","sha256":"a1ea39827dd8e36a7e1a947c7875b4694f838008e3e27ece19b8559f1a70d212","lfsSha256":"a1ea39827dd8e36a7e1a947c7875b4694f838008e3e27ece19b8559f1a70d212","sizeBytes":3156921472,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"9b4631225753536648aded4e995d9a1cdf3eed89","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q5_k_m.gguf","license":"apache-2.0","declaredSizeBytes":3156921472,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q5_k_s.gguf","risk":"low","format":"gguf","sha256":"3a212072dcd37f8b336cb31f33bd7e92a5f50c9348eb5b5980304e5f25c7461a","lfsSha256":"3a212072dcd37f8b336cb31f33bd7e92a5f50c9348eb5b5980304e5f25c7461a","sizeBytes":3091119232,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"e51e6e36d9a25eb3b7fe53d5e6f2d55d3cdd43bc","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q5_k_s.gguf","license":"apache-2.0","declaredSizeBytes":3091119232,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q6_k.gguf","risk":"low","format":"gguf","sha256":"da6a46f1ca54e43f79a6de7d98616a59d38e8f2bd41bfcdfd8dec1ca7034b86e","lfsSha256":"da6a46f1ca54e43f79a6de7d98616a59d38e8f2bd41bfcdfd8dec1ca7034b86e","sizeBytes":3625327232,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"a8b726a818cba539f00430aae10415a7bcda20f5","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q6_k.gguf","license":"apache-2.0","declaredSizeBytes":3625327232,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"},{"path":"model_q8_0.gguf","risk":"low","format":"gguf","sha256":"ed128a9adae81f32238832184158bffe562f8ebb6a643129e13ffa5447bc04df","lfsSha256":"ed128a9adae81f32238832184158bffe562f8ebb6a643129e13ffa5447bc04df","sizeBytes":4693671552,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"491987168786bb517ba99436bd84721b6f1ee328","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","mirroredAt":null,"scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","filePath":"model_q8_0.gguf","license":"apache-2.0","declaredSizeBytes":4693671552,"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","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"unsigned"}],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T02:45:20.707Z","serveEvaluationId":"serve-9f9598c059fc6005b6e5386e1badd9ff59ed9046390a757f70f6314fad6d5f83","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-29T02:45:20.707Z","readinessSource":"file-check","degraded":false,"stale":false},"total":13,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-29T02:45:20.708Z","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.","downloadable":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T02:45:20.707Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"}}