SZL Holdings

Team

company

https://www.boss.technology/

stephenlutar2-hash

Activity Feed Request to join this org

AI & ML interests

None defined yet.

Recent Activity

betterwithage updated a Space about 8 hours ago

SZLHOLDINGS/immune

betterwithage updated a Space about 8 hours ago

SZLHOLDINGS/cosmos

betterwithage published a Space about 8 hours ago

SZLHOLDINGS/cosmos

View all activity

Organization Card

Community About org cards

Holding company · Kernel c7c0ba17 · Doctrine-bound

Governed AI you can prove.

SZL Holdings builds governed autonomy with a checkable receipt for every decision. Every autonomous action carries a machine-checked, tamper-evident warrant — proof of under what authority it acted, on what trust evidence, and that the record was not quietly rewritten.

8 locked-proven ~185 machine-checked Λ = Conjecture 1 Khipu = Conjecture 2 SLSA L1 · L2 attested · L3 roadmap cosign keyless

Enter a11oy — the console → Read the proof →

The portfolio · one signed substrate

Flagship · command platform

a11oy →

The governed-AI console: ask-and-act behind deny-by-default gates, a live decision feed, and a signed receipt for every action.

Counter-UAS · maritime C2

killinchu →

Air-and-sea field demonstration: live track board, multi-sensor fusion, sanctions and dark-vessel screening — with verify-it-yourself receipts (effector link is a labeled simulation).

The living substrate

anatomy →

A 3D, navigable map of the governed organism — its organs, how a decision flows through them, and where each proof and conjecture honestly sits.

Also in the org

david-leads → Sovereign insurance intelligence — audit-defensible leads from public data only. immune → Verifiable-AI defense — an append-only SHA-256 receipt chain with admission gates and tripwires. sda → Domain awareness — graph anomaly detection and multi-sensor track fusion into a Λ-gated picture. yarqa → Plug-flow compartments — a CFD engineering-method loop: sense → route → gate → receipt. llm-router → Governed model routing — own metal first, then free tiers, then paid fallback, with honest provenance.

Verify it yourself · trust nothing

Confirm a decision happened, exactly as recorded — with zero trust in SZL

Pull the public signing key and a signed receipt from a live field node, then verify offline:

# pull the public key + a signed receipt from the live field node
curl -s https://huggingface.co/proxy/szlholdings-killinchu.hf.space/cosign.pub -o cosign.pub
curl -s https://huggingface.co/proxy/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.

• 8 formulas formally proven & locked in Lean (sorry-free): F1, F4, F7, F11, F12, F18, F19, F22 — this count never inflates. A larger experimental tier is kernel-clean / CI-green on main @ c7c0ba17 across Waves 11–23 (axioms ⊆ propext / Classical.choice / Quot.sound), labeled experimental — never folded into the locked eight.
• Λ uniqueness = Conjecture 1 — unconditional uniqueness is machine-checked false. The conditional uniqueness (Theorem U, on separability) is proven axiom-free. Khipu Byzantine BFT safety = Conjecture 2 (Wave23 proves a conditional quorum-agreement, axiom-clean; unconditional stays open).
• SLSA L1 (honest) · L2 build-attested — container provenance via Sigstore keyless (Fulcio + Rekor) where attest-build-provenance runs & verifies (a11oy, killinchu); verify with gh attestation verify / cosign verify-attestation. L3, FedRAMP, Iron Bank, CMMC, ATO = roadmap.
• Receipts are genuinely signed where a key is present, honestly marked unsigned otherwise — never fabricated. Trust is never 100%.
• Maritime AIS uses a clearly-labeled sample/replay dataset, not a live feed.