{"apiUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir","artifactId":"hf-model-ai-mo-numinamath-7b-tir","canonicalState":{"artifactId":"hf-model-ai-mo-numinamath-7b-tir","authority":"postgres-executable-state-snapshot","commandsAvailable":false,"completeRunnable":false,"current":true,"evaluatedAt":"2026-09-02T05:38:48.943Z","evidenceSnapshotDigest":"sha256:9f66fccf9039e000e055ae0f807382f1402adf25f9b2c4ad318c67f572728744","found":true,"reason":"none","representationDigest":"sha256:e082c95641b23f24e2565be46e1e3b8a7da8261644c035bd967871a5ddadd04d","representationId":"rep-4b8f96ce04652ba10cf6c3f03609696b5966b625c3087e3f4aa56f02491fc60f","selectedFilesDigest":"sha256:08f23df70f45e2a3f3af64c205547500f714d391dc9794441cd8f613606125a5","state":"complete-bytes","verified":false},"canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:c8addff7eb7ed87cd35c747abca48be1c7ce579e698b4d7ca631178bcccfc575","evidenceDigest":"sha256:9f66fccf9039e000e055ae0f807382f1402adf25f9b2c4ad318c67f572728744","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-02T05:38:48.943Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:5288d708ac123d561197bccf3ed31322fd6d3aaed238b75fa379642511af843a","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-02T05:38:48.943Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:12d2a5fa7b5351812c6a3177e86ed0acf207f4f7da9336ab5592a1a085b759ad","evidenceDigest":"sha256:9f66fccf9039e000e055ae0f807382f1402adf25f9b2c4ad318c67f572728744","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-02T05:38:48.943Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:52fd268f7180991071dd10a0e2b862a20cf73d4ea23dd9f10ae9e3949dbf321d","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-02T05:38:48.943Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:d0ab224675ce4f074a874c3ae504b0d5a508b0ec7348e64b4c761dd0e4f41042","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-02T05:38:48.943Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:f0f00243118f74d982845f6c770d8e4156c1c25359b2094ba94d0b14b619d100","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-02T05:38:48.943Z","value":"unknown"}],"distribution":{"acceptedRunProof":null,"badge":"https://huggingbay.xyz/badges/will-it-run/hf-model-ai-mo-numinamath-7b-tir.svg","canonical":"https://huggingbay.xyz/evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir","citation":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir?format=citation","json":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir","jsonLd":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir?format=jsonld","mcp":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir?format=mcp","runCard":null,"share":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ai-mo-numinamath-7b-tir?format=share"},"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"generatedAt":"2026-09-02T05:38:48.943Z","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-ai-mo-numinamath-7b-tir#request-status","subject":{"artifactId":"hf-model-ai-mo-numinamath-7b-tir","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-ai-mo-numinamath-7b-tir'","cli":null,"cliSignedBase":null,"mcp":"{\"arguments\":{\"artifactId\":\"hf-model-ai-mo-numinamath-7b-tir\"},\"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-ai-mo-numinamath-7b-tir\"}}"},"surfaceDigest":"sha256:f5d1629ff0812f8062f79e50be1c1bb0e4490149b4110429236c76124475919f"}