SZL Holdings

Appearance

About ​

What SZL Holdings is ​

SZL Holdings builds governed-AI infrastructure with inspectable source, bounded decision logic, and linked evidence. Its Lean corpus has an explicitly mixed proof posture: locked formulas are identified separately from open sorry-tagged obligations, and Lambda remains a conjecture rather than a theorem. The architecture documents a Khipu receipt design; the exact signature and runtime status of any artifact are stated on Compliance and Runtime status, not inferred from the design.

The thesis is narrow and falsifiable: the proposed operator P(x,t) describes an action as Lambda-bounded, Yuyay-gated, HUKLLA-safe, and Khipu-receipted. Open goals remain sorry-tagged. The Evidence index records pinned artifacts, while the Investor brief separates source, proof, and operational claims.

Founder ​

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

Team ​

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

How to cite ​

bibtex
@software{szl_holdings_2026,
  title  = {SZL Holdings documentation},
  author = {Lutar, Stephen P. and {SZL Holdings}},
  year   = {2026},
  url    = {https://holdings.a-11-oy.com/docs-site/},
  note   = {Resolve /deployment.json for the deployed source revision; ORCID 0009-0001-0110-4173}
}

The Ouroboros Thesis v18 deposit is a separate work; do not assign its DOI to the documentation or software citation.

Contact ​

This site was authored by Yachay under SZL Doctrine v11 LOCKED. PURIQ is a proposed additive layer and is not yet promoted. Math-grounded, Quechua-rooted, and evidence-first.

Public claims link to source and evidence. SLSA L1 is the current stated supply-chain posture.

SZL Holdings · ORCID 0009-0001-0110-4173