Founder thesis: AI earns trust when a reviewer can separate source, observed runtime state, signed evidence, and the boundary of each claim.
I am building the product and engineering systems at SZL Holdings around that discipline: fail closed when evidence is missing, preserve provenance, and make the shortest path to verification obvious.
| You want to… | Open | You will find |
|---|---|---|
| Evaluate the company | a11oy | The live product, current operating state, and evidence surfaces |
| Inspect the implementation | a11oy source | Code, tests, security boundaries, setup, and release history |
| Verify a public claim | Proof registry | Browser-checkable evidence with explicit claim-state context |
| Review the research | Lutar Lean · ORCID | Formal sources, assumptions, open conjectures, and author identity |
- a11oy — governed-AI control plane with public runtime and evidence surfaces.
- Killinchu — counter-UAS and maritime workflows whose public controls remain advisory unless a real execution path is proved.
- Formal methods — Lean 4 sources for the trust and receipt machinery, including explicit conjecture boundaries.
| State | Interpretation |
|---|---|
| LOCKED-PROVEN | Machine-checked in the cited proof artifact |
| EVIDENCE-BACKED | Supported by a named source, observation, or receipt |
| CONJECTURE | Open mathematical or engineering claim; never presented as proven |
| UNAVAILABLE | Required evidence or runtime capability is not currently present |
The unconditional uniqueness claim for Λ remains a conjecture; only a conditional result is proved under stated assumptions. A receipt proves its bound record and verification path, not every property of the underlying computation. No ATO or FedRAMP authorization is claimed.
Investors and partners: stephen@szlholdings.com · Thesis DOI
Developers: contribution guide · engineering estate
Security researchers: private reporting policy
Code is generally Apache-2.0 unless a repository states otherwise. Research artifacts carry their own licenses and evidence boundaries.