{"displayOnly":true,"authorizationRequired":true,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","totalSizeBytes":8050444953,"rows":[{"path":".eval_results/MathArena--aime_2026.yaml","risk":"low","format":"yaml","sha256":"","lfsSha256":"","sizeBytes":209,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"b2de7b6825c55fde13ff3457bceb3af9b652803d","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":".eval_results/MathArena--aime_2026.yaml","license":"apache-2.0","declaredSizeBytes":209,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","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"}},{"path":".eval_results/MathArena--hmmt_feb_2026.yaml","risk":"low","format":"yaml","sha256":"","lfsSha256":"","sizeBytes":222,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"5e95e31b9f7b59723d969396479d46acc3c73d45","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":".eval_results/MathArena--hmmt_feb_2026.yaml","license":"apache-2.0","declaredSizeBytes":222,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":".gitattributes","risk":"low","format":"gitattributes","sha256":"","lfsSha256":"","sizeBytes":1773,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"0dbd12835fed4a5a7bbe7a4c264097486c9eb7fd","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":".gitattributes","license":"apache-2.0","declaredSizeBytes":1773,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":"README.md","risk":"low","role":"support","format":"md","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":5744,"mirroredAt":"2026-09-02T23:57:53.704Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"b31d27b67a9a3e57948c92f99e5ffec439acda63","externalUrl":null,"scanFindings":[],"sourceSha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"README.md","digest":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":5744},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"b31d27b67a9a3e57948c92f99e5ffec439acda63","sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","sizeBytes":5744,"externalOid":"b31d27b67a9a3e57948c92f99e5ffec439acda63"},"upstream":{"path":"README.md","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":5744,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/README.md","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"README.md","license":"apache-2.0","declaredSizeBytes":5744,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":5744,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"chat_template.jinja","risk":"low","role":"template","format":"jinja","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":4049,"mirroredAt":"2026-09-02T23:57:53.199Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"2e2f69c390ddde1d05fefc214e9cf9afe775765b","externalUrl":null,"scanFindings":[],"sourceSha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"chat_template.jinja","digest":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":4049},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"2e2f69c390ddde1d05fefc214e9cf9afe775765b","sha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","sizeBytes":4049,"externalOid":"2e2f69c390ddde1d05fefc214e9cf9afe775765b"},"upstream":{"path":"chat_template.jinja","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":4049,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/chat_template.jinja","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"chat_template.jinja","license":"apache-2.0","declaredSizeBytes":4049,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4049,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":1567,"mirroredAt":"2026-09-02T23:57:53.494Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"1490d8465ca395aeb627e9c642dcf26b7a478fd3","externalUrl":null,"scanFindings":[],"sourceSha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"config.json","digest":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":1567},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"1490d8465ca395aeb627e9c642dcf26b7a478fd3","sha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","sizeBytes":1567,"externalOid":"1490d8465ca395aeb627e9c642dcf26b7a478fd3"},"upstream":{"path":"config.json","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":1567,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"config.json","license":"apache-2.0","declaredSizeBytes":1567,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1567,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"evals.png","risk":"low","format":"png","sha256":"3afd0b946a07d2e844552a14be5470114c9376c769053ba6f8fa4e8438fdb6cd","lfsSha256":"3afd0b946a07d2e844552a14be5470114c9376c769053ba6f8fa4e8438fdb6cd","sizeBytes":155380,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"e866ee715ec8c434239a60cb5c161600dd2fa5b4","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":"evals.png","license":"apache-2.0","declaredSizeBytes":155380,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":"generation_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":188,"mirroredAt":"2026-09-02T23:57:57.821Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"1f8e6ba6636aac4e7aaae93abb4a97f74ed43cdd","externalUrl":null,"scanFindings":[],"sourceSha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"generation_config.json","digest":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":188},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"1f8e6ba6636aac4e7aaae93abb4a97f74ed43cdd","sha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","sizeBytes":188,"externalOid":"1f8e6ba6636aac4e7aaae93abb4a97f74ed43cdd"},"upstream":{"path":"generation_config.json","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":188,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/generation_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"generation_config.json","license":"apache-2.0","declaredSizeBytes":188,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":188,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"imoproofbench.png","risk":"low","format":"png","sha256":"85b12ad73afb696ab7788781b6dbf5b8cfb229d94bc70c419b8e1657f5635a72","lfsSha256":"85b12ad73afb696ab7788781b6dbf5b8cfb229d94bc70c419b8e1657f5635a72","sizeBytes":109511,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"e2b4616638cec381842ffadadc73e1d3c7cb29ae","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":"imoproofbench.png","license":"apache-2.0","declaredSizeBytes":109511,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":"logo.png","risk":"low","format":"png","sha256":"53db7ff09e16ec14c3633d509844f1b52b751537d78fb49a48e90ddd3cdc69c1","lfsSha256":"53db7ff09e16ec14c3633d509844f1b52b751537d78fb49a48e90ddd3cdc69c1","sizeBytes":260424,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"bda469082802d23be90348b67a1b1f115f997966","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":"logo.png","license":"apache-2.0","declaredSizeBytes":260424,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":"merges.txt","risk":"low","role":"tokenizer","format":"txt","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":1671853,"mirroredAt":"2026-09-02T23:57:53.907Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","externalUrl":null,"scanFindings":[],"sourceSha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"merges.txt","digest":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":1671853},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","sizeBytes":1671853,"externalOid":"31349551d90c7606f325fe0f11bbb8bd5fa0d7c7"},"upstream":{"path":"merges.txt","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":1671853,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/merges.txt","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"merges.txt","license":"apache-2.0","declaredSizeBytes":1671853,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"model-00001-of-00002.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"lfsSha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","sizeBytes":4967215360,"mirroredAt":"2026-09-03T00:03:11.388Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","externalUrl":null,"scanFindings":[],"sourceSha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00001-of-00002.safetensors","digest":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":4967215360},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"27474b1c11e402b25351470fd0a855d54c851b88","sha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","sizeBytes":4967215360,"externalOid":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba"},"upstream":{"path":"model-00001-of-00002.safetensors","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":4967215360,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00001-of-00002.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"model-00001-of-00002.safetensors","license":"apache-2.0","declaredSizeBytes":4967215360,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4967215360,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"model-00002-of-00002.safetensors","risk":"low","role":"weight","format":"safetensors","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"lfsSha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","sizeBytes":3077766632,"mirroredAt":"2026-09-03T00:00:03.745Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","externalUrl":null,"scanFindings":[],"sourceSha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model-00002-of-00002.safetensors","digest":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":3077766632},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"hf-lfs","gitOid":"7c004241a6946ba98e79f749a35e8b26ff3181e5","sha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","sizeBytes":3077766632,"externalOid":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a"},"upstream":{"path":"model-00002-of-00002.safetensors","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":3077766632,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"sha256:6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model-00002-of-00002.safetensors","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"model-00002-of-00002.safetensors","license":"apache-2.0","declaredSizeBytes":3077766632,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":3077766632,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"model.safetensors.bak","risk":"low","format":"bak","sha256":"6c6159d1fb660bc5d2a07ddabaa7ffc693077bec37f6a85e0df775f4032ef87b","lfsSha256":"6c6159d1fb660bc5d2a07ddabaa7ffc693077bec37f6a85e0df775f4032ef87b","sizeBytes":432752,"mirroredAt":null,"sourceKind":"external-hf","contentType":"application/octet-stream","externalOid":"0bc1b4e7346e2131e577d11b040d05a30f18e6bc","externalUrl":null,"downloadPolicy":"unavailable","storageProvider":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":null,"scanPolicyVersion":"","licenseDecisionId":null,"manifestVersion":null,"tombstonedAt":null,"hosted":false,"downloadAuthorized":false,"artifactId":"hf-model-lm-provers-qed-nano","filePath":"model.safetensors.bak","license":"apache-2.0","declaredSizeBytes":432752,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"blocked","downloadReady":false,"hostedFileCount":0,"mirroredBytes":0,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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"}},{"path":"model.safetensors.index.json","risk":"low","role":"index","format":"json","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":32819,"mirroredAt":"2026-09-02T23:57:53.598Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"62820688b8105e565086d99c25b4250a07aa7a24","externalUrl":null,"scanFindings":[],"sourceSha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"model.safetensors.index.json","digest":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":32819},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"62820688b8105e565086d99c25b4250a07aa7a24","sha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","sizeBytes":32819,"externalOid":"62820688b8105e565086d99c25b4250a07aa7a24"},"upstream":{"path":"model.safetensors.index.json","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":32819,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/model.safetensors.index.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"model.safetensors.index.json","license":"apache-2.0","declaredSizeBytes":32819,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32819,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"tokenizer_config.json","risk":"low","role":"config","format":"json","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":9637,"mirroredAt":"2026-09-02T23:57:53.105Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"f8975a51b23bb2f9041a5cd41d04a72b781e7e29","externalUrl":null,"scanFindings":[],"sourceSha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"tokenizer_config.json","digest":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":9637},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"f8975a51b23bb2f9041a5cd41d04a72b781e7e29","sha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","sizeBytes":9637,"externalOid":"f8975a51b23bb2f9041a5cd41d04a72b781e7e29"},"upstream":{"path":"tokenizer_config.json","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":9637,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/tokenizer_config.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"tokenizer_config.json","license":"apache-2.0","declaredSizeBytes":9637,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9637,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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},{"path":"vocab.json","risk":"low","role":"tokenizer","format":"json","review":{"batchId":"mirror-batch-cd4808d6690918ffa33d49f9e4d49f594634cee29f1ec6c3","approvedAt":"2026-09-02T23:42:12.263Z","approvedBy":"configured-admin","approvalDigest":"sha256:afc09e950de484df54e33b5a533484839d9f610fcd18e54ad5e71d7b278253aa"},"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source":{"identity":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","immutable":true},"required":true,"sizeBytes":2776833,"mirroredAt":"2026-09-02T23:57:54.003Z","sourceKind":"mirrored-upstream","contentType":"application/octet-stream","externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569","externalUrl":null,"scanFindings":[],"sourceSha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","schemaVersion":"hugging-bay.canonical-executable-representation-plan.v3","approvedSha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadPolicy":"capability","reviewFindings":[],"sourceIdentity":{"path":"vocab.json","digest":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","sizeBytes":2776833},"sourceRevision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","storageProvider":"","sha256Provenance":{"actor":"claude-operator","reason":"cohort hydration for lm-provers/QED-Nano under 713b66f9","observed":{"kind":"git-blob","gitOid":"4783fe10ac3adce15ac8f358ef5462739852c569","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","sizeBytes":2776833,"externalOid":"4783fe10ac3adce15ac8f358ef5462739852c569"},"upstream":{"path":"vocab.json","repoId":"lm-provers/QED-Nano","provider":"huggingface","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb"},"planDigest":"sha256:a857a21ec2ecbfb861e6025169774f01f735f3a6391b8375a1e85dadd18950b5","sourceType":"independently-observed-by-hugging-bay","packetDigest":"sha256:9211f31b6b9dac35fdf09b4af96cb6e6bad18e86c9f48ac870094d00b871238e","observationId":"packet-observation-3db47362e1ce339ad27407b67c6eb9b4e86c697f855c605ba4d5d067d0da3785","schemaVersion":"hugging-bay.exact-packet-file-provenance.v1","selectedFilesDigest":"sha256:1fbe6df0c75a23b608c9bfcb8df90bf8a0f4bf3da2f1b9def4d743cb365c58a2"},"storageSizeBytes":2776833,"scanPolicyVersion":"hb-scan-2026-07-09.1","approvedExternalOid":"","selectedRepresentationId":"rep-b7b2fbf7ac5f0e925261d75c5500bdab7be9b30721694bce22402faed787f5fb","scanStatus":"passed","licenseDecisionId":"mirror-license-edc0b9caca991c32cda3c969173e1e595284279fb23dd7610f37e7928b364376","manifestVersion":null,"tombstonedAt":null,"hosted":true,"downloadAuthorized":true,"downloadUrl":"/api/downloads/hf-model-lm-provers-qed-nano/vocab.json","displayOnly":false,"authorizationRequired":false,"eligibilitySnapshotAt":"2026-10-24T06:10:34.103Z","artifactId":"hf-model-lm-provers-qed-nano","filePath":"vocab.json","license":"apache-2.0","declaredSizeBytes":2776833,"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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-24T06:12:09.198Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"hostingStatus":"hosted","manifestUrl":"/api/manifests/hf-model-lm-provers-qed-nano","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}],"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","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-24T06:12:09.197Z","serveEvaluationId":"serve-4f8bc31f10f550f7aaeff3bf7c842644edcb89b3f513e7c5238939d308ada73a","readiness":"ready","downloadReady":true,"hostedFileCount":13,"mirroredBytes":8060908656,"readinessCheckedAt":"2026-10-24T06:12:09.197Z","readinessSource":"file-check","degraded":false,"stale":false},"total":17,"limit":100,"cursor":"","nextCursor":null,"generatedAt":"2026-10-24T06:12:09.200Z","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}}