2.7 KiB
Passepartout Triad — Knowledge Base
The triad replaces every layer of the modern computing stack with Lisp-native, user-owned, ACL2-verified alternatives. Three components:
- Logos (Passepartout) — the cognitive agent
- Stoa (The Porch) — the environment
- Agora (The Society) — the network
Total addressable market: ~$960B/year across cloud, AI, OS, social media, payments, productivity, and compliance.
The business model is the AWS of provable computing: AGPL infrastructure is free, revenue comes from verification appliances, gate rules, certification, namespace registry, hosted PDS, and a compute marketplace. Network effects are positive sum — every instance feeds the regression suite and grows the marketplace.
Lisp Machine security — unified memory threat model Common Logic (ISO 24707) — relevance to the triad
Key analytical frames:
- Investment thesis — the unified view
- Why Lisp is economically viable now
- The per-domain sufficiency flip
- Development velocity and timeline estimates
- Cost structure and zero marginal cost
- Competitive moats analysis
Revenue paths (short to long term):
- Verification appliance Domain gate packages Evaluation harness
- Agora premium usernames PDS as a service Compute marketplace
- Verification monopoly — the big money Infrastructure lock-in
Strategy and IP:
- Patent strategy Licensing (AGPL + commercial)
- Impact on the AI/GPU industry
- Upgrade and distribution lifecycle
- Gate rule encoding from codified domains
- Biology as proof of the Lisp model
- Comparison with Symbolics Genera
The lines that run the modern internet (tens of millions across Google, Meta, Amazon, Apple, Microsoft) are replaced by a single coherent architecture where one gate stack verifies everything and one prover proves everything consistent.