{"manifest_version":2,"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:53:04.449Z","serveEvaluationId":"serve-0ff1a2f0666f6b2051e087ce9532efa42f78d85bcd4a7fc8ae5e703709c6d1ab","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-28T23:53:04.449Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"obtainReady":true,"serveVerdict":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-28T23:53:04.449Z","serveEvaluationId":"serve-0ff1a2f0666f6b2051e087ce9532efa42f78d85bcd4a7fc8ae5e703709c6d1ab","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2716068992,"readinessCheckedAt":"2026-10-28T23:53:04.449Z","readinessSource":"file-check","degraded":false,"stale":false},"repo":"tinyopsec/Pythagoras-Prover-4B-GGUF","artifact":{"id":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","repo":"tinyopsec/Pythagoras-Prover-4B-GGUF"},"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":true,"hosting":{"status":"hosted","hostedFiles":1,"obtainReady":true,"authority":"live-serve-decision"},"upstream":{"gated":false,"repoId":"tinyopsec/Pythagoras-Prover-4B-GGUF","private":false,"repoUrl":"https://huggingface.co/tinyopsec/Pythagoras-Prover-4B-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","fetchedAt":"2026-09-22T10:28:00.219Z","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/tinyopsec/Pythagoras-Prover-4B-GGUF","upstream":{"gated":false,"repoId":"tinyopsec/Pythagoras-Prover-4B-GGUF","private":false,"repoUrl":"https://huggingface.co/tinyopsec/Pythagoras-Prover-4B-GGUF","disabled":false,"provider":"huggingface","repoType":"model","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","fetchedAt":"2026-09-22T10:28:00.219Z","importMode":"external-catalog","licenseRaw":"apache-2.0"}},"scan_status":"passed","scan_policy_version":"hb-scan-2026-07-09.1","signer":"hugging-bay","manifest_digest_kind":"signed-manifest","release_manifest_digest":"external-not-mirrored","canonical_representation_digest":"sha256:41000886e3554d8f06313733d2165cec2bbae0b03850d45cb398baafeb437eef","canonical_state":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_22b65e18c30594787dee8be212a4ea19466cebe1447c8f5aa64faae6a07584fd","artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","representationId":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","format":"gguf","source":{"provider":"huggingface","identity":"tinyopsec/Pythagoras-Prover-4B-GGUF","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","immutable":true},"files":[{"path":"model_q4_k_m.gguf","role":"weight","sizeBytes":2716068992,"sha256":"sha256:2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:ea42597c8682894cfe1f5378756a7769ac8642cf099d438a48acb6800c770065"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:7336c3105352eba95a9f9597838f49928a4172b7eee863d35d6c76c0bc01fb26","representationDigest":"sha256:41000886e3554d8f06313733d2165cec2bbae0b03850d45cb398baafeb437eef","evidenceSnapshotDigest":"sha256:1f0cf99422d986dc6b8420decae53d5a72dae78d7296c177068d11e265836c24","evaluatedAt":"2026-09-22T10:38:11.314Z","authorityVersion":"sha256:39d89ffde530b2ab5c73ca37716ff9797e6a0837caf5e0c0b4d254f1fad573d9","invalidatedBy":null,"manifestFinal":true,"obtainReady":true,"hosted":true,"hostedFiles":1,"serveAuthority":"live-serve-decision","individuallyHashedFiles":1,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":1,"strictlyDownloadableFiles":1,"strictlyDownloadableHashedFiles":1,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":13,"scope":"canonical-postgres-snapshot"},"selected_files_digest":"sha256:7336c3105352eba95a9f9597838f49928a4172b7eee863d35d6c76c0bc01fb26","representation":{"id":"rep-8fe5d10178c630232cad0f03738d51cf57bd2be79cd13bab0458b405302f434e","artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","representationDigest":"sha256:41000886e3554d8f06313733d2165cec2bbae0b03850d45cb398baafeb437eef","selectedFilesDigest":"sha256:7336c3105352eba95a9f9597838f49928a4172b7eee863d35d6c76c0bc01fb26","taskMode":{"mode":"unknown"},"format":"gguf","source":{"provider":"huggingface","identity":"tinyopsec/Pythagoras-Prover-4B-GGUF","revision":"bd79dc7180b9387b1dc833ac4529f279b994fdbf","immutable":true}},"release_gates":{"scan":"pending","files":"pending","license":"passed","metadata":"passed","signature":"pending","provenance":"passed"},"files":[{"readiness":"ready","downloadReady":true,"reasonCodes":[],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","path":"model_q4_k_m.gguf","size":2716068992,"declared_size":2716068992,"storage_size":2716068992,"media_type":"application/octet-stream","sha256":"2e2ef65b9c91528ed60cd629c03e70217b5c9c41785b7e3c17f2693866a16023","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":"/api/downloads/hf-model-tinyopsec-pythagoras-prover-4b-gguf/model_q4_k_m.gguf","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T23:53:04.449Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"signature_state":"signed"}],"mirrors":1,"generated_at":"2026-10-28T23:53:04.449Z","serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-28T23:53:04.449Z","evidence_url":"/api/manifests/hf-model-tinyopsec-pythagoras-prover-4b-gguf"},"manifest_digest":"sha256:cfcb693693b56d5a8d52508290dc9365f3b68e3c8a05ab1f33c1028be68cfcda","signature":{"version":1,"algorithm":"Ed25519","key_id":"ed25519:718f9ccff1cef500235425ce","canonical_digest":"sha256:cfcb693693b56d5a8d52508290dc9365f3b68e3c8a05ab1f33c1028be68cfcda","value":"LzFt_lSgumwiweGYrDeW6QVj2ke_KY31LseHaigsJn3HvCFy6QBbl7_gDTiZ3eYt_U5C7_hVVLZaxL-reE0vBA","signed_at":"2026-10-28T23:53:04.449Z","public_key_url":"/api/keys/manifest-signing","payload":"canonical-json:manifest-excluding-signature-and-generated_at","canonical_encoding":"rfc8785","canonical_excludes":["signature","generated_at","manifest_digest","serveEvaluatedAt","serveEvaluationId","serveExplanation","readinessCheckedAt","obtainReady","serveVerdict","reason","reasonCodes"]}}