Maritime fleet intelligence UI: sanctions screening, dark-vessel detection, ownership-graph analysis, and voyage analytics — every consequential alert backed by a governance receipt through the a11oy fabric.
vessels is the maritime domain UI of the SZL stack. It provides real-time fleet monitoring, sanctions screening against OFAC/UN/EU lists, dark-vessel (AIS-gap) detection, beneficial-ownership graph traversal, and voyage analytics. Every consequential alert and recommendation is backed by a cryptographic audit receipt produced through the a11oy governed-execution fabric.
Important
Container image (STAGED): the UDS bundle references ghcr.io/szl-holdings/vessels:uds-v0.3.0. A docker push to GHCR is required before the bundle is fully functional; demo deployments currently use a local build.
vessels is a domain UI that consumes governed decisions from the orchestrator a11oy, which sits at the center of the five-module stack. sentra feeds security telemetry into a11oy; amaru mints the receipts; and rosie is the operator console over the receipt DAG.
sentra ──┐ ┌── rosie (operator console)
(security) │ │
▼ │
┌──────────────┐ │
│ a11oy │────────────┤
│ orchestrator │ │
└──────────────┘ └──► vessels (maritime UI)
│ Λ-governed alerts +
▼ human review gate
amaru (receipt minting)
vessels depends on the orchestrator via @workspace/a11oy-orchestration.
# Full stack (UDS):
uds run start
# Module only:
pnpm install
pnpm test # screening + detection tests
pnpm dev # run the fleet-intelligence UI locally| Surface | Link |
|---|---|
| Live demo (Docker Space) | SZLHOLDINGS/vessels-app |
| Landing | SZLHOLDINGS/vessels-platform |
| Source mirror | SZLHOLDINGS/vessels-source |
| Org | huggingface.co/SZLHOLDINGS |
Hugging Face is a mirror, not the canonical release source.
Alerts are backed by DSSE-enveloped receipts (in-toto statement payloads). The latest release ships signed artifacts (.sig + Sigstore bundle) alongside SBOMs (SPDX + CycloneDX). Latest-release signature search via the public Sigstore transparency log:
- Sigstore search: search.sigstore.dev
- Release artifacts: github.com/szl-holdings/vessels/releases/latest
All counts are grep-verifiable against main.
| Metric | Value | Verify |
|---|---|---|
| TypeScript / TSX source files | 171 | find . \( -name "*.ts" -o -name "*.tsx" \) -not -path '*/node_modules/*' -not -path './.git/*' | wc -l |
| Signed release artifacts (latest) | yes (.sig + Sigstore bundle) |
gh release view --repo szl-holdings/vessels --json assets |
| Lean declarations (lutar-lean) | 626 | grep -rE '^(theorem|lemma|def|abbrev|axiom) ' lutar-lean/Lutar/ | wc -l |
| Lean axioms (lutar-lean) | 15 raw / 14 unique | grep -rE '^axiom ' lutar-lean/Lutar/ | wc -l |
| Lean sorries (lutar-lean) | 189 total (each named with a tracked discharge route) | grep -rE '\bsorry\b' lutar-lean/Lutar/ | wc -l |
| Doctrine | v7 · 15 axioms (14 unique) | .github/DOCTRINE_V7.md |
| SLSA | L1 honest (SBOM + DCO; source + build provenance documented) | slsa.dev |
Featured at Warhacker, June 16–19. The publicly verifiable signed deployment artifact is the vessels release uds-v0.3.0 (cosign keyless; .sigstore.json + .sha256). The org deployment bundle in szl-holdings/szl-uds-deployment is a private repo and is not yet public.
LicenseRef-SZL-Proprietary — SZL Holdings. See LICENSE.
See CITATION.cff.
S. P. Lutar Jr., "vessels — Maritime fleet intelligence,"
Zenodo, DOI 10.5281/zenodo.20434276, 2026.
ORCID: 0009-0001-0110-4173 · DOI: 10.5281/zenodo.20434276
See SECURITY.md for responsible-disclosure policy.