{"apiUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder","artifactId":"hf-model-delta-lab-ai-lean-finder","canonicalState":{"artifactId":"hf-model-delta-lab-ai-lean-finder","authority":"postgres-executable-state-snapshot","commandsAvailable":false,"completeRunnable":false,"current":true,"evaluatedAt":"2026-09-22T18:57:20.915Z","evidenceSnapshotDigest":"sha256:cf15e0cfb317db1dae19197b321fb30f76f113837930597a25b287278fe3badd","found":true,"reason":"none","representationDigest":"sha256:7523cfa195384db27e62bd330e905533f129e6b77dc424a1802b0b9528928039","representationId":"rep-5a070c94adb2d8e44728218b731604cfe6146c8aa8bc533fb2618c89cb2a74ad","selectedFilesDigest":"sha256:a93348a06a2b547bc3ee2fa2534bd8c5d6fdca10b23c1bd1e3c1fc38d40cc1d0","state":"complete-bytes","verified":false},"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"}],"distribution":{"acceptedRunProof":null,"badge":"https://huggingbay.xyz/badges/will-it-run/hf-model-delta-lab-ai-lean-finder.svg","canonical":"https://huggingbay.xyz/evidence/artifacts/hf-model-delta-lab-ai-lean-finder","citation":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder?format=citation","json":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder","jsonLd":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder?format=jsonld","mcp":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder?format=mcp","runCard":null,"share":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-delta-lab-ai-lean-finder?format=share"},"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"generatedAt":"2026-09-22T18:57:20.915Z","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-delta-lab-ai-lean-finder#request-status","subject":{"artifactId":"hf-model-delta-lab-ai-lean-finder","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-delta-lab-ai-lean-finder'","cli":null,"cliSignedBase":null,"mcp":"{\"arguments\":{\"artifactId\":\"hf-model-delta-lab-ai-lean-finder\"},\"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-delta-lab-ai-lean-finder\"}}"},"surfaceDigest":"sha256:78319b07150e288314e5f0312f425d20e14e214348b2c90aa1c4c5c15a218916"}