# SZL Holdings --- Service Status

**Last updated:** 2026-08-24T22:16:10Z

**Doctrine:** v11 LOCKED 749/14/163 | SLSA L1 honest | kernel: c7c0ba17

## Flagship Endpoints

_Flagship organs: a11oy (governance + receipt substrate; sentra/amaru/rosie consolidated in) and killinchu (Andean drone intelligence)._

| Endpoint | Status | State |
|----------|--------|-------|
| a11oy root | OK 200 | Operational |
| a11oy lambda | ERR 404 | Degraded |
| a11oy honest | ERR 404 | Degraded |
| a11oy fleet | OK 200 | Operational |
| killinchu root | OK 200 | Operational |
| killinchu lambda | OK 200 | Operational |
| killinchu honest | OK 200 | Operational |

## Doctrine Invariants

| Invariant | Value | Status |
|-----------|-------|--------|
| Doctrine version | v11 LOCKED | OK |
| Declarations | 749 | OK |
| Axioms | 14 | OK |
| Sorries | 163 | OK |
| Kernel commit | c7c0ba17 | OK |
| Lambda | Conjecture 1 | OK |
| SLSA | L1 honest | OK |
| Section 889 | 5 vendors | OK |

## Receipt Provenance

_Continuous re-verification of published governance receipts against the public Rekor transparency log (issue #195) and of the published release-asset DSSE envelopes against the Sigstore/Rekor trust root (issue #241)._

| Check | Value | Status |
|-------|-------|--------|
| Rekor receipt re-check | OK | Receipts verify against Rekor |
| Release receipt re-check | OK (soft) | No release assets published yet --- nothing to re-verify |

---
*Auto-generated by status-page.yml GHA workflow. Doctrine v11 LOCKED.*
