From 5ac701e8ecf5c8628b5c698ce5b76fca0525258a Mon Sep 17 00:00:00 2001 From: Hermes Date: Thu, 4 Jun 2026 19:51:52 +0000 Subject: [PATCH] Restage with descriptive titles: agent arc first, network arc second MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - New execution order: Now → Neurosymbolic Agent → Lisp Machine → AI Inference → Social Protocol → AI Weights → AI Training → What Remains - Rename files to match (stage-1-gate, stage-2-lisp-machine, stage-3-inference, stage-4-social-protocol) - Remove stage numbers from titles: just descriptive names - Sequential weights 10-17 - Update nav links and stage table in _index.org and architecture _index.org - Rebuild: 145 files, 0 errors --- .org-ids.json | 8 ++++---- projects/passepartout/architecture/_index.org | 2 +- .../passepartout/architecture/stages/_index.org | 16 ++++++++-------- ...stage-2-verification.org => stage-1-gate.org} | 10 ++++------ ...lisp-machine.org => stage-2-lisp-machine.org} | 10 ++++------ ...age-4-inference.org => stage-3-inference.org} | 10 ++++------ ...-protocol.org => stage-4-social-protocol.org} | 10 ++++------ .../architecture/stages/stage-5-weights.org | 10 ++++------ .../architecture/stages/stage-6-training.org | 10 ++++------ .../architecture/stages/stage-7-remaining.org | 10 ++++------ 10 files changed, 41 insertions(+), 55 deletions(-) rename projects/passepartout/architecture/stages/{stage-2-verification.org => stage-1-gate.org} (97%) rename projects/passepartout/architecture/stages/{stage-3-lisp-machine.org => stage-2-lisp-machine.org} (95%) rename projects/passepartout/architecture/stages/{stage-4-inference.org => stage-3-inference.org} (93%) rename projects/passepartout/architecture/stages/{stage-1-social-protocol.org => stage-4-social-protocol.org} (96%) diff --git a/.org-ids.json b/.org-ids.json index 636f755..0c6e5bf 100644 --- a/.org-ids.json +++ b/.org-ids.json @@ -27,13 +27,13 @@ "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-abc5-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-3-inference.org", "4a1f23b0-abc8-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-7-remaining.org", + "4a1f23b0-abc2-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-4-social-protocol.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-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", + "4a1f23b0-abc3-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-1-gate.org", + "4a1f23b0-abc4-4def-9876-543210abcdef": "projects/passepartout/architecture/stages/stage-2-lisp-machine.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", diff --git a/projects/passepartout/architecture/_index.org b/projects/passepartout/architecture/_index.org index 2918a53..1cce613 100644 --- a/projects/passepartout/architecture/_index.org +++ b/projects/passepartout/architecture/_index.org @@ -132,7 +132,7 @@ The social protocol is not a blockchain. DAG-based ordering handles causality; d The full architecture — gate-verified Lisp machine on custom silicon — is the destination. The staged roadmap (see the [[file:/stages.org][stages]] directory for full detail) describes how each successive replacement eliminates a class of threat: -Stage 0 (current: Linux + Python agent + SQLite), Stage 1 (social protocol + provable communication), Stage 2 (the gate as software — root eliminated), Stage 3 (bare-metal Lisp image — no MMU), Stage 4 (in-process LLM inference), Stage 5 (neural weights as plist data), Stage 6 (verified fine-tuning), Stage 7 (what remains — physical, political, oracular limits). +Stage 0 (Now: Linux + Python agent + SQLite), Stage 1 (Neurosymbolic Agent: the gate — root eliminated, provenance store operational), Stage 2 (Lisp Machine: bare-metal — no MMU), Stage 3 (AI Inference: in-process LLM), Stage 4 (Social Protocol: provable communication), Stage 5 (AI Weights: plist-native neural data), Stage 6 (AI Training: verified fine-tuning), Stage 7 (What Remains — physical, political, oracular limits). Each stage is independently useful. Stage 0 is running today. The migration is progressive component swap, not a cut-over. diff --git a/projects/passepartout/architecture/stages/_index.org b/projects/passepartout/architecture/stages/_index.org index 6c53f10..6e903ce 100644 --- a/projects/passepartout/architecture/stages/_index.org +++ b/projects/passepartout/architecture/stages/_index.org @@ -12,14 +12,14 @@ The staged roadmap for Passepartout — from current conventional computing thro | Stage | What changes | Threat eliminated | |---|---|---| -| 0 | Linux + Python agent + SQLite (current) | None — starting point | -| 2 | The gate as software over host OS | Root as attack path | -| 1 | Social protocol: DID identity, encrypted messaging, data stores | Unauthenticated communication | -| 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) | +| 0: Now | Linux + Python agent + SQLite (current) | None — starting point | +| 1: Neurosymbolic Agent | The gate — ACL2-verified decision procedures, provenance store, validity envelope predicates | Root as attack path, unverified empirical claims | +| 2: Lisp Machine | Bare-metal Lisp image, one address space | MMU boundary, process isolation | +| 3: AI Inference | In-process LLM inference | API call interception | +| 4: Social Protocol | DID identity, encrypted messaging, data stores | Unauthenticated communication | +| 5: AI Weights | Neural weights as plist-native data | Symbolic/neural representation gap | +| 6: AI Training | 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.* diff --git a/projects/passepartout/architecture/stages/stage-2-verification.org b/projects/passepartout/architecture/stages/stage-1-gate.org similarity index 97% rename from projects/passepartout/architecture/stages/stage-2-verification.org rename to projects/passepartout/architecture/stages/stage-1-gate.org index af39d89..02610f5 100644 --- a/projects/passepartout/architecture/stages/stage-2-verification.org +++ b/projects/passepartout/architecture/stages/stage-1-gate.org @@ -1,12 +1,11 @@ --- -title: Stage 2 +title: Neurosymbolic Agent type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0 — Now]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Stage 1 — Social Protocol]] - +← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0: Now]] → [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Lisp Machine]] # Stage 2: Verification Subsystem *Summary: A verified gate evaluates every action against formal policy. @@ -178,10 +177,9 @@ The gate runs in the same address space as the PDS (Stage 2 runs on conventional - Every action path — user command, LLM proposal, network message, file write — routes through the same decision procedure - The gate cannot be bypassed; there is no privileged path -← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0 — Now]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Stage 1 — Social Protocol]] - +← [[id:8cb760e2-37c6-4a78-af4d-f89f69d1678b][Stage 0: Now]] → [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Lisp Machine]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 12 +:WEIGHT: 11 :ID: 4a1f23b0-abc3-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-3-lisp-machine.org b/projects/passepartout/architecture/stages/stage-2-lisp-machine.org similarity index 95% rename from projects/passepartout/architecture/stages/stage-3-lisp-machine.org rename to projects/passepartout/architecture/stages/stage-2-lisp-machine.org index 22d6ebe..d30e8b5 100644 --- a/projects/passepartout/architecture/stages/stage-3-lisp-machine.org +++ b/projects/passepartout/architecture/stages/stage-2-lisp-machine.org @@ -1,12 +1,11 @@ --- -title: Stage 3 +title: Lisp Machine type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] → [[id:4a1f23b0-abc5-4def-9876-543210abcdef][Stage 4 — Inference]] - +← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Neurosymbolic Agent]] → [[id:4a1f23b0-abc5-4def-9876-543210abcdef][AI Inference]] # Stage 3: Lisp Machine *Summary: The [[id:84a537b4-4256-50c8-91f5-dd5b4538418f][verified Lisp machine]]. One image, one [[id:1c95ce7d-a2db-506a-9608-df68f9ae211b][memory graph]], one [[id:45ea493b-94ad-5885-aa65-0c846e5c3c1d][gate stack]]. @@ -130,10 +129,9 @@ and everything must be written in Lisp. The practical trade is: absolute memory safety at the cost of adopting an entirely new computing paradigm. This is not an upgrade path — it is a replacement. -← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] → [[id:4a1f23b0-abc5-4def-9876-543210abcdef][Stage 4 — Inference]] - +← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Neurosymbolic Agent]] → [[id:4a1f23b0-abc5-4def-9876-543210abcdef][AI Inference]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 16 +:WEIGHT: 12 :ID: 4a1f23b0-abc4-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-4-inference.org b/projects/passepartout/architecture/stages/stage-3-inference.org similarity index 93% rename from projects/passepartout/architecture/stages/stage-4-inference.org rename to projects/passepartout/architecture/stages/stage-3-inference.org index 885fc23..55b0038 100644 --- a/projects/passepartout/architecture/stages/stage-4-inference.org +++ b/projects/passepartout/architecture/stages/stage-3-inference.org @@ -1,12 +1,11 @@ --- -title: Stage 4 +title: AI Inference type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Stage 3 — Lisp Machine]] → [[id:4a1f23b0-abc6-4def-9876-543210abcdef][Stage 5 — Weights]] - +← [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Lisp Machine]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Social Protocol]] # Stage 4: Inference *Summary: The LLM runs in-process under the gate. Every token is inspected @@ -88,10 +87,9 @@ The weights are still a verified *blob* — you know the file's hash but can't prove anything about individual weights. Training provenance is not tracked. The inference is FFI-mediated, so trust in llama.cpp remains. -← [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Stage 3 — Lisp Machine]] → [[id:4a1f23b0-abc6-4def-9876-543210abcdef][Stage 5 — Weights]] - +← [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Lisp Machine]] → [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Social Protocol]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 17 +:WEIGHT: 13 :ID: 4a1f23b0-abc5-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-1-social-protocol.org b/projects/passepartout/architecture/stages/stage-4-social-protocol.org similarity index 96% rename from projects/passepartout/architecture/stages/stage-1-social-protocol.org rename to projects/passepartout/architecture/stages/stage-4-social-protocol.org index f54e863..b35f2ca 100644 --- a/projects/passepartout/architecture/stages/stage-1-social-protocol.org +++ b/projects/passepartout/architecture/stages/stage-4-social-protocol.org @@ -1,12 +1,11 @@ --- -title: Stage 1 - Social Protocol (In-Transit Integrity) +title: Social Protocol type: reference tags: :passepartout:roadmap:social-protocol: created: 2026-05-24 --- -← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] → [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Stage 3 — Lisp Machine]] - +← [[id:4a1f23b0-abc5-4def-9876-543210abcdef][AI Inference]] → [[id:4a1f23b0-abc6-4def-9876-543210abcdef][AI Weights]] # Stage 1: [[id:1d074690-a279-59cb-b91d-e9a22ae104ad][Social Protocol]] *Summary: Every message is signed, DAG-tracked, and content-addressed. @@ -178,10 +177,9 @@ These are not libraries but Passepartout systems that must be built: The sidecar strategy collapses the high-risk items to near-zero implementation risk for the initial release. -← [[id:4a1f23b0-abc3-4def-9876-543210abcdef][Stage 2 — Verification]] → [[id:4a1f23b0-abc4-4def-9876-543210abcdef][Stage 3 — Lisp Machine]] - +← [[id:4a1f23b0-abc5-4def-9876-543210abcdef][AI Inference]] → [[id:4a1f23b0-abc6-4def-9876-543210abcdef][AI Weights]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 13 +:WEIGHT: 14 :ID: 4a1f23b0-abc2-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-5-weights.org b/projects/passepartout/architecture/stages/stage-5-weights.org index 0fbbeab..afd5d30 100644 --- a/projects/passepartout/architecture/stages/stage-5-weights.org +++ b/projects/passepartout/architecture/stages/stage-5-weights.org @@ -1,12 +1,11 @@ --- -title: Stage 5 +title: AI Weights type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:4a1f23b0-abc5-4def-9876-543210abcdef][Stage 4 — Inference]] → [[id:4a1f23b0-abc7-4def-9876-543210abcdef][Stage 6 — Training]] - +← [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Social Protocol]] → [[id:4a1f23b0-abc7-4def-9876-543210abcdef][AI Training]] # Stage 5: Weights *Summary: Every weight is a [[id:1c95ce7d-a2db-506a-9608-df68f9ae211b][Lisp object in the Merkle memory graph]]. You can @@ -80,10 +79,9 @@ Either path is viable. The GPU path can be built today with existing hardware. The ASIC path is the destination — a single verified chip that doesn't need the hybrid workaround. -← [[id:4a1f23b0-abc5-4def-9876-543210abcdef][Stage 4 — Inference]] → [[id:4a1f23b0-abc7-4def-9876-543210abcdef][Stage 6 — Training]] - +← [[id:4a1f23b0-abc2-4def-9876-543210abcdef][Social Protocol]] → [[id:4a1f23b0-abc7-4def-9876-543210abcdef][AI Training]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 18 +:WEIGHT: 15 :ID: 4a1f23b0-abc6-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-6-training.org b/projects/passepartout/architecture/stages/stage-6-training.org index 78f7924..9ecb4c6 100644 --- a/projects/passepartout/architecture/stages/stage-6-training.org +++ b/projects/passepartout/architecture/stages/stage-6-training.org @@ -1,12 +1,11 @@ --- -title: Stage 6 +title: AI Training type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:4a1f23b0-abc6-4def-9876-543210abcdef][Stage 5 — Weights]] → [[id:4a1f23b0-abc8-4def-9876-543210abcdef][Stage 7 — Remaining]] - +← [[id:4a1f23b0-abc6-4def-9876-543210abcdef][AI Weights]] → [[id:4a1f23b0-abc8-4def-9876-543210abcdef][What Remains]] # Stage 6: Training *Summary: Verified fine-tuning under the gate. Every example checked for consent. @@ -116,10 +115,9 @@ message types. The gate falsifies its predictions, so the world model converges toward accurate beliefs about your world, not the statistical average of the internet. -← [[id:4a1f23b0-abc6-4def-9876-543210abcdef][Stage 5 — Weights]] → [[id:4a1f23b0-abc8-4def-9876-543210abcdef][Stage 7 — Remaining]] - +← [[id:4a1f23b0-abc6-4def-9876-543210abcdef][AI Weights]] → [[id:4a1f23b0-abc8-4def-9876-543210abcdef][What Remains]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 19 +:WEIGHT: 16 :ID: 4a1f23b0-abc7-4def-9876-543210abcdef :END: diff --git a/projects/passepartout/architecture/stages/stage-7-remaining.org b/projects/passepartout/architecture/stages/stage-7-remaining.org index 488f28a..d8e5cb4 100644 --- a/projects/passepartout/architecture/stages/stage-7-remaining.org +++ b/projects/passepartout/architecture/stages/stage-7-remaining.org @@ -1,12 +1,11 @@ --- -title: Stage 7 +title: What Remains type: reference tags: :passepartout:roadmap: created: 2026-05-24 --- -← [[id:4a1f23b0-abc7-4def-9876-543210abcdef][Stage 6 — Training]] - +← [[id:4a1f23b0-abc7-4def-9876-543210abcdef][AI Training]] # Stage 7: What Remains *Summary: At full maturity — dual-unit ASIC, plist-native weights, verified @@ -163,10 +162,9 @@ keys, Stages 1-4 may be enough. For a financial system that settles billions, Stages 5-6 justify the overhead. The progressive threat model is also a progressive cost-benefit analysis — know the price, then decide. -← [[id:4a1f23b0-abc7-4def-9876-543210abcdef][Stage 6 — Training]] - +← [[id:4a1f23b0-abc7-4def-9876-543210abcdef][AI Training]] :PROPERTIES: :CREATED: [2026-05-24 Sun] -:WEIGHT: 20 +:WEIGHT: 17 :ID: 4a1f23b0-abc8-4def-9876-543210abcdef :END: