{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","totalSizeBytes":16397437100,"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-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","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-30T15:39:43.469Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","role":"support","format":"md","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":2435,"mirroredAt":"2026-09-06T01:40:45.242Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"09fce07223b4d3c3fe16786883fa4c0a82c65ecf","externalUrl":null,"scanFindings":[],"sourceSha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"README.md","digest":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":2435},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"09fce07223b4d3c3fe16786883fa4c0a82c65ecf","sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","sizeBytes":2435,"externalOid":"09fce07223b4d3c3fe16786883fa4c0a82c65ecf"},"upstream":{"path":"README.md","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":2435,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":2435,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"added_tokens.json","risk":"low","role":"support","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":707,"mirroredAt":"2026-09-06T01:40:44.679Z","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-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":707},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","sizeBytes":707,"externalOid":"b54f9135e44c1e81047e8d05cb027af8bc039eed"},"upstream":{"path":"added_tokens.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":707,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":730,"mirroredAt":"2026-09-06T01:40:44.793Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"438963d328ee4f13244d79aa1207dea549ed8cc8","externalUrl":null,"scanFindings":[],"sourceSha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":730},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"438963d328ee4f13244d79aa1207dea549ed8cc8","sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","sizeBytes":730,"externalOid":"438963d328ee4f13244d79aa1207dea549ed8cc8"},"upstream":{"path":"config.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":730,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":214,"mirroredAt":"2026-09-06T01:40:44.864Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"7f96c4b1e9a5e96512784941a786825405a43242","externalUrl":null,"scanFindings":[],"sourceSha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":214},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"7f96c4b1e9a5e96512784941a786825405a43242","sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","sizeBytes":214,"externalOid":"7f96c4b1e9a5e96512784941a786825405a43242"},"upstream":{"path":"generation_config.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":214,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":214,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"merges.txt","risk":"low","role":"tokenizer","format":"txt","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":1671853,"mirroredAt":"2026-09-06T01:40:50.736Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","externalUrl":null,"scanFindings":[],"sourceSha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"merges.txt","digest":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":1671853},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","sizeBytes":1671853,"externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7"},"upstream":{"path":"merges.txt","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":1671853,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"merges.txt","license":"apache-2.0","declaredSizeBytes":1671853,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00001-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"lfsSha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","sizeBytes":4902257696,"mirroredAt":"2026-09-06T01:45:23.609Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","externalUrl":null,"scanFindings":[],"sourceSha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00001-of-00004.safetensors","digest":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":4902257696},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"27d19fac238ffa85c513a7847693083e93ece736","sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","sizeBytes":4902257696,"externalOid":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031"},"upstream":{"path":"model-00001-of-00004.safetensors","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":4902257696,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"model-00001-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4902257696,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00002-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"lfsSha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","sizeBytes":4915960368,"mirroredAt":"2026-09-06T01:49:00.839Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","externalUrl":null,"scanFindings":[],"sourceSha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00002-of-00004.safetensors","digest":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":4915960368},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"7f8727a273e212707fd73ce1e97ff740a99c5343","sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","sizeBytes":4915960368,"externalOid":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361"},"upstream":{"path":"model-00002-of-00004.safetensors","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":4915960368,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"model-00002-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4915960368,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00003-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"lfsSha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","sizeBytes":4983068496,"mirroredAt":"2026-09-06T01:44:28.138Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","externalUrl":null,"scanFindings":[],"sourceSha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00003-of-00004.safetensors","digest":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":4983068496},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"98fe313c5cd5271fcf44395f061b850fe7c0c5d9","sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","sizeBytes":4983068496,"externalOid":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a"},"upstream":{"path":"model-00003-of-00004.safetensors","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":4983068496,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"model-00003-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4983068496,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00004-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"lfsSha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","sizeBytes":1580230264,"mirroredAt":"2026-09-06T01:41:53.266Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","externalUrl":null,"scanFindings":[],"sourceSha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00004-of-00004.safetensors","digest":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":1580230264},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"5ea864139b4a7f8674541cd6890c46ecaca37911","sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","sizeBytes":1580230264,"externalOid":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5"},"upstream":{"path":"model-00004-of-00004.safetensors","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":1580230264,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"model-00004-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":1580230264,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","risk":"low","role":"index","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":32878,"mirroredAt":"2026-09-06T01:40:45.129Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"10c7a17197289024c4b2801e53b9662e95f5ad83","externalUrl":null,"scanFindings":[],"sourceSha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors.index.json","digest":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":32878},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"10c7a17197289024c4b2801e53b9662e95f5ad83","sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","sizeBytes":32878,"externalOid":"10c7a17197289024c4b2801e53b9662e95f5ad83"},"upstream":{"path":"model.safetensors.index.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":32878,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"model.safetensors.index.json","license":"apache-2.0","declaredSizeBytes":32878,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":613,"mirroredAt":"2026-09-06T01:40:44.555Z","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-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":613},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"ac23c0aaa2434523c494330aeb79c58395378103","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","sizeBytes":613,"externalOid":"ac23c0aaa2434523c494330aeb79c58395378103"},"upstream":{"path":"special_tokens_map.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":613,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"tokenizer.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"lfsSha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"mirroredAt":"2026-09-06T01:40:46.508Z","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-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":11422654},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"cd71f61a15a522601badb3dc960d800d9cb3766c","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","sizeBytes":11422654,"externalOid":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4"},"upstream":{"path":"tokenizer.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":11422654,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":9789,"mirroredAt":"2026-09-06T01:40:45.358Z","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-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":9789},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"e8bb905c2fb94a128cc19a801677504be2183910","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","sizeBytes":9789,"externalOid":"e8bb905c2fb94a128cc19a801677504be2183910"},"upstream":{"path":"tokenizer_config.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":9789,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"vocab.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-e8847ac62e4648c0960a3966a38ff3a2ce16b6ca59bdd642","approvedAt":"2026-08-30T02:21:57.935Z","approvedBy":"configured-admin","approvalDigest":"sha256:395c17aa4a5a7ea9e72ee3775a11e6d9440e1fb03612367c077c323a0c0c4b39"},"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source":{"identity":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"required":true,"sizeBytes":2776833,"mirroredAt":"2026-09-06T01:40:45.004Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569","externalUrl":null,"scanFindings":[],"sourceSha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"vocab.json","digest":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","sizeBytes":2776833},"sourceRevision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for Goedel-LM/Goedel-Formalizer-V2-8B under 713b66f9","observed":{"kind":"git-blob","gitOid":"4783fe10ac3adce15ac8f358ef5462739852c569","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","sizeBytes":2776833,"externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569"},"upstream":{"path":"vocab.json","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","provider":"huggingface","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb"},"planDigest":"sha256:d28de50e223ddb16f56d5481b1f2ecaf6a06e2c5f51bbaa7ebeb89ad122cfdec","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:cc04463d58cda659dd2b5aa1b0ca212612242e99a9e370eb4a8e88ad74559617","observationId":"packet-observation-b35eb8e5cb1023a3819c62336ee00e0b1d23e83c0a6f341db94f11dd83739b7b","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf"},"storageSizeBytes":2776833,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","scanStatus":"passed","licenseDecisionId":"mirror-license-73ce4245260c543e086f0450f7afcb59876650daa598a761061f3b0e7080de5b","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-30T15:35:37.198Z","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","filePath":"vocab.json","license":"apache-2.0","declaredSizeBytes":2776833,"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-30T15:39:43.470Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","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-30T15:39:43.470Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","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-30T15:39:43.469Z","serveEvaluationId":"serve-1370ca59b9b22ddcc1b4043d0ddd30c41ea307548bac0ad82a4ae8d092b344f0","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T15:39:43.469Z","readinessSource":"file-check","degraded":false,"stale":false},"total":15,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-30T15:39:43.471Z","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-30T15:39:43.469Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"}}