Free DSSE Attestation Online Decoder Tool

GitHub Actions and GitLab CI integration for cilock — wrap any command or downstream action and emit a signed in-toto attestation.

Modular attestation monorepo for cilock — 30+ attestors, 9 signers, the rookery builder for custom binaries. The source of the cilock CLI.

SZL Holdings monorepo — substrate runtime, agentic loops, MCP server (11 tools), reusable workflows, CI gates. Doctrine v11 LOCKED (749/14/163)

A golang implementation for DSSE

Dual-Server-Side-Encryption on AWS S3 objects/buckets

Double-signed receipts for tool invocations by AI agents — DSSE + JCS + Ed25519, verifiable offline.

SZL Holdings organization profile and community files.

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.

Cortex memory + reasoner — every inference cites its source, every memory carries its receipt. Live DSSE-wrapped tick endpoint + 7-chakra runtime. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

Operator console — human-facing UI for verdicts and the live receipt stream. Wire C live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

DOI-pinned thesis substrate for the bounded-loop runtime implementing the Λ aggregator. Doctrine v11 · DOI 10.5281/zenodo.20434276

SZL Holdings unified documentation — math-grounded, Quechua-rooted governed-AI docs (VitePress). Doctrine v11 LOCKED (749/14/163). docs.szlholdings.com

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

This implementation was created for a Cryptography course project-Dynamic Searchable Symmetric Encryption (DSSE) with Forward Privacy

Minimal end-to-end demo of SLSA Build L3 provenance: a 12-line Go binary that signs its own provenance on every tag, plus a verifier walkthrough.

Policy immune system — deny by default, allow with proof. Eight gates evaluate every action; verdict signed, traced, chained. Wire B live. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276

Cryptographic attestation framework for LLM supply-chain security, tamper-evident provenance for prompts, training data, evaluations, routing, and SLOs with Sigstore keyless signing, OCI distribution, and OPA policy enforcement

Lean 4 + Mathlib formalization of the Λ aggregator — Λ uniqueness as Conjecture 1 (not a closed theorem). 749 declarations · 14 axioms · 163 tracked sorries. Backs the SZL governance gate. Doctrine v11 LOCKED · DOI 10.5281/zenodo.20434308

UDS cross-component span schemas + DSSE governance receipts onto the Khipu Merkle DAG. Doctrine v11 LOCKED (749/14/163) · DOI 10.5281/zenodo.20434276