SZL Holdings

Every AI decision becomes a cryptographically signed, replayable, tamper-evident receipt — accountability that no observability or AI-security incumbent ships today. Two live products, one substrate.

COMMAND PLATFORM

a11oy →

One pane of glass for governed AI: ask & act, deny-by-default safety gates, trust scoring, live decisions, readiness & compliance, forecasting, signed receipts, proof status, threat library, and model routing.

DRONES & VESSELS

killinchu →

Autonomous-systems field tool for air and sea: live track board, sensor fusion, maritime picture (sanctions + dark-vessel detection), engagement rules, swarm/autonomy, and verify-it-yourself signed engagement receipts.

VERIFY IT YOURSELF — TRUST NOTHING

curl -s https://szlholdings-killinchu.hf.space/cosign.pub -o cosign.pub
curl -s https://szlholdings-killinchu.hf.space/api/killinchu/v1/receipt/export > receipt.json
# verify the DSSE signature offline  ->  "Verified OK"
# tamper a single byte and re-verify  ->  "Verification failure"

What we claim — and what we don't. We surface only machine-checked facts as fact.

• 5 formulas formally proven & locked in Lean (sorry-free): F1, F11, F12, F18, F19 — this count never moves. A larger experimental tier is kernel-clean / CI-green on main @ b910c276 through Wave 14 (axioms ⊆ propext/Classical.choice/Quot.sound), labeled experimental — never folded into the locked five.
• Λ uniqueness = Conjecture 1 unconditionally; unconditional uniqueness is machine-checked false. Proven CONDITIONAL on separability (CUT-2, axiom-free). Byzantine BFT safety = Conjecture 2.
• SLSA L1 (honest), L2 on the roadmap — cosign-signed images, verifiable via cosign verify. NOT SLSA L2-verified / L3 / FedRAMP / Iron Bank / CMMC.
• Receipts are genuinely signed where a key is present, honestly marked unsigned otherwise — never fabricated.
• Maritime AIS uses a clearly-labeled sample/replay dataset, not a live feed.

Read the thesis (v23, "The Unified Substrate") → szl-papers · Deploy the mesh → uds deploy oci://ghcr.io/szl-holdings/szl-mesh:0.4.0 --confirm