{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","repo":"Goedel-LM/Goedel-Prover-V2-32B","totalSizeBytes":65540282210,"rows":[{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":1570,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"52373fe24473b1aa44333d318f578ae6bf04b49b","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":1570,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","format":"md","sha256":"","lfsSha256":"","sizeBytes":10428,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"77cf467da55fc02beef6aa0e5d2b3aa299fbc9af","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":10428,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"added_tokens.json","risk":"low","role":"support","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":707,"mirroredAt":"2026-09-21T09:05:50.191Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed","externalUrl":null,"scanFindings":[],"sourceSha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"added_tokens.json","digest":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":707},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","sizeBytes":707,"externalOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed"},"upstream":{"path":"added_tokens.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":707,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/added_tokens.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"added_tokens.json","license":"apache-2.0","declaredSizeBytes":707,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":730,"mirroredAt":"2026-09-21T09:05:50.313Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"526101d681628d5bff3a99906e24aad9609f5c9a","externalUrl":null,"scanFindings":[],"sourceSha256":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":730},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"526101d681628d5bff3a99906e24aad9609f5c9a","sha256":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","sizeBytes":730,"externalOid":"526101d681628d5bff3a99906e24aad9609f5c9a"},"upstream":{"path":"config.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":730,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"config.json","license":"apache-2.0","declaredSizeBytes":730,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":143,"mirroredAt":"2026-09-21T09:05:50.114Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"205dc2c5dc17bbd8798ff68735649b13420f50ec","externalUrl":null,"scanFindings":[],"sourceSha256":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":143},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"205dc2c5dc17bbd8798ff68735649b13420f50ec","sha256":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","sizeBytes":143,"externalOid":"205dc2c5dc17bbd8798ff68735649b13420f50ec"},"upstream":{"path":"generation_config.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":143,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":143,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":143,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":143,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"merges.txt","risk":"low","format":"txt","sha256":"","lfsSha256":"","sizeBytes":1671853,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"merges.txt","license":"apache-2.0","declaredSizeBytes":1671853,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00001-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","sizeBytes":4932307584,"mirroredAt":"2026-09-21T09:09:41.645Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","externalUrl":null,"scanFindings":[],"sourceSha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00001-of-00014.safetensors","digest":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4932307584},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"ed2d0fb4d319f84a793ed658aac0e522aa612ae3","sha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","sizeBytes":4932307584,"externalOid":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0"},"upstream":{"path":"model-00001-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4932307584,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00001-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00001-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4932307584,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4932307584,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4932307584,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00002-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","sizeBytes":4875989696,"mirroredAt":"2026-09-21T09:10:35.313Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","externalUrl":null,"scanFindings":[],"sourceSha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00002-of-00014.safetensors","digest":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989696},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"a694868d6ad9b9e7a2ade77e979141ccb026cd7b","sha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","sizeBytes":4875989696,"externalOid":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626"},"upstream":{"path":"model-00002-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989696,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00002-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00002-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989696,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989696,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989696,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00003-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","sizeBytes":4875989720,"mirroredAt":"2026-09-21T09:09:34.116Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","externalUrl":null,"scanFindings":[],"sourceSha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00003-of-00014.safetensors","digest":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989720},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"82fd9ea59112d6ee0aff59ace20c4b1210445582","sha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","sizeBytes":4875989720,"externalOid":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63"},"upstream":{"path":"model-00003-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989720,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00003-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00003-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989720,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989720,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989720,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00004-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:54.044Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","externalUrl":null,"scanFindings":[],"sourceSha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00004-of-00014.safetensors","digest":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"b53c1bfa51ac545cff4687223e3c77b16d283a0d","sha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","sizeBytes":4875989752,"externalOid":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00"},"upstream":{"path":"model-00004-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00004-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00004-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00005-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:41.535Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","externalUrl":null,"scanFindings":[],"sourceSha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00005-of-00014.safetensors","digest":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"679365da65b9641bbe82b226c878914b46947d85","sha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","sizeBytes":4875989752,"externalOid":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3"},"upstream":{"path":"model-00005-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00005-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00005-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00006-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:58.540Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","externalUrl":null,"scanFindings":[],"sourceSha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00006-of-00014.safetensors","digest":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"a02c1b2fa6186d131467f9c3c8e57f163df31c28","sha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","sizeBytes":4875989752,"externalOid":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5"},"upstream":{"path":"model-00006-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00006-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00006-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00007-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:54.181Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","externalUrl":null,"scanFindings":[],"sourceSha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00007-of-00014.safetensors","digest":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"fcbe8c22589a395b2c18a2fe13f6284752f066d1","sha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","sizeBytes":4875989752,"externalOid":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41"},"upstream":{"path":"model-00007-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00007-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00007-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00008-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:11:24.340Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","externalUrl":null,"scanFindings":[],"sourceSha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00008-of-00014.safetensors","digest":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"90f8868d035e7c41e8d36a96f40c72e80e26da8f","sha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","sizeBytes":4875989752,"externalOid":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543"},"upstream":{"path":"model-00008-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00008-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00008-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00009-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:45.999Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","externalUrl":null,"scanFindings":[],"sourceSha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00009-of-00014.safetensors","digest":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"33be46e93f22aabd7a840653085244602279c083","sha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","sizeBytes":4875989752,"externalOid":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b"},"upstream":{"path":"model-00009-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00009-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00009-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00010-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:49.289Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","externalUrl":null,"scanFindings":[],"sourceSha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00010-of-00014.safetensors","digest":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"d4998e4b801fd50a564583ad7fa17b96a2d1c5d0","sha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","sizeBytes":4875989752,"externalOid":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06"},"upstream":{"path":"model-00010-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00010-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00010-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00011-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:17:11.586Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","externalUrl":null,"scanFindings":[],"sourceSha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00011-of-00014.safetensors","digest":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"c1c8c20143cee7da39d322598a83223150f153c7","sha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","sizeBytes":4875989752,"externalOid":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74"},"upstream":{"path":"model-00011-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00011-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00011-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00012-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:56.182Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","externalUrl":null,"scanFindings":[],"sourceSha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00012-of-00014.safetensors","digest":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"b2bc0b4811f996e922682c7328b78e144d426fcc","sha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","sizeBytes":4875989752,"externalOid":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00"},"upstream":{"path":"model-00012-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00012-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00012-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00013-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","sizeBytes":4875989752,"mirroredAt":"2026-09-21T09:09:56.307Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","externalUrl":null,"scanFindings":[],"sourceSha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00013-of-00014.safetensors","digest":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":4875989752},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"9395d429095821bb5ca43181676ba6cc13feee42","sha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","sizeBytes":4875989752,"externalOid":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3"},"upstream":{"path":"model-00013-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":4875989752,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00013-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00013-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":4875989752,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4875989752,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00014-of-00014.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","sizeBytes":2080144040,"mirroredAt":"2026-09-21T09:07:25.010Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","externalUrl":null,"scanFindings":[],"sourceSha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00014-of-00014.safetensors","digest":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":2080144040},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"b55f4ae489ec633dd0050b049b025d9f2180eb8e","sha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","sizeBytes":2080144040,"externalOid":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa"},"upstream":{"path":"model-00014-of-00014.safetensors","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":2080144040,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model-00014-of-00014.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model-00014-of-00014.safetensors","license":"apache-2.0","declaredSizeBytes":2080144040,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2080144040,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2080144040,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","risk":"low","role":"index","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":58330,"mirroredAt":"2026-09-21T09:05:50.040Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b68c3ac4967a67b803f6a8dd4308a2d48913cb7f","externalUrl":null,"scanFindings":[],"sourceSha256":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors.index.json","digest":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":58330},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"b68c3ac4967a67b803f6a8dd4308a2d48913cb7f","sha256":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","sizeBytes":58330,"externalOid":"b68c3ac4967a67b803f6a8dd4308a2d48913cb7f"},"upstream":{"path":"model.safetensors.index.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":58330,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/model.safetensors.index.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"model.safetensors.index.json","license":"apache-2.0","declaredSizeBytes":58330,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":58330,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":58330,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":613,"mirroredAt":"2026-09-21T09:05:49.958Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"ac23c0aaa2434523c494330aeb79c58395378103","externalUrl":null,"scanFindings":[],"sourceSha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"special_tokens_map.json","digest":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":613},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"ac23c0aaa2434523c494330aeb79c58395378103","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","sizeBytes":613,"externalOid":"ac23c0aaa2434523c494330aeb79c58395378103"},"upstream":{"path":"special_tokens_map.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":613,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/special_tokens_map.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"special_tokens_map.json","license":"apache-2.0","declaredSizeBytes":613,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"tokenizer.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"lfsSha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"mirroredAt":"2026-09-21T09:05:51.523Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","externalUrl":null,"scanFindings":[],"sourceSha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer.json","digest":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":11422654},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"hf-lfs","gitOid":"cd71f61a15a522601badb3dc960d800d9cb3766c","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"externalOid":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4"},"upstream":{"path":"tokenizer.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":11422654,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/tokenizer.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"tokenizer.json","license":"apache-2.0","declaredSizeBytes":11422654,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-de5d7548846de28e640c236d6bdd2c25b4af18d63b1e7383","approvedAt":"2026-09-21T07:45:00.346Z","approvedBy":"configured-admin","approvalDigest":"sha256:3fe1e09558fa56a0452e2d2d986a2912b3c26cac76a0bf2a82204b24230795b4"},"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","source":{"identity":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","immutable":true},"required":true,"sizeBytes":9789,"mirroredAt":"2026-09-21T09:05:50.396Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"e8bb905c2fb94a128cc19a801677504be2183910","externalUrl":null,"scanFindings":[],"sourceSha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer_config.json","digest":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","sizeBytes":9789},"sourceRevision":"851bf85d329b0f819e1a44db30e05d16e07d15c0","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Prover-V2-32B","observed":{"kind":"git-blob","gitOid":"e8bb905c2fb94a128cc19a801677504be2183910","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","sizeBytes":9789,"externalOid":"e8bb905c2fb94a128cc19a801677504be2183910"},"upstream":{"path":"tokenizer_config.json","repoId":"Goedel-LM/Goedel-Prover-V2-32B","provider":"huggingface","revision":"851bf85d329b0f819e1a44db30e05d16e07d15c0"},"planDigest":"sha256:874d523947e60d7c0778e0925b2cb1ffc3afbb14f3e1346bc5effe6ada097ba2","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:5facc340a5511863f21fc396b9411e5e2780168037b9645ca7eb0edbba298573","observationId":"packet-observation-9eb225953c6b6ef0e1487543e923ecf457c3bc6be1e944eedc1c354190b3666f","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:f4156f8260b6f6ef77b3ea9f2503d3c01a052d9ee4f70a80f27d2e0b9877e5fd"},"storageSizeBytes":9789,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":"passed","licenseDecisionId":"mirror-license-9644bb6802f957d0759c6611d492fa27ea82d1137ec3fe7e0f976262fd7eab73","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-prover-v2-32b/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T17:02:46.699Z","artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"tokenizer_config.json","license":"apache-2.0","declaredSizeBytes":9789,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"signature_state":"unsigned"},{"path":"vocab.json","risk":"low","format":"json","sha256":"","lfsSha256":"","sizeBytes":2776833,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-7f4ceef9e7442f4ee95afe2d8047c990fb61d49b9cb7c7c12b24ee07f1371daf","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","filePath":"vocab.json","license":"apache-2.0","declaredSizeBytes":2776833,"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T17:04:30.409Z","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-30T17:04:30.409Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"},"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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","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-30T17:04:30.408Z","serveEvaluationId":"serve-f5ec2dcf06af567033dccd9a4d2a88ae14dd72ecfc1d9e77b6d3565d666312f9","readiness":"ready","downloadReady":true,"hostedFileCount":21,"mirroredBytes":65535821526,"readinessCheckedAt":"2026-10-30T17:04:30.408Z","readinessSource":"file-check","degraded":false,"stale":false},"total":25,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-30T17:04:30.411Z","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-30T17:04:30.408Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-prover-v2-32b"}}