diff --git a/.org-ids.json b/.org-ids.json index f81e404..bd44d45 100644 --- a/.org-ids.json +++ b/.org-ids.json @@ -35,6 +35,18 @@ "b9fa4b7b-bc61-4d7f-918d-ff687b80f2ba": "projects/passepartout/architecture/systemic-effects.org", "13e6ae54-2d24-5aa0-b1cd-a7e8e749aa70": "projects/passepartout/architecture/self-driving-lisp-machine.org", "4a1f23b0-abc5-4def-9876-543210abcdef": "projects/passepartout/architecture/stage-4-inference.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", + "2cdca4b0-6b41-44b4-acb0-af21d0e27b00": "projects/passepartout/architecture/three-pronged/orders-of-magnitude-time.org", + "2f3a4b5c-6d7e-8f9a-0b1c-2d3e4f5a6b7c": "projects/passepartout/architecture/three-pronged/practical-powers-three-pronged.org", "e5f6a7b8-9c0d-1e2f-3a4b-5c6d7e8f90ab": "projects/passepartout/hardware/server-build-bom.org", "d4e5f6a7-8b9c-0d1e-2f3a-4b5c6d7e8f90": "projects/passepartout/hardware/_index.org", "68ffa49f-f0d8-42cf-8b69-ae69de8bb815": "projects/passepartout/social-protocol/requirements-10-governance-and-assets.org", @@ -131,22 +143,11 @@ "c34940cc-090e-57c4-8020-e78b1d32b96c": "projects/passepartout/strategy/compliance/domain-gate-packages.org", "bafdaa23-de0b-444c-9151-c87ac65add32": "projects/passepartout/strategy/compliance/lfp-dppp.org", "717ef2df-2a80-4362-b23a-5e7e12554251": "projects/passepartout/strategy/compliance/dora.org", - "1e2f3a4b-5c6d-7e8f-9a0b-1c2d3e4f5a6b": "ideas/world-models-plain-language.org", "be9bccc7-5adf-4d0d-8ee4-8855892189bf": "ideas/neurosymbolic-loop-architectures.org", - "3a4b5c6d-7e8f-9a0b-1c2d-3e4f5a6b7c8d": "ideas/architectural-integration-three-pronged.org", - "2cdca4b0-6b41-44b4-acb0-af21d0e27b00": "ideas/orders-of-magnitude-time.org", - "9c0d1e2f-3a4b-5c6d-7e8f-9a0b1c2d3e4f": "ideas/knowledge-tree-middle.org", "dddd52a7-adb8-470e-a459-614ade5f76af": "ideas/closing-the-lisp-gap.org", "3129eae6-f9f2-40fe-a419-8c1af728c86d": "ideas/faster-theorem-proving.org", - "f4e5d6c7-b8a9-0c1d-2e3f-4a5b6c7d8e9f": "ideas/schafmeister-clasp-nanotechnology.org", "2afd9a3c-e96a-54c7-ac77-a05a28065b4b": "ideas/biology-parallels.org", "85f963a7-a10f-45cc-ace6-6edfeefee762": "ideas/lisp-provers-and-rust-comparison.org", - "4b5c6d7e-8f9a-0b1c-2d3e-4f5a6b7c8d9e": "ideas/neurological-software-empirical-middle.org", "d2722576-fc9b-4bd3-bc2f-f5692b561b4e": "ideas/academic-nearest-neighbors.org", - "0d1e2f3a-4b5c-6d7e-8f9a-0b1c2d3e4f5a": "ideas/world-models-middle-domain.org", - "7a8b9c0d-1e2f-3a4b-5c6d-7e8f9a0b1c2d": "ideas/open-source-wolfram-lisp.org", - "329a30cd-55fb-496d-a60b-91388c211bba": "ideas/_index.org", - "5c6d7e8f-9a0b-1c2d-3e4f-5a6b7c8d9e0f": "ideas/wider-implications-three-pronged.org", - "8b9c0d1e-2f3a-4b5c-6d7e-8f9a0b1c2d3e": "ideas/passepartout-bootstrap-mathematica.org", - "2f3a4b5c-6d7e-8f9a-0b1c-2d3e4f5a6b7c": "ideas/practical-powers-three-pronged.org" + "329a30cd-55fb-496d-a60b-91388c211bba": "ideas/_index.org" } \ No newline at end of file diff --git a/ideas/_index.org b/ideas/_index.org index 71aaf5e..57a56f1 100644 --- a/ideas/_index.org +++ b/ideas/_index.org @@ -8,20 +8,11 @@ Cross-domain concepts, speculative analysis, and architectural thinking for the Passepartout project. -**The three-pronged system series** — new tonight: - -- [[id:f4e5d6c7-b8a9-0c1d-2e3f-4a5b6c7d8e9f][Schafmeister and Clasp]] — Lisp in computational nanotechnology, existence proof for the architecture -- [[id:7a8b9c0d-1e2f-3a4b-5c6d-7e8f9a0b1c2d][Open-source Wolfram Language in Lisp]] — viability of bootstrapping a Mathematica equivalent -- [[id:8b9c0d1e-2f3a-4b5c-6d7e-8f9a0b1c2d3e][Passepartout bootstrapping Mathematica]] — what the neurosymbolic engine could generate autonomously -- [[id:9c0d1e2f-3a4b-5c6d-7e8f-9a0b1c2d3e4f][Middle of the Knowledge Tree]] — the gap between logic and nanotechnology -- [[id:0d1e2f3a-4b5c-6d7e-8f9a-0b1c2d3e4f5a][The Middle Domain as World Models]] — mapping empirical science onto world model architecture -- [[id:1e2f3a4b-5c6d-7e8f-9a0b-1c2d3e4f5a6b][World Models — Plain Language]] — explanation without jargon -- [[id:2f3a4b5c-6d7e-8f9a-0b1c-2d3e4f5a6b7c][Practical Powers of the Three-Pronged System]] — 10 concrete capabilities -- [[id:3a4b5c6d-7e8f-9a0b-1c2d-3e4f5a6b7c8d][Architectural Integration]] — how the three prongs fit into Passepartout's subsystems and stages -- [[id:4b5c6d7e-8f9a-0b1c-2d3e-4f5a6b7c8d9e][Neurological Software in the Empirical Middle]] — neural networks in the provenance framework -- [[id:5c6d7e8f-9a0b-1c2d-3e4f-5a6b7c8d9e0f][Wider Implications]] — what the three-pronged system means for science, safety, regulation, and trust - **Earlier ideas:** - [[id:2afd9a3c-e96a-54c7-ac77-a05a28065b4b][Biology as Proof of the Lisp Model]] — biological systems as evidence for Lisp architecture -- [[id:2cdca4b0-6b41-44b4-acb0-af21d0e27b00][Orders of Magnitude — Time]] — a time-scale framework for the Passepartout roadmap +- [[id:dddd52a7-adb8-470e-a459-614ade5f76af][Closing the Lisp Gap]] — performance and ecosystem gaps between Lisp and C/Rust, and how Passepartout closes them +- [[id:85f963a7-a10f-45cc-ace6-6edfeefee762][Lisp, Provers, and vs Rust]] — Lisp vs Rust analysis, prover architecture, HOL bootstrap, comparison with Lean +- [[id:be9bccc7-5adf-4d0d-8ee4-8855892189bf][Neurosymbolic Loop Architectures]] — how neurosymbolic systems loop between symbolic reasoning and neural learning +- [[id:d2722576-fc9b-4bd3-bc2f-f5692b561b4e][Who Is Closest to Passepartout?]] — nearest-neighbor analysis of related projects +- [[id:3129eae6-f9f2-40fe-a419-8c1af728c86d][Faster Theorem Proving]] — engineering approaches to making formal verification practical diff --git a/projects/passepartout/architecture/three-pronged/_index.org b/projects/passepartout/architecture/three-pronged/_index.org new file mode 100644 index 0000000..33e9056 --- /dev/null +++ b/projects/passepartout/architecture/three-pronged/_index.org @@ -0,0 +1,20 @@ +:PROPERTIES: +:CREATED: [2026-05-24 Sun] +:ID: 329bd4fb-702a-4a2b-9c63-69281aacb83a +:END: +#+title: Three-Pronged Architecture +#+filetags: :architecture:three-pronged:knowledge:verification: + +The three-pronged model describes Passepartout's approach to knowledge and verification: deductive proofs (mathematical certainty), provenance-tracked empirical models (statistical validity), and probabilistic oracle (LLM-aided guidance), all governed by the gate. These notes trace the architectural implications across the system's subsystems and stages. + +- [[id:f4e5d6c7-b8a9-0c1d-2e3f-4a5b6c7d8e9f][Schafmeister and Clasp]] — Lisp in computational nanotechnology, existence proof for the architecture +- [[id:7a8b9c0d-1e2f-3a4b-5c6d-7e8f9a0b1c2d][Open-source Wolfram Language in Lisp]] — viability of bootstrapping a Mathematica equivalent +- [[id:8b9c0d1e-2f3a-4b5c-6d7e-8f9a0b1c2d3e][Passepartout bootstrapping Mathematica]] — what the neurosymbolic engine could generate autonomously +- [[id:9c0d1e2f-3a4b-5c6d-7e8f-9a0b1c2d3e4f][Middle of the Knowledge Tree]] — the gap between logic and nanotechnology +- [[id:0d1e2f3a-4b5c-6d7e-8f9a-0b1c2d3e4f5a][The Middle Domain as World Models]] — mapping empirical science onto world model architecture +- [[id:1e2f3a4b-5c6d-7e8f-9a0b-1c2d3e4f5a6b][World Models — Plain Language]] — explanation without jargon +- [[id:2f3a4b5c-6d7e-8f9a-0b1c-2d3e4f5a6b7c][Practical Powers of the Three-Pronged System]] — 10 concrete capabilities +- [[id:3a4b5c6d-7e8f-9a0b-1c2d-3e4f5a6b7c8d][Architectural Integration]] — how the three prongs fit into Passepartout's subsystems and stages +- [[id:4b5c6d7e-8f9a-0b1c-2d3e-4f5a6b7c8d9e][Neurological Software in the Empirical Middle]] — neural networks in the provenance framework +- [[id:5c6d7e8f-9a0b-1c2d-3e4f-5a6b7c8d9e0f][Wider Implications]] — what the three-pronged system means for science, safety, regulation, and trust +- [[id:2cdca4b0-6b41-44b4-acb0-af21d0e27b00][Orders of Magnitude — Time]] — a time-scale framework for the Passepartout roadmap diff --git a/ideas/architectural-integration-three-pronged.org b/projects/passepartout/architecture/three-pronged/architectural-integration-three-pronged.org similarity index 100% rename from ideas/architectural-integration-three-pronged.org rename to projects/passepartout/architecture/three-pronged/architectural-integration-three-pronged.org diff --git a/ideas/knowledge-tree-middle.org b/projects/passepartout/architecture/three-pronged/knowledge-tree-middle.org similarity index 100% rename from ideas/knowledge-tree-middle.org rename to projects/passepartout/architecture/three-pronged/knowledge-tree-middle.org diff --git a/ideas/neurological-software-empirical-middle.org b/projects/passepartout/architecture/three-pronged/neurological-software-empirical-middle.org similarity index 100% rename from ideas/neurological-software-empirical-middle.org rename to projects/passepartout/architecture/three-pronged/neurological-software-empirical-middle.org diff --git a/ideas/open-source-wolfram-lisp.org b/projects/passepartout/architecture/three-pronged/open-source-wolfram-lisp.org similarity index 100% rename from ideas/open-source-wolfram-lisp.org rename to projects/passepartout/architecture/three-pronged/open-source-wolfram-lisp.org diff --git a/ideas/orders-of-magnitude-time.org b/projects/passepartout/architecture/three-pronged/orders-of-magnitude-time.org similarity index 100% rename from ideas/orders-of-magnitude-time.org rename to projects/passepartout/architecture/three-pronged/orders-of-magnitude-time.org diff --git a/ideas/passepartout-bootstrap-mathematica.org b/projects/passepartout/architecture/three-pronged/passepartout-bootstrap-mathematica.org similarity index 100% rename from ideas/passepartout-bootstrap-mathematica.org rename to projects/passepartout/architecture/three-pronged/passepartout-bootstrap-mathematica.org diff --git a/ideas/practical-powers-three-pronged.org b/projects/passepartout/architecture/three-pronged/practical-powers-three-pronged.org similarity index 100% rename from ideas/practical-powers-three-pronged.org rename to projects/passepartout/architecture/three-pronged/practical-powers-three-pronged.org diff --git a/ideas/schafmeister-clasp-nanotechnology.org b/projects/passepartout/architecture/three-pronged/schafmeister-clasp-nanotechnology.org similarity index 100% rename from ideas/schafmeister-clasp-nanotechnology.org rename to projects/passepartout/architecture/three-pronged/schafmeister-clasp-nanotechnology.org diff --git a/ideas/wider-implications-three-pronged.org b/projects/passepartout/architecture/three-pronged/wider-implications-three-pronged.org similarity index 100% rename from ideas/wider-implications-three-pronged.org rename to projects/passepartout/architecture/three-pronged/wider-implications-three-pronged.org diff --git a/ideas/world-models-middle-domain.org b/projects/passepartout/architecture/three-pronged/world-models-middle-domain.org similarity index 100% rename from ideas/world-models-middle-domain.org rename to projects/passepartout/architecture/three-pronged/world-models-middle-domain.org diff --git a/ideas/world-models-plain-language.org b/projects/passepartout/architecture/three-pronged/world-models-plain-language.org similarity index 100% rename from ideas/world-models-plain-language.org rename to projects/passepartout/architecture/three-pronged/world-models-plain-language.org