{"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-29T04:44:15.576Z","serveEvaluationId":"serve-fcad55cc896cd46c583ebd25761daa6f93e1754e3277c640fd75412738a6f894","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T04:44:15.576Z","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-29T04:44:15.576Z","serveEvaluationId":"serve-fcad55cc896cd46c583ebd25761daa6f93e1754e3277c640fd75412738a6f894","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T04:44:15.576Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"delta-lab-ai/lean-finder","artifact":{"id":"hf-model-delta-lab-ai-lean-finder","repo":"delta-lab-ai/lean-finder"},"release":"hf-main","artifact_type":"embedding","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":12,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"delta-lab-ai/lean-finder","private":false,"repoUrl":"https://huggingface.co/delta-lab-ai/lean-finder","disabled":false,"provider":"huggingface","repoType":"model","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","fetchedAt":"2026-09-22T18:29:25.549Z","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/delta-lab-ai/lean-finder","upstream":{"gated":false,"repoId":"delta-lab-ai/lean-finder","private":false,"repoUrl":"https://huggingface.co/delta-lab-ai/lean-finder","disabled":false,"provider":"huggingface","repoType":"model","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","fetchedAt":"2026-09-22T18:29:25.549Z","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:7523cfa195384db27e62bd330e905533f129e6b77dc424a1802b0b9528928039","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_c7ab71c27e5685aa36ea9d84eba7be87f6b0b9a364887fd978269cbc523c3912","artifactId":"hf-model-delta-lab-ai-lean-finder","representationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","artifactId":"hf-model-delta-lab-ai-lean-finder","format":"safetensors","source":{"provider":"huggingface","identity":"delta-lab-ai/lean-finder","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"files":[{"path":"added_tokens.json","role":"support","sizeBytes":605,"sha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:c08731503a5fa8eeb41237ffd2e536a8d42a80e6d65060ef06fc1a0e3083c7df"},{"path":"chat_template.jinja","role":"template","sizeBytes":2427,"sha256":"sha256:44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8f773f091fcce95511b208c001c00e30ee460608ce665f37436fa67fabd0e4b3"},{"path":"config.json","role":"config","sizeBytes":1564,"sha256":"sha256:f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f70433b565b9fca8883e99ecbac2efbfcdee34ef7bd7e6cb717ca98908354ac0"},{"path":"generation_config.json","role":"config","sizeBytes":139,"sha256":"sha256:074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:ad0805aff5cc7fd7b509ca6857169d53a4edbc4feeb36e0d0974206e2d1cf444"},{"path":"model-00001-of-00004.safetensors","role":"weight","sizeBytes":4900037664,"sha256":"sha256:8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8de96bf6df8c3768d9e9f5629f1b3f5a23577407e43a7070e742efee72db190e"},{"path":"model-00002-of-00004.safetensors","role":"weight","sizeBytes":4915960368,"sha256":"sha256:10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b35cbca9c133f69b4052733f4b2786aee2599b1f18fd696accb30ebd4f99f3d0"},{"path":"model-00003-of-00004.safetensors","role":"weight","sizeBytes":4983068496,"sha256":"sha256:793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1795be4f437c100f5b998d1f4c978f1a8b4deb44e480c1661690465e0e72dcad"},{"path":"model-00004-of-00004.safetensors","role":"weight","sizeBytes":1578010232,"sha256":"sha256:47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f03cf7d4fd2ffb47d41e74359907cdea227e107405f5e8e9d692205c15326bdc"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32914,"sha256":"sha256:13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:e35fd5f40b023228ed0af7b98556dff2628409382702041ecc3461fe8cde4fa3"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:e67fa45fba8795bf39dbb8ccc523a9ccce6f1ecb4bbaad4e0a224724a95f7988"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422947,"sha256":"sha256:83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8945abb6e714d095197adcd60bb36c581affef6c6d366bb6ddf4404096560f4b"},{"path":"tokenizer_config.json","role":"config","sizeBytes":4686,"sha256":"sha256:0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f338cab21146c2e8c3eb18e049ef2e5dd8d1c1a0abe06ee3adadbedf4fce9a3a"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0","representationDigest":"sha256:7523cfa195384db27e62bd330e905533f129e6b77dc424a1802b0b9528928039","evidenceSnapshotDigest":"sha256:cf15e0cfb317db1dae19197b321fb30f76f113837930597a25b287278fe3badd","evaluatedAt":"2026-09-22T18:57:20.915Z","authorityVersion":"sha256:e00328b11d3901d78c51b109958e741aaf832c383ebfa86817b0bc09a2e729e8","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":12,"serveAuthority":"live-serve-decision","individuallyHashedFiles":12,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":12,"strictlyDownloadableFiles":12,"strictlyDownloadableHashedFiles":12,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":22,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0","representation":{"id":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","artifactId":"hf-model-delta-lab-ai-lean-finder","representationDigest":"sha256:7523cfa195384db27e62bd330e905533f129e6b77dc424a1802b0b9528928039","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0","taskMode":{"mode":"unknown"},"format":"safetensors","source":{"provider":"huggingface","identity":"delta-lab-ai/lean-finder","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","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":"added_tokens.json","size":605,"declared_size":605,"storage_size":605,"media_type":"application/octet-stream","sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","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-delta-lab-ai-lean-finder/added_tokens.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"chat_template.jinja","size":2427,"declared_size":2427,"storage_size":2427,"media_type":"application/octet-stream","sha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","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-delta-lab-ai-lean-finder/chat_template.jinja","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"config.json","size":1564,"declared_size":1564,"storage_size":1564,"media_type":"application/octet-stream","sha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","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-delta-lab-ai-lean-finder/config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":139,"declared_size":139,"storage_size":139,"media_type":"application/octet-stream","sha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","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-delta-lab-ai-lean-finder/generation_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":4900037664,"declared_size":4900037664,"storage_size":4900037664,"media_type":"application/octet-stream","sha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","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-delta-lab-ai-lean-finder/model-00001-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","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-delta-lab-ai-lean-finder/model-00002-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","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-delta-lab-ai-lean-finder/model-00003-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":1578010232,"declared_size":1578010232,"storage_size":1578010232,"media_type":"application/octet-stream","sha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","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-delta-lab-ai-lean-finder/model-00004-of-00004.safetensors","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":32914,"declared_size":32914,"storage_size":32914,"media_type":"application/octet-stream","sha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","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-delta-lab-ai-lean-finder/model.safetensors.index.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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-delta-lab-ai-lean-finder/special_tokens_map.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"tokenizer.json","size":11422947,"declared_size":11422947,"storage_size":11422947,"media_type":"application/octet-stream","sha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","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-delta-lab-ai-lean-finder/tokenizer.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"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":4686,"declared_size":4686,"storage_size":4686,"media_type":"application/octet-stream","sha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","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-delta-lab-ai-lean-finder/tokenizer_config.json","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-10-29T04:44:15.576Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T04:44:15.576Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"manifest_digest":"sha256:c3ec47c0a96e7d31a09492ba5ac63e7cd5bd5b021ecf7bd291a18111486b6204","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:c3ec47c0a96e7d31a09492ba5ac63e7cd5bd5b021ecf7bd291a18111486b6204","value":"3ZPrg4UWDmHu4y7cUAl2Rxo3WH8UDwCLwUkOD_Ytt79xCii3YjoIAxjv5J-1nUVqWUdOOO-IFeh2Fc-TINJnAQ","signed_at":"2026-10-29T04:44:15.577Z","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"]}}