Commit Diff

commit 78c78e583dbb151a4a192313a1ec92e6d937313a97cea3edc1a55f85cf7e8552
Author: yihanwu1024 <yihanwu1024>
Date:   Tue Dec 2 13:12:05 2025 +0000

    revise proposal for a nonlinear operating system

diff --git a/055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49 b/055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49
index 14e020b..2586c58 100644
--- a/055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49
+++ b/055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49"><title>Reference founded in experience.</title>
 <para>Reference must not be made to things that exist, but only to things that have been experienced.</para>
 </formalpara>
diff --git a/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9 b/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
index 8b2824c..bb9bbe9 100644
--- a/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
+++ b/202c97c111d18457b3228ce0b0e2e264e10730d13ca4836fb9b6e60279f408b9
@@ -5,7 +5,9 @@
 <para>The benefits of nonlinearity include:</para>
 <itemizedlist>
 <listitem>
-<para>(Malleability) The ease of changing and composing software, since intermediate state is now available.</para>
+<formalpara><title>Malleability.</title>
+<para>The ease of changing and composing software, since intermediate state is now available.</para>
+</formalpara>
 </listitem>
 <listitem>
 <para>Availability of the nonlinar feature set: provenance, I/O control, replay.</para>
diff --git a/242649c1cd1ce1c3dcf4a3bb410a203354667d227bffa6d32e2b89c01bdfc648 b/242649c1cd1ce1c3dcf4a3bb410a203354667d227bffa6d32e2b89c01bdfc648
index 5b37928..112fd17 100644
--- a/242649c1cd1ce1c3dcf4a3bb410a203354667d227bffa6d32e2b89c01bdfc648
+++ b/242649c1cd1ce1c3dcf4a3bb410a203354667d227bffa6d32e2b89c01bdfc648
@@ -9,12 +9,13 @@ But even meticulously designed tools regularly fail to meet some of the most nat
 So we change the data to reflect what exists in the real world.
 But very quickly, we have a lot of things that exist only by inference.
 Sometimes, the inference is wrong.
-Even if the inference is correct, we may still want to change to a different inference, and we lament at the schema migration.</para>
+Even if the inference is correct, we may still want to change to a different inference, and we lament the schema migration.</para>
 <para>Oh, no!</para>
 <para>Is the truth false?
 After a lot of frustration, we may start to accept that:</para>
 <include xmlns="http://www.w3.org/2001/XInclude" href="948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459"/>
 <include xmlns="http://www.w3.org/2001/XInclude" href="055fec7d09664840ea3cc0f60487fe987c58a979544dbc9084ad98184266bc49"/>
+<para>These two claims seem to be a lot better at characterizing our complete process with information systems.</para>
 <para>But I think there is a stronger argument and, as a philosopher, I feel compelled to write it down.
 Here is an illustration without any philosophical jargon.
 Although I am not citing any work here, much credit should go to Immanuel Kant and his influence.
@@ -24,7 +25,7 @@ The distilled idea is quite standalone and close to common sense.</para>
 <include xmlns="http://www.w3.org/2001/XInclude" href="e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5"/>
 <para>All of these, in essence, require a property diametrically opposite to what current information systems have.
 Current systems, including but not limited to operating systems, are linear in the sense that data is fundamentally mutable, and space in any environment is fundamentally fixed, unless explicitly allocated.
-I call such a von Neumann operating system for its resemblance to the von Neumann computer architecture.
+I call such a von Neumann (operating) system for its resemblance to the von Neumann computer architecture.
 My proposal is nonlineaity, in which data is immutable and space is automatically allocated.
 The linear-nonlinear comparison is very similar to the imperative-functional comparison in the programming language world.</para>
 <para>My philosophical thesis can be summarized in one sentence:</para>
diff --git a/4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a b/4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a
index 3f68f38..078398c 100644
--- a/4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a
+++ b/4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="4f68acd223fd153f33e2c1fa4698721051065cf75933438361260d19c0a19b2a"><title>Mutability.</title>
 <para>To use a system is to change the data in it.</para>
 </formalpara>
