Spaces:
Running
Running
| # 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`](https://github.com/szl-holdings/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`](https://github.com/szl-holdings/platform) | Composing monorepo for the Ouroboros runtime, Lutar formulas, dual-witness adapters, agent tooling, and CI substrate. | `main` | TypeScript | | |
| | [`ouroboros`](https://github.com/szl-holdings/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`](https://github.com/szl-holdings/lutar-lean) | Lean 4 + Mathlib kernel proofs for the governance framework, including Lambda-gate theorems and audit-fiber invariants. | `main` | Lean | | |
| | [`ouroboros-thesis`](https://github.com/szl-holdings/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`](https://github.com/szl-holdings/amaru) | Cardano-anchored governance receipt minting and Shor-encoded provenance. | `main` | TypeScript | | |
| | [`rosie`](https://github.com/szl-holdings/rosie) | Receipt orchestration for CSS-ingress and canonical receipt byte-string emission. | `main` | TypeScript | | |
| | [`sentra`](https://github.com/szl-holdings/sentra) | Sensor and telemetry adapter for audit fibers, including Kitaev-surface drift detection. | `main` | TypeScript | | |
| | [`uds-mesh`](https://github.com/szl-holdings/uds-mesh) | Unified Data System span schemas and governance receipts for OTEL-style observability. | `main` | Shell | | |
| | [`vsp-otel`](https://github.com/szl-holdings/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`](https://github.com/szl-holdings/vessels) | Maritime fleet intelligence for sanctions screening, dark-vessel detection, ownership graphs, and voyage analytics. | `main` | TypeScript | | |
| | [`counsel`](https://github.com/szl-holdings/counsel) | Legal matter command scaffold for policy-gated AI workflows, document review, obligation mapping, and proof-chain delivery. | `main` | Not yet classified | | |
| | [`terra`](https://github.com/szl-holdings/terra) | Real estate intelligence scaffold for deal-pipeline scoring, portfolio analytics, and AI-assisted underwriting. | `main` | Not yet classified | | |
| | [`carlota-jo`](https://github.com/szl-holdings/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`](https://github.com/szl-holdings/szl-trust) | Public Trust Portal for Covenant Proof Standard run artifacts and deterministic replay. | `main` | Not yet classified | | |
| | [`szl-cookbook`](https://github.com/szl-holdings/szl-cookbook) | Recipes for building governed AI systems on the SZL substrate. | `main` | TypeScript | | |
| | [`szl-brand`](https://github.com/szl-holdings/szl-brand) | Brand assets, logos, social-preview templates, and visual doctrine. | `main` | Python | | |
| | [`agi-forecast`](https://github.com/szl-holdings/agi-forecast) | Forecasting models and scenario library for AI governance trajectories. | `main` | TypeScript | | |
| | [`.github`](https://github.com/szl-holdings/.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 | |
| 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: | |
| ```bash | |
| DEST="$HOME/src/szl-holdings" bash scripts/clone-org-repos.sh | |
| ``` | |
| Useful options: | |
| ```bash | |
| 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. | |