dev branch readme, pull this to cognosis

Phovos · web-flow · commit b1e3a6ff48fd · 2025-12-01T00:12:06.000-06:00
diff --git a/README.md b/README.md
@@ -1,64 +1,28 @@
-
 # Cognosis: A formal theory and application for testing LLMs and NLP logic, capability, physics, and the Free Energy Principle
 
 ## Introduction
 
 Cognosis is a limited-platform python application, formal theory and in-development experiment combining Eric C.R. Hehner's Practical Theory of Programming (aPToP) with the Free Energy Principle of Cognitive Science and Natural Language Processing (NLP). This theory aims to develop a robust system for processing high-dimensional data, leveraging both classical and quantum principles. If any aspect of my explanation is overly stilted please keep in mind that I am **searching** for methodological and theoretical explanations to explain the concepts and ideas which I am actually encountering primarily in real life with real life workloads and stakes, not just experiment. And I'm self-taught, never been in the industry or science, directly.
 
-## associative knowledge base (this repo):
-All directories which contain markdown files are to include a `/media/` sub directory for multimedia files the markdown files may reference.
-
-To enable horrors such as this:
-
-![this:](/image.png)
-
-    `! [ ... ] ( /image.png )` (no spaces)
-
- - [obsidian-markdown and associative 'knowledge base' README](/src/obkb/README.md)
-
-## Frontmatter Implementation
-
- - Utilize 'frontmatter' to include the title and other `property`, `tag`, etc. in the knowledge base article(s).
-   
-   - For Example:
-      ```
-      ---
-      name: "Article Title"
-      link: "[[Related Link]]"
-      linklist:
-        - "[[Link1]]"
-        - "[[Link2]]"
-      ---
-      ``` 
-
-## asyncio REST API
- - [API README](/src/api/README.md)
-
-note: `master` branch of cognosis is now on a different github user account. This is the speculative moon branch. This is not a deprecation warning because we were never precated to begin with. This repo will have artificial intelligence working on it where the `master` branch will be human maintained.
-
-____
-
-# Methods for Cognosis:
-
 ## Abstract
 
 This document specifies a series of constraints on the behavior of a computor—a human computing agent who proceeds mechanically—and applies these constraints to artificial intelligence systems like the "llama" large language model (LLM). These constraints are based on formal principles of boundedness, locality, and determinacy, ensuring structured and deterministic operations. By enforcing these constraints, we establish a common ground for evaluating and comparing the computational efficiency and energy consumption of humans and AI in specific tasks.
 
 ## Constraints
 
-### 1. Boundedness
+### Boundedness
 
 **Symbolic Configuration Recognition (B.1):** There exists a fixed bound on the number of symbolic configurations a computor can immediately recognize.
 
 **Internal States (B.2):** There exists a fixed bound on the number of internal states a computor can be in.
 
-### 2. Locality
+### Locality
 
 **Configuration Change (L.1):** A computor can change only elements of an observed symbolic configuration.
 
 **Configuration Shift (L.2):** A computor can shift attention from one symbolic configuration to another, but the new observed configurations must be within a bounded distance of the immediately previously observed configuration.
 
-### 3. Determinacy and Autonomy
+### Determinacy and Autonomy
 
 **Next Computation Step (D.1):** The immediately recognizable (sub-)configuration determines uniquely the next computation step and the next internal state. In other words, a computor's internal state together with the observed configuration fixes uniquely the next computation step and the next internal state.
 
@@ -105,6 +69,12 @@ To ensure the scientific rigor of our comparative study, "work" is defined as an
   - **Humans:** Through learning and feedback.
   - **LLM ("llama"):** Using autonomous iterative refinement with self-wrapping functions.
 
