SZL Holdings monorepo — Ouroboros runtime, Lutar formulas, dual-witness adapters, agent-tooling, and CI substrate

[scaffold — implementation pending] Real estate intelligence: planned deal-pipeline scoring, portfolio analytics, AI-assisted underwriting. Proprietary.

SZL Holdings organization profile and community files.

Putnam 2025 LLM benchmark harness — 2/12 Lean-discharged, 10/12 structure, DSSE receipt chain. Doctrine v6 · DOI 10.5281/zenodo.20434276

Brand assets, logos, social-preview templates, and visual doctrine for SZL Holdings

Lean 4 + Mathlib formal proofs — 217 declarations, 12 axioms, 5 baseline + 134 Putnam tracked sorries (2/12 Lean-discharged, 10/12 structure). Doctrine v6 · DOI 10.5281/zenodo.20434308

[scaffold — implementation pending] Legal matter command: planned policy-gated AI workflows, document review, obligation mapping, proof-chain delivery. Proprietary.

206-page thesis — bounded-loop runtime implementing Lutar Invariant Λ. Doctrine v6 · DOI 10.5281/zenodo.20434276

Cortex / memory attestation organ — Shannon entropy bounds wired as runtime budgets. Doctrine v6 · DOI 10.5281/zenodo.20434276

A11oy v19 governed execution fabric — 35 anchor formulas as policy gates, DSSE receipts. Doctrine v6 · DOI 10.5281/zenodo.20434276

Sanctions matching and dark-vessel detection with DSSE-signed receipt chains. Doctrine v6 · DOI 10.5281/zenodo.20434276

Investor demo — UDS-deployable governed AI execution with verifiable receipt chain. Doctrine v6 · DOI 10.5281/zenodo.20434276

[scaffold — implementation pending] Private advisory operations: planned concierge workflow with proof-chain delivery and multi-party coordination. Proprietary.

Body-graph observability — 6 anchor receipts, replay verification, OTel-native. Doctrine v6 · DOI 10.5281/zenodo.20434276

Recipes and how-to guides for SZL governance infrastructure. Doctrine v6 · DOI 10.5281/zenodo.20434276

Ouroboros runtime — formulas, agentic loops, bekenstein bounds, dual-witness emitters

SZL Holdings Public Trust Portal — Covenant Proof Standard (CPS) run artifacts. E4 Codex Kernel reference run with 12 receipts (mocked:false), Dresden Codex + IAU citations, deterministic replay.

Λ-signed OpenTelemetry exporter for SZL audit fibers. Doctrine v6 · DOI 10.5281/zenodo.20424995

UDS cross-component span schemas + DSSE governance receipts. Doctrine v6 · DOI 10.5281/zenodo.20434276