{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","repo":"delta-lab-ai/lean-finder","totalSizeBytes":27386685246,"rows":[{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":1906,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"23fdd69158f6e5163cdf0fb51071e0fd21c09a5c","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":1906,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"README.md","risk":"low","format":"md","sha256":"","lfsSha256":"","sizeBytes":3424,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"e829d4b7110d93c317ea53b32d92e82de0c09ace","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":3424,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"added_tokens.json","risk":"low","role":"support","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":605,"mirroredAt":"2026-09-22T18:57:33.484Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"482ced4679301bf287ebb310bdd1790eb4514232","externalUrl":null,"scanFindings":[],"sourceSha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"added_tokens.json","digest":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":605},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"482ced4679301bf287ebb310bdd1790eb4514232","sha256":"58b54bbe36fc752f79a24a271ef66a0a0830054b4dfad94bde757d851968060b","sizeBytes":605,"externalOid":"482ced4679301bf287ebb310bdd1790eb4514232"},"upstream":{"path":"added_tokens.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":605,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/added_tokens.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"added_tokens.json","license":"apache-2.0","declaredSizeBytes":605,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":605,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"chat_template.jinja","risk":"low","role":"template","format":"jinja","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":2427,"mirroredAt":"2026-09-22T18:57:34.683Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"28028c056af412405debd878cdda0171e35fa5d1","externalUrl":null,"scanFindings":[],"sourceSha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"chat_template.jinja","digest":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":2427},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"28028c056af412405debd878cdda0171e35fa5d1","sha256":"44d5f08f3f72b837eaad09f13a54c1f9f4eb58d75240334548b7fd52a5437fa5","sizeBytes":2427,"externalOid":"28028c056af412405debd878cdda0171e35fa5d1"},"upstream":{"path":"chat_template.jinja","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":2427,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/chat_template.jinja","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"chat_template.jinja","license":"apache-2.0","declaredSizeBytes":2427,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2427,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2427,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":1564,"mirroredAt":"2026-09-22T18:57:34.268Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"33316ae09f668a91727e540df0399854dec3ea17","externalUrl":null,"scanFindings":[],"sourceSha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":1564},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"33316ae09f668a91727e540df0399854dec3ea17","sha256":"f3ecdcaec68ea40b9f1b8b784ede066bf7d7cf645e241c62b1f422b54f771ea7","sizeBytes":1564,"externalOid":"33316ae09f668a91727e540df0399854dec3ea17"},"upstream":{"path":"config.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":1564,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"config.json","license":"apache-2.0","declaredSizeBytes":1564,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1564,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1564,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":139,"mirroredAt":"2026-09-22T18:57:33.155Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"537f366e9889c6f735d850e9f122bb260006052b","externalUrl":null,"scanFindings":[],"sourceSha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":139},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"537f366e9889c6f735d850e9f122bb260006052b","sha256":"074dd104fc37e3582f63ee1c907d8cd5da2523a4d6b9eba31c3a0924eea23f81","sizeBytes":139,"externalOid":"537f366e9889c6f735d850e9f122bb260006052b"},"upstream":{"path":"generation_config.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":139,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":139,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":139,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_19_0.index","risk":"low","format":"index","sha256":"3ed8cfe0d6c4591a1d8eee949291f30ae6239d334ce0a02388760535c591ef29","lfsSha256":"3ed8cfe0d6c4591a1d8eee949291f30ae6239d334ce0a02388760535c591ef29","sizeBytes":3238805549,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"58a282a5a419295b1eee6ec0b46807a1ca394a83","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_19_0.index","license":"apache-2.0","declaredSizeBytes":3238805549,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_19_0.jsonl","risk":"low","format":"jsonl","sha256":"29269aed12c4db12410f5b562b2e21dce8df4991b850f3829c3ab64996797447","lfsSha256":"29269aed12c4db12410f5b562b2e21dce8df4991b850f3829c3ab64996797447","sizeBytes":168993154,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"7ca1eba67cdf5b55621c56029e51c234cde6ca1a","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_19_0.jsonl","license":"apache-2.0","declaredSizeBytes":168993154,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_24_0.index","risk":"low","format":"index","sha256":"f270340b93780bff88c4442d787d719ce9c8f0f62b64f546e7d47f74b45f38b1","lfsSha256":"f270340b93780bff88c4442d787d719ce9c8f0f62b64f546e7d47f74b45f38b1","sizeBytes":3459170349,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"55ac34666f00d971143746c3bed3812ccc6e68f5","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_24_0.index","license":"apache-2.0","declaredSizeBytes":3459170349,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_24_0.jsonl","risk":"low","format":"jsonl","sha256":"5d5b3fb74e6fcb54c54b4a024e808cb7bf86b14d186520ca06e8cac86edf9a5b","lfsSha256":"5d5b3fb74e6fcb54c54b4a024e808cb7bf86b14d186520ca06e8cac86edf9a5b","sizeBytes":212839308,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"36f4daa20f127f734cc55f9302217827ea20ccba","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_24_0.jsonl","license":"apache-2.0","declaredSizeBytes":212839308,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_28_0.index","risk":"low","format":"index","sha256":"ff0b88aa2bc14506374dbb59096b6669a8b3abd439d0b800494cc987ea4f05db","lfsSha256":"ff0b88aa2bc14506374dbb59096b6669a8b3abd439d0b800494cc987ea4f05db","sizeBytes":3681845293,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"f8ac55ab2d7614aee72c038e053202a697b566ff","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_28_0.index","license":"apache-2.0","declaredSizeBytes":3681845293,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"mathlib4_28_0.jsonl","risk":"low","format":"jsonl","sha256":"c1f7d8dc0674368e364d793b63787dda346ff65acb5cdbae6bcbc55cd6da8bea","lfsSha256":"c1f7d8dc0674368e364d793b63787dda346ff65acb5cdbae6bcbc55cd6da8bea","sizeBytes":232034922,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"1c3c6e720c76505301285b7ca0459ad271f1b95d","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"mathlib4_28_0.jsonl","license":"apache-2.0","declaredSizeBytes":232034922,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"merges.txt","risk":"low","format":"txt","sha256":"","lfsSha256":"","sizeBytes":1671853,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"merges.txt","license":"apache-2.0","declaredSizeBytes":1671853,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model-00001-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"lfsSha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","sizeBytes":4900037664,"mirroredAt":"2026-09-22T19:01:32.861Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","externalUrl":null,"scanFindings":[],"sourceSha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00001-of-00004.safetensors","digest":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":4900037664},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"hf-lfs","gitOid":"71f236ef5acb6b6cc088e44f8e19b4ecc55e3405","sha256":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","sizeBytes":4900037664,"externalOid":"8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161"},"upstream":{"path":"model-00001-of-00004.safetensors","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":4900037664,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:8382defab59447131acce2f85b08c68810513dd278874a886e5af0c6cb764161","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00001-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"model-00001-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4900037664,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900037664,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4900037664,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model-00002-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"lfsSha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","sizeBytes":4915960368,"mirroredAt":"2026-09-22T19:01:17.460Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","externalUrl":null,"scanFindings":[],"sourceSha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00002-of-00004.safetensors","digest":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":4915960368},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"hf-lfs","gitOid":"a99f523117bbbae1eac168e3064f3bec9ae49a9f","sha256":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","sizeBytes":4915960368,"externalOid":"10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33"},"upstream":{"path":"model-00002-of-00004.safetensors","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":4915960368,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:10fbf1fc5736dfd54501c6a131c454ed1038443ae27271ec2a137b6367a37b33","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00002-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"model-00002-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4915960368,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model-00003-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"lfsSha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","sizeBytes":4983068496,"mirroredAt":"2026-09-22T19:01:29.719Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","externalUrl":null,"scanFindings":[],"sourceSha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00003-of-00004.safetensors","digest":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":4983068496},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"hf-lfs","gitOid":"58860bfe53b8760ac6fe551e712ab4cbdb47042d","sha256":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","sizeBytes":4983068496,"externalOid":"793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a"},"upstream":{"path":"model-00003-of-00004.safetensors","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":4983068496,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:793336b91226602387d69dad92410671c2b50c1a3d177aa6af6a6eb7da60e28a","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00003-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"model-00003-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":4983068496,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model-00004-of-00004.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"lfsSha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","sizeBytes":1578010232,"mirroredAt":"2026-09-22T18:58:57.860Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","externalUrl":null,"scanFindings":[],"sourceSha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00004-of-00004.safetensors","digest":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":1578010232},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"hf-lfs","gitOid":"adda094bb5a1db53e32553fc85df5de39ae8638d","sha256":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","sizeBytes":1578010232,"externalOid":"47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126"},"upstream":{"path":"model-00004-of-00004.safetensors","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":1578010232,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:47c6da2c6f2a816e920494f91711e8557e38dee22b06ff93cffe7d1331702126","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model-00004-of-00004.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"model-00004-of-00004.safetensors","license":"apache-2.0","declaredSizeBytes":1578010232,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578010232,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1578010232,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"model.safetensors.index.json","risk":"low","role":"index","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":32914,"mirroredAt":"2026-09-22T18:57:32.491Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"900f8ca78c76e1e22c305f26766f50e5e499aa62","externalUrl":null,"scanFindings":[],"sourceSha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors.index.json","digest":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":32914},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"900f8ca78c76e1e22c305f26766f50e5e499aa62","sha256":"13eb6af6d05629d949f3aa53908294d24d5d434f9dcf346aef9f3f9695821707","sizeBytes":32914,"externalOid":"900f8ca78c76e1e22c305f26766f50e5e499aa62"},"upstream":{"path":"model.safetensors.index.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":32914,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/model.safetensors.index.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"model.safetensors.index.json","license":"apache-2.0","declaredSizeBytes":32914,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32914,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"special_tokens_map.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":613,"mirroredAt":"2026-09-22T18:57:33.870Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"ac23c0aaa2434523c494330aeb79c58395378103","externalUrl":null,"scanFindings":[],"sourceSha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"special_tokens_map.json","digest":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":613},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"ac23c0aaa2434523c494330aeb79c58395378103","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","sizeBytes":613,"externalOid":"ac23c0aaa2434523c494330aeb79c58395378103"},"upstream":{"path":"special_tokens_map.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":613,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/special_tokens_map.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"special_tokens_map.json","license":"apache-2.0","declaredSizeBytes":613,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-28T23:51:58.581Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.581Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"tokenizer.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"lfsSha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","sizeBytes":11422947,"mirroredAt":"2026-09-22T18:57:35.129Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","externalUrl":null,"scanFindings":[],"sourceSha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer.json","digest":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":11422947},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"hf-lfs","gitOid":"982862dae5cfde7feac135a6367874a81a4a9fd5","sha256":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","sizeBytes":11422947,"externalOid":"83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d"},"upstream":{"path":"tokenizer.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":11422947,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:83cdf8c3a34f68862319cb1810ee7b1e2c0a44e0864ae930194ddb76bb7feb8d","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"tokenizer.json","license":"apache-2.0","declaredSizeBytes":11422947,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422947,"readinessCheckedAt":"2026-10-28T23:51:58.581Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422947,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.581Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-2c70a51c7dfbac904cab84e2c55bc970284e86ba72fc7cdb","approvedAt":"2026-09-22T18:29:36.297Z","approvedBy":"configured-admin","approvalDigest":"sha256:56aec39a8f8bff17c32648b22c21adff7d268dc8587a778b02648a2b4573caa5"},"sha256":"sha256:0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","source":{"identity":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","immutable":true},"required":true,"sizeBytes":4686,"mirroredAt":"2026-09-22T18:57:32.858Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"eaed590d62aaf0ba31e284b66ddcb18222f066c2","externalUrl":null,"scanFindings":[],"sourceSha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer_config.json","digest":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91","sizeBytes":4686},"sourceRevision":"a9e312299c4d68f020662a68d70c4e3979781f91","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for delta-lab-ai/lean-finder","observed":{"kind":"git-blob","gitOid":"eaed590d62aaf0ba31e284b66ddcb18222f066c2","sha256":"0a04a9d7d4a62b28482bdfe726c122756de85714fb64166ace92ae75b8f57614","sizeBytes":4686,"externalOid":"eaed590d62aaf0ba31e284b66ddcb18222f066c2"},"upstream":{"path":"tokenizer_config.json","repoId":"delta-lab-ai/lean-finder","provider":"huggingface","revision":"a9e312299c4d68f020662a68d70c4e3979781f91"},"planDigest":"sha256:f0807320f321725323bf88604cb07923af392a7a706d3f213f5f4b5512b81531","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:007243fd92fb8d2fd21f33e0dcc225044f9e02edb39f3975b21d985541ad1a09","observationId":"packet-observation-71cb6fcb70ab1c7c35e4e733956063e325c12fec3e6eded66f2e11bbc7c8e738","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0"},"storageSizeBytes":4686,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":"passed","licenseDecisionId":"mirror-license-2d4dcaa397079afad7aa5bcaf482766f9125512037a9e84bd3e05cf6bd238f99","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-delta-lab-ai-lean-finder/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-28T23:50:34.206Z","artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"tokenizer_config.json","license":"apache-2.0","declaredSizeBytes":4686,"tools":[],"peerFallbacks":[],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4686,"readinessCheckedAt":"2026-10-28T23:51:58.581Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4686,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","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":{"directDownloadAuthorized":true,"serveBlocked":false,"servingAuthority":"live-serve-decision"},"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.581Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"},{"path":"vocab.json","risk":"low","format":"json","sha256":"","lfsSha256":"","sizeBytes":2776833,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-delta-lab-ai-lean-finder","filePath":"vocab.json","license":"apache-2.0","declaredSizeBytes":2776833,"tools":[],"peerFallbacks":[],"storageKey":"","storageGeneration":"","storageEtag":"","storageBucket":"","downloadable":false,"downloadUrl":null,"landingUrl":null,"hostedDownloadUrl":null,"verifiedDownloadUrl":null,"download_url":null,"directDownloadUrl":null,"hostedWeightUrl":null,"weightUrl":null,"manifestUrl":null,"manifestKeyUrl":null,"torrentUrl":null,"magnetUrl":null,"magnetUri":null,"torrent":null,"magnet":null,"localKitUrl":null,"localKitApiUrl":null,"citationUrl":null,"downloadPlanUrl":null,"downloadableFilesUrl":null,"hostedDownloadsUrl":null,"hostingStatus":"blocked","downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.581Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":false,"downloadStatus":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"reason":"This file is not available to download right now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-28T23:51:58.581Z","readinessSource":"file-check","degraded":false,"stale":false},"displayOnly":true,"authorizationRequired":true,"serveDecision":{"state":"BLOCKED","reasonCodes":["NOT_SERVE_ELIGIBLE"],"policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"directDownloadAuthorized":false,"serveBlocked":true,"servingAuthority":"live-serve-decision"},"serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.581Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"},"signature_state":"unsigned"}],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","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-28T23:51:58.580Z","serveEvaluationId":"serve-3f3aeaf860bb9c5b8f573b0b0791f8fc61cc98d3185bce1b209830a10df84b24","readiness":"ready","downloadReady":true,"hostedFileCount":12,"mirroredBytes":16388542655,"readinessCheckedAt":"2026-10-28T23:51:58.580Z","readinessSource":"file-check","degraded":false,"stale":false},"total":22,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-28T23:51:58.582Z","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":"unsigned","freshness":"current","checked_at":"2026-10-28T23:51:58.580Z","evidence_url":"/api/manifests/hf-model-delta-lab-ai-lean-finder"}}