{"acceptedRunProof":null,"artifactId":"hf-model-goedel-lm-goedel-prover-v2-32b","badgeUrl":"https://huggingbay.xyz/badges/will-it-run/hf-model-goedel-lm-goedel-prover-v2-32b.svg","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:ed345258d00facceb5ee5de0a46c6bfd986bbe61e97e044583ec9deed988cb10","evidenceDigest":"sha256:718621a313346834f5da8d5d776dcc5ab5281def7d6357a2567a02a5615604ca","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-21T09:05:39.204Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:8d6aaec6ee8474a5be6df8f08aff5ad8a1473deb86a9cc5a1ce38fb3e4a78b23","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-21T09:05:39.204Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:ed07a00144e3c7249cfbc5b6bc073f6a56e429aa96c72b6d7156fdf34c758306","evidenceDigest":"sha256:718621a313346834f5da8d5d776dcc5ab5281def7d6357a2567a02a5615604ca","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-21T09:05:39.204Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:988d1f5e22b7bffb7dd763d8e882077b9754ab618d113a486ff2fc2bcfd71d81","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-21T09:05:39.204Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:77328ab4fc800b31e05d5f844c6ac10d822a4616254dbba6f08cb41d42b297cb","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-21T09:05:39.204Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:c14700cda629e7bcfeb259322f15c47532afd14f013f7110d054e1cbd0370259","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-21T09:05:39.204Z","value":"unknown"}],"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"headline":"will it run? blocked","kind":"canonical-share-packet","readinessClaim":{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-prover-v2-32b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:ed345258d00facceb5ee5de0a46c6bfd986bbe61e97e044583ec9deed988cb10","evidenceDigest":"sha256:718621a313346834f5da8d5d776dcc5ab5281def7d6357a2567a02a5615604ca","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-21T09:05:39.204Z","value":"blocked"},"schema":"hugging-bay.public-evidence-share.v1","status":"blocked","surfaceDigest":"sha256:d77a0eece149bf2c98c6e06e6194a8cdcb4e4280d293aa627dde276f1e166930"}