Public research brief for external analysts
Use this brief with Perplexity or any external analyst to validate the SZL Holdings public substrate. The goal is evidence collection, not marketing copy.
Research question
Validate that SZL Holdings has a public, GitHub-backed governed-AI substrate centered on A11oy, with UDS/Zarf packaging, receipt-chain audit evidence, formal-methods references, and a generated Hugging Face diligence mirror.
Repositories to inspect
Active showcase:
- https://github.com/szl-holdings/a11oy
- https://github.com/szl-holdings/platform
- https://github.com/szl-holdings/ouroboros
- https://github.com/szl-holdings/lutar-lean
- https://github.com/szl-holdings/ouroboros-thesis
- https://github.com/szl-holdings/rosie
- https://github.com/szl-holdings/amaru
- https://github.com/szl-holdings/sentra
- https://github.com/szl-holdings/uds-mesh
- https://github.com/szl-holdings/vsp-otel
- https://github.com/szl-holdings/vessels
- https://github.com/szl-holdings/agi-forecast
- https://github.com/szl-holdings/szl-trust
- https://github.com/szl-holdings/szl-brand
- https://github.com/szl-holdings/szl-cookbook
- https://github.com/szl-holdings/.github
Excluded from active-demo claims until funded:
- https://github.com/szl-holdings/counsel
- https://github.com/szl-holdings/terra
- https://github.com/szl-holdings/carlota-jo
Canonical evidence to request
- A11oy current README and
docs/PROVENANCE.md. - A11oy
docs/ecosystem-readiness-report.json. - A11oy GitHub Actions runs for Doctrine Build, Operational Validation, SBOM, CodeQL, and Hugging Face publish.
- A11oy releases
v1.0.1anduds-v0.2.0. - Amaru, Sentra, Rosie, Vessels, and UDS Mesh UDS releases.
- Thesis DOI
10.5281/zenodo.20434276. - Lean proof substrate DOI
10.5281/zenodo.20434308. - Hugging Face target
https://huggingface.co/SZLHOLDINGS/a11oy-v19-substrate.
Guardrails for the analyst
- Do not use
KORA,LUMINA,PARAGON, or activeLyteframing. - Do not report Counsel, Terra, or Carlota Jo as operational demo surfaces.
- Do not claim Defense Unicorns endorsement or UDS catalog acceptance.
- Do not claim every thesis statement is formally closed unless current
lutar-leanCI and theorem reports prove that exact claim. - Treat Hugging Face as a generated mirror; GitHub releases, CI, manifests, and DOI records are canonical.
Suggested external prompt
Deeply validate the public SZL Holdings governed-AI substrate. Focus on the
GitHub repositories and releases listed below. Determine what is actually
implemented, what is packaged for UDS/Zarf, what has CI/release evidence, what
has formal-methods or DOI evidence, and what is explicitly roadmap or scaffold.
Do not use stale product names KORA, LUMINA, PARAGON, or Lyte. Exclude Counsel,
Terra, and Carlota Jo from active-demo claims until funded. Produce an
evidence-cited report with a claim/status table and links to exact GitHub files,
releases, workflows, DOI pages, and Hugging Face mirror files.