A template for building deterministic, verifiable systems with parallel Go/JavaScript implementations.
Build complex stateful systems where state is a function of events:
State(t) = fold(apply, initialState, events[0..t])
stackdump stackdump
stackdump
/ petri-net lemmas
Created
January 21, 2026 17:51
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
| # Petri Net Lemmas | |
| Formal properties of arcnet's Petri net object model. | |
| ## Definitions | |
| **Model** = (P, T, A) where: | |
| - P = set of places | |
| - T = set of transitions | |
| - A = set of arcs ⊆ (P × T) ∪ (T × P) |
stackdump
/ NEW_PROJECT.md
Last active
January 3, 2026 20:25
Dual State Engine Architecture - Go/JS event sourcing template
stackdump
/ z4EBG9jAukaiDzDWgRkNZsMBuuxf2PVR4C1JmwtUb6LhYBugEEQ.md
Created
December 18, 2025 03:00
pflow ODE Simulation Results
stackdump
/ z4EBG9jAukaiDzDWgRkNZsMBuuxf2PVR4C1JmwtUb6LhYBugEEQ.md
Created
December 18, 2025 03:00
pflow Petri net diagram
stackdump
/ z4EBG9jBSkDv2Ykw39bL6TtJE1iU5piShXnHnrm3YmJArNT85Ue.md
Created
December 11, 2025 02:59
pflow ODE Simulation Results
stackdump
/ z4EBG9jBSkDv2Ykw39bL6TtJE1iU5piShXnHnrm3YmJArNT85Ue.md
Created
December 11, 2025 02:57
pflow Petri net diagram
stackdump
/ z4EBG9j4VkJkVevookqRTSY6F6NtZ61sybF6kS1izVShnTL6SfR.md
Created
December 10, 2025 13:38
pflow Petri net diagram
stackdump
/ z4EBG9j4R9ovKHfqfrvhfW5RnDeXsFVvQEQFo9a2wcaAJrU8Y6y.md
Created
November 30, 2025 02:10
Petri net diagram - CID: z4EBG9j4R9ovKHfqfrvhfW5RnDeXsFVvQEQFo9a2wcaAJrU8Y6y
NewerOlder