{"apiUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","artifactId":"hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","canonicalState":{"artifactId":"hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","authority":"postgres-executable-state-snapshot","commandsAvailable":false,"completeRunnable":false,"current":true,"evaluatedAt":"2026-09-04T03:12:05.054Z","evidenceSnapshotDigest":"sha256:738316ea8adfa68244b3ba5bae2349b8e2c51650f8446ecab5e8a30feb4a5e06","found":true,"reason":"none","representationDigest":"sha256:c0475caddcee9462a71c102897208bc77912488e7824f9c7a123b6c99eb52e3f","representationId":"rep-9cbe8347e55acb3a14c46761ba4436240272dfa43443538f58e538545e246bdd","selectedFilesDigest":"sha256:733426f286e4faa2916ef5866d06064f0b7ff2cdd9a986c965724a9ab2559f76","state":"complete-bytes","verified":false},"canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:abaa144869484a66fb3bf2f5319f6b0d870b4d5e0ab67b0d23444aa05878b640","evidenceDigest":"sha256:738316ea8adfa68244b3ba5bae2349b8e2c51650f8446ecab5e8a30feb4a5e06","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-04T03:12:05.054Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:0a3f78edcf945a83849b94905fbb1a05a90d14de33a95cfa2f6b2d98a4a12256","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-04T03:12:05.054Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:6a8eced57d645e8dd25a85c9dc2ea7630141e3cdbbada3b2bd330b15e4c68324","evidenceDigest":"sha256:738316ea8adfa68244b3ba5bae2349b8e2c51650f8446ecab5e8a30feb4a5e06","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-04T03:12:05.054Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:751010eb5ba6afe29c6d7acbbfbce7aa9bc855b058fbe9d65d5798fba7554f34","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-04T03:12:05.054Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:7bcf75867ce4958598b2a57b1581973bdbc4436789981b21e4dfde77ef3169fa","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-04T03:12:05.054Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:2ee9e7ff75948775dc1e1b3d07affd789e07d3b8e6290bdb3688eee4a8425611","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-04T03:12:05.054Z","value":"unknown"}],"distribution":{"acceptedRunProof":null,"badge":"https://huggingbay.xyz/badges/will-it-run/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf.svg","canonical":"https://huggingbay.xyz/evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","citation":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf?format=citation","json":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","jsonLd":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf?format=jsonld","mcp":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf?format=mcp","runCard":null,"share":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf?format=share"},"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"generatedAt":"2026-09-04T03:12:05.054Z","proof":{"availability":"absent","reason":null,"reference":null},"readiness":{"canonicalExecutableState":"complete-bytes","primaryAction":{"argv":null,"displayForm":null,"href":null,"kind":"prepare-request-contract","label":"Copy request contract"},"reason":"canonical-state:complete-bytes","reasonCodes":["canonical-state:complete-bytes"],"runnable":false,"status":"blocked","verified":false},"requests":{"canonicalIntentSchema":"hugging-bay.request-intent.v1","kinds":[{"kind":"exact-representation","need":"model-or-quant"},{"kind":"dataset","need":"dataset"},{"kind":"runtime-verification","need":"runtime-support"},{"kind":"preservation","need":"mirror-or-preservation"},{"kind":"feature","need":"product-feature"}],"mcpContract":{"availability":"contract-only-not-hosted","callable":false,"inputSchema":{"additionalProperties":false,"oneOf":[{"properties":{"kind":{"const":"feature"},"subject":{"additionalProperties":false,"properties":{"feature":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9 ._:@/()+,%=-]+$","type":"string"},"product":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9 ._:@/()+,%=-]+$","type":"string"}},"required":["product","feature"],"type":"object"}},"required":["kind","subject"]},{"properties":{"kind":{"const":"dataset"},"subject":{"additionalProperties":false,"oneOf":[{"properties":{"identity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"}},"required":["identity"]},{"properties":{"sourceIdentity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"}},"required":["sourceIdentity"]}],"properties":{"config":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"identity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"},"provider":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[a-z0-9][a-z0-9._-]{0,63}$","type":"string"},"revision":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"sourceIdentity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"},"split":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"subset":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"}},"required":["provider","revision"],"type":"object"}},"required":["kind","subject"]},{"properties":{"kind":{"enum":["exact-representation","runtime-verification","preservation"]},"subject":{"additionalProperties":false,"oneOf":[{"properties":{"identity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"}},"required":["identity"]},{"properties":{"sourceIdentity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"}},"required":["sourceIdentity"]}],"properties":{"identity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"},"provider":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[a-z0-9][a-z0-9._-]{0,63}$","type":"string"},"quant":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"representationId":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"anyOf":[{"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$"},{"pattern":"^rep-[0-9a-f]{64}$"}],"maxLength":2048,"type":"string"},"revision":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"sourceIdentity":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}},{"not":{"pattern":"(?:^|/)\\.\\.(?:/|$)"}}],"maxLength":200,"minLength":1,"pattern":"^[A-Za-z0-9][A-Za-z0-9._/-]*$","type":"string"}},"required":["provider","revision"],"type":"object"}},"required":["kind","subject"]}],"properties":{"constraints":{"additionalProperties":false,"properties":{"commercialUse":{"enum":["required","preferred","not-required"],"type":"string"},"contextTokens":{"maximum":9007199254740991,"minimum":0,"type":"integer"},"format":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"hardwareTier":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"maxBytes":{"maximum":9007199254740991,"minimum":0,"type":"integer"},"minBytes":{"maximum":9007199254740991,"minimum":0,"type":"integer"},"quantPreference":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"},"task":{"allOf":[{"not":{"pattern":"(?:github_pat_|gh[oprsu]_|glpat-|AKIA[0-9A-Z]{8}|AIza|ya29\\.|sk-(?:proj-|live-|test-)?|hf_|xox[baprs]-|(?:^|[^0-9])(?:\\d{1,3}\\.){3}\\d{1,3}(?:$|[^0-9])|(?:^|\\s)(?:/Users/|/Volumes/|/home/|/root/|/tmp/|[A-Za-z]:\\\\)|[A-Za-z0-9._%+-]+@[A-Za-z0-9.-]+\\.[A-Za-z]{2,}|(?:^|[^A-Za-z0-9])\\+?\\d[\\d(). -]{5,}\\d(?:$|[^A-Za-z0-9])|\\b\\d{1,6}\\s+[A-Za-z][A-Za-z .'-]{1,60}\\s(?:street|st|avenue|ave|road|rd|boulevard|blvd|lane|ln|drive|dr|court|ct|parkway|pkwy)\\b)"}}],"maxLength":2048,"pattern":"^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$","type":"string"}},"required":[],"type":"object"},"exactnessRequested":{"type":"boolean"},"idempotencyKey":{"maxLength":128,"minLength":16,"pattern":"^[A-Za-z0-9][A-Za-z0-9._:-]+$","type":"string"},"kind":{"enum":["exact-representation","dataset","runtime-verification","preservation","feature"],"type":"string"},"license":{"additionalProperties":false,"oneOf":[{"properties":{"licenseId":{"enum":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","cc0-1.0","cc-by-4.0","odc-by","openrail++","bigscience-openrail-m","creativeml-openrail-m","bigcode-openrail-m","bigscience-bloom-rail-1.0"],"type":"string"},"policy":{"const":"mirror"}},"required":["licenseId","policy"]},{"properties":{"licenseId":{"enum":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","gpl-3.0","lgpl-3.0","mpl-2.0","cc-by-4.0","cc-by-sa-4.0","cc0-1.0","odc-by","openrail++","bigscience-openrail-m","creativeml-openrail-m","bigcode-openrail-m","bigscience-bloom-rail-1.0"],"type":"string"},"policy":{"const":"public"}},"required":["licenseId","policy"]}],"properties":{"licenseId":{"enum":["apache-2.0","mit","bsd-3-clause","bsd-2-clause","gpl-3.0","lgpl-3.0","mpl-2.0","cc-by-4.0","cc-by-sa-4.0","cc0-1.0","odc-by","openrail++","bigscience-openrail-m","creativeml-openrail-m","bigcode-openrail-m","bigscience-bloom-rail-1.0"],"type":"string"},"policy":{"enum":["mirror","public"],"type":"string"}},"required":["licenseId","policy"],"type":"object"},"locale":{"pattern":"^[a-z]{2,3}(?:-[A-Za-z]{2,4})?(?:-[A-Za-z0-9]{2,8})?$","type":"string"},"privateWatch":{"additionalProperties":false,"properties":{"consent":{"const":true},"reference":{"pattern":"^sha256:[a-f0-9]{64}$","type":"string"}},"required":["consent","reference"],"type":"object"},"publicVisibility":{"enum":["public"],"type":"string"},"subject":{"type":"object"}},"required":["idempotencyKey","kind","subject"],"type":"object"},"tool":"submit_request_intent"},"personalState":"not-projected","publicAggregate":{"kAnonymity":5,"qualifiedCount":null,"reason":"persisted-k-anonymous-demand-authority-unavailable","state":"unknown"},"schema":"hugging-bay.public-request-contract-projection.v1","scope":"anonymous-public-projection","state":"unknown","stateReason":"exact-artifact-intent-selector-unavailable","statusUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf#request-status","subject":{"artifactId":"hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf","exactSource":null},"submission":{"allowed":false,"autoMirrors":false,"createsQueueWork":false,"endpoint":null,"reason":"exact-reviewed-artifact-to-intent-selector-unavailable"},"watch":{"materialDefinitions":[{"authority":"mirror-request-state","kind":"exact-representation","materialDefinition":"exact-matched-terminal-completed-mirror-decision","refKind":"mirror-terminal-decision"},{"authority":"dataset-representation","kind":"dataset","materialDefinition":"exact-matched-complete-selected-data-dataset-representation","refKind":"dataset-representation"},{"authority":"executable-state","kind":"runtime-verification","materialDefinition":"exact-matched-complete-verified-executable-state-closure","refKind":"executable-state-closure"},{"authority":"mirror-request-state","kind":"preservation","materialDefinition":"exact-matched-terminal-completed-mirror-decision","refKind":"mirror-terminal-decision"},{"authority":"feature-fulfillment","kind":"feature","materialDefinition":"exact-matched-explicit-feature-fulfillment-reference","refKind":"feature-fulfillment-reference"}],"materialReturn":"authority-unavailable","personalState":"not-projected","reason":"exact-public-watch-selector-unavailable","scope":"anonymous-public-projection","state":"unknown"}},"rescue":{"availability":"unavailable","reason":"failed-run-rescue-selector-unavailable"},"runCard":null,"schema":"hugging-bay.public-evidence-surface.v1","selection":{"activeRigMatch":false,"reason":"no-current-run-card","scope":"artifact-only","selectedCardId":null,"state":"unavailable"},"snippets":{"api":"curl -fsS 'https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf'","cli":null,"cliSignedBase":null,"mcp":"{\"arguments\":{\"artifactId\":\"hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf\"},\"tool\":\"get_public_evidence\"}","requestContract":"{\"allowedKinds\":[\"exact-representation\",\"dataset\",\"runtime-verification\",\"preservation\",\"feature\"],\"callable\":false,\"kind\":\"non-callable-request-contract\",\"personalState\":\"not-projected\",\"reason\":\"exact-reviewed-artifact-to-intent-selector-unavailable\",\"scope\":\"anonymous-public-projection\",\"state\":\"unknown\",\"stateReason\":\"exact-artifact-intent-selector-unavailable\",\"subject\":{\"artifactId\":\"hf-model-mradermacher-mathcoder2-deepseekmath-7b-gguf\"}}"},"surfaceDigest":"sha256:de0afa3ef5f7edc42fd032254e42cc9f8ac627deeb816bb8c5d38832cb7adc67"}