UI

README.md

@@ -1,6 +1,9 @@
 ![STRX](https://github.com/Phuire-Research/STRX/blob/main/STRX.png?raw=true)
-#### *The Unified Turing Machine - aka Hand Written Intelligence of Doing*
-*Note if you notice a strange set of capitalizations of concepts, this is a new format that is being formalized as conceptual logic. In addition, there was no generative intelligence used in the creation of this framework. This is 100% hand written.*
+## *The Unified Turing Machine - Plain Text Intelligence of Doing in the Spirit of the Open Internet*
+*Note if you notice a strange set of capitalizations of concepts, this is a new format that is being formalized as conceptual logic. In addition, there was no generative intelligence used in the creation of this framework. This is **100% hand written.***
+
+----
+![Tests](https://github.com/Phuire-Research/STRX/actions/workflows/node.js.yml/badge.svg)
 ### Abstract
 One of the greatest gaps of understanding in the modern age is whether what we speak has some mechanical bearing, or is just some statistical output. What the Unified Turing Machine, and by extension STRX accomplishes is to make plain the unifying aspect of the unknown mechanics of language. This is accomplished via logical verbose descriptions that are unified by code implementations and proved via a test. That currently we have trouble distinguishing logic from opinion in our speech, thus this approach seeks to prove a distinction between speech that is testable versus not. Where we can describe logically the exact process that would transform some data into something else in our very speech. Then back that description up with a code implementation that accomplishes the transformation. There is backing to this in the original Unified Science International Encyclopedia, via its entry on the "Foundations of Logic and Mathematics." But in the current generalized scope, there had been no further pursuit to understand the unifying aspect of language and mathematics. And colloquially are presented as if they are completely separate concepts. Yet mathematics is just one aspect of programming, we formalize mainly through logic and describe our functions and variables via names. Therefore programming is a fundamentally unified format that may used to prove verbose logic.