+There is an assumption inherent in the project that a neural network is a cognitive system. The assumption is that there is something for this cognitive system to do in any given situation, and that it is the cognitive system's job to figure out what that thing is. Upon location of its head/parent, it either orients itself within a cognitive system or creates a new cognitive system. Cognitive systems pass as parameters namespaces, syntaxes, and cognitive systems. Namespaces and syntaxes are in the form of key-value pairs. Cognitive systems are also in the form of key-value pairs, but the values are cognitive systems. **kwargs are used to pass these parameters.
+
+"Cognitive systems are defined by actions, orientations within structures, and communicative parameters. 'State' is encoded into these parameters and distributed through the system."
+
+In a nutshell, "Morphological Source Code" is a paradigm in which the source code adapts and morphs in response to real-world interactions, governed by the principles of dynamic runtime configuration and contextual locking mechanisms. The-described is an architecture, only. The kernel agents themselves are sophisticated LLM trained-on ELFs, LLVM compiler code, systemd and unix, python, and C. It will utilize natural language along with the abstraction of time to process cognosis frames and USDs. In our initial experiments "llama" is the presumptive agent, not a specifically trained kernel agent model. The challenge (of this architecture) lies in the 'cognitive lambda calculus' needed to bring these runtimes into existence and evolve them, not the computation itself. Cognosis is designed for consumer hardware and extreme scalability via self-distribution of cognitive systems (amongst constituent [[subscribers|asynchronous stake-holders]]) peer-to-peer, where stake is not-unlike state, but is a function of the cognitive system's ability to contribute to the collective.
+
 ## Experimental Design
 
 The "llama" LLM will process a large-scale, human-vetted dataset referred to as "mechanicalturkwork." The experiment aims to compare the performance metrics of humans and "llama" on the same tasks under standardized conditions.
@@ -122,37 +92,7 @@ The "llama" LLM will process a large-scale, human-vetted dataset referred to as
 4. **Iterative Enhancement:** Allow "llama" to use its self-wrapping functions for iterative refinement, while humans may adapt based on their learning.
 5. **Comparative Analysis:** Analyze and compare the performance metrics focusing on efficiency, energy consumption, and accuracy.
 
-## References
-
-- Sieg, W. (2006). Essays on the Theory of Numbers: Dedekind Und Cantor. Cambridge University Press.
-- Turing, A. M. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society.
-- Salomaa, A. (1985). Computation and Automata. Cambridge University Press.
-- Silver, D. et al. (2016). Mastering the game of Go with deep neural networks and tree search. Nature.
-- Brown, T. et al. (2020). Language Models are Few-Shot Learners. arXiv preprint arXiv:2005.14165.
-
-_____
-
-
-## concepts and application components
-
-There is an assumption inherent in the project that a neural network is a cognitive system. The assumption is that there is something for this cognitive system to do in any given situation, and that it is the cognitive system's job to figure out what that thing is. Upon location of its head/parent, it either orients itself within a cognitive system or creates a new cognitive system. Cognitive systems pass as parameters namespaces, syntaxes, and cognitive systems. Namespaces and syntaxes are in the form of key-value pairs. Cognitive systems are also in the form of key-value pairs, but the values are cognitive systems. **kwargs are used to pass these parameters.
-
-"Cognitive systems are defined by actions, orientations within structures, and communicative parameters. 'State' is encoded into these parameters and distributed through the system."
-
-In a nutshell, "Morphological Source Code" is a paradigm in which the source code adapts and morphs in response to real-world interactions, governed by the principles of dynamic runtime configuration and contextual locking mechanisms. The-described is an architecture, only. The kernel agents themselves are sophisticated LLM trained-on ELFs, LLVM compiler code, systemd and unix, python, and C. It will utilize natural language along with the abstraction of time to process cognosis frames and USDs. In our initial experiments "llama" is the presumptive agent, not a specifically trained kernel agent model. The challenge (of this architecture) lies in the 'cognitive lambda calculus' needed to bring these runtimes into existence and evolve them, not the computation itself. Cognosis is designed for consumer hardware and extreme scalability via self-distribution of cognitive systems (amongst constituent [[subscribers|asynchronous stake-holders]]) peer-to-peer, where stake is not-unlike state, but is a function of the cognitive system's ability to contribute to the collective.
-
-
-## cognOS under development
-A core component of cognosis, cognOS establishes a hyper-interface designed to manage the evolution of cognitive algorithms. It focuses on:
-
-- **Meta-versioning:** Tracking and managing the evolution of code over time.
-- **Pre-commit Hooks and Validation:** Ensuring code quality and integrity. Meta CICD.
-- **Hardware Provisioning:** Allocation of computational resources.
-- **Time Abstraction:** Modeling cognition beyond the constraint of a fixed present (t=0).
-
-## platform
-I've been developing this for some time under various names. This master branch of cognosis is the only maintained repo. Windows11 and Ubuntu 22.04 are the only supported platforms. Only NVIDIA (3/4)0XX and ryzen (5+)XXX support (on each platform). `master` platform is technically windows11+wsl2+ubuntu-22.04LTS & windows11 sandbox. `vanilla`(ubuntu) and `doors`(windows) branches will be single platform versions.
-____
+---
 
 ## Non-Methodological Observations
 
