{ "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." } ] }