Everything you need to tell our story straight.
Boilerplate, canonical messages, fast facts, and collateral — all honest, all verifiable.
One house rule governs everything on this page: we only claim what we can show. Every capability statement below traces to running code, a bootable image, or a public commit — and where we're early, we say so. Quote freely; the wording below is canonical.
Boilerplate
The canonical messages
Fast facts
| What | A capability-secure operating system (sigilOS) and the memory-safe systems language it's written in (Sigil), plus a self-hosting, byte-reproducible compiler (cc0). |
|---|---|
| The differentiator | Four hard things at once, on one safe language: explicit authority (no ambient trust), memory safety (zero C), contracts proven before runtime then erased, and a verifiable reproducible trust base. |
| Proven today | Boots on real x86-64 hardware to a rendered login; the compiler self-hosts reproducibly; a first native app (Forge) ships for macOS, Linux, and Windows. |
| Honest status | Pre-1.0. Uncertified. Raspberry Pi 4B bring-up and driver breadth are active work — developed fully in the open on the blog and changelog, hard parts included. |
| Security posture | We commissioned an independent red-team/blue-team review of the entire stack while still pre-1.0 and published the findings — strengths, gaps, and a public remediation plan, no exploit details. Read the brief. |
| Where it fits | Safety-critical & high-assurance · defense & sovereign · embedded/edge · gaming & enthusiast (shipping) · the Sigil developer platform — detailed, with honest fit labels, in the industry packets. |
| Headquarters | Manhattan, Kansas — "the Little Apple." |
| Web | sigilos.net · press contact: sigil2@grio.co |
Downloads
Investor deck
Problem → insight → the plain-terms analogy → product → moat → proof-on-metal → why-now → market → the competition (honestly) → GTM → the ask.
DownloadOne-page brief
The whole story on a page: the problem, the bet, plain terms, why now, the moat, proof, and the ask — with honest maturity labels.
DownloadThe manifesto
The full narrative — written to make the most battle-hardened security leader curious. Read it the way a visitor does.
Read itForge (native app)
Don't take our word for anything — download the shipping native binary for macOS, Linux, or Windows and verify its SHA-256.
Get ForgeGround rules for quoting us
Say we're early — it's true and we say it ourselves. Don't say "certified," "production-ready," or attach benchmarks we haven't published; if you need a claim verified, ask (sigil2@grio.co) and we'll point you at the commit, the image, or the boot footage. The difference model is the canonical comparison against QNX, seL4, Linux, Windows, and macOS — where a competitor genuinely leads, it says so.