{"artifactId":"hf-model-tinyopsec-pythagoras-prover-4b-gguf","canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:bbcd2c282ae2e54c767756ee78ba7eeb061b73792c7d1df787b33c585c2a59da","evidenceDigest":"sha256:1f0cf99422d986dc6b8420decae53d5a72dae78d7296c177068d11e265836c24","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-22T10:38:11.314Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:696dbc5eba24eb739c537b9b54083f36dc30ba1f6ebba11c274d9784fb576073","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-22T10:38:11.314Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:c9bfb894a96fea39532bc57834c0cdc23672a260f7b1c61c21e6b79c810823c7","evidenceDigest":"sha256:1f0cf99422d986dc6b8420decae53d5a72dae78d7296c177068d11e265836c24","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-22T10:38:11.314Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:12cbb8ebd2f8d72a41c5bc5bd6b7eae44cf7e45d47b1295b52e3dad615a016fa","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-22T10:38:11.314Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:10a7a33ec12aa419267185b29d4a36f67c570d4d365b942ba0fb22e40a727274","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-22T10:38:11.314Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-tinyopsec-pythagoras-prover-4b-gguf#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:e1c625cf975f7a2ecc425014fc66e6bedc16888b3340b6a39dc690fcc9d15d40","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-22T10:38:11.314Z","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-22T10:38:11.314Z","schema":"hugging-bay.public-evidence-citation.v1","selectionScope":"artifact-only","surfaceDigest":"sha256:1bc6f34fbfbaf91088fb399dff6a2778c35b4543f959772db59ffb35c9cc5fd8"}