diff --git a/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7 b/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
index 1396d0b..90a1689 100644
--- a/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
+++ b/591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7
@@ -1,22 +1,28 @@
 <?xml version="1.0" encoding="utf-8"?>
 <section xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" xml:id="591512d35940dede2b48d63de251f165d5621f2f14de5f0f8467fbbe6b524df7">
 <title>Nonlinear Operating System</title>
-<para>Looking forward to implement the nonlinear vision, I propose my technical thesis:</para>
+<para>Looking forward to implementing the nonlinear vision, I propose my technical thesis:</para>
 <include xmlns="http://www.w3.org/2001/XInclude" href="91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12"/>
 <para>First, there should be a desired feature set of a nonlinear operating system.
 These features are intentionally stated in a way compatible with both functional and imperative programming paradigms.</para>
 <itemizedlist>
 <listitem>
-<para>Provenance: Any execution result (return value and output) knows what execution (program and input) produced it.</para>
+<formalpara><title>Provenance.</title>
+<para>Any execution result (return value and output) knows what execution (program and input) produced it.</para>
+</formalpara>
 </listitem>
 <listitem>
-<para>I/O control: All input is stored, and all I/O is audited.</para>
+<formalpara><title>I/O control.</title>
+<para>All input is stored, and all I/O is audited.</para>
+</formalpara>
 </listitem>
 <listitem>
-<para>(A result of the first two features) Replay: Any execution can be run again, producing identical behavior.</para>
+<formalpara><title>Replay.</title>
+<para>(A result of the first two features) Any execution can be run again, producing identical behavior.</para>
+</formalpara>
 </listitem>
 </itemizedlist>
-<para>Next, a design of this proposed operating system can be as simple as:</para>
+<para>Next, an extremely oversimplified design of this proposed operating system can be:</para>
 <itemizedlist>
 <listitem>
 <para>The OS is an event store and an execution engine with I/O control.</para>
@@ -43,5 +49,4 @@ All other things are cache.</para>
 </itemizedlist>
 <para>Much of the event store is left undefined, because a formal system needs to be designed for its pattern matching, and this should be the major portion of theoretical work.
 The hope is that when this formal system is in place, it is possible to write any program with only the global event store as the synchronization primitive.</para>
-<para>Feedback is thoroughly welcome on any part of the operating system architecture.</para>
 </section>
diff --git a/6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502 b/6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502
index b3c0c3f..956c8b5 100644
--- a/6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502
+++ b/6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="6b744acddaa177057bace0c2f8921d704cde85bb1816f6eb39862010fc597502"><title>The significance of nonlinearity.</title>
 <para>Nonlinearity (history and its automatic space allocation) is a basic feature of intelligence, hence it should also be a basic feature of a personal computer.</para>
 </formalpara>
diff --git a/91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12 b/91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12
index 7332c2e..c910518 100644
--- a/91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12
+++ b/91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="91b058acb09da9057371d0c38532101fe1da5b962e5fc713f365639100f08f12"><title>Where to implement nonlinearity.</title>
 <para>Nonlinearity is best implemented within the operating system.</para>
 </formalpara>
diff --git a/948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459 b/948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459
index 0702b91..b11b9ee 100644
--- a/948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459
+++ b/948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="948c802b933d48e5e4c119355d1bc1255999702c32441e16794f9cd9ab5d4459"><title>Append-only paradigm.</title>
 <para>To use a system is to add data to it.</para>
 </formalpara>
diff --git a/e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5 b/e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5
index d74851f..deed6d1 100644
--- a/e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5
+++ b/e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5">
+<formalpara xmlns="http://docbook.org/ns/docbook" xml:id="e2f1986cd578bafe848f4b72fc719c367882aa6563d1a4b89a19ba5fe36af5d5"><title>Observations.</title>
 <para>
 <orderedlist>
 <listitem>