Spaces:
Running
Running
File size: 5,678 Bytes
a6a5d8e | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 | # 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.
|