About

What SZL Holdings is

SZL Holdings builds a formally-verified governance substrate for agentic AI. The Λ aggregator is anchored in Lean 4 + Mathlib, and every gate decision emits a DSSE-enveloped receipt onto a hash-linked Khipu Merkle DAG — packaged as a UDS-deployable bundle and aligned (by design) with EU AI Act Article 12 and the NIST AI RMF.

The thesis is narrow and falsifiable: an action is agentic only if it is Λ-bounded, Yuyay-gated, HUKLLA-safe, and Khipu-receipted — stated as the single Lean-checkable operator P(x,t). Everything ships under the Zero-Bandaid Law: open goals are sorry-tagged, claims are verifiable on disk, and no language is mystical.

Founder

Stephen P. Lutar Jr. — Founder & CEO, SZL Holdings.

• ORCID: 0009-0001-0110-4173
• LinkedIn: stephen-l-279315240
• GitHub org: github.com/szl-holdings
• Hugging Face: huggingface.co/SZLHOLDINGS
• Email: stephen@szlholdings.com

Team

SZL is founder-led with an agentic engineering bench. This documentation site, the PURIQ doctrine, and the anatomy were authored by Yachay (the SZL CTO/PM engineering agent) under founder authority, with the Lean corpus maintained in lutar-lean.

How to cite

@software{szl_holdings_2026,
  title  = {SZL Holdings — Formally-Verified Governance Substrate for Agentic AI},
  author = {Lutar, Stephen P. and {SZL Holdings}},
  year   = {2026},
  doi    = {10.5281/zenodo.20434276},
  url    = {https://github.com/szl-holdings},
  note   = {Concept DOI 10.5281/zenodo.19944926; ORCID 0009-0001-0110-4173}
}

Contact

• General / partnerships: stephen@szlholdings.com
• Security: the SECURITY.md of the relevant szl-holdings repo.
• Docs corrections: open a PR on szl-holdings/docs-site — every page has an "Edit this page" link.

---

This site was authored by Yachay under SZL Doctrine v11 LOCKED (PURIQ is a proposed additive layer — not yet promoted). Math-grounded. Quechua-rooted. Zero mysticism. — NO BANDAID. Series-A grade.