Skip to content

Commit

Permalink
Merge pull request #175 from Phuire-Research/UI
Browse files Browse the repository at this point in the history
Warning and Disclaimer
  • Loading branch information
REllEK-IO authored Dec 12, 2023
2 parents 4916a02 + b1dd3c0 commit 7316605
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,15 @@
* [STRATIMUX PROJECT TEMPLATE](https://github.com/Phuire-Research/STRATIMUX-TEMPLATE)
* [logixUX](https://github.com/Phuire-Research/logixUX) - User Interface MVP and Stratimux Project Sidekick Application, this will be decomposed into an advanced starter template and the concepts that allow for the user interface will be merged into this repository.

### Warning and Disclaimer
The point of this approach is to prove qualities to be provably terminating. There is one major issue that is unavoidable in our current method of computation that compounds on the difficulty of proving termination: branch prediction. This is due to this method of transformative programming moving beyond transactional, and highlights that our current method of computation is just generally good enough. Thus, not only is this a catalog of provably terminating qualities, but proving what qualities do not run into the branch prediction issue this methodology encounters.

To avoid running into this issue. When designing your strategies, qualities, and plans. Be very mindful of your function's time complexity. Once you breach O(n^3) and are effecting some memory that should be safe. You will find that your functions will suddenly become probabilistic in their ability execution deterministically.

Thankfully, this is the reason for the atomic behavior of your qualities combined with strategies and plans. As you may shrink time complexity into a series of steps. Or better yet, if you are relying on accessing some parameters from your state. Be sure to flattened those data structures into something that can readily be accessed.

When in doubt simplify.

### Concept Index
* [Action Strategy](https://github.com/Phuire-Research/Stratimux/blob/main/ActionStrategy.md) - Data structure that allows for Stratimux to be provably terminating.
* [Axium](https://github.com/Phuire-Research/Stratimux/blob/main/Axium.md) - Governing concept that contains the set of concepts that formalizes each axium.
Expand Down

0 comments on commit 7316605

Please sign in to comment.