{"manifest_version":2,"readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"reasonCodes":[],"serveExplanation":{"readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"reasonCodes":[]},"repo":"lm-provers/QED-Nano","artifact":{"id":"hf-model-lm-provers-qed-nano","repo":"lm-provers/QED-Nano","readiness":"unknown","downloadReady":null,"hostedFileCount":null,"mirroredBytes":null,"readinessCheckedAt":null,"readinessSource":"unavailable","degraded":true,"stale":true,"hosted":null,"hostingStatus":"unknown","publicDownloadableFileCount":null},"release":"hf-main","artifact_type":"llm","license":"apache-2.0","license_clarity":{"license":"apache-2.0","commercialUse":"yes","confidence":"high","obligations":["Attribution/notice requirements of the license still apply."],"summary":"Permissive open license: commercial use, modification, and redistribution are permitted.","redistribution":"Keep every copyright, attribution, license, and NOTICE requirement imposed by the exact license text.","notes":"Not legal advice."},"license_decision":{"policy":"mirror","license":"apache-2.0","ids":["apache-2.0"],"status":"allowed","mirrorable":true,"publicCatalog":true,"publicCatalogUnconditional":true,"osiOpenSource":true,"unrestricted":true,"conditional":false,"conditionalEligible":false,"conditionalReason":"not_conditional","licenseId":null,"obligations":null,"conditions":[],"reason":"license_allowlisted","allowlist":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","cc0-1.0","cc-by-4.0","odc-by"]},"license_obligations_digest":null,"visibility":"public","hosted":null,"hosting":{"status":"unknown","hostedFiles":null,"authority":"live-serve-decision","hosted":null,"downloadReady":null,"mirroredFiles":null,"mirroredBytes":null,"runReady":false,"completeRunnable":false,"verified":false},"upstream":{"gated":false,"repoId":"lm-provers/QED-Nano","private":false,"repoUrl":"https://huggingface.co/lm-provers/QED-Nano","disabled":false,"provider":"huggingface","repoType":"model","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","fetchedAt":"2026-09-02T23:41:52.075Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"license_upstream_record":{"declared_license":"apache-2.0","upstream_license_raw":"apache-2.0","source_url":"https://huggingface.co/lm-provers/QED-Nano","upstream":{"gated":false,"repoId":"lm-provers/QED-Nano","private":false,"repoUrl":"https://huggingface.co/lm-provers/QED-Nano","disabled":false,"provider":"huggingface","repoType":"model","revision":"1016ddef8dd40552b97216ce34e3fece2fffa2bb","fetchedAt":"2026-09-02T23:41:52.075Z","importMode":"external-catalog","licenseRaw":"apache-2.0"}},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","manifest_digest_kind":"byte-manifest","release_manifest_digest":"external-not-mirrored","selected_files_digest":null,"representation":null,"release_gates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"files":[{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"README.md","size":5744,"declared_size":5744,"storage_size":5744,"media_type":"application/octet-stream","sha256":"11d387e5015a57f3ed7e6174c2e7d77c5ffce7015120e0f1f64a536875edd98d","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"added_tokens.json","size":707,"declared_size":707,"storage_size":707,"media_type":"application/octet-stream","sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"chat_template.jinja","size":4049,"declared_size":4049,"storage_size":4049,"media_type":"application/octet-stream","sha256":"3802169b2a02b81e6adb7ab4f64f91ff02db753c8c3a64a01c35192d3a61d8d7","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"config.json","size":1567,"declared_size":1567,"storage_size":1567,"media_type":"application/octet-stream","sha256":"43d8321a1608d4b8b3a241486d6aab39714f3c0ff54285fb86f101c14284956b","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"generation_config.json","size":188,"declared_size":188,"storage_size":188,"media_type":"application/octet-stream","sha256":"3aa06a70d54b5d69e770d6b78a1fadb3d9f3429938e10aa5621199edae7e06a2","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"merges.txt","size":1671853,"declared_size":1671853,"storage_size":1671853,"media_type":"application/octet-stream","sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"model-00001-of-00002.safetensors","size":4967215360,"declared_size":4967215360,"storage_size":4967215360,"media_type":"application/octet-stream","sha256":"73e9a3f70a8b8b1dde8f104f224683494afe7a74191aad061ee55311695685ba","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"model-00002-of-00002.safetensors","size":3077766632,"declared_size":3077766632,"storage_size":3077766632,"media_type":"application/octet-stream","sha256":"6550bec7cc4db2ef00bbd9558c6daa6f4403562802aa8db2818b93d376caef2a","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"model.safetensors.index.json","size":32819,"declared_size":32819,"storage_size":32819,"media_type":"application/octet-stream","sha256":"e36bba5af4706cfd22ecf7eedb5fd8f4d2559b92f2414b932651b9ed6495921a","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"special_tokens_map.json","size":613,"declared_size":613,"storage_size":613,"media_type":"application/octet-stream","sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"tokenizer.json","size":11422654,"declared_size":11422654,"storage_size":11422654,"media_type":"application/octet-stream","sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"tokenizer_config.json","size":9637,"declared_size":9637,"storage_size":9637,"media_type":"application/octet-stream","sha256":"da453ca2b9904f4851684e4a700e9f1cca4bbf3250ae04488c59bd1b0109d108","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null},{"readiness":"unknown","downloadReady":null,"reasonCodes":["DOWNLOAD_CHECK_UNAVAILABLE"],"degraded":true,"path":"vocab.json","size":2776833,"declared_size":2776833,"storage_size":2776833,"media_type":"application/octet-stream","sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","source_uploaded":true,"external_url":null,"download_policy":"capability","source_kind":"mirrored-upstream","scan_policy_version":"hb-scan-2026-07-09.1","scan_findings":[],"peer_fallbacks":[],"download_url":null}],"mirrors":1,"generated_at":"2026-10-25T18:38:43.090Z","hostingStatus":"unknown","publicDownloadableFileCount":null,"reason":"Download availability is being checked.","manifest_digest":"sha256:d163af90e5c15da96ba9e77448fccac3658c62fa01e40987ea92b4931a223b89"}