Restage with descriptive titles: agent arc first, network arc second
- 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
This commit is contained in:
Hermes
@@ -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.
|
||||
|
||||
|
||||
@@ -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.*
|
||||
|
||||
|
||||
@@ -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:
|
||||
@@ -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:
|
||||
@@ -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:
|
||||
@@ -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:
|
||||
@@ -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:
|
||||
|
||||
@@ -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:
|
||||
|
||||
@@ -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:
|
||||
|
||||
Reference in New Issue
Block a user