0.1.0 miser.txt tombstone and docs/miser.txt tracker consolidation

docs/miser.txt

@@ -1,23 +1,24 @@
-miser.txt 0.0.3                    UTF-8                         2024-11-30
+miser.txt 0.1.0                     UTF-8                         2024-11-30
 *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
 
                                The Miser Project
                                =================
 
                         <https://github/orcmid/miser>
 
-                         THE MISER PROJECT ON GITHUB
-                         ---------------------------
+                     TRACKING THE MISER PROJECT ON GITHUB
+                     ------------------------------------
 
-           WEB SHADOW: <https://orcmid.github.io/miser/miser.txt>
+           TRACKER: <https://orcmid.github.io/miser/miser.txt>
 
-                 THIS IS A SHADOW DERIVED FROM THE FILE AT
+               THIS FILE REPLACES THE NOW TOMB-STONED FILE AT
           <https://github.com/orcmid/miser/blob/master/miser.txt>
 
-          THIS SHADOW EXISTS TO CAPTURE TODOS THAT NOW APPLY ON
-          THE WEB PRESENCE OF THE PROJECT.  WITH REGARD TO THE
-          SOURCE-CONTROL OF THE SOFTWARE USING GIT AND GITHUB,
-          CONSULT THE ORIGINAL.
+    NOTE: Generally, folders of the Miser Project on GitHub repository
+          have folder.txt text files where the folder name is used.
+          This "Tracker" file serves that purpose, although it is
+          under folder miser/docs for accessibility on the web while
+          having maintenance be in exactly one place.
 
     The Miser Project is being moved to GitHub in its entirety.  It is also
     being made web-centric, so that the authoritative text files of the
@@ -31,6 +32,90 @@ miser.txt 0.0.3                    UTF-8                         2024-11-30
     commences at <https://orcmid.github.io/miser/index.htm>.
 
 
+MANIFEST FOR <https://github/orcmid/miser>
+
+    README.md
+        GitHub-rendered "home page" for the public source-code repository,
+        with introduction to the project.
+
+    miser.txt
+        tombstone of this synopsis and manifest for the overall repository,
+        now usurped by this authoritative tracking version
+
+    dev/
+        subtree of materials on the development of Miser Project releases
+
+    docs/
+        folder for docs and management as GitHub Pages
+
+    models/
+        subtree for model-related exposition and comparisons
+
+    oFrugal/
+        subtree for working out oFrugal processors including reference
+        implementations and also companions to oMiser mockups
+
+    oMiser/
+        subtree for working out and confirming oMiser conceptualization and
+        proof-of-concept demonstrations, including run-time
+
+    background.txt
+        description of the inspirational sources and evolution of the ideas
+         behind The Miser Project
+
+    challenges.txt
+        description of challenges to be worked through in the development
+        of oMiser and its integration in higher-level functions and lower-
+        level implementations.
+
+    engineering.txt
+        on the engineering approach to the Miser project and the
+        development of reliable implementations of oMiser and oFrugal
+
+    logic.txt
+        on the use of logics in support of theories.txt, the specific
+        oMiser theories, and also provers as they might be developed and
+        applied to Miser itself
+
+    principles.txt
+        description of the strong principles by which the connection
+        between theory and achieved computational interpretation are
+        sustained, from the computational perspective
+
+    programming.txt
+        text description of information for programming in oFrugal
+        notation with the oFrugal REPL
+
+    theory.txt
+        account for the theoretical progressions that are the foundation
+        for achievement of the oMiser computational model and its
+        concrete representations
+
+    truth.txt
+        explanation of the use of "truth" in the context of a concrete
+        computational model and how it figures in computational interpre-
+        tations and abstraction representations
+
+    LICENSE.txt
+         The open-source software license that applies to the entire
+         Miser Project repository content except where stated otherwise.
+
+    NOTICE.txt
+         Notice that applies with respect to particular components of
+         Miser Project software.
+
+    SECURITY.md
+         Security policy for the Miser Project on GitHub
+
+    .gitattributes
+         A declaration of file attributes for use in Git repositories of
+         the Miser Project.
+
+    .gitignore
+         A declaration of artifacts to be ignored and excluded from Git
+         repositories, applying to working files that are not part of the
+         managed archive materials
+
 *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
 
                  Copyright 2017-2020, 2023-2024 Dennis E. Hamilton
@@ -52,14 +137,16 @@ miser.txt 0.0.3                    UTF-8                         2024-11-30
  ATTRIBUTION
 
    Hamilton, Dennis E. The Miser Project on GitHub.  Miser Project text file
-   miser.txt version 0.0.3 dated 2024-11-30, available on the Internet as a
+   miser.txt version 0.1.0 dated 2024-11-30, available on the Internet as a
    version of <https://orcmid.github.io/miser/miser.txt>
 
 TODO
 
   * I have no idea why I called this a "shadow" file. I need to look at the
     "original" in the full GitHub repository and figure out what I mean and
-    where maintenance is intended to continue.
+    where maintenance is intended to continue.  I am renaming it to be a
+    "tracker" since it is under docs/ but about the overall GitHub repository
+    organization.
 
   * I did not sign up for the Australasian Logic Colloquium just held in
     Brisbane, November 6-7, 2023.  I did not see a program and the time zone
@@ -113,9 +200,28 @@ TODO
     subdivision.  Documentation might address this better.  Those files/topics
     might move accordingly.
 
+  * Provide tombstones as materials are moved under the docs/ structure.
+
+  * SCRUB: Move items to docs.txt when to be handled better with web pages.
+
+  * Provide a little bit more information about what this is and where to
+    find more about it.
+
+  * Account for the use of .md as well as .txt files in this project.
+
+  * Do we need engineering of the GitHub project (and document engineering)
+    as distinct from the engineering of implementations.  We can handle this
+    with a docs/construction mechanism.  I don't know about the construction
+    structure of the code other than that.
+
+  * Make the global change of orcmid repositories to have main as the default
+    branch name, deprecating master (which will presumably redirect to main).
+
+  * Review for changes needed in blog, wiki, and documentation pages.
 
 *---|----1----|----2----|----3----|----4----|----5----|----6----|----7----|--*
 
+ 0.1.0 2024-11-30T17:52Z Rework as tracker, tombstoning the repo root version
  0.0.3 2024-11-30T16:53Z Touch-ups and wondering
  0.0.2 2024-01-30T16:08Z Reduce TODOs to those remaining applicable here.
  0.0.1 2024-01-30T16:01Z Boilerplate from 0.0.18 miser.txt from the gitHub