From 01bea0c98214c8eefd65a6121ef7143a80ecd28f Mon Sep 17 00:00:00 2001 From: Hermes Date: Thu, 4 Jun 2026 19:40:43 +0000 Subject: [PATCH] Make Stage 0 the stages index: reader lands on 'now' with the full roadmap at a glance - Merge stage-0-now.org content into stages/_index.org (now titled 'Stage 0: Now') - Delete stage-0-now.org - Add stage overview table to the top of the page (8 stages, what changes, threat eliminated) - Update all cross-references from old stage-0 UUID to stages _index UUID - Regenerate ID map to reflect the deletion - Also fix page-list shortcode: .ByTitle -> .ByWeight so subpage listing matches sidebar order - Rebuild: 147 files, 0 errors --- .org-ids.json | 33 +++---- ideas/lisp-game-engine-substrate.org | 1 + ideas/lisp-geometry-engine.org | 1 + projects/cl-modernization/_index.org | 1 + projects/passepartout/_index.org | 2 +- .../architecture/stages/_index.org | 59 ++++++++++++- .../architecture/stages/stage-0-now.org | 86 ------------------- .../stages/stage-1-social-protocol.org | 4 +- 8 files changed, 74 insertions(+), 113 deletions(-) delete mode 100644 projects/passepartout/architecture/stages/stage-0-now.org diff --git a/.org-ids.json b/.org-ids.json index 1704e79..1c17100 100644 --- a/.org-ids.json +++ b/.org-ids.json @@ -4,11 +4,7 @@ "4f4c1cf2-490d-4b9a-b6a5-4917d3b66887": "resources/_index.org", "ee8f3b2a-4c7d-4e1b-9b0a-6d8f2e3c1a5b": "resources/neurosymbolic.org", "a0b1c2d3-e4f5-6a7b-8c9d-0e1f2a3b4c5d": "projects/_index.org", - "971cd9e7-2cc5-4743-8042-2469dbe4078f": "projects/cl-modernization/_index.org", - "dddd52a7-adb8-470e-a459-614ade5f76af": "projects/cl-modernization/closing-the-lisp-gap.org", - "85f963a7-a10f-45cc-ace6-6edfeefee762": "projects/cl-modernization/lisp-provers-and-rust-comparison.org", - "9af13fff-9725-542b-93b1-a555bc74ad72": "projects/cl-modernization/lisp-economics.org", - "2afd9a3c-e96a-54c7-ac77-a05a28065b4b": "projects/cl-modernization/biology-parallels.org", + "89f592aa-9c46-42db-a6c7-54dc91fe2172": "projects/cl-modernization/_index.org", "433236a2-e5ad-41d4-a27e-4682f8bbc207": "projects/flags/legal-structure-practical-setup.org", "0a4e0b8f-25e0-4b78-9633-fc37d03cefe9": "projects/flags/asset-protection-structures.org", "5ac2f037-fc3c-45ac-a6e8-acc20e005cb0": "projects/flags/legal-structure-alternatives.org", @@ -21,39 +17,28 @@ "af9ce196-24a5-4035-bc02-83ddd60c1b09": "projects/passepartout/architecture/repo-organization.org", "0a33bd83-ff3c-4eac-bc97-83eb6702051a": "projects/passepartout/architecture/design-decisions.org", "f6a7b8c9-0d1e-2f3a-4b5c-6d7e8f90abcd": "projects/passepartout/architecture/biomimicry.org", - "1c3ec48b-446c-50d2-b53e-126a81f5143f": "projects/passepartout/architecture/architecture.org", "a7b8c9d0-1e2f-3a4b-5c6d-7e8f90abcdef": "projects/passepartout/architecture/neuro-neuromorphic-symbolic-comparison.org", "1c95ce7d-a2db-506a-9608-df68f9ae211b": "projects/passepartout/architecture/security.org", "be9bccc7-5adf-4d0d-8ee4-8855892189bf": "projects/passepartout/architecture/neurosymbolic-loop-architectures.org", - "13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70": "projects/passepartout/architecture/self-developing.org", - "f0e1d2c3-b4a5-6c7d-8e9f-0a1b2c3d4e5f": "projects/passepartout/architecture/concept.org", "26725506-399c-48c5-a797-46b48e8861d7": "projects/passepartout/architecture/self.org", "5e7f1d2a-3b4c-5d6e-7f8a-9b0c1d2e3f4a": "projects/passepartout/architecture/_index.org", "b9fa4b7b-bc61-4d7f-918d-ff687b80f2ba": "projects/passepartout/architecture/systemic-effects.org", "7f4e6b9a-2c1d-5e8f-9a3b-6d7c4e5f2a1b": "projects/passepartout/architecture/org-knowledge-base.org", + "971cd9e7-2cc5-4743-8042-2469dbe4078f": "projects/passepartout/architecture/lisp-foundation.org", "d2722576-fc9b-4bd3-bc2f-f5692b561b4e": "projects/passepartout/architecture/academic.org", "8cb760e2-37c6-4a78-af4d-f89f69d1678b": "projects/passepartout/architecture/stages/_index.org", "4a1f23b0-abc8-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-7-remaining.org", "3ec5bd52-f115-455e-83be-63db9a4ad3a7": "projects/passepartout/architecture/stages/stage-1-dependency-map.org", "4a1f23b0-abc6-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-5-weights.org", "4a1f23b0-abc7-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-6-training.org", - "4a1f23b0-abc1-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-0-now.org", "4a1f23b0-abc5-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-4-inference.org", "4a1f23b0-abc3-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-2-verification.org", "4a1f23b0-abc4-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-3-lisp-machine.org", "4a1f23b0-abc2-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-1-social-protocol.org", "460e06f4-6bfc-4969-89d8-685c0c4434cf": "projects/passepartout/architecture/stages/stage-2-acl2-integration.org", - "7a8b9c0d-1e2f-3a4b-5c6d-7e8f9a0b1c2d": "projects/passepartout/architecture/three-pronged/open-source-wolfram-lisp.org", - "8b9c0d1e-2f3a-4b5c-6d7e-8f9a0b1c2d3e": "projects/passepartout/architecture/three-pronged/passepartout-bootstrap-mathematica.org", - "5c6d7e8f-9a0b-1c2d-3e4f-5a6b7c8d9e0f": "projects/passepartout/architecture/three-pronged/wider-implications-three-pronged.org", - "4b5c6d7e-8f9a-0b1c-2d3e-4f5a6b7c8d9e": "projects/passepartout/architecture/three-pronged/neurological-software-empirical-middle.org", - "329bd4fb-702a-4a2b-9c63-69281aacb83a": "projects/passepartout/architecture/three-pronged/_index.org", - "f4e5d6c7-b8a9-0c1d-2e3f-4a5b6c7d8e9f": "projects/passepartout/architecture/three-pronged/schafmeister-clasp-nanotechnology.org", - "0d1e2f3a-4b5c-6d7e-8f9a-0b1c2d3e4f5a": "projects/passepartout/architecture/three-pronged/world-models-middle-domain.org", - "1e2f3a4b-5c6d-7e8f-9a0b-1c2d3e4f5a6b": "projects/passepartout/architecture/three-pronged/world-models-plain-language.org", - "9c0d1e2f-3a4b-5c6d-7e8f-9a0b1c2d3e4f": "projects/passepartout/architecture/three-pronged/knowledge-tree-middle.org", - "3a4b5c6d-7e8f-9a0b-1c2d-3e4f5a6b7c8d": "projects/passepartout/architecture/three-pronged/architectural-integration-three-pronged.org", - "2f3a4b5c-6d7e-8f9a-0b1c-2d3e4f5a6b7c": "projects/passepartout/architecture/three-pronged/practical-powers-three-pronged.org", + "4b5c6d7e-8f9a-0b1c-2d3e-4f5a6b7c8d9e": "projects/passepartout/architecture/knowledge-layers/neurological-empirical.org", + "329bd4fb-702a-4a2b-9c63-69281aacb83a": "projects/passepartout/architecture/knowledge-layers/_index.org", + "5c6d7e8f-9a0b-1c2d-3e4f-5a6b7c8d9e0f": "projects/passepartout/architecture/knowledge-layers/practical-implications.org", "e5f6a7b8-9c0d-1e2f-3a4b-5c6d7e8f90ab": "projects/passepartout/hardware/server-build-bom.org", "d4e5f6a7-8b9c-0d1e-2f3a-4b5c6d7e8f90": "projects/passepartout/hardware/_index.org", "a1b2c3d4-e5f6-7a8b-9c0d-1e2f3a4b5c6d": "projects/passepartout/hardware/server-rack-build.org", @@ -154,5 +139,11 @@ "84a537b4-4256-50c8-91f5-dd5b4538418f": "projects/passepartout/strategy/verification/verification-appliance.org", "efc76898-03f7-57ba-923d-35d65da88bb7": "projects/passepartout/strategy/verification/sufficiency-flip.org", "2cdca4b0-6b41-44b4-acb0-af21d0e27b00": "ideas/orders-of-magnitude-time.org", - "329a30cd-55fb-496d-a60b-91388c211bba": "ideas/_index.org" + "2afd9a3c-e96a-54c7-ac77-a05a28065b4b": "ideas/biology-parallels.org", + "329a30cd-55fb-496d-a60b-91388c211bba": "ideas/_index.org", + "f467ce16-1861-4ebd-96ed-b52fea909515": "ideas/lisp-game-engine-substrate.org", + "aae3b3a9-05c2-4acd-bfd4-a7f65003c0bf": "ideas/lisp-geometry-engine.org", + "8b9c0d1e-2f3a-4b5c-6d7e-8f9a0b1c2d3e": "ideas/viability/passepartout-bootstrap-mathematica.org", + "7a8b9c0d-1e2f-3a4b-5c6d-7e8f9a0b1c2d": "ideas/viability/open-source-wolfram-lisp.org", + "f4e5d6c7-b8a9-0c1d-2e3f-4a5b6c7d8e9f": "ideas/viability/schafmeister-clasp.org" } \ No newline at end of file diff --git a/ideas/lisp-game-engine-substrate.org b/ideas/lisp-game-engine-substrate.org index 331d756..d4ce375 100644 --- a/ideas/lisp-game-engine-substrate.org +++ b/ideas/lisp-game-engine-substrate.org @@ -1,4 +1,5 @@ :PROPERTIES: +:ID: f467ce16-1861-4ebd-96ed-b52fea909515 :CREATED: [2026-06-05 Fri] :END: #+title: Lisp as Game Engine Substrate diff --git a/ideas/lisp-geometry-engine.org b/ideas/lisp-geometry-engine.org index 65e7dea..68b8c87 100644 --- a/ideas/lisp-geometry-engine.org +++ b/ideas/lisp-geometry-engine.org @@ -1,4 +1,5 @@ :PROPERTIES: +:ID: aae3b3a9-05c2-4acd-bfd4-a7f65003c0bf :CREATED: [2026-05-11 Mon] :END: --- diff --git a/projects/cl-modernization/_index.org b/projects/cl-modernization/_index.org index 80ddf3b..6e91020 100644 --- a/projects/cl-modernization/_index.org +++ b/projects/cl-modernization/_index.org @@ -1,4 +1,5 @@ :PROPERTIES: +:ID: 89f592aa-9c46-42db-a6c7-54dc91fe2172 :CREATED: [2026-06-03 Tue] :ID: 971cd9e7-2cc5-4743-8042-2469dbe4078f :END: diff --git a/projects/passepartout/_index.org b/projects/passepartout/_index.org index 98af7a6..c5b3488 100644 --- a/projects/passepartout/_index.org +++ b/projects/passepartout/_index.org @@ -56,4 +56,4 @@ Passepartout creates a new category: verified infrastructure. Not a safer operat - [[id:1c3ec48b-446c-50d2-b53e-126a81f5143f][Architecture]] — the system in detail - [[id:b9fa4b7b-bc61-4d7f-918d-ff687b80f2ba][Systemic Effects]] — what verification cascades into -- [[id:4a1f23b0-abc1-4def-9876-543210abcdef][Staged Roadmap]] — from today to Stage 7 +- [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Staged Roadmap]] — from today to Stage 7 diff --git a/projects/passepartout/architecture/stages/_index.org b/projects/passepartout/architecture/stages/_index.org index 65216a1..d151923 100644 --- a/projects/passepartout/architecture/stages/_index.org +++ b/projects/passepartout/architecture/stages/_index.org @@ -3,9 +3,62 @@ :WEIGHT: 10 :ID: 8cb760e2-37c6-4a78-af4d-f89f69d1678b :END: -#+title: Stages +#+title: Stage 0: Now #+filetags: :passepartout:architecture:stages:roadmap: -The staged roadmap for Passepartout — from current conventional computing through the full self-improving Lisp machine vision. +The staged roadmap for Passepartout — from current conventional computing through the full self-improving Lisp machine vision. Each stage is independently useful and the migration is progressive component swap, not a cut-over. -{{< page-list >}} +**The stages at a glance:** + +| Stage | What changes | Threat eliminated | +|---|---|---| +| 0 | Linux + Python agent + SQLite (current) | None — starting point | +| 1 | Social protocol: DID identity, encrypted messaging, data stores | Unauthenticated communication | +| 2 | The gate as software over host OS | Root as attack path | +| 3 | Bare-metal Lisp image, one address space | MMU boundary, process isolation | +| 4 | In-process LLM inference | API call interception | +| 5 | Neural weights as plist-native data | Symbolic/neural representation gap | +| 6 | Verified fine-tuning, gate-checked weight updates | Unsanctioned model mutation | +| 7 | What remains — physical, political, oracular limits | (No computational threat remains) | + +*Summary: The conventional stack as it exists today. Not a design — the starting point.* + +This is the baseline we inherit. Linux on x86, C/Rust toolchain, +web-based applications, GPU compute for AI, TCP/IP networking. Every layer +is independently built and independently untrusted. + +The conventional stack spans every layer: + +| Layer | Threats | +|-------+---------| +| [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Hardware]] | silicon trojan, rowhammer, speculation side channels (spectre/meltdown), physical theft | +| Firmware | UEFI implants, SMM rootkits, ME backdoor — unaccountable opaque processors | +| OS kernel | privilege escalation, syscall bugs, driver exploits — CVEs weekly | +| Compiler | Ken Thompson's "Trusting Trust" — compiler backdoors invisible at source level | +| Runtime | heap corruption, use-after-free, buffer overflow — the dominant malware vector | +| Network | MITM, TLS state machine bugs, DNS poisoning, routing attacks | +| Application | XSS, SQLi, RCE, dependency chain attacks, supply chain | +| User | phishing, social engineering, credential theft | +| LLM (if present) | jailbreaks, prompt injection (unbounded space), data leakage in outputs, probabilistic unreliability | +| Empirical provenance | No systematic model validity checking. Parameters lack provenance, validity envelopes absent, neural networks treated as black boxes with no distribution match | + +**Key property:** Every layer is independent and untrusted. No layer can vouch +for any other. Security is *empirical* — "no bugs found in this release" — not +deductive. + +**What is eliminated:** Nothing. Every threat that has ever existed in computing exists at Stage 0. + +**What does this cost:** +- Patching treadmill — the industry spends uncountable hours applying CVEs. Every OS update risks regressions. +- Incident response — breaches are expected, not exceptional. Average dwell time is measured in months. +- Bug bounties — a market failure tax: pay researchers to find the bugs your toolchain inevitably produces. +- Complexity tax — every OS, driver, library, and daemon is a potential entry point. +- No deductive guarantees — security is empirical. "No bugs found in this release" does not mean no bugs exist. + +**What does this enable:** Everything we have. The entire software ecosystem, all hardware, every network. The cost and the capability are the same thing — maximum flexibility, minimum provable trust. + +**When is this viable:** Today. This is where we are. + +**In practice:** We have normalized reactive security because the alternative — building a provably secure stack — is considered too expensive. Every company of meaningful size has a security team whose job is to detect when they've been breached, not to prevent it. The average dwell time is measured in months. This is treated as normal because the alternative — a provably secure stack — is seen as prohibitively expensive. This roadmap is the argument that the provable alternative is not only possible, but the inevitable destination. The question is not whether to build it, but at what pace. + +See the remaining stage pages below for the path forward. diff --git a/projects/passepartout/architecture/stages/stage-0-now.org b/projects/passepartout/architecture/stages/stage-0-now.org deleted file mode 100644 index cb6d838..0000000 --- a/projects/passepartout/architecture/stages/stage-0-now.org +++ /dev/null @@ -1,86 +0,0 @@ ---- -title: Stage 0 -type: reference -tags: :passepartout:roadmap: -created: 2026-05-24 ---- - -← [[id:329a30cd-55fb-496d-a60b-91388c211bba][Passepartout]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Stage 1 — Social Protocol]] - -# Stage 0: Now - -*Summary: The conventional stack as it exists today. Not a design — the starting point.* - -This is the baseline we inherit. Linux on x86, C/Rust toolchain, -web-based applications, GPU compute for AI, TCP/IP networking. Every layer -is independently built and independently untrusted. - -The conventional stack spans every layer: - -| Layer | Threats | -|-------+---------| -| [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][Hardware]] | silicon trojan, rowhammer, speculation side channels (spectre/meltdown), physical theft | -| Firmware | UEFI implants, SMM rootkits, ME backdoor — unaccountable opaque processors | -| OS kernel | privilege escalation, syscall bugs, driver exploits — CVEs weekly | -| Compiler | Ken Thompson's "Trusting Trust" — compiler backdoors invisible at source level | -| Runtime | heap corruption, use-after-free, buffer overflow — the dominant malware vector | -| Network | MITM, TLS state machine bugs, DNS poisoning, routing attacks | -| Application | XSS, SQLi, RCE, dependency chain attacks, supply chain | -| User | phishing, social engineering, credential theft | -| LLM (if present) | jailbreaks, prompt injection (unbounded space), data leakage in outputs, probabilistic unreliability | -| Empirical provenance | No systematic model validity checking. Parameters lack provenance, validity envelopes absent, neural networks treated as black boxes with no distribution match | - -**Key property:** Every layer is independent and untrusted. No layer can vouch -for any other. Security is *empirical* — "no bugs found in this release" — not -deductive. - -## What is eliminated - -Nothing. Every threat that has ever existed in computing exists at Stage 0. - -## What does this cost? - -- **Patching treadmill** — the industry spends uncountable hours applying CVEs. - Every OS update risks regressions. Security teams are measured by mean time - to detect, not mean time to prevent. -- **Incident response** — breaches are expected, not exceptional. The average - dwell time (attacker inside system before detection) is months. -- **Bug bounties** — a market failure tax: pay researchers to find the bugs - your toolchain inevitably produces. -- **Complexity tax** — every OS, driver, library, and daemon is a potential - entry point. The attack surface is unknowable because no layer can vouch - for any other. -- **No deductive guarantees** — security is empirical. "No bugs found in this - release" does not mean no bugs exist. - -Even with all this spending, the system is not provably secure. You can't -audit your way to deductive guarantees on a conventional stack. - -## What does this enable? - -Everything we have. The entire software ecosystem, all hardware, every network. -The cost and the capability are the same thing — maximum flexibility, minimum -provable trust. - -## When is this viable? - -Today. This is where we are. - -## In practice - -We have normalized reactive security because the alternative — building a -provably secure stack — is considered too expensive. Every company of -meaningful size has a security team whose job is to detect when they've been -breached, not to prevent it. The average dwell time is measured in months. -This is treated as normal because the alternative — a provably secure stack — -is seen as prohibitively expensive. This roadmap is the argument that the -provable alternative is not only possible, but the inevitable destination. -The question is not whether to build it, but at what pace. - -← [[id:329a30cd-55fb-496d-a60b-91388c211bba][Passepartout]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Stage 1 — Social Protocol]] - -:PROPERTIES: -:CREATED: [2026-05-24 Sun] -:WEIGHT: 11 -:ID: 4a1f23b0-abc1-4def-9876-543210abcdef -:END: diff --git a/projects/passepartout/architecture/stages/stage-1-social-protocol.org b/projects/passepartout/architecture/stages/stage-1-social-protocol.org index 23ae15c..40c50d2 100644 --- a/projects/passepartout/architecture/stages/stage-1-social-protocol.org +++ b/projects/passepartout/architecture/stages/stage-1-social-protocol.org @@ -5,7 +5,7 @@ tags: :passepartout:roadmap:social-protocol: created: 2026-05-24 --- -← [[id:4a1f23b0-abc1-4def-9876-543210abcdef][Stage 0 — Now]] → [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] +← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0 — Now]] → [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] # Stage 1: [[id:1d074690-a279-59cb-b91d-e9a22ae104ad][Social Protocol]] @@ -111,7 +111,7 @@ sparse knowledge). As the instance count grows, contradiction frequency increases and quality converges. This is Cyc's pump-priming problem solved through network effects instead of hand-curation. -← [[id:4a1f23b0-abc1-4def-9876-543210abcdef][Stage 0 — Now]] → [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] +← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0 — Now]] → [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] :PROPERTIES: :CREATED: [2026-05-24 Sun]