# SZL Holdings --- Service Status

**Last updated:** 2026-06-28T23:47:36Z

**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 | OK 200 | Operational |
| a11oy honest | OK 200 | Operational |
| 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 | ERR failure | Re-verification FAILED |
| Release receipt re-check | ERR failure | Re-verification FAILED |

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