{"manifest_version":2,"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T08:49:01.464Z","serveEvaluationId":"serve-e829c061a3a4b4d0a728ad8d2d9a92c21a8daaec168aae10ba82b3bc05c2a90c","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T08:49:01.464Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T08:49:01.464Z","serveEvaluationId":"serve-e829c061a3a4b4d0a728ad8d2d9a92c21a8daaec168aae10ba82b3bc05c2a90c","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T08:49:01.464Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"Goedel-LM/Goedel-Formalizer-V2-8B","artifact":{"id":"hf-model-goedel-lm-goedel-formalizer-v2-8b","repo":"Goedel-LM/Goedel-Formalizer-V2-8B"},"release":"hf-main","artifact_type":"llm","license":"apache-2.0","license_clarity":{"license":"apache-2.0","commercialUse":"yes","confidence":"high","obligations":["Attribution/notice requirements of the license still apply."],"summary":"Permissive open license: commercial use, modification, and redistribution are permitted.","redistribution":"Keep every copyright, attribution, license, and NOTICE requirement imposed by the exact license text.","notes":"Not legal advice."},"license_decision":{"policy":"mirror","license":"apache-2.0","ids":["apache-2.0"],"status":"allowed","mirrorable":true,"publicCatalog":true,"publicCatalogUnconditional":true,"osiOpenSource":true,"unrestricted":true,"conditional":false,"conditionalEligible":false,"conditionalReason":"not_conditional","licenseId":null,"obligations":null,"conditions":[],"reason":"license_allowlisted","allowlist":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","cc0-1.0","cc-by-4.0","odc-by"]},"license_obligations_digest":null,"visibility":"public","hosted":true,"hosting":{"status":"hosted","hostedFiles":14,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","disabled":false,"provider":"huggingface","repoType":"model","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","fetchedAt":"2026-08-30T02:17:40.000Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"license_upstream_record":{"declared_license":"apache-2.0","upstream_license_raw":"apache-2.0","source_url":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","disabled":false,"provider":"huggingface","repoType":"model","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","fetchedAt":"2026-08-30T02:17:40.000Z","importMode":"external-catalog","licenseRaw":"apache-2.0"}},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","signer":"hugging-bay","manifest_digest_kind":"signed-manifest","release_manifest_digest":"external-not-mirrored","canonical_representation_digest":"sha256:dba31e35751872fd923799f58986dc9f54acf21158ea212938ebfad939c298c2","canonical_state":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_4c28ee76e1778ed1992ce94a80e93996042b706c948b7d4abdb74d76d3e3f6b0","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","representationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Formalizer-V2-8B","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":2435,"sha256":"sha256:fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4d4d840347421978658d01f240f130b95e8af66c8f17fb34ac598fe231f4eb54"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:82a1aaf54cd5a13495d6da5c89f580100ab76864f705a78da5346eac18ac2096"},{"path":"config.json","role":"config","sizeBytes":730,"sha256":"sha256:6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b6d74abfdc3bff9b4f089fd144bd38ebb7f01e2a98d79f498ace2eff2720850a"},{"path":"generation_config.json","role":"config","sizeBytes":214,"sha256":"sha256:ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:239bf4bea86b69744b00bdd226aa22eba27b3426359ffc585e939e5439c77ec6"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f0631443c720de0148fe5ead158793a33496719e94f32c4a4e33754cc33510a5"},{"path":"model-00001-of-00004.safetensors","role":"weight","sizeBytes":4902257696,"sha256":"sha256:e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8d3de978f07c0161a09f5f6c0f717f8c55239e17a5fe821872567a625f3351e8"},{"path":"model-00002-of-00004.safetensors","role":"weight","sizeBytes":4915960368,"sha256":"sha256:c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:a60212f6ce7d73427615ca185510dfb751d6a8aa427582cdd1815d32c655afd4"},{"path":"model-00003-of-00004.safetensors","role":"weight","sizeBytes":4983068496,"sha256":"sha256:b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:653633875f8f23f45df98349ad81034ce445af69830fc54ff176f2dd3576fbbc"},{"path":"model-00004-of-00004.safetensors","role":"weight","sizeBytes":1580230264,"sha256":"sha256:f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1a4bfba634482a67e18e4a40abb50c74efe769aeb9b492468ab46f2a2427837b"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32878,"sha256":"sha256:3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:34b176014b71c57a28c9aad5630679e481081eaadc3778b864457c7c8518fd6a"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:91487b40b01545ba0fd1f3da81ef28959a32c175935565a1cda079826896bb40"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b8594d0e0c1f78c5ec4b7727e795668a25758db839c79ddabbd6236994263b1e"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:bf591e5b9088cf69c7e96c2cdc54c5870445c05e8c25b52114a5a85764c2e476"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:fb488e6a94c283a1ede447b65e0edc7dd95d6fe88b7faaa41b06c077411a3a8e"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf","representationDigest":"sha256:dba31e35751872fd923799f58986dc9f54acf21158ea212938ebfad939c298c2","evidenceSnapshotDigest":"sha256:225c9c8df08b28ff8030e5f1b0d9d68d8819b127c3d6a103745a258ebcd2c9db","evaluatedAt":"2026-09-06T01:40:41.017Z","authorityVersion":"sha256:47ed47f73e3614412de3d04c6eb7478335e2bbfe0001c6980e36024d0ceff1bb","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":14,"serveAuthority":"live-serve-decision","individuallyHashedFiles":14,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":14,"strictlyDownloadableFiles":14,"strictlyDownloadableHashedFiles":14,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":15,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf","representation":{"id":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","representationDigest":"sha256:dba31e35751872fd923799f58986dc9f54acf21158ea212938ebfad939c298c2","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Formalizer-V2-8B","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true}},"release_gates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"files":[{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"README.md","size":2435,"declared_size":2435,"storage_size":2435,"media_type":"application/octet-stream","sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"added_tokens.json","size":707,"declared_size":707,"storage_size":707,"media_type":"application/octet-stream","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"config.json","size":730,"declared_size":730,"storage_size":730,"media_type":"application/octet-stream","sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"generation_config.json","size":214,"declared_size":214,"storage_size":214,"media_type":"application/octet-stream","sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"merges.txt","size":1671853,"declared_size":1671853,"storage_size":1671853,"media_type":"application/octet-stream","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00001-of-00004.safetensors","size":4902257696,"declared_size":4902257696,"storage_size":4902257696,"media_type":"application/octet-stream","sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00002-of-00004.safetensors","size":4915960368,"declared_size":4915960368,"storage_size":4915960368,"media_type":"application/octet-stream","sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00003-of-00004.safetensors","size":4983068496,"declared_size":4983068496,"storage_size":4983068496,"media_type":"application/octet-stream","sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model-00004-of-00004.safetensors","size":1580230264,"declared_size":1580230264,"storage_size":1580230264,"media_type":"application/octet-stream","sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model.safetensors.index.json","size":32878,"declared_size":32878,"storage_size":32878,"media_type":"application/octet-stream","sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"special_tokens_map.json","size":613,"declared_size":613,"storage_size":613,"media_type":"application/octet-stream","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer.json","size":11422654,"declared_size":11422654,"storage_size":11422654,"media_type":"application/octet-stream","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer_config.json","size":9789,"declared_size":9789,"storage_size":9789,"media_type":"application/octet-stream","sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"vocab.json","size":2776833,"declared_size":2776833,"storage_size":2776833,"media_type":"application/octet-stream","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-10-30T08:49:01.464Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T08:49:01.464Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"manifest_digest":"sha256:bcba3dc53814c3d04699094eebd7ec6d10728697020d53fc6ed42ab341ca31f4","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:bcba3dc53814c3d04699094eebd7ec6d10728697020d53fc6ed42ab341ca31f4","value":"mzUIfeRFRfDz_UNu4Xpj0pCau0wBZ4Y0SnFjH_JpSaw0Db8V8dHTsEWqLimsczmn_sjTzb-TtX3qmkMtBpWOBw","signed_at":"2026-10-30T08:49:01.465Z","public_key_url":"/api/keys/manifest-signing","payload":"canonical-json:manifest-excluding-signature-and-generated_at","canonical_encoding":"rfc8785","canonical_excludes":["signature","generated_at","manifest_digest","serveEvaluatedAt","serveEvaluationId","serveExplanation","readinessCheckedAt","obtainReady","serveVerdict","reason","reasonCodes"]}}