{"apiUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","artifactId":"hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","canonicalState":{"artifactId":"hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","authority":"postgres-executable-state-snapshot","commandsAvailable":false,"completeRunnable":false,"current":true,"evaluatedAt":"2026-09-04T21:47:43.258Z","evidenceSnapshotDigest":"sha256:bd47ddbdd0017ea1dcacf492b84b630f95f7e21e2bd0915772e9aabc1029b7ac","found":true,"reason":"none","representationDigest":"sha256:eb5304df5a0a1c0bcbc75df05ace7c77649a6b75d2052965099a8138a386ba1a","representationId":"rep-1d9d4aa7d247a10e3bc51d450e99927f90520a56515553d299a84692b2b11e9c","selectedFilesDigest":"sha256:fe9c2f6f4c89e8c4a75bea1d1a388c9b8ea12670f0b369f036fe7d2a788003c1","state":"complete-bytes","verified":false},"canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:c9622afd1b8ea8aa65c01ea947732b3e187aa0dfd319f69276d7dcea1ddb7e4d","evidenceDigest":"sha256:bd47ddbdd0017ea1dcacf492b84b630f95f7e21e2bd0915772e9aabc1029b7ac","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-09-04T21:47:43.258Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:e75558cab9014f6b256de4deca43cd0ae7c282140523e241cbaf5f81b590f9d2","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-09-04T21:47:43.258Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:509a9c5f2bf9dc45eb0a2729582332ae0343f76256e736fa9e9fc392d12fce69","evidenceDigest":"sha256:bd47ddbdd0017ea1dcacf492b84b630f95f7e21e2bd0915772e9aabc1029b7ac","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-09-04T21:47:43.258Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:7e351c5054877c1a93497d8cf19e6e2b8a3c97995a44cf9cbf2c7d9b64800935","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-09-04T21:47:43.258Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:4db8778abaf04e0ac8e4a74bad5f8236a54a2b2da39356f6cb17f6f49bb6138d","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-09-04T21:47:43.258Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:1c18101c07b6c69fe416d40afbf2c3a4d3be16808df085fd92fc76b29067b51a","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-09-04T21:47:43.258Z","value":"unknown"}],"distribution":{"acceptedRunProof":null,"badge":"https://huggingbay.xyz/badges/will-it-run/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b.svg","canonical":"https://huggingbay.xyz/evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","citation":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b?format=citation","json":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","jsonLd":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b?format=jsonld","mcp":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b?format=mcp","runCard":null,"share":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b?format=share"},"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"generatedAt":"2026-09-04T21:47:43.258Z","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-recursivemas-sequential-light-solver-qwen2-5-math-1-5b#request-status","subject":{"artifactId":"hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b","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-recursivemas-sequential-light-solver-qwen2-5-math-1-5b'","cli":null,"cliSignedBase":null,"mcp":"{\"arguments\":{\"artifactId\":\"hf-model-recursivemas-sequential-light-solver-qwen2-5-math-1-5b\"},\"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-recursivemas-sequential-light-solver-qwen2-5-math-1-5b\"}}"},"surfaceDigest":"sha256:32e0fe4f86e9592c02a762722839f0f01ba169394e7fe2dde272c7f1005f089f"}