:PROPERTIES:
:ID:       a1fac32a-47de-5fbd-b67d-29152c851747
:END:
#+title: Triad Overview — Logos, Stoa, Agora
#+filetags: :passepartout:triad:architecture:

The full triad is a self-bootstrapping replacement for the entire computing stack, not a single product.

**Logos (Passepartout)** — The mind. Cognitive agent combining a probabilistic LLM (10% of work) with a deterministic symbolic engine (80%) at near-zero marginal cost. Gate stack, fact store, ACL2 prover, Screamer constraint solver.

**Stoa (The Porch)** — The body. Editor (Lish), browser (Nyxt), shell (Lish), Org-mode filesystem, Qt/EQL5 UI. A single Lisp image where everything coexists. Roadmap: v2.0.0 (Qt/WebKit) → v6.0.0 (pure Lisp, hardware).

**Agora (The Society)** — The network. Self-sovereign DID identity, DIDComm encrypted messaging, Personal Data Store, Relay Network, compute marketplace, liquid democracy.

All three speak plists. All three operate in Lisp address space. All three are verified by the same ACL2 prover. The gate stack that verifies a shell command also verifies a DIDComm message.

See also: [[file:investment-thesis.org][The investment thesis]], [[file:verification-appliance.org][Verification appliance]], [[file:pds-as-a-service.org][PDS as a service]], [[file:compute-marketplace.org][Compute marketplace]]