{"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-29T02:51:15.256Z","generatedAt":"2026-10-29T02:51:35.338Z","status":"inventory-only-recorded-state-unknown","commandsAvailable":false,"commands":[],"runBlockKind":"hosted-file-recipe","artifact":{"id":"hf-model-delta-lab-ai-lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","license":"apache-2.0","hostingStatus":"hosted","hostedFileCount":12,"hostedFileCountAuthority":"live-serve-decision","displayFileCount":12,"fileCount":22,"upstreamUrl":"https://huggingface.co/delta-lab-ai/lean-finder"},"tool":"any","toolCompatibility":{"status":"unknown","reason":"recorded-evaluator-not-integrated"},"readiness":"unknown","requiredFiles":[{"path":".gitattributes","sizeBytes":1906,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"README.md","sizeBytes":3424,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"added_tokens.json","sizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","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-delta-lab-ai-lean-finder/added_tokens.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"chat_template.jinja","sizeBytes":2427,"sha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","format":"jinja","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-delta-lab-ai-lean-finder/chat_template.jinja","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"config.json","sizeBytes":1564,"sha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","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-delta-lab-ai-lean-finder/config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"generation_config.json","sizeBytes":139,"sha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","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-delta-lab-ai-lean-finder/generation_config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"mathlib4_19_0.index","sizeBytes":3238805549,"sha256":"3ed8cfe0d6c4591a1d8eee949291f30ae6239d334ce0a02388760535c591ef29","format":"index","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":true,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_19_0.jsonl","sizeBytes":168993154,"sha256":"29269aed12c4db12410f5b562b2e21dce8df4991b850f3829c3ab64996797447","format":"jsonl","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":true,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_24_0.index","sizeBytes":3459170349,"sha256":"f270340b93780bff88c4442d787d719ce9c8f0f62b64f546e7d47f74b45f38b1","format":"index","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":true,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_24_0.jsonl","sizeBytes":212839308,"sha256":"5d5b3fb74e6fcb54c54b4a024e808cb7bf86b14d186520ca06e8cac86edf9a5b","format":"jsonl","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":true,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_28_0.index","sizeBytes":3681845293,"sha256":"ff0b88aa2bc14506374dbb59096b6669a8b3abd439d0b800494cc987ea4f05db","format":"index","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":true,"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_28_0.jsonl","sizeBytes":232034922,"sha256":"c1f7d8dc0674368e364d793b63787dda346ff65acb5cdbae6bcbc55cd6da8bea","format":"jsonl","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":true,"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-delta-lab-ai-lean-finder"},"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model-00001-of-00004.safetensors","sizeBytes":4900037664,"sha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","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-delta-lab-ai-lean-finder/model-00001-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"model-00002-of-00004.safetensors","sizeBytes":4915960368,"sha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","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-delta-lab-ai-lean-finder/model-00002-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"model-00003-of-00004.safetensors","sizeBytes":4983068496,"sha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","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-delta-lab-ai-lean-finder/model-00003-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"model-00004-of-00004.safetensors","sizeBytes":1578010232,"sha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","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-delta-lab-ai-lean-finder/model-00004-of-00004.safetensors","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"model.safetensors.index.json","sizeBytes":32914,"sha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","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-delta-lab-ai-lean-finder/model.safetensors.index.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"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-delta-lab-ai-lean-finder/special_tokens_map.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"tokenizer.json","sizeBytes":11422947,"sha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","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-delta-lab-ai-lean-finder/tokenizer.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"path":"tokenizer_config.json","sizeBytes":4686,"sha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","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-delta-lab-ai-lean-finder/tokenizer_config.json","chatTemplate":null,"serve_verdict":{"can_download":false,"bytes_verified":true,"signature":"signed","freshness":"stale","checked_at":null,"evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"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-delta-lab-ai-lean-finder"},"signature_state":"unsigned"}],"warnings":["This description is temporarily unavailable."],"nextActions":[{"label":"Inspect recorded bundle state","url":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/bundle","method":"GET"},{"label":"List individually hashed hosted files","url":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-delta-lab-ai-lean-finder&limit=100","method":"GET"},{"label":"Inspect trust bundle","url":"https://huggingbay.xyz/api/trust-bundles/hf-model-delta-lab-ai-lean-finder","method":"GET"},{"label":"Open artifact","url":"https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder","method":"GET"}],"docs":{"artifactUrl":"https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder","downloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-delta-lab-ai-lean-finder&limit=100","bundleUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/bundle","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-delta-lab-ai-lean-finder"},"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-delta-lab-ai-lean-finder"}}