{"schemaVersion":"hugging-bay.artifact-distribution.v1","downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-29T06:57:18.167Z","baseUrl":"https://huggingbay.xyz","artifact":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-delta-lab-ai-lean-finder","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","cardDescription":"Turns text into vectors for search and similarity matching.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog lists this model for checking whether two sentences mean similar things.","confidence":"low","task":"sentence-similarity","audience":null,"basis":"recorded-metadata","rules":["task:sentence-similarity","tag:sentence-similarity"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"tags","value":"sentence-similarity"},{"field":"task","value":"feature-extraction"},{"field":"cardMetadata.pipelineTag","value":"feature-extraction"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs","task-tags-conflict"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":27386685246,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"delta-lab-ai","sourceUrl":"https://huggingface.co/delta-lab-ai/lean-finder","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":89,"tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"task":"feature-extraction","modality":"text","framework":"transformers","formats":["gitattributes","md","json","jinja","index","jsonl","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":["2510.15940"],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/delta-lab-ai/lean-finder","evalResults":[],"libraryName":"transformers","pipelineTag":"feature-extraction","cardDataKeys":["library_name","license","tags"],"semanticText":"feature-extraction transformers embedding model safetensors sentence-transformers sentence-similarity text-embeddings-inference","semanticTerms":["feature-extraction","transformers","embedding","model","safetensors","sentence-transformers","sentence-similarity","text-embeddings-inference"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1906},{"lfs":false,"path":"README.md","sizeBytes":3424},{"lfs":false,"path":"added_tokens.json","sizeBytes":605},{"lfs":false,"path":"chat_template.jinja","sizeBytes":2427},{"lfs":false,"path":"config.json","sizeBytes":1564},{"lfs":false,"path":"generation_config.json","sizeBytes":139},{"lfs":true,"path":"mathlib4_19_0.index","sizeBytes":3238805549},{"lfs":true,"path":"mathlib4_19_0.jsonl","sizeBytes":168993154},{"lfs":true,"path":"mathlib4_24_0.index","sizeBytes":3459170349},{"lfs":true,"path":"mathlib4_24_0.jsonl","sizeBytes":212839308},{"lfs":true,"path":"mathlib4_28_0.index","sizeBytes":3681845293},{"lfs":true,"path":"mathlib4_28_0.jsonl","sizeBytes":232034922},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00004.safetensors","sizeBytes":4900037664},{"lfs":true,"path":"model-00002-of-00004.safetensors","sizeBytes":4915960368},{"lfs":true,"path":"model-00003-of-00004.safetensors","sizeBytes":4983068496},{"lfs":true,"path":"model-00004-of-00004.safetensors","sizeBytes":1578010232},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32914},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422947},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":4686},{"lfs":false,"path":"vocab.json","sizeBytes":2776833}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":27386685246,"sizeKnown":true,"sizeLabel":"25.5 GB","sizeReason":"","declaredSizeBytes":27386685246,"defaultDownloadBytes":16377076760,"mirrorCount":1,"downloadCount":96,"stars":2,"citations":0,"updatedAt":"2026-09-22T18:57:20.190Z","createdAt":"2026-06-30T04:08:04.025Z","version":"hf-main","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"},"hosting":{"status":"hosted","mirroredAt":"2026-09-22T18:57:20.190Z","mirroredBy":"mirror-batch-worker","totalFiles":22,"hostedFiles":12,"mirroredBytes":16388542655,"mirroredFiles":12,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true,"serveAuthority":"live-serve-decision","bytesOnStorage":true},"mirrorCompletion":{"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,"downloadable":false,"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":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"lastKnownAnswer":"Ready to download"},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"hostingStatus":"hosted","hosted":true,"fileCount":22,"publicDownloadableFileCount":12,"externalFileCount":22,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":27386685246,"label":"25.5 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":96,"upstreamStars":2,"label":"96 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"delta-lab-ai/lean-finder"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"12/22 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: delta-lab-ai/lean-finder","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 12/22 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":12,"externalFiles":10,"totalFiles":22},"action":{"id":"download","label":"Download exact selected bytes","detail":"The selected immutable representation is byte-complete; runtime compatibility is not established.","href":"/api/v1/artifacts/hf-model-delta-lab-ai-lean-finder/download-plan"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1906,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":3424,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"added_tokens.json","sizeBytes":605,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"chat_template.jinja","sizeBytes":2427,"format":"jinja","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"config.json","sizeBytes":1564,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"delta-lab-ai/lean-finder"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"}},"policy":{"verifiedHostedFirst":true,"peerFallbacksRequireReview":true,"licenseMirrorAllowed":true,"noGatedPrivateBypass":true,"noUnreviewedMagnetPublication":true,"note":"Hugging Bay is a verified catalog and selective mirror. Peer-assisted fallback metadata is accepted only for review and is published only after source, license, provenance, and safety checks."},"hostedDownloads":{"status":"hosted","hosted":true,"hostedFiles":12,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-delta-lab-ai-lean-finder&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-delta-lab-ai-lean-finder","torrentUrl":null,"magnetUri":null,"torrent":{"status":"unavailable","torrentUrl":null,"magnetUri":null,"reason":"fresh_torrent_generation_unavailable"},"reviewedPeerFallbackReady":true,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"peerFallbackReadinessUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/distribution","rows":[{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":605,"storageSizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","byteVerifiedAt":"2026-09-22T18:55:41.451Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/added_tokens.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"chat_template.jinja","format":"jinja","risk":"low","sizeBytes":2427,"storageSizeBytes":2427,"sha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","byteVerifiedAt":"2026-09-22T18:55:41.589Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/chat_template.jinja","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2427,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2427,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"config.json","format":"json","risk":"low","sizeBytes":1564,"storageSizeBytes":1564,"sha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","byteVerifiedAt":"2026-09-22T18:55:41.705Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/config.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1564,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1564,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":139,"storageSizeBytes":139,"sha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","byteVerifiedAt":"2026-09-22T18:55:41.807Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/generation_config.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"model-00001-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4900037664,"storageSizeBytes":4900037664,"sha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","byteVerifiedAt":"2026-09-22T18:56:16.872Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00001-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900037664,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900037664,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"model-00002-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4915960368,"storageSizeBytes":4915960368,"sha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","byteVerifiedAt":"2026-09-22T18:56:43.879Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00002-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-29T06:57:18.162Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.162Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"model-00003-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4983068496,"storageSizeBytes":4983068496,"sha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","byteVerifiedAt":"2026-09-22T18:57:11.057Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00003-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"model-00004-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":1578010232,"storageSizeBytes":1578010232,"sha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","byteVerifiedAt":"2026-09-22T18:57:19.141Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00004-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578010232,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578010232,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":32914,"storageSizeBytes":32914,"sha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","byteVerifiedAt":"2026-09-22T18:57:19.296Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model.safetensors.index.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":"2026-09-22T18:57:19.372Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/special_tokens_map.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":4686,"storageSizeBytes":4686,"sha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","byteVerifiedAt":"2026-09-22T18:57:19.809Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4686,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4686,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"},{"artifactId":"hf-model-delta-lab-ai-lean-finder","visibility":"public","owner":"delta-lab-ai","name":"lean-finder","repo":"delta-lab-ai/lean-finder","type":"embedding","task":"feature-extraction","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","transformers","safetensors","qwen3","text-generation","sentence-transformers","sentence-similarity","feature-extraction","text-embeddings-inference","arxiv:2510.15940","license:apache-2.0","endpoints_compatible","region:us","embedding"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for feature extraction: delta-lab-ai/lean-finder · transformers","baseModel":null,"downloadCount":96,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422947,"storageSizeBytes":11422947,"sha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","byteVerifiedAt":"2026-09-22T18:57:19.670Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer.json","manifestUrl":"/api/manifests/hf-model-delta-lab-ai-lean-finder","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-22T19:01:32.874Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422947,"readinessCheckedAt":"2026-10-29T06:57:18.163Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-29T06:57:18.002Z","serveEvaluationId":"serve-5cc9566588d7c7c831ebc56f39b4c1bcbd317555079fe220706294e77e178de4","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422947,"readinessCheckedAt":"2026-10-29T06:57:18.002Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"delta-lab-ai/lean-finder","repoUrl":"https://huggingface.co/delta-lab-ai/lean-finder","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"delta-lab-ai-lean-finder","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/delta-lab-ai/lean-finder","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-delta-lab-ai-lean-finder","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-delta-lab-ai-lean-finder","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/decentralized-fallbacks","manifestDigest":"sha256:1f900d316116e72c6132c00c459adfbd0359fb03e7752407e212a2d7532794e1","fileCount":12,"totalBytes":16388542655,"files":[{"path":"","sizeBytes":605,"sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/added_tokens.json"},{"path":"","sizeBytes":2427,"sha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/chat_template.jinja"},{"path":"","sizeBytes":1564,"sha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/config.json"},{"path":"","sizeBytes":139,"sha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/generation_config.json"},{"path":"","sizeBytes":4900037664,"sha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00001-of-00004.safetensors"},{"path":"","sizeBytes":4915960368,"sha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00002-of-00004.safetensors"},{"path":"","sizeBytes":4983068496,"sha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00003-of-00004.safetensors"},{"path":"","sizeBytes":1578010232,"sha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00004-of-00004.safetensors"},{"path":"","sizeBytes":32914,"sha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model.safetensors.index.json"},{"path":"","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/special_tokens_map.json"},{"path":"","sizeBytes":4686,"sha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer_config.json"},{"path":"","sizeBytes":11422947,"sha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer.json"}],"blockers":[],"requiredEvidence":["magnet URI with btih info hash","source URL proving the torrent maps to this public upstream release","SHA-256 or signed manifest evidence for each hosted file","reviewer note confirming license, provenance, scan, and same-as-upstream checks"],"guidance":"This hosted artifact has enough signed hash/provenance metadata for a reviewed torrent or magnet fallback request; submit the magnet for review before publication."}},"recommendedFlow":["Prefer hostedDownloads rows and verify SHA-256/manifest before runtime use.","If a legitimate torrent/magnet already exists for this open artifact, submit it to decentralizedFallbacks.requestUrl for review.","Do not use Hugging Bay to bypass gated, private, removed, or unknown-license sources."],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/decentralized-fallbacks","body":{"magnetUri":"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.","sourceUrl":"https://huggingface.co/delta-lab-ai/lean-finder","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":12,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-29T06:57:18.170Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-delta-lab-ai-lean-finder","repo":"delta-lab-ai/lean-finder","owner":"delta-lab-ai","name":"lean-finder","type":"embedding","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/delta-lab-ai/lean-finder"},"policy":{"reviewRequired":true,"noUnreviewedMagnetPublication":true,"noGatedPrivateBypass":true,"hostedHashVerificationRequired":true,"directTorrentGeneration":false,"note":"Hosted torrents are generated only from the exact serving-eligibility authority with full-byte verification. Third-party peer-fallback metadata remains separately review-gated and unreviewed magnets are never published."},"summary":{"hostedFiles":12,"filesWithReviewedFallbacks":0,"reviewedFileFallbacks":0,"reviewedArtifactFallbacks":0,"reviewedFallbacks":0,"reviewedTorrentSources":0,"pendingReviewRequests":0,"ready":false},"readiness":{"state":"unknown","completeRunnable":false,"verified":false,"runReady":false,"reason":"recorded-evaluator-not-integrated"},"verifiedFallbacks":[],"files":[],"pendingReview":[],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-delta-lab-ai-lean-finder&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-delta-lab-ai-lean-finder","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-delta-lab-ai-lean-finder/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-delta-lab-ai-lean-finder","releaseUrl":"https://huggingbay.xyz/releases/hf-model-delta-lab-ai-lean-finder"},"commands":[],"guidance":["Inspect hosted file hashes separately; they do not establish bundle completeness or runtime readiness.","Peer fallback metadata is informational and does not establish a verified or runnable bundle.","Submit legitimate open-artifact magnet metadata through actions.requestUrl; unreviewed submissions remain hidden."]},"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":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-29T06:57:18.163Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"}}