dsse

a11oy — full orchestrator application (Command Center, Five Superpowers, Warhacker, Observability, Wires, Mesh, Formulas, Evidence, LLM Router). Signed-receipt substrate; receipts.in ≡ receipts.out. SLSA L1 honest · L2 roadmap · Λ = Conjecture 1 · Apache-2.0.

Open infrastructure for verifiable Android supply-chain audits, reproducible builds, AOSP testing, and signed evidence reports.

Open format for a governed AI inference decision receipt (decision, Λ status, measured-or-null energy, hash chain, DSSE) + a dependency-free offline verifier. Receipt-tier trust: honest, replayable, not zero-knowledge. By SZL Holdings.

Energy-metered governed inference receipts — NVML joules, tokens/joule, advisory policy gate. Hash-chained, DSSE-signed. Honest UNAVAILABLE when NVML unset. Λ = Conjecture 1 · Apache-2.0.

Live Lean v4.13.0 kernel for the Lutar Invariant — Λ uniqueness as Conjecture 1. 749/14/163, source-mirrored from HF Space SZLHOLDINGS/lean-kernel. Doctrine v11 LOCKED · Apache-2.0.

Governed RMSNorm/LayerNorm universal kernel — correctness-verified normalization with optional SHA3-256 hash-chained provenance receipts. Mirrors HF SZLHOLDINGS/szl-governed-norm. Λ = Conjecture 1 (advisory) · Apache-2.0.

SZL khipu-sda-core — sovereign clean-room anomaly/SDA engine (Domain-Superiority). Signed receipts + Λ-gated honest confidence. Doctrine v11. Clean-room from permissive lineage; inspired by True Anomaly Mosaic (not affiliated).

SZL UDS Zarf bundles for the two products (a11oy + killinchu) and their capability services — airgap-deployable, cosign-signed, SLSA L1+L2. Doctrine v11 LOCKED (749/14/163) · Apache-2.0.

Doctrine-pinned CRDT mesh layered on peat — BFT wiring, 3-of-4 Khipu quorum, seven inventions beyond UDS Fleet. Doctrine v11 LOCKED (749/14/163).

Λ (Lambda-Spine) aggregator universal kernel — weighted geometric mean over axis scores in [0,1] with an ADVISORY governance gate + A1-A4 axiom self-checks. Λ = Conjecture 1 (advisory, uniqueness open) · NOT proven trust. Mirrors HF SZLHOLDINGS/szl-lambda-gate · Apache-2.0.

Wrap any LLM guardrail (Llama-Guard / NeMo / guardrails-ai / your callable) and emit a signed, hash-chained DSSE decision receipt — aligned with governed-receipt-spec. UNSIGNED-honest fallback; never fabricates a signature, energy joule, or a Λ 'proven'.

Artifact signing, verification & SLSA/in-toto provenance — DSSE envelopes with ed25519 or portable HMAC, no external crypto

Attestable energy receipts for governed compute — MEASURED-NVML joules (or honest UNAVAILABLE null), cheapest-watt placement, hash-chained signable receipts. Vendors szl_energy_core. Λ = Conjecture 1 (advisory) · never fabricates a joule · Mirrors HF SZLHOLDINGS/szl-energy-attest · Apache-2.0.

VCC — Verifiable Calculation Certificates. An experimental open protocol for portable calculation evidence: signed, offline-verifiable receipts proving a number is the reproducible output of a named, versioned formula.

SZL doctrine + org-wide governance workflows (secret health, etc.)

Evidence-bound analysis and finite intervention control for collective workflows.

Loss-aware receiver-side admission kernel for AI agents: explicit UNKNOWN, exact evidence challenges, least-authority scope, and signed DSSE/Ed25519 receipts. Synthetic offline prototype.

BFT 3-of-4 multi-party-witnessed agreement — each witness signs an action hash with its own ECDSA P-256 cosign key over DSSE. The category SZL invents: multi-party-witnessed AI. Doctrine v11 LOCKED (749/14/163).

szl-substrate — installable shared substrate package for a11oy + killinchu. Eliminates 69-file source duplication. Pure-stdlib where possible; DSSE-signed receipts; Λ = Conjecture 1 (advisory). SLSA L1 honest · L2 roadmap · Apache-2.0. Doctrine v11 LOCKED (749/14/163).

szl-otel-mesh — UDS cross-component OTel span schemas + DSSE governance receipts onto Khipu Merkle DAG. Layer-5 observability for the SZL 5-organ mesh. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434276 · Apache-2.0.