3e32ea9959
All 31 files from ideas/passepartout-economics/ promoted to ideas/ root. - Subfolder's passepartout-economics.org (42-line index) renamed to triad-index.org to avoid collision with root-level full doc - index.org removed (redundant — triad-index.org replaces it) - Root-level passepartout-economics.org: stripped file:passepartout-economics/ prefix from all cross-references (now simple file:foo.org links) - compliance-framework-mapping.org: same prefix cleanup - All internal file: links within the economics docs already used simple names (no prefix) — they resolve correctly from ideas/ root
2.8 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 Collective regression suite — how it compounds
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.