{"apiUrl":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner","artifactId":"hf-model-ayanami-kitasan-code-pruner","canonicalState":{"artifactId":"hf-model-ayanami-kitasan-code-pruner","authority":"postgres-executable-state-snapshot","commandsAvailable":false,"completeRunnable":false,"current":true,"evaluatedAt":"2026-08-03T21:02:14.040Z","evidenceSnapshotDigest":"sha256:b195a4f91633dac7b9e6abd4bd12bcdffd48967daebbe44d21e4e1ff86a08ded","found":true,"reason":"none","representationDigest":"sha256:59851923b052dc6cba35d0e7f536933f44effeff79e52ccb43cc53c6211422d6","representationId":"rep-c9685f260c466a9b68fad34e66e202667d486e1a7de1cd1f4676c5e4924198fb","selectedFilesDigest":"sha256:ae1595fc98001c1ff317110b7c726210da46264e2988bdcb7db6c358e5890bde","state":"complete-bytes","verified":false},"canonicalUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner","claims":[{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-public-run-readiness","citationId":"c-public-run-readiness","digest":"sha256:40e15352ae1747f322da2ab70f50e81a64fe48576cbe90f3a62527b29711d6eb","evidenceDigest":"sha256:b195a4f91633dac7b9e6abd4bd12bcdffd48967daebbe44d21e4e1ff86a08ded","evidenceSource":"postgres-executable-state-snapshot","id":"c-public-run-readiness","label":"Public execution status","timestamp":"2026-08-03T21:02:14.040Z","value":"blocked"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-selection-scope","citationId":"c-selection-scope","digest":"sha256:abd55529946adb8aed4bcfeb8a066e64619aa0604f77edffc07517559e92cb79","evidenceDigest":null,"evidenceSource":"run-card-discovery-authority","id":"c-selection-scope","label":"Run Card selection scope","timestamp":"2026-08-03T21:02:14.040Z","value":"artifact-only; not an active-rig match"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-canonical-executable-state","citationId":"c-canonical-executable-state","digest":"sha256:a79e08cc5e9a7ddebf295bedbda2f5c6eaae52cb90eb3ce8b20a85856df0016d","evidenceDigest":"sha256:b195a4f91633dac7b9e6abd4bd12bcdffd48967daebbe44d21e4e1ff86a08ded","evidenceSource":"postgres-executable-state-snapshot","id":"c-canonical-executable-state","label":"recorded executable state","timestamp":"2026-08-03T21:02:14.040Z","value":"complete-bytes"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-public-request-status","citationId":"c-public-request-status","digest":"sha256:5fe82072c30de953ba4571a5f28effa100a62f0ed96a21bf30c10bbecfa1e6c7","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-intent-selector","id":"c-public-request-status","label":"Anonymous public request status","timestamp":"2026-08-03T21:02:14.040Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-public-watch-status","citationId":"c-public-watch-status","digest":"sha256:25cc3d23dc6208e3b55ede4f74dcb000c9cc0af384a921725d3a0099bc665829","evidenceDigest":null,"evidenceSource":"public-evidence-missing-exact-watch-selector","id":"c-public-watch-status","label":"Anonymous public watch status","timestamp":"2026-08-03T21:02:14.040Z","value":"unknown"},{"canonicalVerificationUrl":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner#c-public-demand-aggregate","citationId":"c-public-demand-aggregate","digest":"sha256:c4407d53241ebf5960ab76cf09201d9d6ad51ad39f3e093cc85b5179682f4ead","evidenceDigest":null,"evidenceSource":"public-evidence-missing-persisted-k-anonymous-aggregate","id":"c-public-demand-aggregate","label":"K-anonymous public demand aggregate","timestamp":"2026-08-03T21:02:14.040Z","value":"unknown"}],"distribution":{"acceptedRunProof":null,"badge":"https://huggingbay.xyz/badges/will-it-run/hf-model-ayanami-kitasan-code-pruner.svg","canonical":"https://huggingbay.xyz/evidence/artifacts/hf-model-ayanami-kitasan-code-pruner","citation":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner?format=citation","json":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner","jsonLd":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner?format=jsonld","mcp":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner?format=mcp","runCard":null,"share":"https://huggingbay.xyz/api/public-evidence/artifacts/hf-model-ayanami-kitasan-code-pruner?format=share"},"evidenceContext":{"blockers":{"rescue":[],"runCard":[]},"freshness":{"acceptedRunProof":null,"rescue":null,"runCard":null},"uncertainty":{"acceptedRunProof":[],"rescue":[],"runCard":[]}},"generatedAt":"2026-08-03T21:02:14.040Z","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-ayanami-kitasan-code-pruner#request-status","subject":{"artifactId":"hf-model-ayanami-kitasan-code-pruner","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-ayanami-kitasan-code-pruner'","cli":null,"cliSignedBase":null,"mcp":"{\"arguments\":{\"artifactId\":\"hf-model-ayanami-kitasan-code-pruner\"},\"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-ayanami-kitasan-code-pruner\"}}"},"surfaceDigest":"sha256:ee825ec7fbd3a10f3ed28dac68cd93d87e8f0e9c8701f13d7f3b9150f4399194"}