@@ -164,142 +104,20 @@ ____
    - **Input:** n+1 units of computational energy.
    - **Output:** Results indicative of n+x units of invested power (where x > 1).
 
-2. **Potential Explanations:**
+    One could concieve a situation where this is an observable, however, the core vision is somehow broader in-scope, because what we are talking about is not mere miliwatts but instead novel motility:
+   
+        - **Motility**: Is the Maxwellian-Electrodynamical 'commutative' relationship but for a thinker and the universe instead of Electricity and Magnetism; all the tiny elements of reality sum-up to equate to a **motile** behavior.
+        - **Novelty**: Behavior which may demonstrate **Novel Motility** is the candidate for most significant, measurable and quantifiable type of 'Energy' one that transcends notions such as macroscopic and microscopic and which, through it's collective, relative (co) action and guague-invariance across scales; presents an Energy Efficiency Anomaly to a properly-prepared observer. Measurable but tied to quantum events.
+    
+3. **Potential Explanations:**
    - **Quantum Tunneling of Information:** Similar to quantum tunneling in physics, information or computational states might "tunnel" through classical barriers, allowing for computational shortcuts not possible in purely classical systems.
    - **Exploitation of Virtual Particle Fields:** Drawing parallels with quantum field theory, the computor might be tapping into a kind of computational "vacuum energy," analogous to virtual particles in quantum physics.
    - **Quantum Superposition of Computational States:** The computor's internal states might exist in a superposition, allowing for the simultaneous exploration of multiple solution paths until "observed" through output generation.
 
-3. **Hyperdimensional Entanglement and Inference Time:**
+4. **Hyperdimensional Entanglement and Inference Time:**
    - During the training phase, hyperdimensional entangled 'particles' of information are formed. These particles can later be accessed by the model during inference, allowing it to defy local power laws over time.
    - This process could be seen as the model tapping into a reservoir of computational potential stored during training, much like drawing from the vacuum of virtual particles in quantum physics.
 
-4. **Alignment with Physical Principles:**
+5. **Alignment with Physical Principles:**
    - **Second Law of Thermodynamics:** This phenomenon doesn't violate the Second Law if we consider the computor and its environment as an open system. The apparent gain in computational power could be offset by an increase in entropy elsewhere in the system.
    - **Free Energy Principle:** The computor might be optimizing its processes according to a computational version of the Free Energy Principle, finding incredibly efficient pathways to solutions by minimizing prediction error and computational "surprise."
