-
The Little Language Thesis
cell, func, arrow, guard are the structural primitives — but the real ubiquitous language lives in the labels. Like Forth, we build up domain vocabularies on a minimal substrate, and the incidence matrix proves what it can see: conservation, not guards or data.
-
Code-to-Flow: Turn Anything into a Petri Net
Paste source code in any language and Claude returns a Petri net that a validator checks for structure and deadlocks — what is checked, what isn't, and the faithfulness test not yet run.
-
Texas Hold'em Model
The five-seat Hold'em tutorial net (18 places, 32 transitions) read against its source — phase places, turn tokens, a dealer role and an event log, plus what the net leaves to code (chips, guards, re-raises) and one bug in how seats re-enter a hand.