From 303e8c6306e397fbd92b36366a244abfd838d7fb Mon Sep 17 00:00:00 2001 From: Hermes Date: Thu, 21 May 2026 19:40:54 +0000 Subject: [PATCH] Convert cross-references from [[id:uuid]] to [[file:name.org]] MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit All 117 inter-node links now use [[file:node-name.org][title]] format which renders as clickable hyperlinks in both Emacs (C-c C-o) and web-based org renderers (Gitea, GitHub). Each node retains its :ID: UUID property for Emacs org-roam database features (backlinks, capturing, node-find). Prev format: [[id:uuid][title]] — Emacs only, dead text on web New format: [[file:name.org][title]] — works everywhere --- .../agora-usernames.org | 2 +- ideas/passepartout-economics/agora.org | 6 ++-- .../ai-industry-impact.org | 2 +- .../biology-parallels.org | 2 +- .../comparison-with-symbolics.org | 2 +- .../compute-marketplace.org | 2 +- .../passepartout-economics/cost-structure.org | 2 +- .../domain-gate-packages.org | 2 +- .../evaluation-harness.org | 4 +-- .../gate-rule-encoding.org | 2 +- ideas/passepartout-economics/index.org | 2 +- .../infrastructure-lock-in.org | 2 +- .../investment-thesis.org | 2 +- ideas/passepartout-economics/licensing.org | 2 +- .../passepartout-economics/lisp-economics.org | 2 +- ideas/passepartout-economics/moats.org | 2 +- .../passepartout-economics.org | 36 +++++++++---------- .../patent-strategy.org | 2 +- .../pds-as-a-service.org | 2 +- .../self-driving-lisp-machine.org | 2 +- ideas/passepartout-economics/stoa.org | 2 +- .../sufficiency-flip.org | 2 +- .../passepartout-economics/time-estimates.org | 2 +- .../passepartout-economics/triad-overview.org | 2 +- .../upgrade-lifecycle.org | 2 +- .../verification-appliance.org | 2 +- .../verification-monopoly.org | 4 +-- .../verified-skill-marketplace.org | 2 +- 28 files changed, 49 insertions(+), 49 deletions(-) diff --git a/ideas/passepartout-economics/agora-usernames.org b/ideas/passepartout-economics/agora-usernames.org index 22f330f..3e807a6 100644 --- a/ideas/passepartout-economics/agora-usernames.org +++ b/ideas/passepartout-economics/agora-usernames.org @@ -12,4 +12,4 @@ The DID system is permissionless — anyone generates their own DID via HD key d At scale: 1M premium usernames at $10/yr average = $10M/yr recurring. The namespace registry is a natural monopoly — the early player's registry is the most widely accepted, so every new user registers there. Network effects lock in. -See also: [[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][PDS as a service]], [[id:3c6b0449-a8fb-5b89-b82a-34efb21ef5b5][Compute marketplace]] +See also: [[file:pds-as-a-service.org][PDS as a service]], [[file:compute-marketplace.org][Compute marketplace]] diff --git a/ideas/passepartout-economics/agora.org b/ideas/passepartout-economics/agora.org index 9de8f81..de1f3d9 100644 --- a/ideas/passepartout-economics/agora.org +++ b/ideas/passepartout-economics/agora.org @@ -17,6 +17,6 @@ Agora is the decentralized identity and communication layer that connects Passep The PDS is Passepartout's in-process memory — the Merkle tree, the fact store, the memory-objects. Every memory-object already has a SHA-256 hash, which maps directly to Agora's CIDv1 content addressing. Revenue paths from Agora: -- [[id:2e390c1d-65f3-5fb3-b898-ac3fc4291ee7][Premium username registry]] — $10M/yr at scale -- [[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][PDS as a service]] — $18M/yr at scale -- [[id:3c6b0449-a8fb-5b89-b82a-34efb21ef5b5][Compute marketplace]] — venture-scale +- [[file:agora-usernames.org][Premium username registry]] — $10M/yr at scale +- [[file:pds-as-a-service.org][PDS as a service]] — $18M/yr at scale +- [[file:compute-marketplace.org][Compute marketplace]] — venture-scale diff --git a/ideas/passepartout-economics/ai-industry-impact.org b/ideas/passepartout-economics/ai-industry-impact.org index 80da205..c32bb3d 100644 --- a/ideas/passepartout-economics/ai-industry-impact.org +++ b/ideas/passepartout-economics/ai-industry-impact.org @@ -14,4 +14,4 @@ If a symbolic-bootstrapping architecture becomes popular, the industry structure **New hardware tier emerges:** CPU-native verification appliances running Lisp microcode on RISC-V cores. Low volume (hundreds of thousands/year), high margin ($5K-50K/unit). Manufacturable at older fab nodes (28nm, 45nm) — no dependency on TSMC's leading edge. -See also: [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]], [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly]], [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]] +See also: [[file:lisp-economics.org][Lisp economics]], [[file:verification-monopoly.org][Verification monopoly]], [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]] diff --git a/ideas/passepartout-economics/biology-parallels.org b/ideas/passepartout-economics/biology-parallels.org index 5401993..ebc2c4f 100644 --- a/ideas/passepartout-economics/biology-parallels.org +++ b/ideas/passepartout-economics/biology-parallels.org @@ -16,4 +16,4 @@ Striking parallels between microbiology and the Lisp model: Biology chose the Lisp model because it is more robust, adaptable, and evolvable. Evolution optimized for survival in an unpredictable environment, not peak single-thread throughput. Biology is the proof that the Lisp model can be efficient at planetary scale, running on hardware that self-assembles from food. -See also: [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]] +See also: [[file:lisp-economics.org][Lisp economics]] diff --git a/ideas/passepartout-economics/comparison-with-symbolics.org b/ideas/passepartout-economics/comparison-with-symbolics.org index 7a36fa9..b763ab7 100644 --- a/ideas/passepartout-economics/comparison-with-symbolics.org +++ b/ideas/passepartout-economics/comparison-with-symbolics.org @@ -15,4 +15,4 @@ The Symbolics comparison is instructive: they built a full Lisp OS from scratch. Passepartout runs on Linux, providing the OS layer for free. The hardware integration is a PCIe card, not a replacement of the entire host. The scope is dramatically smaller — ~2% of the code for a fraction of the functionality that matters most. -See also: [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]], [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]] +See also: [[file:lisp-economics.org][Lisp economics]], [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]] diff --git a/ideas/passepartout-economics/compute-marketplace.org b/ideas/passepartout-economics/compute-marketplace.org index b513f4d..6a195e8 100644 --- a/ideas/passepartout-economics/compute-marketplace.org +++ b/ideas/passepartout-economics/compute-marketplace.org @@ -12,4 +12,4 @@ If Passepartout instances on Agora transact billions of verified operations per The early player that provisions the largest compute capacity on Agora becomes the default infrastructure provider for the entire network. This is venture-scale money. -See also: [[id:2e390c1d-65f3-5fb3-b898-ac3fc4291ee7][Agora usernames]], [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly]], [[id:5961e469-53a3-5f3c-ab72-3c83ef91963f][Investment thesis]] +See also: [[file:agora-usernames.org][Agora usernames]], [[file:verification-monopoly.org][Verification monopoly]], [[file:investment-thesis.org][Investment thesis]] diff --git a/ideas/passepartout-economics/cost-structure.org b/ideas/passepartout-economics/cost-structure.org index 45d4b47..27fd08b 100644 --- a/ideas/passepartout-economics/cost-structure.org +++ b/ideas/passepartout-economics/cost-structure.org @@ -13,4 +13,4 @@ The cost curve inverts: generation is expensive, verification is cheap. This is Token demand shifts from "every interaction burns tokens" to "only unfamiliar interactions burn tokens." Steady-state per-user LLM consumption drops by an order of magnitude. -See also: [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]], [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding]], [[id:efc76898-03f7-57ba-923d-35d65da88bb7][Sufficiency flip]] +See also: [[file:lisp-economics.org][Lisp economics]], [[file:gate-rule-encoding.org][Gate rule encoding]], [[file:sufficiency-flip.org][Sufficiency flip]] diff --git a/ideas/passepartout-economics/domain-gate-packages.org b/ideas/passepartout-economics/domain-gate-packages.org index 8d66014..bbf0d72 100644 --- a/ideas/passepartout-economics/domain-gate-packages.org +++ b/ideas/passepartout-economics/domain-gate-packages.org @@ -16,4 +16,4 @@ Switching costs are high — changing packages means re-verifying the fact store 20 subscriptions in year one = $1M-$5M. -See also: [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding]], [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]] +See also: [[file:gate-rule-encoding.org][Gate rule encoding]], [[file:verification-appliance.org][Verification appliance]], [[file:evaluation-harness.org][Evaluation harness]], [[file:infrastructure-lock-in.org][Infrastructure lock-in]] diff --git a/ideas/passepartout-economics/evaluation-harness.org b/ideas/passepartout-economics/evaluation-harness.org index c4ff06d..4078696 100644 --- a/ideas/passepartout-economics/evaluation-harness.org +++ b/ideas/passepartout-economics/evaluation-harness.org @@ -14,6 +14,6 @@ The regression suite grows with every deployment, making the certification incre 10 certifications in year one = $500K-$2M. -Long-term endpoint: this becomes the UL certification for AI — a third-party verification nobody can ignore. [[id:827bc546-e887-5b7c-9b65-6392beaf0920][The verification monopoly]]. +Long-term endpoint: this becomes the UL certification for AI — a third-party verification nobody can ignore. [[file:verification-monopoly.org][The verification monopoly]]. -See also: [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]] +See also: [[file:verification-appliance.org][Verification appliance]], [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:moats.org][Moats]] diff --git a/ideas/passepartout-economics/gate-rule-encoding.org b/ideas/passepartout-economics/gate-rule-encoding.org index 755a25c..be9552e 100644 --- a/ideas/passepartout-economics/gate-rule-encoding.org +++ b/ideas/passepartout-economics/gate-rule-encoding.org @@ -16,4 +16,4 @@ The key distinction: the LLM is not *extracting knowledge from prose* — it is For codified domains, the encoding cost drops from weeks to hours. The only bottleneck is human review of the 5% ambiguous rules. -See also: [[id:efc76898-03f7-57ba-923d-35d65da88bb7][Sufficiency flip]], [[id:0b5a8a74-cfd6-542d-bc88-4eb3cd8626f9][Cost structure]], [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain gate packages]] +See also: [[file:sufficiency-flip.org][Sufficiency flip]], [[file:cost-structure.org][Cost structure]], [[file:domain-gate-packages.org][Domain gate packages]] diff --git a/ideas/passepartout-economics/index.org b/ideas/passepartout-economics/index.org index 114b1ea..676b09f 100644 --- a/ideas/passepartout-economics/index.org +++ b/ideas/passepartout-economics/index.org @@ -8,4 +8,4 @@ This is an alias for the knowledge base hub. The canonical entry point is: [[file:passepartout-economics.org][Passepartout Economics — hub node]] -Org-roam compatible. Use [[id:1c3ec48b-446c-50d2-b53e-126a81f5143f][this ID]] to link from other files. +Org-roam compatible. Use [[file:passepartout-economics.org][this ID]] to link from other files. diff --git a/ideas/passepartout-economics/infrastructure-lock-in.org b/ideas/passepartout-economics/infrastructure-lock-in.org index 57c98da..e2461be 100644 --- a/ideas/passepartout-economics/infrastructure-lock-in.org +++ b/ideas/passepartout-economics/infrastructure-lock-in.org @@ -15,4 +15,4 @@ Switching to a competitor means discarding all of it. The accumulated value grow This is the strongest residual moat. The evaluation harness (regression suite) is a close second — it grows with every deployment and cannot be ingested from public data. -See also: [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]], [[id:29e4dbf3-cf19-589c-8b14-389e8a39d564][Upgrade lifecycle]], [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain gate packages]] +See also: [[file:evaluation-harness.org][Evaluation harness]], [[file:verification-monopoly.org][Verification monopoly]], [[file:moats.org][Moats]], [[file:upgrade-lifecycle.org][Upgrade lifecycle]], [[file:domain-gate-packages.org][Domain gate packages]] diff --git a/ideas/passepartout-economics/investment-thesis.org b/ideas/passepartout-economics/investment-thesis.org index f7dea88..5a3246c 100644 --- a/ideas/passepartout-economics/investment-thesis.org +++ b/ideas/passepartout-economics/investment-thesis.org @@ -16,4 +16,4 @@ The switching costs compound. The network effects are positive sum. The market i The defensible entity is "the organization that best understands how to adapt Passepartout to your domain" — not "the organization that owns Passepartout." -See also: [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain gate packages]], [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:2e390c1d-65f3-5fb3-b898-ac3fc4291ee7][Agora usernames]], [[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][PDS as a service]], [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly]], [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]] +See also: [[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 usernames]], [[file:pds-as-a-service.org][PDS as a service]], [[file:verification-monopoly.org][Verification monopoly]], [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:moats.org][Moats]] diff --git a/ideas/passepartout-economics/licensing.org b/ideas/passepartout-economics/licensing.org index 777d6b5..903b3cf 100644 --- a/ideas/passepartout-economics/licensing.org +++ b/ideas/passepartout-economics/licensing.org @@ -18,4 +18,4 @@ Crucially: AGPL is a *product requirement*, not a concession. The system's value - AGPLv3 for open source — builds ecosystem, trust, community - Commercial license for enterprises that cannot accept AGPL — MySQL/SugarCRM/GraphQL model -See also: [[id:caaeee11-ba6f-5566-aecd-f171b4c459c0][Patent strategy]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]], [[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][PDS as a service]] +See also: [[file:patent-strategy.org][Patent strategy]], [[file:moats.org][Moats]], [[file:pds-as-a-service.org][PDS as a service]] diff --git a/ideas/passepartout-economics/lisp-economics.org b/ideas/passepartout-economics/lisp-economics.org index 7ba6fc5..ffa58b1 100644 --- a/ideas/passepartout-economics/lisp-economics.org +++ b/ideas/passepartout-economics/lisp-economics.org @@ -15,4 +15,4 @@ Four transformations flipped the economics: The verification appliance (AGPL symbolic engine + RISC-V Lisp μcode on FPGA) costs $5,000/year and replaces $500,000/year in compliance audits, breach litigation, and regulatory fines. -See also: [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]], [[id:2afd9a3c-e96a-54c7-ac77-a05a28065b4b][Biology parallels]], [[id:00ab3a4d-e3de-5605-a67d-12935bb36ab5][Symbolics comparison]], [[id:0b5a8a74-cfd6-542d-bc88-4eb3cd8626f9][Cost structure]], [[id:5f55bbe6-d243-5766-8ccf-5c5cc88a6542][AI industry impact]] +See also: [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]], [[file:biology-parallels.org][Biology parallels]], [[file:comparison-with-symbolics.org][Symbolics comparison]], [[file:cost-structure.org][Cost structure]], [[file:ai-industry-impact.org][AI industry impact]] diff --git a/ideas/passepartout-economics/moats.org b/ideas/passepartout-economics/moats.org index 56a0bd0..64cc8a1 100644 --- a/ideas/passepartout-economics/moats.org +++ b/ideas/passepartout-economics/moats.org @@ -16,4 +16,4 @@ Re-evaluated: time is not the primary moat. A Phase 4+ Passepartout fed on Wikip **The defensible business is services, not product.** The defensible entity is "the organization that best understands how to adapt Passepartout to your domain" — not "the organization that owns Passepartout." -See also: [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly]], [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:caaeee11-ba6f-5566-aecd-f171b4c459c0][Patent strategy]], [[id:67faf52f-9126-50a7-b87e-2bedc610dac7][Licensing]] +See also: [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:verification-monopoly.org][Verification monopoly]], [[file:evaluation-harness.org][Evaluation harness]], [[file:patent-strategy.org][Patent strategy]], [[file:licensing.org][Licensing]] diff --git a/ideas/passepartout-economics/passepartout-economics.org b/ideas/passepartout-economics/passepartout-economics.org index e09aa78..66a5095 100644 --- a/ideas/passepartout-economics/passepartout-economics.org +++ b/ideas/passepartout-economics/passepartout-economics.org @@ -6,33 +6,33 @@ The triad replaces every layer of the modern computing stack with Lisp-native, user-owned, ACL2-verified alternatives. Three components: -- [[id:a1fac32a-47de-5fbd-b67d-29152c851747][Logos (Passepartout) — the cognitive agent]] -- [[id:c3b3dc41-945f-54e9-84eb-ca014114f1be][Stoa (The Porch) — the environment]] -- [[id:1d074690-a279-59cb-b91d-e9a22ae104ad][Agora (The Society) — the network]] +- [[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. Key analytical frames: -- [[id:5961e469-53a3-5f3c-ab72-3c83ef91963f][Investment thesis — the unified view]] -- [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Why Lisp is economically viable now]] -- [[id:efc76898-03f7-57ba-923d-35d65da88bb7][The per-domain sufficiency flip]] -- [[id:dc2e4f22-1c4c-5d4a-a151-f96e5d3b0d70][Development velocity and timeline estimates]] -- [[id:0b5a8a74-cfd6-542d-bc88-4eb3cd8626f9][Cost structure and zero marginal cost]] -- [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Competitive moats analysis]] +- [[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): -- [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]][[id:c34940cc-090e-57c4-8020-e78b1d32b96c][ Domain gate packages]][[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][ Evaluation harness]] -- [[id:2e390c1d-65f3-5fb3-b898-ac3fc4291ee7][Agora premium usernames]][[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][ PDS as a service]][[id:3c6b0449-a8fb-5b89-b82a-34efb21ef5b5][ Compute marketplace]] -- [[id:827bc546-e887-5b7c-9b65-6392beaf0920][Verification monopoly — the big money]][[id:2f783eb4-638e-5afa-9b59-6224d086a712][ Infrastructure lock-in]] +- [[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: -- [[id:caaeee11-ba6f-5566-aecd-f171b4c459c0][Patent strategy]][[id:67faf52f-9126-50a7-b87e-2bedc610dac7][ Licensing (AGPL + commercial)]] -- [[id:5f55bbe6-d243-5766-8ccf-5c5cc88a6542][Impact on the AI/GPU industry]] -- [[id:29e4dbf3-cf19-589c-8b14-389e8a39d564][Upgrade and distribution lifecycle]] -- [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding from codified domains]] -- [[id:2afd9a3c-e96a-54c7-ac77-a05a28065b4b][Biology as proof of the Lisp model]] -- [[id:00ab3a4d-e3de-5605-a67d-12935bb36ab5][Comparison with Symbolics Genera]] +- [[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.* diff --git a/ideas/passepartout-economics/patent-strategy.org b/ideas/passepartout-economics/patent-strategy.org index 1efbb38..f8e4061 100644 --- a/ideas/passepartout-economics/patent-strategy.org +++ b/ideas/passepartout-economics/patent-strategy.org @@ -21,4 +21,4 @@ **Counterargument:** A patent examiner will argue these are standard OS microkernel architecture, locality of reference, content-addressed storage, and capability-based security applied to an AI agent. The defense: they have never been *combined* in an AI agent, producing emergent effects no single principle produces. -See also: [[id:67faf52f-9126-50a7-b87e-2bedc610dac7][Licensing]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]] +See also: [[file:licensing.org][Licensing]], [[file:moats.org][Moats]] diff --git a/ideas/passepartout-economics/pds-as-a-service.org b/ideas/passepartout-economics/pds-as-a-service.org index 6697467..e296bca 100644 --- a/ideas/passepartout-economics/pds-as-a-service.org +++ b/ideas/passepartout-economics/pds-as-a-service.org @@ -17,4 +17,4 @@ Target: 100K subscribers at $15/month average = $18M/yr recurring, near-zero mar Combined with premium usernames: $28M/yr from Agora services alone before compute marketplace revenue. -See also: [[id:2e390c1d-65f3-5fb3-b898-ac3fc4291ee7][Agora usernames]], [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:67faf52f-9126-50a7-b87e-2bedc610dac7][Licensing]] +See also: [[file:agora-usernames.org][Agora usernames]], [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:licensing.org][Licensing]] diff --git a/ideas/passepartout-economics/self-driving-lisp-machine.org b/ideas/passepartout-economics/self-driving-lisp-machine.org index d9a0f53..f7aa09b 100644 --- a/ideas/passepartout-economics/self-driving-lisp-machine.org +++ b/ideas/passepartout-economics/self-driving-lisp-machine.org @@ -14,4 +14,4 @@ Every subdomain involved is software — the most codifiable domain. RISC-V ISA, The Tenstorrent approach is dramatically simpler than FPGA because the microcode is RISC-V assembly (software), not FPGA bitstream (hardware with minutes-per-iteration synthesis). -See also: [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:dc2e4f22-1c4c-5d4a-a151-f96e5d3b0d70][Time estimates]], [[id:efc76898-03f7-57ba-923d-35d65da88bb7][Sufficiency flip]], [[id:29e4dbf3-cf19-589c-8b14-389e8a39d564][Upgrade lifecycle]], [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]] +See also: [[file:verification-appliance.org][Verification appliance]], [[file:time-estimates.org][Time estimates]], [[file:sufficiency-flip.org][Sufficiency flip]], [[file:upgrade-lifecycle.org][Upgrade lifecycle]], [[file:lisp-economics.org][Lisp economics]] diff --git a/ideas/passepartout-economics/stoa.org b/ideas/passepartout-economics/stoa.org index 52a220a..451f4f9 100644 --- a/ideas/passepartout-economics/stoa.org +++ b/ideas/passepartout-economics/stoa.org @@ -15,4 +15,4 @@ Stoa is the user environment — a single Lisp image where editor, browser, shel The architectural principle: Stoa is not a collection of clients connecting to a daemon. The Dispatcher gate stack verifies every action regardless of who initiated it. The distinction between "tool" and "self" dissolves. -See also: [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]] +See also: [[file:verification-appliance.org][Verification appliance]], [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]] diff --git a/ideas/passepartout-economics/sufficiency-flip.org b/ideas/passepartout-economics/sufficiency-flip.org index 225ff07..98647d1 100644 --- a/ideas/passepartout-economics/sufficiency-flip.org +++ b/ideas/passepartout-economics/sufficiency-flip.org @@ -23,4 +23,4 @@ The sufficiency flip is not a single event — it happens independently for each For the Lisp Machine bootstrap, every subdomain is software (the most codifiable domain). The entire bootstrap can flip in days to weeks with one human review session. -See also: [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding]], [[id:dc2e4f22-1c4c-5d4a-a151-f96e5d3b0d70][Time estimates]], [[id:0b5a8a74-cfd6-542d-bc88-4eb3cd8626f9][Cost structure]] +See also: [[file:gate-rule-encoding.org][Gate rule encoding]], [[file:time-estimates.org][Time estimates]], [[file:cost-structure.org][Cost structure]] diff --git a/ideas/passepartout-economics/time-estimates.org b/ideas/passepartout-economics/time-estimates.org index fd14f4b..4604c79 100644 --- a/ideas/passepartout-economics/time-estimates.org +++ b/ideas/passepartout-economics/time-estimates.org @@ -16,4 +16,4 @@ At the observed velocity (v0.4.0 to v0.7.2 in a single session), the agent write The system writes the code. The human makes architectural decisions and reviews the 5% ambiguous rules. -See also: [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]], [[id:efc76898-03f7-57ba-923d-35d65da88bb7][Sufficiency flip]], [[id:5961e469-53a3-5f3c-ab72-3c83ef91963f][Investment thesis]] +See also: [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]], [[file:sufficiency-flip.org][Sufficiency flip]], [[file:investment-thesis.org][Investment thesis]] diff --git a/ideas/passepartout-economics/triad-overview.org b/ideas/passepartout-economics/triad-overview.org index 800fa31..10b2f05 100644 --- a/ideas/passepartout-economics/triad-overview.org +++ b/ideas/passepartout-economics/triad-overview.org @@ -14,4 +14,4 @@ The full triad is a self-bootstrapping replacement for the entire computing stac 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: [[id:5961e469-53a3-5f3c-ab72-3c83ef91963f][The investment thesis]], [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:1a2b38df-20ba-58ca-ba55-a072be67bd0d][PDS as a service]], [[id:3c6b0449-a8fb-5b89-b82a-34efb21ef5b5][Compute marketplace]] +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]] diff --git a/ideas/passepartout-economics/upgrade-lifecycle.org b/ideas/passepartout-economics/upgrade-lifecycle.org index 630c30e..aa9a33f 100644 --- a/ideas/passepartout-economics/upgrade-lifecycle.org +++ b/ideas/passepartout-economics/upgrade-lifecycle.org @@ -19,4 +19,4 @@ Once instances diverge in both code and knowledge, naive git pull breaks things. - Domain knowledge package upgrades: subscription. When HIPAA updates, the healthcare package updates. - Verification appliance firmware: bundled with hardware. Signed and verified against hardware root of trust. -See also: [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Verification appliance]], [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain gate packages]] +See also: [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:verification-appliance.org][Verification appliance]], [[file:domain-gate-packages.org][Domain gate packages]] diff --git a/ideas/passepartout-economics/verification-appliance.org b/ideas/passepartout-economics/verification-appliance.org index 7d4a8b2..e34d7bd 100644 --- a/ideas/passepartout-economics/verification-appliance.org +++ b/ideas/passepartout-economics/verification-appliance.org @@ -13,4 +13,4 @@ The Lisp Machine on Tenstorrent P150 (~72 RISC-V Tensix cores on a PCIe card) is Revenue estimate: 50 sales in year one = $250K-$2.5M. -See also: [[id:c34940cc-090e-57c4-8020-e78b1d32b96c][Domain gate packages]], [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70][Self-driving Lisp Machine]], [[id:9af13fff-9725-542b-93b1-a555bc74ad72][Lisp economics]], [[id:29e4dbf3-cf19-589c-8b14-389e8a39d564][Upgrade lifecycle]] +See also: [[file:domain-gate-packages.org][Domain gate packages]], [[file:evaluation-harness.org][Evaluation harness]], [[file:self-driving-lisp-machine.org][Self-driving Lisp Machine]], [[file:lisp-economics.org][Lisp economics]], [[file:upgrade-lifecycle.org][Upgrade lifecycle]] diff --git a/ideas/passepartout-economics/verification-monopoly.org b/ideas/passepartout-economics/verification-monopoly.org index c0f5d33..4275eae 100644 --- a/ideas/passepartout-economics/verification-monopoly.org +++ b/ideas/passepartout-economics/verification-monopoly.org @@ -10,8 +10,8 @@ Any organization claiming a "safe AI agent" needs Passepartout certification to **Revenue:** licensing the certification mark to every AI vendor that ships an agent. **Margins:** near-100% once the suite exists. -This is the venture-scale outcome. It depends on the [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][evaluation harness]] reaching critical mass, which depends on enough instances deploying the software to accumulate edge cases in the regression suite. The [[id:5961e469-53a3-5f3c-ab72-3c83ef91963f][investment thesis]] is built on the recognition that every deployed instance makes this more valuable. +This is the venture-scale outcome. It depends on the [[file:evaluation-harness.org][evaluation harness]] reaching critical mass, which depends on enough instances deploying the software to accumulate edge cases in the regression suite. The [[file:investment-thesis.org][investment thesis]] is built on the recognition that every deployed instance makes this more valuable. The unique structural advantage: every free instance of the triad feeds the regression suite. The more people use the free software, the more valuable the certification monopoly becomes. Positive sum. -See also: [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]], [[id:2f783eb4-638e-5afa-9b59-6224d086a712][Infrastructure lock-in]], [[id:5f55bbe6-d243-5766-8ccf-5c5cc88a6542][AI industry impact]], [[id:aa6d062e-a520-5d14-8773-00687ed9c689][Moats]] +See also: [[file:evaluation-harness.org][Evaluation harness]], [[file:infrastructure-lock-in.org][Infrastructure lock-in]], [[file:ai-industry-impact.org][AI industry impact]], [[file:moats.org][Moats]] diff --git a/ideas/passepartout-economics/verified-skill-marketplace.org b/ideas/passepartout-economics/verified-skill-marketplace.org index 36ffbe2..fdde15d 100644 --- a/ideas/passepartout-economics/verified-skill-marketplace.org +++ b/ideas/passepartout-economics/verified-skill-marketplace.org @@ -10,4 +10,4 @@ Value is in the verification infrastructure, not the skills themselves. Anybody This is the App Store model applied to provable correctness. The gatekeeper role is replaced by the prover — and the prover is transparent, inspectable, and impartial. -See also: [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][Gate rule encoding]], [[id:45258a2d-1675-562c-9024-5d1eb2f1ea56][Evaluation harness]] +See also: [[file:gate-rule-encoding.org][Gate rule encoding]], [[file:evaluation-harness.org][Evaluation harness]]