{"serveDecision":{"state":"UNKNOWN","authority":"live-serve-decision"},"downloadable":null,"downloadReady":null,"degraded":false,"stale":false,"schemaVersion":"hugging-bay.local-kit.v2","displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-31T14:08:49.291Z","generatedAt":"2026-10-31T14:09:13.295Z","status":"inventory-only-recorded-state-unknown","commandsAvailable":false,"commands":[],"runBlockKind":"hosted-file-recipe","artifact":{"id":"hf-model-goedel-lm-goedel-formalizer-v2-8b","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","license":"apache-2.0","hostingStatus":"hosted","hostedFileCount":14,"hostedFileCountAuthority":"live-serve-decision","displayFileCount":14,"fileCount":15,"upstreamUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B"},"tool":"any","toolCompatibility":{"status":"unknown","reason":"recorded-evaluator-not-integrated"},"readiness":"unknown","requiredFiles":[{"path":".gitattributes","sizeBytes":1570,"sha256":"","format":"gitattributes","risk":"low","sourceKind":"external-hf","hosted":false,"readiness":"blocked","downloadReady":false,"reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","individuallyHashed":false,"fileOnly":true,"directDownloadAuthorized":false,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":null,"chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":2435,"sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","format":"md","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"added_tokens.json","sizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"config.json","sizeBytes":730,"sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"generation_config.json","sizeBytes":214,"sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"merges.txt","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","format":"txt","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00001-of-00004.safetensors","sizeBytes":4902257696,"sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","format":"safetensors","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00002-of-00004.safetensors","sizeBytes":4915960368,"sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","format":"safetensors","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00003-of-00004.safetensors","sizeBytes":4983068496,"sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","format":"safetensors","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model-00004-of-00004.safetensors","sizeBytes":1580230264,"sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","format":"safetensors","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","sizeBytes":32878,"sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"tokenizer.json","sizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","sizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"},{"path":"vocab.json","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","format":"json","risk":"low","sourceKind":"mirrored-upstream","hosted":true,"readiness":"unknown","downloadReady":null,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","individuallyHashed":true,"fileOnly":true,"directDownloadAuthorized":true,"serveDecision":{"state":"UNKNOWN","reasonCodes":[]},"downloadUrlResponse":{"status":302,"followRedirects":true},"downloadUrl":"https://huggingbay.xyz/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"unsigned"}],"warnings":["This description is temporarily unavailable."],"nextActions":[{"label":"Inspect recorded bundle state","url":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/bundle","method":"GET"},{"label":"List individually hashed hosted files","url":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-formalizer-v2-8b&limit=100","method":"GET"},{"label":"Inspect trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-formalizer-v2-8b","method":"GET"},{"label":"Open artifact","url":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-formalizer-v2-8b","method":"GET"}],"docs":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-formalizer-v2-8b","downloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-formalizer-v2-8b&limit=100","bundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/bundle","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"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":false,"bytes_verified":false,"signature":"unsigned","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"}}