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 dataset about 2 hours ago

SZLHOLDINGS/szl-lake

betterwithage updated a Space about 3 hours ago

SZLHOLDINGS/anatomy

betterwithage updated a dataset about 4 hours ago

SZLHOLDINGS/readiness-runs

View all activity

Organization Card

Community About org cards

System online · Kernel c7c0ba17 · Doctrine-bound

Governed AI you can prove.

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

Open the live console Verify it yourself

Three products · one signed substrate

Command platform

a11oy →

One pane of glass for governed AI: ask-and-act with deny-by-default gates, trust scoring with confidence intervals, a live decision feed, readiness, forecasting, and signed receipts.

Counter-UAS · maritime C2

killinchu →

Field tool for air and sea: live track board, multi-sensor fusion, maritime picture (sanctions + dark-vessel detection), engagement rules, and verify-it-yourself signed receipts.

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.

The flagship

a11oy Code — Chaski

A governed agentic agent

Chaski — the Inca relay-runner who carries the khipu — plans, retrieves, calls tools, writes and runs code, and orchestrates both SZL apps. Every step is Λ-scored, DSSE/Khipu-receipted, and bounded by a machine-checked termination proof. Claude-Code-class in shape; the differentiator is provable governance, not raw model size. The headline: prompt-injection and poisoned retrieval provably cannot flip a DENY into an ALLOW.

◆ Λ-gate scores every step (Conjecture 1 / Theorem U conditional)
◆ DSSE / Khipu receipts — signed, hash-chained, re-verifiable
◆ Lean-proven termination — the loop provably halts
◆ 2-person quorum — write actions need Khipu BFT approval
◆ M2M envelope — low-support answers return i_dont_know
◆ No-key → honest labeled stub, never a faked result

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 the live field node, then verify offline:

# pull the public key + a signed receipt from the live field node
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.

• 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.