Repository navigation
THEORY.md shows the structure; details in module READMEs - #34
Merged
Merged
Conversation
THEORY.md keeps the layers, the central objects, the class-to-instance table and the departures, and the rest moves to READMEs next to the code (Probability, RandomSystems with Distance, Game and Typed, ConstructiveCryptography, Examples) and to the DSL's GRAMMAR.md. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01E7GPy1oUx164NSZsxJT3N9
MarcIlunga
added this pull request to stack #35
October 13, 2026 19:39
THEORY.md keeps one paragraph on what instantiates the classes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01E7GPy1oUx164NSZsxJT3N9
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
THEORY.md now shows the structure only: the layers, the central objects of each, and one paragraph on what instantiates the classes (about 180 lines of prose, from about 960). The detail moves to READMEs next to the code:
src/Probability,src/RandomSystems(withDistance,Game,Typed),src/ConstructiveCryptography(including the table of every instance field and axiom),src/Examples, and the DSL'sGRAMMAR.md. Documentation only; stacked on #32.Closes #33.