SZLHOLDINGS/szl-artifacts
1.65 MB
AI & ML interests
None defined yet.
Recent Activity
Organization Card
Skip to character roster
THE MESH · FIVE ORGANS · LIVE 3D · CHARACTER ROSTER
Governed Agentic Mesh Provable by math · signed by receipts · runs on your hardware · UDS Core compatible · ZARF-packaged
Deep-dive companion sections within existing flagship Spaces. Doctrine v11 LOCKED. DOI 10.5281/zenodo.19944926.
-
amaru — Memory Attestation (Cardano-Anchored)
🐍memory cortex — Cardano-anchored receipt chain
-
rosie — Operator Console
🔄Provenanced AI aide. Every action signed. Memory yours.
-
sentra — Policy Immune System
🛡sentra — policy immune system · 8 gates live
-
Khipu Constellation
🌌Explore receipt data as a 3D star constellation
Deep-dive companion sections within existing flagship Spaces. Doctrine v11 LOCKED. DOI 10.5281/zenodo.19944926.
-
amaru — Memory Attestation (Cardano-Anchored)
🐍memory cortex — Cardano-anchored receipt chain
-
rosie — Operator Console
🔄Provenanced AI aide. Every action signed. Memory yours.
-
sentra — Policy Immune System
🛡sentra — policy immune system · 8 gates live
-
Khipu Constellation
🌌Explore receipt data as a 3D star constellation
Lean proofs, formulas, thesis corpus, doctrine — the data substrate behind the mesh.
spaces 9
pinned
Running
a11oy — Governance Substrate
🔬
a11oy — policy + receipt substrate
pinned
Running
amaru — Memory Attestation (Cardano-Anchored)
🐍
memory cortex — Cardano-anchored receipt chain
pinned
Running
rosie — Operator Console
🔄
Provenanced AI aide. Every action signed. Memory yours.
pinned
Running
sentra — Policy Immune System
🛡
sentra — policy immune system · 8 gates live
pinned
Running
Lean Kernel — Lutar Invariant Λ
🔏
Live Lean v4.13.0 kernel for the Lutar Invariant
datasets 42
SZLHOLDINGS/readiness-runs
Viewer • Updated • 18 • 16
SZLHOLDINGS/szl-lake
Updated • 13
SZLHOLDINGS/org-card-assets
Updated • 1
SZLHOLDINGS/usb-bundle-v1
Updated • 20
SZLHOLDINGS/uds-bundles-v1
Updated • 42
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 11 • 278
SZLHOLDINGS/k-verify-benchmark-v1
Updated • 13
SZLHOLDINGS/yuyay-v3-axis-labels-v1
Viewer • Updated • 500 • 11
SZLHOLDINGS/doctrine-v10-v11
Updated • 134
SZLHOLDINGS/thesis-corpus-v18
Updated • 133