{"schemaVersion":"hugging-bay.artifact-distribution.v1","downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T05:44:55.006Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"generatedAt":"2026-10-30T05:44:55.011Z","baseUrl":"https://huggingbay.xyz","artifact":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T05:44:55.006Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":14,"mirroredBytes":16397435530,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"id":"hf-model-goedel-lm-goedel-formalizer-v2-8b","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","cardDescription":"An AI model with files and technical details to explore.","modelSummary":{"schemaVersion":"hugging-bay.model-summary.v1","text":"The catalog does not give enough information to describe what this model is for.","confidence":"none","task":null,"audience":null,"basis":"insufficient-information","rules":[],"evidence":[{"field":"license","value":"apache-2.0"},{"field":"cardMetadata.license","value":"apache-2.0"}],"caveats":["check-license-terms","repository-bytes-are-not-memory-needs","insufficient-task-evidence"],"facts":{"license":{"id":"apache-2.0","status":"recorded"},"lineage":[],"parameters":null,"size":{"bytes":16397437100,"scope":"repository","field":"sizeBytes"},"form":"unspecified","runs":[]}},"publisher":"Goedel-LM","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","license":"apache-2.0","licenseState":"known","licenseLabel":"apache-2.0","visibility":"public","verificationStatus":"unknown","scanStatus":"passed","cardCompleteness":84,"tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"task":"general","modality":"text","framework":"unknown","formats":["gitattributes","md","json","txt","safetensors"],"baseModel":null,"derivedFrom":null,"cardMetadata":{"source":"huggingface-cardData","license":"apache-2.0","metrics":[],"datasets":[],"paperIds":[],"repoType":"model","baseModel":"","languages":[],"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","evalResults":[],"libraryName":"unknown","pipelineTag":"","cardDataKeys":["base_model","license"],"semanticText":"unknown llm model safetensors","semanticTerms":["unknown","llm","model","safetensors"],"siblingSample":[{"lfs":false,"path":".gitattributes","sizeBytes":1570},{"lfs":false,"path":"README.md","sizeBytes":2435},{"lfs":false,"path":"added_tokens.json","sizeBytes":707},{"lfs":false,"path":"config.json","sizeBytes":730},{"lfs":false,"path":"generation_config.json","sizeBytes":214},{"lfs":false,"path":"merges.txt","sizeBytes":1671853},{"lfs":true,"path":"model-00001-of-00004.safetensors","sizeBytes":4902257696},{"lfs":true,"path":"model-00002-of-00004.safetensors","sizeBytes":4915960368},{"lfs":true,"path":"model-00003-of-00004.safetensors","sizeBytes":4983068496},{"lfs":true,"path":"model-00004-of-00004.safetensors","sizeBytes":1580230264},{"lfs":false,"path":"model.safetensors.index.json","sizeBytes":32878},{"lfs":false,"path":"special_tokens_map.json","sizeBytes":613},{"lfs":true,"path":"tokenizer.json","sizeBytes":11422654},{"lfs":false,"path":"tokenizer_config.json","sizeBytes":9789},{"lfs":false,"path":"vocab.json","sizeBytes":2776833}],"modelIndexNames":[]},"worksWith":[],"runtimeFit":{"level":"unknown","label":"recorded runtime state unknown","hardware":"","sizeLabel":"unknown","runners":[],"runtimeFiles":[],"warnings":["No runtime compatibility or execution status claim is available until recorded evaluation is integrated."]},"sizeBytes":16397437100,"sizeKnown":true,"sizeLabel":"15.3 GB","sizeReason":"","declaredSizeBytes":16397437100,"defaultDownloadBytes":16381516824,"mirrorCount":1,"downloadCount":455,"stars":6,"citations":0,"updatedAt":"2026-09-06T01:40:40.367Z","createdAt":"2026-06-30T02:21:26.254Z","version":"hf-main","upstream":{"gated":false,"repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","private":false,"repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","disabled":false,"provider":"huggingface","repoType":"model","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","fetchedAt":"2026-08-30T02:17:40.000Z","importMode":"external-catalog","licenseRaw":"apache-2.0"},"hosting":{"status":"hosted","mirroredAt":"2026-09-06T01:40:40.367Z","mirroredBy":"mirror-batch-worker","totalFiles":15,"hostedFiles":14,"mirroredBytes":16397435530,"mirroredFiles":14,"storageProvider":"gcs","hosted":true,"downloadable":true,"verified":false,"completeRunnable":false,"runReady":false,"refreshedAt":null,"stale":false,"downloadReady":true,"serveAuthority":"live-serve-decision","bytesOnStorage":true},"mirrorCompletion":{"found":true,"current":true,"state":"complete-bytes","completeBytes":true,"completeRunnable":false,"verified":false,"runReady":false,"commandsAvailable":false,"authority":"postgres-executable-state-snapshot","snapshotId":"hbes_4c28ee76e1778ed1992ce94a80e93996042b706c948b7d4abdb74d76d3e3f6b0","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","representationId":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","taskMode":{"mode":"unknown"},"selectedFileBindingVersion":"postgres-selected-object-binding.v2","representation":{"id":"rep-0e4f7cc5a19a3ae4c7789155836c099b8b41ee00dc4851975f76f46048385d54","artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","format":"safetensors","source":{"provider":"huggingface","identity":"Goedel-LM/Goedel-Formalizer-V2-8B","revision":"fe2d362d899601abe79d7d5e95eaa7fe9883a0cb","immutable":true},"files":[{"path":"README.md","role":"support","sizeBytes":2435,"sha256":"sha256:fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:4d4d840347421978658d01f240f130b95e8af66c8f17fb34ac598fe231f4eb54"},{"path":"added_tokens.json","role":"support","sizeBytes":707,"sha256":"sha256:c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:82a1aaf54cd5a13495d6da5c89f580100ab76864f705a78da5346eac18ac2096"},{"path":"config.json","role":"config","sizeBytes":730,"sha256":"sha256:6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b6d74abfdc3bff9b4f089fd144bd38ebb7f01e2a98d79f498ace2eff2720850a"},{"path":"generation_config.json","role":"config","sizeBytes":214,"sha256":"sha256:ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:239bf4bea86b69744b00bdd226aa22eba27b3426359ffc585e939e5439c77ec6"},{"path":"merges.txt","role":"tokenizer","sizeBytes":1671853,"sha256":"sha256:8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:f0631443c720de0148fe5ead158793a33496719e94f32c4a4e33754cc33510a5"},{"path":"model-00001-of-00004.safetensors","role":"weight","sizeBytes":4902257696,"sha256":"sha256:e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:8d3de978f07c0161a09f5f6c0f717f8c55239e17a5fe821872567a625f3351e8"},{"path":"model-00002-of-00004.safetensors","role":"weight","sizeBytes":4915960368,"sha256":"sha256:c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:a60212f6ce7d73427615ca185510dfb751d6a8aa427582cdd1815d32c655afd4"},{"path":"model-00003-of-00004.safetensors","role":"weight","sizeBytes":4983068496,"sha256":"sha256:b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:653633875f8f23f45df98349ad81034ce445af69830fc54ff176f2dd3576fbbc"},{"path":"model-00004-of-00004.safetensors","role":"weight","sizeBytes":1580230264,"sha256":"sha256:f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:1a4bfba634482a67e18e4a40abb50c74efe769aeb9b492468ab46f2a2427837b"},{"path":"model.safetensors.index.json","role":"index","sizeBytes":32878,"sha256":"sha256:3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:34b176014b71c57a28c9aad5630679e481081eaadc3778b864457c7c8518fd6a"},{"path":"special_tokens_map.json","role":"tokenizer","sizeBytes":613,"sha256":"sha256:76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:91487b40b01545ba0fd1f3da81ef28959a32c175935565a1cda079826896bb40"},{"path":"tokenizer.json","role":"tokenizer","sizeBytes":11422654,"sha256":"sha256:aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:b8594d0e0c1f78c5ec4b7727e795668a25758db839c79ddabbd6236994263b1e"},{"path":"tokenizer_config.json","role":"config","sizeBytes":9789,"sha256":"sha256:5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:bf591e5b9088cf69c7e96c2cdc54c5870445c05e8c25b52114a5a85764c2e476"},{"path":"vocab.json","role":"tokenizer","sizeBytes":2776833,"sha256":"sha256:ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","storageStatus":"hosted","storageProvider":"gcs","objectBindingDigest":"sha256:fb488e6a94c283a1ede447b65e0edc7dd95d6fe88b7faaa41b06c077411a3a8e"}]},"evaluatorVersion":"1.3.1","selectedFilesDigest":"sha256:d265791349001be0d934b8c07bea2168c7924519b95cdfea9874e282ecf73cbf","representationDigest":"sha256:dba31e35751872fd923799f58986dc9f54acf21158ea212938ebfad939c298c2","evidenceSnapshotDigest":"sha256:225c9c8df08b28ff8030e5f1b0d9d68d8819b127c3d6a103745a258ebcd2c9db","evaluatedAt":"2026-09-06T01:40:41.017Z","authorityVersion":"sha256:47ed47f73e3614412de3d04c6eb7478335e2bbfe0001c6980e36024d0ceff1bb","invalidatedBy":null,"manifestFinal":true,"downloadable":false,"hosted":true,"hostedFiles":14,"serveAuthority":"live-serve-decision","individuallyHashedFiles":14,"weightsHosted":null,"weightCountState":"not-snapshot-bound","totalFiles":14,"strictlyDownloadableFiles":14,"strictlyDownloadableHashedFiles":14,"strictlyDownloadableWeights":null,"strictWeightCountState":"not-snapshot-bound","artifactInventoryFiles":15,"scope":"recorded-postgres-snapshot","serve_verdict":{"can_download":false,"bytes_verified":false,"signature":"unsigned","freshness":"current","checked_at":"2026-10-30T05:44:55.006Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"lastKnownAnswer":"Ready to download"},"decentralizedDistribution":{"protocol":"bittorrent-magnet-metadata","verifiedFallbacks":0,"pendingReviewRequests":0,"reviewRequired":true,"policy":"Peer-assisted fallbacks are metadata only until Hugging Bay review confirms source, license, provenance, and safety. Gated/private bypasses are not allowed."},"hostingStatus":"hosted","hosted":true,"fileCount":15,"publicDownloadableFileCount":14,"externalFileCount":15,"servingCountsRefreshedAt":null,"servingCountsStale":false,"signals":{"size":{"known":true,"bytes":16397437100,"label":"15.3 GB","reason":""},"demand":{"mirrorRequests":0,"upstreamDownloads":455,"upstreamStars":6,"label":"455 upstream downloads","basis":"upstream-downloads"},"trust":{"score":0,"level":"metadata-checked","label":"Unknown","qualification":"recorded-state-complete-bytes","trustImpact":"none","checks":[{"id":"license","label":"License","status":"pass","detail":"apache-2.0"},{"id":"provenance","label":"Provenance","status":"pass","detail":"Goedel-LM/Goedel-Formalizer-V2-8B"},{"id":"scan","label":"Scan","status":"pass","detail":"passed"},{"id":"hosting","label":"Hosted files","status":"warn","detail":"14/15 repository files hosted; selected representation evaluated separately"},{"id":"manifest","label":"Byte manifest integrity","status":"pass","detail":"selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"}],"strengths":["License: apache-2.0","Provenance: Goedel-LM/Goedel-Formalizer-V2-8B","Scan: passed","Byte manifest integrity: selected representation is complete-bytes; per-file SHA-256 published (cryptographic signing pending)"],"gaps":["Hosted files: 14/15 repository files hosted; selected representation evaluated separately"]},"readiness":{"score":0,"level":"bytes-complete","hostedFinal":true,"hostedFiles":14,"externalFiles":1,"totalFiles":15},"action":{"id":"download","label":"Download exact selected bytes","detail":"The selected immutable representation is byte-complete; runtime compatibility is not established.","href":"/api/v1/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/download-plan"}},"sampleFiles":[{"path":".gitattributes","sizeBytes":1570,"format":"gitattributes","risk":"low","downloadPolicy":"external","sourceKind":"external-hf"},{"path":"README.md","sizeBytes":2435,"format":"md","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"added_tokens.json","sizeBytes":707,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"config.json","sizeBytes":730,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"},{"path":"generation_config.json","sizeBytes":214,"format":"json","risk":"low","downloadPolicy":"capability","sourceKind":"mirrored-upstream"}],"contentControls":{"state":"not assessed","basis":"no_explicit_uploader_evidence","matchedTerms":[],"assessedAt":null},"contentControlsLabel":"Content controls: not assessed.","contentControlsAttribution":{"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B"}},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.006Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"}},"policy":{"verifiedHostedFirst":true,"peerFallbacksRequireReview":true,"licenseMirrorAllowed":true,"noGatedPrivateBypass":true,"noUnreviewedMagnetPublication":true,"note":"Hugging Bay is a verified catalog and selective mirror. Peer-assisted fallback metadata is accepted only for review and is published only after source, license, provenance, and safety checks."},"hostedDownloads":{"status":"hosted","hosted":true,"hostedFiles":14,"readiness":"ready","downloadReady":true,"degraded":false,"stale":false,"serveDecision":{"state":"READY","authority":"live-serve-decision"},"filesUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/files?limit=100","downloadableFilesUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-formalizer-v2-8b&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","torrentUrl":null,"magnetUri":null,"torrent":{"status":"unavailable","torrentUrl":null,"magnetUri":null,"reason":"fresh_torrent_generation_unavailable"},"reviewedPeerFallbackReady":true,"reviewedPeerFallbackFiles":0,"reviewedPeerFallbackCount":0,"peerFallbackReadinessUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/distribution","rows":[{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"added_tokens.json","format":"json","risk":"low","sizeBytes":707,"storageSizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","byteVerifiedAt":"2026-09-06T01:37:42.699Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":707,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"config.json","format":"json","risk":"low","sizeBytes":730,"storageSizeBytes":730,"sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","byteVerifiedAt":"2026-09-06T01:37:42.808Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":730,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"generation_config.json","format":"json","risk":"low","sizeBytes":214,"storageSizeBytes":214,"sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","byteVerifiedAt":"2026-09-06T01:37:42.943Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":214,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"merges.txt","format":"txt","risk":"low","sizeBytes":1671853,"storageSizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","byteVerifiedAt":"2026-09-06T01:37:43.064Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1671853,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00001-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4902257696,"storageSizeBytes":4902257696,"sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","byteVerifiedAt":"2026-09-06T01:38:35.390Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4902257696,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00002-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4915960368,"storageSizeBytes":4915960368,"sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","byteVerifiedAt":"2026-09-06T01:39:16.939Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4915960368,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00003-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":4983068496,"storageSizeBytes":4983068496,"sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","byteVerifiedAt":"2026-09-06T01:40:19.990Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":4983068496,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model-00004-of-00004.safetensors","format":"safetensors","risk":"low","sizeBytes":1580230264,"storageSizeBytes":1580230264,"sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","byteVerifiedAt":"2026-09-06T01:40:37.448Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":1580230264,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"model.safetensors.index.json","format":"json","risk":"low","sizeBytes":32878,"storageSizeBytes":32878,"sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","byteVerifiedAt":"2026-09-06T01:40:37.549Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":32878,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"README.md","format":"md","risk":"low","sizeBytes":2435,"storageSizeBytes":2435,"sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","byteVerifiedAt":"2026-09-06T01:37:42.610Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2435,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"special_tokens_map.json","format":"json","risk":"low","sizeBytes":613,"storageSizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","byteVerifiedAt":"2026-09-06T01:40:37.652Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":613,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"tokenizer_config.json","format":"json","risk":"low","sizeBytes":9789,"storageSizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","byteVerifiedAt":"2026-09-06T01:40:37.974Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":9789,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"tokenizer.json","format":"json","risk":"low","sizeBytes":11422654,"storageSizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","byteVerifiedAt":"2026-09-06T01:40:37.833Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":11422654,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"},{"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","visibility":"public","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","type":"llm","task":"general","modality":"text","tags":["huggingface-import","external-catalog","model","apache-2.0","safetensors","qwen3","base_model:qwen/qwen3-8b","base_model:finetune:qwen/qwen3-8b","license:apache-2.0","region:us","unknown","llm"],"license":"apache-2.0","upstreamGated":false,"licenseState":"clear","summary":"Model from Hugging Face for llm: Goedel-LM/Goedel-Formalizer-V2-8B · unknown","baseModel":null,"downloadCount":455,"filePath":"vocab.json","format":"json","risk":"low","sizeBytes":2776833,"storageSizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","byteVerifiedAt":"2026-09-06T01:40:38.073Z","sourceKind":"mirrored-hf","storageProvider":"gcs","hostingStatus":"hosted","hosted":true,"downloadAuthorized":true,"downloadable":true,"downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json","manifestUrl":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","manifestKeyUrl":"/api/keys/manifest-signing","serveDecision":{"state":"READY","policyVersion":"hugging-bay.serve-decision/v1"},"trust":{"verified":null,"fileOnly":true,"directDownloadAuthorized":true,"licenseAcceptanceRequired":false,"fileHashAvailable":true,"hashAlgorithm":"sha256","manifestRequired":false,"directDownloadTrustBoundary":"This URL addresses one hosted file with a recorded SHA-256. It does not establish a complete, verified, or runnable bundle.","serveBlocked":false,"servingAuthority":"live-serve-decision"},"updatedAt":"2026-09-06T01:49:00.875Z","tools":[],"peerFallbacks":[],"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-30T05:44:55.005Z","readinessSource":"file-check","degraded":false,"stale":false,"serveExplanation":{"downloadable":true,"downloadStatus":"READY","reasonCodes":["no-tested-run-plan"],"reason":"Hosted on Hugging Bay and byte-verified — download is available now.","serveEvaluatedAt":"2026-10-30T05:44:54.848Z","serveEvaluationId":"serve-c2d02c35a4a672c89b6ba66ebaa8a48584f8d90ed930f18b278436b7ce7b0248","readiness":"ready","downloadReady":true,"hostedFileCount":1,"mirroredBytes":2776833,"readinessCheckedAt":"2026-10-30T05:44:54.848Z","readinessSource":"file-check","degraded":false,"stale":false},"downloadPolicy":"capability","displayOnly":false,"authorizationRequired":false,"publicDownloadableFileCount":1,"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.005Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"signature_state":"signed"}]},"upstream":{"provider":"huggingface","repoId":"Goedel-LM/Goedel-Formalizer-V2-8B","repoUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","externalMetadataOnly":false},"decentralizedFallbacks":{"protocol":"bittorrent-magnet-metadata","verifiedCount":0,"pendingReviewCount":0,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/decentralized-fallbacks","reviewQueueUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/distribution","verified":[],"pendingReview":[],"readiness":{"status":"ready-for-reviewed-fallback","ready":true,"reviewRequired":true,"publishActualMagnetOnlyAfterReview":true,"protocol":"bittorrent-magnet-metadata","torrentName":"Goedel-LM-Goedel-Formalizer-V2-8B","licenseAllowed":true,"sameAsUpstreamRequired":true,"sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/distribution","trustBundleUrl":"https://huggingbay.xyz/api/trust-bundles/hf-model-goedel-lm-goedel-formalizer-v2-8b","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/download-plan","requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/decentralized-fallbacks","manifestDigest":"sha256:701abca6271f22dd87a3501f448d3793410b76d2f9b07a21bb6032b55401979c","fileCount":14,"totalBytes":16397435530,"files":[{"path":"","sizeBytes":707,"sha256":"c0284b582e14987fbd3d5a2cb2bd139084371ed9acbae488829a1c900833c680","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/added_tokens.json"},{"path":"","sizeBytes":730,"sha256":"6d4190d4c7ae77cba38a83cce1152ead961929795a7a95d4814b3fb65ab878a3","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/config.json"},{"path":"","sizeBytes":214,"sha256":"ae29473afe95319d9adb9553a2cad4a89db813ff768792f29c5278fb127ff4cc","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/generation_config.json"},{"path":"","sizeBytes":1671853,"sha256":"8831e4f1a044471340f7c0a83d7bd71306a5b867e95fd870f74d0c5308a904d5","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/merges.txt"},{"path":"","sizeBytes":4902257696,"sha256":"e70040a504dbd55b64d83cbcb3754757511102de1c965a0b69f0ab72af8c1031","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00001-of-00004.safetensors"},{"path":"","sizeBytes":4915960368,"sha256":"c47a4d4d82f82e2dfb2364f6faabb8bd96220874a779a6152cd5f184695e1361","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00002-of-00004.safetensors"},{"path":"","sizeBytes":4983068496,"sha256":"b57b17f0bafd3273d33a0e8d40139def218b27416e7bfc2e2fcd80d03d06405a","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00003-of-00004.safetensors"},{"path":"","sizeBytes":1580230264,"sha256":"f1b2d9540cc59678f521dc29494fa98c0dfd0c80427915747511c4fafbfeb8c5","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model-00004-of-00004.safetensors"},{"path":"","sizeBytes":32878,"sha256":"3649bb967710edc0f995e3839a363a069482a1688216f87745248966751d0221","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/model.safetensors.index.json"},{"path":"","sizeBytes":2435,"sha256":"fb99bdc55ff4af4f2b49b14a71f64d2402ed7780202cd9e424236480e1f2e4d9","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/README.md"},{"path":"","sizeBytes":613,"sha256":"76862e765266b85aa9459767e33cbaf13970f327a0e88d1c65846c2ddd3a1ecd","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/special_tokens_map.json"},{"path":"","sizeBytes":9789,"sha256":"5d27a191a7ba6f93bcc2a8e78bc633764bbaaee263e9f3d9225e2c8621a5dd72","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer_config.json"},{"path":"","sizeBytes":11422654,"sha256":"aeb13307a71acd8fe81861d94ad54ab689df773318809eed3cbe794b4492dae4","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/tokenizer.json"},{"path":"","sizeBytes":2776833,"sha256":"ca10d7e9fb3ed18575dd1e277a2579c16d108e32f27439684afa0e10b1440910","downloadUrl":"/api/downloads/hf-model-goedel-lm-goedel-formalizer-v2-8b/vocab.json"}],"blockers":[],"requiredEvidence":["magnet URI with btih info hash","source URL proving the torrent maps to this public upstream release","SHA-256 or signed manifest evidence for each hosted file","reviewer note confirming license, provenance, scan, and same-as-upstream checks"],"guidance":"This hosted artifact has enough signed hash/provenance metadata for a reviewed torrent or magnet fallback request; submit the magnet for review before publication."}},"recommendedFlow":["Prefer hostedDownloads rows and verify SHA-256/manifest before runtime use.","If a legitimate torrent/magnet already exists for this open artifact, submit it to decentralizedFallbacks.requestUrl for review.","Do not use Hugging Bay to bypass gated, private, removed, or unknown-license sources."],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-formalizer-v2-8b/distribution","submitFallback":{"method":"POST","url":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/decentralized-fallbacks","body":{"magnetUri":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs.","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B","useCase":"community resilience fallback"}},"requestHostedMirror":null},"hosted":true,"hostingStatus":"hosted","publicDownloadableFileCount":14,"peerFallbacks":{"schemaVersion":"hugging-bay.peer-fallbacks.v1","generatedAt":"2026-10-30T05:44:55.015Z","baseUrl":"https://huggingbay.xyz","artifact":{"id":"hf-model-goedel-lm-goedel-formalizer-v2-8b","repo":"Goedel-LM/Goedel-Formalizer-V2-8B","owner":"Goedel-LM","name":"Goedel-Formalizer-V2-8B","type":"llm","license":"apache-2.0","hostingStatus":"hosted","sourceUrl":"https://huggingface.co/Goedel-LM/Goedel-Formalizer-V2-8B"},"policy":{"reviewRequired":true,"noUnreviewedMagnetPublication":true,"noGatedPrivateBypass":true,"hostedHashVerificationRequired":true,"directTorrentGeneration":false,"note":"Hosted torrents are generated only from the exact serving-eligibility authority with full-byte verification. Third-party peer-fallback metadata remains separately review-gated and unreviewed magnets are never published."},"summary":{"hostedFiles":14,"filesWithReviewedFallbacks":0,"reviewedFileFallbacks":0,"reviewedArtifactFallbacks":0,"reviewedFallbacks":0,"reviewedTorrentSources":0,"pendingReviewRequests":0,"ready":false},"readiness":{"state":"unknown","completeRunnable":false,"verified":false,"runReady":false,"reason":"recorded-evaluator-not-integrated"},"verifiedFallbacks":[],"files":[],"pendingReview":[],"actions":{"web":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-formalizer-v2-8b/peer-fallbacks","distributionUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/distribution","downloadPlanUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/download-plan","hostedDownloadsUrl":"https://huggingbay.xyz/api/downloadable-files?artifactId=hf-model-goedel-lm-goedel-formalizer-v2-8b&limit=100","manifestUrl":"https://huggingbay.xyz/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b","generatedTorrentUrl":null,"requestUrl":"https://huggingbay.xyz/api/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b/decentralized-fallbacks","artifactUrl":"https://huggingbay.xyz/artifact/hf-model-goedel-lm-goedel-formalizer-v2-8b","releaseUrl":"https://huggingbay.xyz/releases/hf-model-goedel-lm-goedel-formalizer-v2-8b"},"commands":[],"guidance":["Inspect hosted file hashes separately; they do not establish bundle completeness or runtime readiness.","Peer fallback metadata is informational and does not establish a verified or runnable bundle.","Submit legitimate open-artifact magnet metadata through actions.requestUrl; unreviewed submissions remain hidden."]},"note":{"summary":"Downloadable doesn't mean tested: this record says whether the exact file can be downloaded now, not that the model is complete or that it runs.","downloadable":true},"serve_verdict":{"can_download":true,"bytes_verified":true,"signature":"signed","freshness":"current","checked_at":"2026-10-30T05:44:55.006Z","evidence_url":"/api/manifests/hf-model-goedel-lm-goedel-formalizer-v2-8b"}}