# 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

1. A11oy current README and `docs/PROVENANCE.md`.
2. A11oy `docs/ecosystem-readiness-report.json`.
3. A11oy GitHub Actions runs for Doctrine Build, Operational Validation, SBOM,
   CodeQL, and Hugging Face publish.
4. A11oy releases `v1.0.1` and `uds-v0.2.0`.
5. Amaru, Sentra, Rosie, Vessels, and UDS Mesh UDS releases.
6. Thesis DOI `10.5281/zenodo.20434276`.
7. Lean proof substrate DOI `10.5281/zenodo.20434308`.
8. Hugging Face target `https://huggingface.co/SZLHOLDINGS/a11oy-v19-substrate`.

## Guardrails for the analyst

- Do not use `KORA`, `LUMINA`, `PARAGON`, or active `Lyte` framing.
- 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-lean` CI 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

```text
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.
```