{"acceptedRunProof":null,"artifactId":"hf-model-goedel-lm-goedel-formalizer-v2-8b","badgeUrl":"https://huggingbay.xyz/badges/will-it-run/hf-model-goedel-lm-goedel-formalizer-v2-8b.svg","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:752fb4b59bd1a77b4fdba0016737eac564a5be177cf66959a6749c38d99061e8","evidenceDigest":"sha256:225c9c8df08b28ff8030e5f1b0d9d68d8819b127c3d6a103745a258ebcd2c9db","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-06T01:40:41.017Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:edd7de929147705812658ca1a530dd14092d795be6892ad90c0bb5a24eca8504","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-06T01:40:41.017Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:312e7a4878c40a726acf2b2a468acdae1b0b44519dba5622c01dc522e023534c","evidenceDigest":"sha256:225c9c8df08b28ff8030e5f1b0d9d68d8819b127c3d6a103745a258ebcd2c9db","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-06T01:40:41.017Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:93fe29ddef82ad5b211b411680ff5f57351fb9ad4684ec4dcd6b1b340932d40b","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-06T01:40:41.017Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:a45907f0894984507ceec4c7d5265df9ae88153f3d4ccc077d4f019d81f85f1d","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-06T01:40:41.017Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-goedel-lm-goedel-formalizer-v2-8b#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:b984dd3f359bc17c97017efac983eaa5e99598835555d4e84d893065519f8b32","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-06T01:40:41.017Z","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-formalizer-v2-8b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:752fb4b59bd1a77b4fdba0016737eac564a5be177cf66959a6749c38d99061e8","evidenceDigest":"sha256:225c9c8df08b28ff8030e5f1b0d9d68d8819b127c3d6a103745a258ebcd2c9db","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-06T01:40:41.017Z","value":"blocked"},"schema":"hugging-bay.public-evidence-share.v1","status":"blocked","surfaceDigest":"sha256:eb7fe89d709a70e36a52dbc7360180fb6973e03a7d66106e00059f4ad0cc7b26"}