Spaces:
Running
Running
| { | |
| "schemaVersion": 1, | |
| "generatedBy": "scripts/audit_huggingface_ecosystem.py", | |
| "observedAt": "2026-05-30T03:43:04Z", | |
| "org": "SZLHOLDINGS", | |
| "canonicalGitHubRepo": "https://github.com/szl-holdings/a11oy", | |
| "canonicalRule": "GitHub releases, CI, manifests, checksums, and DOI records are canonical; Hugging Face is a generated discovery and diligence mirror.", | |
| "publicApiEndpoints": [ | |
| "https://huggingface.co/api/models?author=SZLHOLDINGS&limit=100", | |
| "https://huggingface.co/api/datasets?author=SZLHOLDINGS&limit=100", | |
| "https://huggingface.co/api/spaces?author=SZLHOLDINGS&limit=100" | |
| ], | |
| "counts": { | |
| "models": 2, | |
| "datasets": 29, | |
| "spaces": 24 | |
| }, | |
| "canonicalNumbers": { | |
| "hfSpaces": 24, | |
| "hfDatasets": 29, | |
| "hfModels": 2, | |
| "githubPublicRepos": 19, | |
| "leanDeclarations": 217, | |
| "leanAxioms": 12, | |
| "leanSorries": 7, | |
| "anchorFormulaGates": "35/35", | |
| "benchmarkBaseline": "8.3% (1/12)" | |
| }, | |
| "guardrails": [ | |
| "Do not present Counsel, Terra, or Carlota Jo as active demo surfaces.", | |
| "Do not use KORA, LUMINA, PARAGON, or active Lyte framing.", | |
| "Do not claim zero-sorry or all-green Lean proof status without current machine-readable proof evidence.", | |
| "Do not claim signed UDS release assets exist unless tarball, signature, sha256, and public key assets are present and verify." | |
| ], | |
| "inventory": { | |
| "models": [ | |
| { | |
| "id": "SZLHOLDINGS/SZLHOLDINGS", | |
| "repoType": "model", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T02:37:27.000Z", | |
| "tags": [ | |
| "arxiv:2212.08073", | |
| "arxiv:2401.05566", | |
| "arxiv:2412.14093", | |
| "license:apache-2.0", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/SZLHOLDINGS" | |
| ], | |
| "unsafeFlags": [ | |
| "org-profile-duplicate-review" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/a11oy-v19-substrate", | |
| "repoType": "model", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T02:30:41.000Z", | |
| "tags": [ | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "policy", | |
| "provenance", | |
| "zarf", | |
| "execution-fabric", | |
| "license:apache-2.0", | |
| "region:us" | |
| ], | |
| "claimStatus": "generated-mirror", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/a11oy-v19-substrate" | |
| ], | |
| "unsafeFlags": [] | |
| } | |
| ], | |
| "datasets": [ | |
| { | |
| "id": "SZLHOLDINGS/SZLHOLDINGS", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "b5ace74ea7438d8e500d48a74c99ecc40e7536f4", | |
| "lastModified": "2026-05-29T22:30:51.000Z", | |
| "createdAt": "2026-05-29T02:59:31.000Z", | |
| "tags": [ | |
| "license:apache-2.0", | |
| "arxiv:2212.08073", | |
| "arxiv:2401.05566", | |
| "arxiv:2412.14093", | |
| "region:us", | |
| "formal-verification", | |
| "agentic-ai", | |
| "governance", | |
| "lean4", | |
| "opentelemetry", | |
| "dsse", | |
| "slsa", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "ouroboros", | |
| "mcp", | |
| "eu-ai-act", | |
| "nist-ai-rmf" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/SZLHOLDINGS" | |
| ], | |
| "unsafeFlags": [ | |
| "org-profile-duplicate-review" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/a11oy-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "144f7465501987154c602636d7c678094d52a16a", | |
| "lastModified": "2026-05-30T03:42:35.000Z", | |
| "createdAt": "2026-05-29T22:13:48.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings", | |
| "uds", | |
| "unified-decision-span", | |
| "execution-fabric" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/a11oy-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/agi-forecast-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "6209138d98bf3d4e43aa84456d20b7fb68814b6d", | |
| "lastModified": "2026-05-29T19:58:33.000Z", | |
| "createdAt": "2026-05-29T02:52:24.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "agi-forecast", | |
| "pac-bayes", | |
| "governance", | |
| "agentic-ai", | |
| "formal-verification", | |
| "ai-governance", | |
| "alignment", | |
| "bekenstein", | |
| "bayesian", | |
| "lean4" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/agi-forecast-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/amaru-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "other", | |
| "sha": "d5d20a49a66b3ab94d7c79aff6422c2e58a623fa", | |
| "lastModified": "2026-05-29T22:14:50.000Z", | |
| "createdAt": "2026-05-29T02:54:39.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:other", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "governance", | |
| "dsse", | |
| "slsa", | |
| "memory-attestation", | |
| "cardano-anchor", | |
| "agentic-ai", | |
| "formal-verification", | |
| "ai-governance", | |
| "receipt-chain", | |
| "lean4" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/amaru-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/anatomy-alive-harness", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "931d3f0d53349b9507ef2f47132f2d0443e5b596", | |
| "lastModified": "2026-05-29T20:00:57.000Z", | |
| "createdAt": "2026-05-29T19:59:57.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "szl-holdings", | |
| "anatomy-alive", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "doctrine-v6", | |
| "integration-testing", | |
| "formula-witness" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/anatomy-alive-harness" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/carlota-jo-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "33d1e0309c297b4b1d37af96b2a06d6189792165", | |
| "lastModified": "2026-05-30T03:42:37.000Z", | |
| "createdAt": "2026-05-29T02:53:01.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/carlota-jo-source" | |
| ], | |
| "unsafeFlags": [ | |
| "funded-roadmap-scaffold-not-active-demo" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/counsel-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "255353177e64e55e776a0002cb6cac0822b7d383", | |
| "lastModified": "2026-05-30T03:42:37.000Z", | |
| "createdAt": "2026-05-29T02:52:59.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/counsel-source" | |
| ], | |
| "unsafeFlags": [ | |
| "funded-roadmap-scaffold-not-active-demo" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/lean-theorem-tree", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "dc9b54e513f9ea9a44bc472d8d77b80bb60baf90", | |
| "lastModified": "2026-05-30T04:05:41.000Z", | |
| "createdAt": "2026-05-30T04:05:39.000Z", | |
| "tags": [ | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:json", | |
| "modality:text", | |
| "library:datasets", | |
| "library:pandas", | |
| "library:polars", | |
| "library:mlcroissant", | |
| "region:us", | |
| "lean4", | |
| "mathlib", | |
| "formal-verification", | |
| "theorem-proving", | |
| "ai-governance" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/lean-theorem-tree" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/ouroboros-arxiv-preprint", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "4586fa01dbc154d07fb18ee43b5584015df60617", | |
| "lastModified": "2026-05-29T19:58:41.000Z", | |
| "createdAt": "2026-05-29T03:20:41.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "modality:document", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "governance", | |
| "arxiv", | |
| "preprint", | |
| "agentic-ai" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/ouroboros-arxiv-preprint" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/ouroboros-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "8ad2d0bbc4bf397df393683b6c77a2db65b71879", | |
| "lastModified": "2026-05-29T19:58:27.000Z", | |
| "createdAt": "2026-05-29T02:52:22.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "lean4", | |
| "formal-verification", | |
| "mathlib", | |
| "governance", | |
| "agentic-ai", | |
| "dsse", | |
| "slsa", | |
| "pac-bayes", | |
| "theorem-proving", | |
| "ai-governance" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/ouroboros-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/ouroboros-thesis-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "f0e7e47ddcb0f09f93e8aafe3ed90bd076beb9ea", | |
| "lastModified": "2026-05-29T19:58:40.000Z", | |
| "createdAt": "2026-05-29T02:52:23.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "governance", | |
| "thesis", | |
| "latex", | |
| "agentic-ai" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/ouroboros-thesis-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/rosie-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "6aa630d7d0bdfb0ab90aa1194901cc46cdd50224", | |
| "lastModified": "2026-05-29T22:14:52.000Z", | |
| "createdAt": "2026-05-29T02:54:38.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "governance", | |
| "dsse", | |
| "slsa", | |
| "operator-console", | |
| "agentic-ai", | |
| "formal-verification", | |
| "ai-governance", | |
| "receipt-chain", | |
| "observability", | |
| "lean4" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/rosie-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/sentra-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "other", | |
| "sha": "b74426dceba630052343dcb10b135b4559491f70", | |
| "lastModified": "2026-05-29T22:14:48.000Z", | |
| "createdAt": "2026-05-29T02:54:39.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:other", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "prompt-injection-defense", | |
| "ai-safety", | |
| "jailbreak-detection", | |
| "llm-security", | |
| "governance", | |
| "dsse", | |
| "formal-verification", | |
| "ai-governance", | |
| "alignment", | |
| "kitaev-surface" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/sentra-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-artifacts", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "d44a8811e25dd040e66842c220107590e15081c1", | |
| "lastModified": "2026-05-30T03:42:39.000Z", | |
| "createdAt": "2026-05-29T04:28:16.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:document", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-artifacts" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-charts", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "7b4e475aa829868966dba121d4b52b4734187451", | |
| "lastModified": "2026-05-29T20:21:03.000Z", | |
| "createdAt": "2026-05-29T19:59:11.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "region:us", | |
| "visualization", | |
| "formal-verification", | |
| "lean4", | |
| "governance", | |
| "dsse", | |
| "agentic-ai", | |
| "charts", | |
| "series-a" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-charts" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-cookbook-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "45c35897b68e528f7f5a99c41205357fad37e839", | |
| "lastModified": "2026-05-29T19:58:34.000Z", | |
| "createdAt": "2026-05-29T02:52:23.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "cookbook", | |
| "agentic-ai", | |
| "mcp", | |
| "governance", | |
| "dsse", | |
| "slsa", | |
| "anthropic", | |
| "patterns" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-cookbook-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-org-infra", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "f879eaea6855c334fa893e2a1629ac5ae9b276ee", | |
| "lastModified": "2026-05-30T03:42:40.000Z", | |
| "createdAt": "2026-05-29T02:54:40.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings", | |
| "sbom", | |
| "slsa" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-org-infra" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-trust-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "7ecfa6ea352dcb9e5b371d1b808dc459c5d7500a", | |
| "lastModified": "2026-05-29T19:58:34.000Z", | |
| "createdAt": "2026-05-29T02:52:24.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "governance", | |
| "trust", | |
| "cps", | |
| "covenant-proof-standard", | |
| "dsse", | |
| "slsa", | |
| "receipts", | |
| "agentic-ai" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-trust-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-visual-identity", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "4003e4b1d2c0e99da32db022a0deb88ec6f7943a", | |
| "lastModified": "2026-05-30T03:42:40.000Z", | |
| "createdAt": "2026-05-29T02:30:51.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:document", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings", | |
| "branding" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-visual-identity" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/terra-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "c5e587c91994b97f504ecc3bdf88a95b76655ef0", | |
| "lastModified": "2026-05-30T03:42:41.000Z", | |
| "createdAt": "2026-05-29T02:53:01.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/terra-source" | |
| ], | |
| "unsafeFlags": [ | |
| "funded-roadmap-scaffold-not-active-demo" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/test-results", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "9003399bd607aea8309811e86fa1505d1112cdab", | |
| "lastModified": "2026-05-30T04:05:46.000Z", | |
| "createdAt": "2026-05-30T04:05:44.000Z", | |
| "tags": [ | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:json", | |
| "modality:tabular", | |
| "modality:text", | |
| "library:datasets", | |
| "library:pandas", | |
| "library:polars", | |
| "library:mlcroissant", | |
| "region:us", | |
| "testing", | |
| "formal-verification", | |
| "vitest", | |
| "dsse", | |
| "ai-governance" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/test-results" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/thesis-formula-index", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "9682dbe9bd29d6f84275316d32a364ed314736c8", | |
| "lastModified": "2026-05-30T04:05:36.000Z", | |
| "createdAt": "2026-05-30T04:05:34.000Z", | |
| "tags": [ | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:json", | |
| "modality:text", | |
| "library:datasets", | |
| "library:pandas", | |
| "library:polars", | |
| "library:mlcroissant", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "ouroboros-thesis", | |
| "ai-governance", | |
| "doctrine-v6" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/thesis-formula-index" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/thesis-v18-formal-verification", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "29351922610ba6b6a542e8c1047a20114c21aa20", | |
| "lastModified": "2026-05-29T20:22:01.000Z", | |
| "createdAt": "2026-05-29T02:30:34.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "mathlib", | |
| "governance", | |
| "agentic-ai", | |
| "dsse", | |
| "slsa", | |
| "arxiv:2401.05566", | |
| "theorem-proving", | |
| "ai-governance", | |
| "eu-ai-act", | |
| "nist-ai-rmf" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/thesis-v18-formal-verification" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/uds-governance-receipts", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "313fa29698c5633c0c0478e1716394c370e09d09", | |
| "lastModified": "2026-05-29T19:58:25.000Z", | |
| "createdAt": "2026-05-29T02:48:13.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "dsse", | |
| "slsa", | |
| "governance", | |
| "receipt-chain", | |
| "agentic-ai", | |
| "opentelemetry", | |
| "ai-governance" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/uds-governance-receipts" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/uds-mesh-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "60cce68669edde5ea43e6a7be8cde2226be846fc", | |
| "lastModified": "2026-05-30T03:42:41.000Z", | |
| "createdAt": "2026-05-29T22:13:58.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings", | |
| "uds", | |
| "unified-decision-span" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/uds-mesh-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/uds-spans-receipts", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "223003aaa14a166b22ce048cd254844559befbce", | |
| "lastModified": "2026-05-30T03:42:42.000Z", | |
| "createdAt": "2026-05-29T02:30:43.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "uds", | |
| "unified-decision-span", | |
| "receipt-chain" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/uds-spans-receipts" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/vessels-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "023ca2110373ae18a76f51043a46912f931bb643", | |
| "lastModified": "2026-05-30T03:42:43.000Z", | |
| "createdAt": "2026-05-29T02:52:59.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "arxiv:2401.05566", | |
| "region:us", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "szl-holdings" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/vessels-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/vsp-otel-source", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "apache-2.0", | |
| "sha": "15c767e6f1ab2be184655a942b4a58cb79ccdc23", | |
| "lastModified": "2026-05-29T19:58:32.000Z", | |
| "createdAt": "2026-05-29T02:52:58.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:apache-2.0", | |
| "size_categories:n<1K", | |
| "region:us", | |
| "opentelemetry", | |
| "governance", | |
| "dsse", | |
| "observability", | |
| "agentic-ai", | |
| "formal-verification", | |
| "ai-governance", | |
| "lambda-score", | |
| "w3c-trace-context", | |
| "lean4" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/vsp-otel-source" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/why-we-lead", | |
| "repoType": "dataset", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": null, | |
| "license": "cc-by-4.0", | |
| "sha": "05da2602f69afed7615efbefcd7a8eac833db44b", | |
| "lastModified": "2026-05-29T19:58:43.000Z", | |
| "createdAt": "2026-05-29T03:14:28.000Z", | |
| "tags": [ | |
| "task_categories:other", | |
| "language:en", | |
| "license:cc-by-4.0", | |
| "size_categories:n<1K", | |
| "format:imagefolder", | |
| "modality:image", | |
| "library:datasets", | |
| "library:mlcroissant", | |
| "region:us", | |
| "investor-relations", | |
| "series-a", | |
| "governance", | |
| "formal-verification", | |
| "agentic-ai", | |
| "diligence" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/why-we-lead" | |
| ], | |
| "unsafeFlags": [] | |
| } | |
| ], | |
| "spaces": [ | |
| { | |
| "id": "SZLHOLDINGS/a11oy-deep-dive", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-30T02:49:29.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "execution-fabric", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/a11oy-deep-dive" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/a11oy-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T05:34:14.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "execution-fabric", | |
| "slsa", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/a11oy-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/a11oy-receipts-playground", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T02:59:59.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "execution-fabric", | |
| "receipt-chain", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/a11oy-receipts-playground" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/agi-forecast-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:28.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "pac-bayes", | |
| "forecasting", | |
| "ai-governance", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/agi-forecast-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/agi-forecast-viewer", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:10:26.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "pac-bayes", | |
| "forecasting", | |
| "ai-governance", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/agi-forecast-viewer" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/amaru-memory-attestation", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:15:09.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "memory-attestation", | |
| "cardano-anchor", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/amaru-memory-attestation" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/amaru-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:25.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "memory-attestation", | |
| "cardano-anchor", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/amaru-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/lean-proof-playground", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:10:18.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "mathlib", | |
| "theorem-proving", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/lean-proof-playground" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/lutar-lean-browser", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T02:30:49.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "mathlib", | |
| "theorem-proving", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/lutar-lean-browser" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/mcp-receipts-server", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T02:30:47.000Z", | |
| "tags": [ | |
| "gradio", | |
| "mcp-server", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "arxiv:2603.10060", | |
| "supply-chain-security", | |
| "opentelemetry", | |
| "receipt-chain", | |
| "slsa", | |
| "observability", | |
| "pac-bayes", | |
| "zenodo", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/mcp-receipts-server" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/rosie-deep-dive", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-30T02:50:34.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "receipt-orchestration", | |
| "css-ingress", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/rosie-deep-dive" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/rosie-operator-console", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:15:11.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "receipt-orchestration", | |
| "css-ingress", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/rosie-operator-console" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/rosie-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:26.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "receipt-orchestration", | |
| "css-ingress", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/rosie-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/sentra-deep-dive", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-30T02:50:02.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "security", | |
| "ai-safety", | |
| "prompt-injection", | |
| "opentelemetry", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/sentra-deep-dive" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/sentra-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:25.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "security", | |
| "ai-safety", | |
| "prompt-injection", | |
| "opentelemetry", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/sentra-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/sentra-security-gates", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:15:12.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "security", | |
| "ai-safety", | |
| "prompt-injection", | |
| "opentelemetry", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/sentra-security-gates" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-anatomy", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:02:31.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "anatomy", | |
| "ouroboros", | |
| "mathlib", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-anatomy" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-cookbook-deep-dive", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-30T03:02:50.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "skill-patterns", | |
| "engineering-recipes", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-cookbook-deep-dive" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-cookbook-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:29.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "skill-patterns", | |
| "engineering-recipes", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-cookbook-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-cookbook-runner", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:10:25.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "skill-patterns", | |
| "engineering-recipes", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-cookbook-runner" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/szl-showcase", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T03:10:03.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "showcase", | |
| "mcp", | |
| "observability", | |
| "ouroboros", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/szl-showcase" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/vsp-otel-deep-dive", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-30T03:10:08.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "opentelemetry", | |
| "observability", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/vsp-otel-deep-dive" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/vsp-otel-emitter", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "gradio", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T04:10:27.000Z", | |
| "tags": [ | |
| "gradio", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "opentelemetry", | |
| "observability", | |
| "w3c-trace-context", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/vsp-otel-emitter" | |
| ], | |
| "unsafeFlags": [] | |
| }, | |
| { | |
| "id": "SZLHOLDINGS/vsp-otel-platform", | |
| "repoType": "space", | |
| "private": false, | |
| "gated": false, | |
| "disabled": false, | |
| "sdk": "static", | |
| "license": null, | |
| "sha": null, | |
| "lastModified": null, | |
| "createdAt": "2026-05-29T15:11:27.000Z", | |
| "tags": [ | |
| "static", | |
| "formal-verification", | |
| "lean4", | |
| "dsse", | |
| "governance", | |
| "agentic-ai", | |
| "arxiv:2401.05566", | |
| "series-a", | |
| "anthropic", | |
| "opentelemetry", | |
| "observability", | |
| "w3c-trace-context", | |
| "doctrine-v6", | |
| "region:us" | |
| ], | |
| "claimStatus": "inventory", | |
| "evidenceUrls": [ | |
| "https://huggingface.co/SZLHOLDINGS/vsp-otel-platform" | |
| ], | |
| "unsafeFlags": [ | |
| "space-card-should-link-github-commit" | |
| ] | |
| } | |
| ] | |
| }, | |
| "recommendedActions": [ | |
| { | |
| "target": "SZLHOLDINGS/a11oy-v19-substrate", | |
| "action": "Republish from dist/huggingface/a11oy after every GitHub canonical-source change." | |
| }, | |
| { | |
| "target": "SZLHOLDINGS/SZLHOLDINGS", | |
| "action": "Replace duplicate org-profile model/dataset copy with generated counts and GitHub source links, or deprecate." | |
| }, | |
| { | |
| "target": "source mirrors", | |
| "action": "Add generated card section: GitHub repo, exact commit, release/CI, DOI, claim status, limitations." | |
| }, | |
| { | |
| "target": "counsel-source/terra-source/carlota-jo-source", | |
| "action": "Mark funded-roadmap scaffold and remove from active-demo collections until funded." | |
| } | |
| ] | |
| } | |