{"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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":7,"mirroredBytes":2288164819,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":7,"mirroredBytes":2288164819,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-30T05:25:46.308Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":7,"mirroredBytes":2288164819,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":7,"mirroredBytes":2288164819,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-yuxuangong-lean-rag","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence 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":"medium","task":"sentence-similarity","audience":null,"basis":"recorded-metadata","rules":["task:sentence-similarity"],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"},{"field":"baseModel","value":"BAAI/bge-m3"},{"field":"task","value":"sentence-similarity"},{"field":"cardMetadata.pipelineTag","value":"sentence-similarity"}],"caveats":["check-license-terms","base-model-capabilities-not-inherited","repository-bytes-are-not-memory-needs"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[{"repo":"BAAI/bge-m3","field":"baseModel"}],"parameters":null,"size":{"bytes":2288185353,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"YuxuanGong","sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":96,"tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"task":"sentence-similarity","modality":"text","framework":"sentence-transformers","formats":["gitattributes","json","md","safetensors"],"baseModel":"BAAI/bge-m3","derivedFrom":"BAAI/bge-m3","cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":["recall@1","recall@5","recall@10","mrr"],"datasets":["YuxuanGong/mathlib4-declarations"],"paperIds":["2402.03216"],"repoType":"model","baseModel":"BAAI/bge-m3","languages":["en","zh","code"],"sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","evalResults":[],"libraryName":"sentence-transformers","pipelineTag":"sentence-similarity","cardDataKeys":["base_model","datasets","language","library_name","license","metrics","pipeline_tag","tags","widget"],"semanticText":"sentence-similarity sentence-transformers embedding model en zh code yuxuangong/mathlib4-declarations recall@1 recall@5 recall@10 mrr baai/bge-m3 safetensors retrieval code-retrieval text-embeddings-inference","semanticTerms":["sentence-similarity","sentence-transformers","embedding","model","en","zh","code","yuxuangong/mathlib4-declarations","recall@1","recall@5","recall@10","mrr","baai/bge-m3","safetensors","retrieval","code-retrieval","text-embeddings-inference"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"1_Pooling/config.json","sizeBytes":90},{"lfs":false,"path":"README.md","sizeBytes":7417},{"lfs":false,"path":"README_en.md","sizeBytes":11457},{"lfs":false,"path":"config.json","sizeBytes":743},{"lfs":false,"path":"config_sentence_transformers.json","sizeBytes":282},{"lfs":true,"path":"model.safetensors","sizeBytes":2271064408},{"lfs":false,"path":"modules.json","sizeBytes":429},{"lfs":false,"path":"sentence_bert_config.json","sizeBytes":241},{"lfs":true,"path":"tokenizer.json","sizeBytes":17098338},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":378}],"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":2288185353,"sizeKnown":true,"sizeLabel":"2.1 GB","sizeReason":"","declaredSizeBytes":2288185353,"defaultDownloadBytes":2271064408,"mirrorCount":1,"downloadCount":70,"stars":1,"citations":0,"updatedAt":"2026-09-24T03:28:41.530Z","createdAt":"2026-06-30T04:16:34.004Z","version":"hf-main","upstream":{"gated":false,"repoId":"YuxuanGong/lean-RAG","private":false,"repoUrl":"https://huggingface.co/YuxuanGong/lean-RAG","disabled":false,"provider":"huggingface","repoType":"model","revision":"32b60c1127872de432959b2e00fb954e8f7e3cc1","fetchedAt":"2026-09-24T03:23:01.167Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-24T03:28:41.530Z","mirroredBy":"mirror-batch-worker","totalFiles":11,"hostedFiles":7,"mirroredBytes":2288164819,"mirroredFiles":7,"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_7661351296acc508177a02e4b5fb8ad65e413841d8860836c3486b8c64b251fc","artifactId":"hf-model-yuxuangong-lean-rag","representationId":"rep-d306961970bbfb6833d0bc0972cf5155ed13713db7d6320bd35265ef28ac0467","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-d306961970bbfb6833d0bc0972cf5155ed13713db7d6320bd35265ef28ac0467","artifactId":"hf-model-yuxuangong-lean-rag","format":"safetensors","source":{"provider":"huggingface","identity":"YuxuanGong/lean-RAG","revision":"32b60c1127872de432959b2e00fb954e8f7e3cc1","immutable":true},"files":[{"path":"config.json","role":"config","sizeBytes":743,"sha256":"sha256:89d2b894dfc77cbe0e18c99f1aaf82777673e7d029873c4fb9c8ea9a14c7f2f7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:dc6c5be844042731d0fabdfb19bcf1d2b172d13be39dddf4293d56daf8157fed"},{"path":"config_sentence_transformers.json","role":"support","sizeBytes":282,"sha256":"sha256:11bb8b0182a8bd10840821f93894f47fc295f5c1780af9b6fa3acaed8c24adf3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:28ce2358e15efc7b1001819eb3b68262a9847570f2e6be4ee4aa623b9b4f063a"},{"path":"model.safetensors","role":"weight","sizeBytes":2271064408,"sha256":"sha256:fa352e1ec4262142ab55ba868cab6c3a5b99f0b561b065241afd75eb0e5c12d7","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:093072064ad91d320a26c46e42689a392d5eb000f5f3c641c5846855dcc9f602"},{"path":"modules.json","role":"support","sizeBytes":429,"sha256":"sha256:fa7d796a215e1b2416773062891923b191fc5a4849bc44e322997433c90f459c","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:deb68759d1bc9954934a177c2dda5b2f3d9c9f9b6bdbb4d9e6c972ada8a29397"},{"path":"sentence_bert_config.json","role":"config","sizeBytes":241,"sha256":"sha256:3084164002c0bca01b0259c5327123803fce32e660a57feb93184ffead186fc8","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:49d4a493eabd5173b60e78fe7b349fde5b4454b7c5bc96d6fd1ea1f87dd3a857"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":17098338,"sha256":"sha256:186958617870145e2384b91f3e26e0299499ee25baba7b72c7a761e16641e797","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:e20cf81ce6686094a839922ab3de1884286270bab55fb99ea5c6e7270b9e7a9c"},{"path":"tokenizer_config.json","role":"config","sizeBytes":378,"sha256":"sha256:9fb7b823a46fbf772358c968839d0fa9d86352f8bfc9dabb20a2728542859ce5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1b0a7bf0d40279f84ca2bdc4afd53771a5947bb7c758e08255b0ec0282eb8a60"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:2ce06f186d59146ae7f5088f8f321b87c5885a60fcb0a7541e3c3567a878f6af","representationDigest":"sha256:49314469f44bb0fc0edb9b4ab21d91b4e3c9018912dcec93ce82e0bcf836fd22","evidenceSnapshotDigest":"sha256:dde2638b4c4aae56acf496a6bdcca8ed232868c323a21d052dc9ecbc9661d1a2","evaluatedAt":"2026-09-24T03:28:41.924Z","authorityVersion":"sha256:cb02f3f8d9d9f31b9a77c74790dbe6dfa72d742a2e70436cf811efcbdf42624a","invalidatedBy":null,"manifestFinal":true,"downloadable":false,"hosted":true,"hostedFiles":7,"serveAuthority":"live-serve-decision","individuallyHashedFiles":7,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":7,"strictlyDownloadableFiles":7,"strictlyDownloadableHashedFiles":7,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":11,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"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":11,"publicDownloadableFileCount":7,"externalFileCount":11,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":2288185353,"label":"2.1 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":70,"upstreamStars":1,"label":"70 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":"YuxuanGong/lean-RAG"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"7/11 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: YuxuanGong/lean-RAG","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 7/11 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":7,"externalFiles":4,"totalFiles":11},"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-yuxuangong-lean-rag/download-plan"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"1_Pooling/config.json","sizeBytes":90,"format":"json","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":7417,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README_en.md","sizeBytes":11457,"format":"md","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"config.json","sizeBytes":743,"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":"YuxuanGong/lean-RAG"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"}},"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":7,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-yuxuangong-lean-rag&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","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-yuxuangong-lean-rag/distribution","rows":[{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"config.json","format":"json","risk":"low","sizeBytes":743,"storageSizeBytes":743,"sha256":"89d2b894dfc77cbe0e18c99f1aaf82777673e7d029873c4fb9c8ea9a14c7f2f7","byteVerifiedAt":"2026-09-24T03:28:28.917Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/config.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":743,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":743,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"config_sentence_transformers.json","format":"json","risk":"low","sizeBytes":282,"storageSizeBytes":282,"sha256":"11bb8b0182a8bd10840821f93894f47fc295f5c1780af9b6fa3acaed8c24adf3","byteVerifiedAt":"2026-09-24T03:28:29.020Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/config_sentence_transformers.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":282,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":282,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"model.safetensors","format":"safetensors","risk":"low","sizeBytes":2271064408,"storageSizeBytes":2271064408,"sha256":"fa352e1ec4262142ab55ba868cab6c3a5b99f0b561b065241afd75eb0e5c12d7","byteVerifiedAt":"2026-09-24T03:28:40.850Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/model.safetensors","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2271064408,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2271064408,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"modules.json","format":"json","risk":"low","sizeBytes":429,"storageSizeBytes":429,"sha256":"fa7d796a215e1b2416773062891923b191fc5a4849bc44e322997433c90f459c","byteVerifiedAt":"2026-09-24T03:28:40.940Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/modules.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":429,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":429,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"sentence_bert_config.json","format":"json","risk":"low","sizeBytes":241,"storageSizeBytes":241,"sha256":"3084164002c0bca01b0259c5327123803fce32e660a57feb93184ffead186fc8","byteVerifiedAt":"2026-09-24T03:28:41.025Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/sentence_bert_config.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":241,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":241,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":378,"storageSizeBytes":378,"sha256":"9fb7b823a46fbf772358c968839d0fa9d86352f8bfc9dabb20a2728542859ce5","byteVerifiedAt":"2026-09-24T03:28:41.320Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":378,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":378,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"},{"artifactId":"hf-model-yuxuangong-lean-rag","visibility":"public","owner":"YuxuanGong","name":"lean-RAG","repo":"YuxuanGong/lean-RAG","type":"embedding","task":"sentence-similarity","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","sentence-transformers","safetensors","xlm-roberta","sentence-similarity","feature-extraction","mathlib4","lean4","formal-proof","retrieval","code-retrieval","math","en","zh","code","dataset:yuxuangong/mathlib4-declarations","arxiv:2402.03216","base_model:baai/bge-m3","base_model:finetune:baai/bge-m3","license:apache-2.0","text-embeddings-inference"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for sentence similarity: YuxuanGong/lean-RAG · sentence transformers","baseModel":"BAAI/bge-m3","downloadCount":70,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":17098338,"storageSizeBytes":17098338,"sha256":"186958617870145e2384b91f3e26e0299499ee25baba7b72c7a761e16641e797","byteVerifiedAt":"2026-09-24T03:28:41.216Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/tokenizer.json","manifestUrl":"/api/manifests/hf-model-yuxuangong-lean-rag","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-24T03:34:06.075Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":17098338,"readinessCheckedAt":"2026-10-30T05:25:46.304Z","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-30T05:25:46.131Z","serveEvaluationId":"serve-8172395227a427202aa9134280bb7122fba89f497fb92fc9b9196e89321e9086","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":17098338,"readinessCheckedAt":"2026-10-30T05:25:46.131Z","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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"YuxuanGong/lean-RAG","repoUrl":"https://huggingface.co/YuxuanGong/lean-RAG","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"YuxuanGong-lean-RAG","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-yuxuangong-lean-rag","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/decentralized-fallbacks","manifestDigest":"sha256:c8e8ecf2f56e4e07bcd7162fca39ead269602b302ff6d14d1697b056d828793f","fileCount":7,"totalBytes":2288164819,"files":[{"path":"","sizeBytes":743,"sha256":"89d2b894dfc77cbe0e18c99f1aaf82777673e7d029873c4fb9c8ea9a14c7f2f7","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/config.json"},{"path":"","sizeBytes":282,"sha256":"11bb8b0182a8bd10840821f93894f47fc295f5c1780af9b6fa3acaed8c24adf3","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/config_sentence_transformers.json"},{"path":"","sizeBytes":2271064408,"sha256":"fa352e1ec4262142ab55ba868cab6c3a5b99f0b561b065241afd75eb0e5c12d7","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/model.safetensors"},{"path":"","sizeBytes":429,"sha256":"fa7d796a215e1b2416773062891923b191fc5a4849bc44e322997433c90f459c","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/modules.json"},{"path":"","sizeBytes":241,"sha256":"3084164002c0bca01b0259c5327123803fce32e660a57feb93184ffead186fc8","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/sentence_bert_config.json"},{"path":"","sizeBytes":378,"sha256":"9fb7b823a46fbf772358c968839d0fa9d86352f8bfc9dabb20a2728542859ce5","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/tokenizer_config.json"},{"path":"","sizeBytes":17098338,"sha256":"186958617870145e2384b91f3e26e0299499ee25baba7b72c7a761e16641e797","downloadUrl":"/api/downloads/hf-model-yuxuangong-lean-rag/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-yuxuangong-lean-rag/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/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/YuxuanGong/lean-RAG","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":7,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-30T05:25:46.310Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-yuxuangong-lean-rag","repo":"YuxuanGong/lean-RAG","owner":"YuxuanGong","name":"lean-RAG","type":"embedding","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/YuxuanGong/lean-RAG"},"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":7,"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-yuxuangong-lean-rag/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-yuxuangong-lean-rag&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-yuxuangong-lean-rag","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-yuxuangong-lean-rag/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-yuxuangong-lean-rag","releaseUrl":"https://huggingbay.xyz/releases/hf-model-yuxuangong-lean-rag"},"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-30T05:25:46.304Z","evidence_url":"/api/manifests/hf-model-yuxuangong-lean-rag"}}