:PROPERTIES:
:CREATED:  [2026-05-24 Sun]
:ID:       284f5c7a-1d2b-4e3f-8c6d-9a0b1c2d3e4f
:END:
#+title: Passepartout — A Verifiable Personal Intelligence
#+filetags: :index:navigation:

Passepartout is a self-bootstrapping, verified neurosymbolic Lisp machine that speaks the Passepartout Social Protocol. One project, one source tree, one image — from the Python prototype on Gitea to the Lisp verification appliance on custom silicon.

Start with the [[id:4a1f23b0-abc1-4def-9876-543210abcdef][staged roadmap]] which walks from conventional computing through each capability layer of Passepartout, ending at what remains.

**Sections:**

- [[id:1c3ec48b-446c-50d2-b53e-126a81f5143f][Architecture — Passepartout overview]] — the three subsystems (verification, environment, protocol) and how they compose
- [[id:1d074690-a279-59cb-b91d-e9a22ae104ad][Passepartout Social Protocol]] — identity, communication, contracts, governance (the protocol Passepartout implements)
- [[id:329a30cd-55fb-496d-a60b-91388c211bba][Ideas]] — all concept pages and analysis across themes

**Core concept pages:**

- [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification Appliance]] — what a verified Lisp image means, the ACL2 bootstrap
- [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-Driving Lisp Machine]] — the convergence of all Passepartout subsystems on custom hardware
- [[id:1c95ce7d-a2db-506a-9608-df68f9ae211b][Lisp Machine Security]] — Merkle memory, gate stack, structural proofs
- [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain Gate Packages]] — capability authorization, the Dispatcher
- [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate Rule Encoding]] — how policies are encoded and enforced
- [[id:4a1f23b0-abc1-4def-9876-543210abcdef][Passepartout staged roadmap]] — the progressive build-out from Stage 0 to Stage 7