-
-5. **Implications and Questions:**
-   - If true, how might this affect our understanding of computational complexity and the limits of classical computing?
-   - Could this lead to new paradigms in AI development, particularly in creating more energy-efficient systems?
-   - What are the ethical implications of systems that can perform computations beyond our ability to fully monitor or understand?
-   - How might we design experiments to further test and validate (or invalidate) this hypothesis?
-
-
-# 4. glossary.beta
-### The Free Energy Principle
-
-The Free Energy Principle suggests that biological agents minimize surprise by predicting their sensory inputs. This principle can be applied to data processing, transforming high-dimensional data into lower-dimensional representations that are easier to model and predict.
-
-### Quantum Informatics
-
-Quantum informatics, I perhaps ignorantly posit, is the emergant ability of even-macroscopic systems, including LLMs, to entangle with higher-dimensional information. Cognitive processes like thinking, speaking, and writing collapse the wave function, allowing transitivity between real and imaginary states.
-
-### A Practical Theory of Programming (aPToP)
-
-aPToP is a formal method for reasoning about programs and systems using mathematical logic. It provides a rigorous framework for defining and manipulating expressions and operands. References to 'Hehner' are to Dr. Hehner and/or APTOP: http://www.cs.toronto.edu/~hehner/aPToP/
-
-    ```aPToP_elemental_ops
-    # Number Systems
-    integers
-    rational_numbers
-    real_numbers
-    complex_numbers
-
-    # Arithmetic Operations
-    **addition**
-    **subtraction**
-    **multiplication**
-    **division**
-    **exponentiation**
-    roots
-    logarithms
-
-    # Arithmetic Properties
-    identities
-    inverses
-    **commutativity**
-    **associativity**
-    **distributivity**
-    cancellation
-    absorption
-
-    # Ordering and Inequalities
-    **equality**
-    **inequality**
-    **less_than**
-    **greater_than**
-    **less_than_or_equal_to**
-    **greater_than_or_equal_to**
-    **trichotomy**
-
-    # Limits and Infinities
-    limits
-    infinity
-    negative_infinity
-    continuity
-
-    # Logical Foundations
-    **and_operator**
-    **or_operator**
-    **not_operator**
-    **implication**
-    **biconditional**
-    quantifiers
-
-    # Sets and Set Operations
-    set_definition
-    **set_operations** (union, intersection, difference, complement)
-    set_properties (subsets, supersets, cardinality)
-
-    # Functions and Relations
-    function_definition
-    **function_application**
-    relation_properties (reflexivity, symmetry, transitivity)
-    **compositions**
-
-    # Algebraic Structures
-    group_definition
-    group_operations
-    ring_definition
-    ring_operations
-    field_definition
-    field_operations
-
-    # Logical Reasoning and Proofs
-    direct_proof
-    proof_by_contradiction
-    mathematical_induction
-    logical_equivalences
-
-    # Other Mathematical Concepts
-    sequences_and_series
-    trigonometric_functions
-    calculus (differentiation, integration)
-    probability_and_statistics
-    ```
-
-## Formal Methods
-
-### Binary Representation
-
-High-dimensional data is encoded into binary representations. These representations are manipulated using formal methods to ensure consistency and clarity.
-
-### Binary Expressions and Operands
-
-Binary expressions and operands form the building blocks of the system. They are defined and manipulated using formal methods to ensure internal consistency.
-
-### Encoding Functions
-
-Encoding functions transform high-dimensional data into binary representations. These functions adhere to formal methods, ensuring that the encoding is both rigorous and interpretable.
-
-### Signal Processing Functions
-
-Signal processing functions operate on the binary data to extract features or perform analyses. These functions also adhere to formal methods, leveraging both classical and quantum principles.
-
-
-### Video Instructions
-[youtube video link](https://youtu.be/XeeYZZujvAA?si=XhxOMCypKHpWKSjM)*out of date
-
-____
-## Conclusion (and TLDR smiley face)
-
-Cognosis integrates formal methods from aPToP with the Free Energy Principle and quantum informatics. This approach aims to create a robust system for processing high-dimensional data, minimizing surprise, and maximizing predictive power. By leveraging both classical and quantum principles, Cognosis seeks to understand the deeper connections between cognitive processes and information theory.
