{"acceptedRunProof":null,"artifactId":"hf-model-lm-provers-qed-nano","badgeUrl":"https://huggingbay.xyz/badges/will-it-run/hf-model-lm-provers-qed-nano.svg","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:32b613f88b80f24ce1f1e0d17a02ab01566fd9b288be05ae7c2acc915ec7813d","evidenceDigest":"sha256:03a5ba8d193ddcba1bcbe4a4eb459fd2b5f47f225e32c26e79ecce759aa5970f","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-02T23:57:49.411Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:b51e015bffc355676a93bcbde1ec58e9ed06a51d669b3cdef74853c84fd598e3","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-02T23:57:49.411Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:92bb951be6418d95e69bdf6a51594371adc2267120614f57bab2e2ac432f6568","evidenceDigest":"sha256:03a5ba8d193ddcba1bcbe4a4eb459fd2b5f47f225e32c26e79ecce759aa5970f","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-02T23:57:49.411Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:4a699ac0351d7b3ec9a9fe1892c9d735cdf37b8179ed7a10e77e875537aca940","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-02T23:57:49.411Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:19a7c69358a18b390bb2a4d000b15b9eac68ed2cf0d67ef36a7196fea2d48e15","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-02T23:57:49.411Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-lm-provers-qed-nano#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:c1675f4358e310072c974d3c179d8da11c4ae82a9a28bb04b05424d6fd87d1fd","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-02T23:57:49.411Z","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-lm-provers-qed-nano#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:32b613f88b80f24ce1f1e0d17a02ab01566fd9b288be05ae7c2acc915ec7813d","evidenceDigest":"sha256:03a5ba8d193ddcba1bcbe4a4eb459fd2b5f47f225e32c26e79ecce759aa5970f","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-02T23:57:49.411Z","value":"blocked"},"schema":"hugging-bay.public-evidence-share.v1","status":"blocked","surfaceDigest":"sha256:0d8bab99a04ec1dce5f0b798fe797496348a49489bb2deb1b191dc0fff7a454c"}