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
43 lines
2.8 KiB
Org Mode
43 lines
2.8 KiB
Org Mode
:PROPERTIES:
|
|
:ID: 1c3ec48b-446c-50d2-b53e-126a81f5143f
|
|
:END:
|
|
#+title: Passepartout Triad — Knowledge Base
|
|
#+filetags: :passepartout:triad:economics:index:
|
|
|
|
The triad replaces every layer of the modern computing stack with Lisp-native, user-owned, ACL2-verified alternatives. Three components:
|
|
|
|
- [[file:triad-overview.org][Logos (Passepartout) — the cognitive agent]]
|
|
- [[file:stoa.org][Stoa (The Porch) — the environment]]
|
|
- [[file:agora.org][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.
|
|
|
|
[[file:lisp-machine-security.org][Lisp Machine security — unified memory threat model]]
|
|
[[file:common-logic-iso-24707.org][Common Logic (ISO 24707) — relevance to the triad]]
|
|
[[file:collective-regression-suite.org][Collective regression suite — how it compounds]]
|
|
|
|
Key analytical frames:
|
|
- [[file:investment-thesis.org][Investment thesis — the unified view]]
|
|
- [[file:lisp-economics.org][Why Lisp is economically viable now]]
|
|
- [[file:sufficiency-flip.org][The per-domain sufficiency flip]]
|
|
- [[file:time-estimates.org][Development velocity and timeline estimates]]
|
|
- [[file:cost-structure.org][Cost structure and zero marginal cost]]
|
|
- [[file:moats.org][Competitive moats analysis]]
|
|
|
|
Revenue paths (short to long term):
|
|
- [[file:verification-appliance.org][Verification appliance]][[file:domain-gate-packages.org][ Domain gate packages]][[file:evaluation-harness.org][ Evaluation harness]]
|
|
- [[file:agora-usernames.org][Agora premium usernames]][[file:pds-as-a-service.org][ PDS as a service]][[file:compute-marketplace.org][ Compute marketplace]]
|
|
- [[file:verification-monopoly.org][Verification monopoly — the big money]][[file:infrastructure-lock-in.org][ Infrastructure lock-in]]
|
|
|
|
Strategy and IP:
|
|
- [[file:patent-strategy.org][Patent strategy]][[file:licensing.org][ Licensing (AGPL + commercial)]]
|
|
- [[file:ai-industry-impact.org][Impact on the AI/GPU industry]]
|
|
- [[file:upgrade-lifecycle.org][Upgrade and distribution lifecycle]]
|
|
- [[file:gate-rule-encoding.org][Gate rule encoding from codified domains]]
|
|
- [[file:biology-parallels.org][Biology as proof of the Lisp model]]
|
|
- [[file:comparison-with-symbolics.org][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.*
|