SZL builds on an explicit doctrine of honest maturity: we publish what is MEASURED, label what is MODELED, and claim only what has a checkable artifact. The differentiator is not a flown prototype — it is verifiable provenance + assurance, sovereign on-metal compute, and a refusal to overclaim. Below: where a11oy and its surfaces fit federal pathways, and exactly how mature each claim is.
In a market where “signed: yes” has already certified a supply-chain worm (see the Mini Shai-Hulud case study), an evaluator’s hardest problem is telling a real capability from a confident slide. Our doctrine is built to make that easy:
| Principle | What it means for an evaluator |
|---|---|
| Prove-or-downgrade | Every DONE claim has a checkable artifact: a pushed commit SHA, an HTTP 200 from a named endpoint, or a verifying signature. No artifact → it is labelled RECOMMENDED or ROADMAP, not claimed. |
| Label every value | MEASURED / MODELED / SAMPLE / STRUCTURAL-ONLY. A modeled physics bound is never dressed up as flown telemetry. |
| Never overclaim | No fabricated numbers, TRL, signatures, partnerships, or flown-hardware claims. Λ is Conjecture 1 (advisory), never “proven trust.” |
| Behaviour over attestation | We trust the behaviour we can observe and the receipts we can replay — not the attestation we were handed. |
The result is a capability statement an evaluator can verify in a browser, line by line, against live endpoints — the opposite of a black box.
Founder is handling SAM.gov registration (via an APEX Accelerator) and federal submission mechanics; the engineering artifacts behind each pathway are live and verifiable now at a-11-oy.com. Private submission content is not published here by design.