{"acceptedRunProof":null,"artifactId":"hf-model-ai-mo-kimina-prover-preview-distill-1-5b","badgeUrl":"https://huggingbay.xyz/badges/will-it-run/hf-model-ai-mo-kimina-prover-preview-distill-1-5b.svg","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:13cc10bf43b1b4d1aaef19c06bd0f388a6ab29332f6422d39d6971d5157442ce","evidenceDigest":"sha256:479f5c2aad648563dd90c96a099013db62838d7e6cdc4b69d1fa8eab3c2d0ea2","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-04T05:05:27.366Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:99fe370f8f5f0a214b4ab8ff8e21c32ef9249fcd7bde1305fc40b4b6587e899d","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-04T05:05:27.366Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:4bb13441511ecad75239ac7822b798a4985ee12b6abe51673013349ffee4f818","evidenceDigest":"sha256:479f5c2aad648563dd90c96a099013db62838d7e6cdc4b69d1fa8eab3c2d0ea2","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-04T05:05:27.366Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:61b41bb1d80e4db670e9bd48d9904a3b972a937fb67f0ead9293679ad4d4c48d","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-04T05:05:27.366Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:451b52921d95512f61becca70960c353dfd5e7511784d09da46c9d910af68c13","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-04T05:05:27.366Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-kimina-prover-preview-distill-1-5b#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:d7b460c54752cf3f93cd30796dd5b27d36171cdfca812f3654fd63faa286d4b2","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-04T05:05:27.366Z","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-ai-mo-kimina-prover-preview-distill-1-5b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:13cc10bf43b1b4d1aaef19c06bd0f388a6ab29332f6422d39d6971d5157442ce","evidenceDigest":"sha256:479f5c2aad648563dd90c96a099013db62838d7e6cdc4b69d1fa8eab3c2d0ea2","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-04T05:05:27.366Z","value":"blocked"},"schema":"hugging-bay.public-evidence-share.v1","status":"blocked","surfaceDigest":"sha256:d99f0a51b7fc49aeea339d86222fa0b7746a1ac00aa25e73c3386aa1872fc51e"}