{"artifactId":"hf-model-delta-lab-ai-lean-finder","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:f9c5f14e5c7b33d030633848608bdaf004454874217c22298fbeff014a06b26e","evidenceDigest":"sha256:cf15e0cfb317db1dae19197b321fb30f76f113837930597a25b287278fe3badd","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-22T18:57:20.915Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:0e1eb83a0c54774d4d63b8d53c2255070f5d5bc00d84d9449d30cfea193f2585","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-22T18:57:20.915Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:358af1de5850be69db86bf6ac2d1ad8068b32063c9aa12a869ca9e2156b18ea9","evidenceDigest":"sha256:cf15e0cfb317db1dae19197b321fb30f76f113837930597a25b287278fe3badd","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-22T18:57:20.915Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:da3a5ef333a886a854137dc22d81ef702e940dc3bb178e2b93059386ebdc4516","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-22T18:57:20.915Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:a3f4b84286b600b49a8bfe2c564660bf383430ab04d5c45a0fb57dd57d45d306","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-22T18:57:20.915Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:c6e0c63c363931cd13858cfafa3f4b82a84be0a71d0aaac07a9b36f8ce6ae606","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-22T18:57:20.915Z","value":"unknown"}],"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"evidenceRefs":{"acceptedRunProof":null,"rescue":null,"runCard":null},"generatedAt":"2026-09-22T18:57:20.915Z","schema":"hugging-bay.public-evidence-citation.v1","selectionScope":"artifact-only","surfaceDigest":"sha256:78319b07150e288314e5f0312f425d20e14e214348b2c90aa1c4c5c15a218916"}