{"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-11-01T02:50:28.970Z","generatedAt":"2026-11-01T02:53:12.555Z","status":"inventory-only-recorded-state-unknown","commandsAvailable":false,"commands":[],"runBlockKind":"hosted-file-recipe","artifact":{"id":"hf-model-goedel-lm-goedel-prover-v2-32b","repo":"Goedel-LM/Goedel-Prover-V2-32B","type":"llm","summary":"Model from Hugging Face for text generation: Goedel-LM/Goedel-Prover-V2-32B · transformers","license":"apache-2.0","hostingStatus":"hosted","hostedFileCount":21,"hostedFileCountAuthority":"live-serve-decision","displayFileCount":21,"fileCount":25,"upstreamUrl":"https://huggingface.co/Goedel-LM/Goedel-Prover-V2-32B"},"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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":10428,"sha256":"","format":"md","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-prover-v2-32b"},"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-prover-v2-32b/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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"config.json","sizeBytes":730,"sha256":"2925a152b6550e67e5282c37d76a17987f7d98537cbbcf1d609cee3b63a063b6","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-prover-v2-32b/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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"generation_config.json","sizeBytes":143,"sha256":"f37ab3e1060168ba66e953535c0ffeabd01408c2d171bc83a9e388683513bcb5","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-prover-v2-32b/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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"merges.txt","sizeBytes":1671853,"sha256":"","format":"txt","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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00001-of-00014.safetensors","sizeBytes":4932307584,"sha256":"152d72688b31b1adc36aca768f5cf1dd5e9514586d1c618dd306622e84c6c6f0","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-prover-v2-32b/model-00001-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00002-of-00014.safetensors","sizeBytes":4875989696,"sha256":"ec435641fd3bd63944832d0897fa66be2c1158332acdcf41f4ce3824c0530626","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-prover-v2-32b/model-00002-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00003-of-00014.safetensors","sizeBytes":4875989720,"sha256":"b50b6662d302d10664f1e4c5806a0710b058cbf521ae72a636e3149fbe35fc63","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-prover-v2-32b/model-00003-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00004-of-00014.safetensors","sizeBytes":4875989752,"sha256":"3e67d5e960d5fd4327cde3c0d8bf8473903133bfebd111d4a39d8b2c98348d00","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-prover-v2-32b/model-00004-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00005-of-00014.safetensors","sizeBytes":4875989752,"sha256":"12f1c18134b3b9780c3c0944cce4e85d508e29cdd615586b14b1e2e7e49859d3","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-prover-v2-32b/model-00005-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00006-of-00014.safetensors","sizeBytes":4875989752,"sha256":"fd056bb091271b8436930db34dfc90b63838e77d7984aaa844c48bc9cf94e8f5","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-prover-v2-32b/model-00006-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00007-of-00014.safetensors","sizeBytes":4875989752,"sha256":"66a9b925f82a396dd0b8a5fd239e3f3bf31b6d1c124d29d24feb3f05e41dba41","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-prover-v2-32b/model-00007-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00008-of-00014.safetensors","sizeBytes":4875989752,"sha256":"16cec003e66ac61770ce2abe6606327b1dedf81e2782d0da27892e9c5f3a6543","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-prover-v2-32b/model-00008-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00009-of-00014.safetensors","sizeBytes":4875989752,"sha256":"9a557b7c658c41112c5a5ea02777afbc59c31f116cbc638fd914e01d75ee2e0b","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-prover-v2-32b/model-00009-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00010-of-00014.safetensors","sizeBytes":4875989752,"sha256":"306ee6207677fdb93eb2c04b45409e9a9c24758eac08f148062f1b1e4a5e3e06","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-prover-v2-32b/model-00010-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00011-of-00014.safetensors","sizeBytes":4875989752,"sha256":"32bc24d3d996e1656343ef1f27ffac1e9e687906bf6bd65bf8c7ba43c9cb1a74","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-prover-v2-32b/model-00011-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00012-of-00014.safetensors","sizeBytes":4875989752,"sha256":"06c5276ddf4ec59f423d3f94200ff2eff1d16995adb5369ec3080546ebf3db00","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-prover-v2-32b/model-00012-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00013-of-00014.safetensors","sizeBytes":4875989752,"sha256":"a23863742017ca3d49cda1d40a50c9ce1f40ecf2405e67583cb089a17704bfe3","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-prover-v2-32b/model-00013-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model-00014-of-00014.safetensors","sizeBytes":2080144040,"sha256":"79a3e28f4178d94c0a39bebe47fc14b030807e97fed674757c0cef219830e4fa","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-prover-v2-32b/model-00014-of-00014.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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","sizeBytes":58330,"sha256":"83ee23eb9f4aeb5ab666b98588ad2ad9135c906b466d0b3349d663aa09f497c2","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-prover-v2-32b/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-prover-v2-32b"},"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-prover-v2-32b/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-prover-v2-32b"},"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-prover-v2-32b/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-prover-v2-32b"},"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-prover-v2-32b/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-prover-v2-32b"},"signature_state":"unsigned"},{"path":"vocab.json","sizeBytes":2776833,"sha256":"","format":"json","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-prover-v2-32b"},"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-prover-v2-32b/bundle","method":"GET"},{"label":"List individually hashed hosted files","url":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-prover-v2-32b&limit=100","method":"GET"},{"label":"Inspect trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-prover-v2-32b","method":"GET"},{"label":"Open artifact","url":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-prover-v2-32b","method":"GET"}],"docs":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-prover-v2-32b","downloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-prover-v2-32b&limit=100","bundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b/bundle","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-prover-v2-32b"},"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-prover-v2-32b"}}