SZL Holdings repository map
This map organizes the public szl-holdings GitHub organization around the
current build center: a11oy, the vertical alignment substrate. It is intended
to be the first navigation layer before pulling code from sibling repositories.
The categorized tables are a curated snapshot; use the clone helper to discover
the live GitHub inventory as additional Replit exports arrive.
Build center
| Repo |
Role |
Default branch |
Primary language |
a11oy |
Vertical alignment substrate: policy, measurement, knowledge, and QEC-integrity packages for governed AI execution. |
main |
TypeScript |
Runtime and composition layer
| Repo |
Role |
Default branch |
Primary language |
platform |
Composing monorepo for the Ouroboros runtime, Lutar formulas, dual-witness adapters, agent tooling, and CI substrate. |
main |
TypeScript |
ouroboros |
Ouroboros runtime for formulas, agentic loops, Bekenstein bounds, and dual-witness emitters. |
main |
TypeScript |
Formal substrate and thesis
| Repo |
Role |
Default branch |
Primary language |
lutar-lean |
Lean 4 + Mathlib kernel proofs for the governance framework, including Lambda-gate theorems and audit-fiber invariants. |
main |
Lean |
ouroboros-thesis |
DOI-pinned thesis substrate for formal AI governance through Lambda-axis scoring, audit fibers, and provable receipts. |
main |
Lean |
Receipts, telemetry, and adapters
| Repo |
Role |
Default branch |
Primary language |
amaru |
Cardano-anchored governance receipt minting and Shor-encoded provenance. |
main |
TypeScript |
rosie |
Receipt orchestration for CSS-ingress and canonical receipt byte-string emission. |
main |
TypeScript |
sentra |
Sensor and telemetry adapter for audit fibers, including Kitaev-surface drift detection. |
main |
TypeScript |
uds-mesh |
Unified Data System span schemas and governance receipts for OTEL-style observability. |
main |
Shell |
vsp-otel |
OpenTelemetry exporter for SZL audit fibers and Lambda-axis spans. |
main |
TypeScript |
Product and vertical applications
| Repo |
Role |
Default branch |
Primary language |
vessels |
Maritime fleet intelligence for sanctions screening, dark-vessel detection, ownership graphs, and voyage analytics. |
main |
TypeScript |
counsel |
Legal matter command scaffold for policy-gated AI workflows, document review, obligation mapping, and proof-chain delivery. |
main |
Not yet classified |
terra |
Real estate intelligence scaffold for deal-pipeline scoring, portfolio analytics, and AI-assisted underwriting. |
main |
Not yet classified |
carlota-jo |
Private advisory operations scaffold for concierge workflow, proof-chain delivery, and multi-party coordination. |
main |
Not yet classified |
Trust, knowledge transfer, and organization operations
| Repo |
Role |
Default branch |
Primary language |
szl-trust |
Public Trust Portal for Covenant Proof Standard run artifacts and deterministic replay. |
main |
Not yet classified |
szl-cookbook |
Recipes for building governed AI systems on the SZL substrate. |
main |
TypeScript |
szl-brand |
Brand assets, logos, social-preview templates, and visual doctrine. |
main |
Python |
agi-forecast |
Forecasting models and scenario library for AI governance trajectories. |
main |
TypeScript |
.github |
Organization profile and community health files. |
main |
Not yet classified |
Local workspace checkout
Use the helper below to discover, clone, or refresh sibling repositories
without mixing their source trees into this repository:
bash scripts/clone-org-repos.sh
When the GitHub CLI is authenticated, the helper asks GitHub for the live repo
list and filters archived repositories and forks by default. Without gh, it
falls back to the curated snapshot above. By default, the helper checks out repos
under .repos/szl-holdings/, which is ignored by git. Override the destination
if you want the checkouts elsewhere:
DEST="$HOME/src/szl-holdings" bash scripts/clone-org-repos.sh
Useful options:
INCLUDE_ARCHIVED=1 bash scripts/clone-org-repos.sh
INCLUDE_FORKS=1 bash scripts/clone-org-repos.sh
UPDATE_WORKTREE=0 bash scripts/clone-org-repos.sh
REMOTE_PROTOCOL=ssh bash scripts/clone-org-repos.sh
Working rule
- Build substrate packages and shared docs here in
a11oy.
- Pull sibling repos into
.repos/szl-holdings/ for cross-repo reading,
integration testing, or later coordinated PRs.
- Do not vendor sibling source trees into
a11oy unless a specific package is
intentionally being migrated into this repository.
