I’m exploring whether a non-monetary economic protocol can be validated purely as a deterministic state machine.
No token launch.
No deployment.
No market simulation.
Just:
– explicit state surface
– deterministic events
– invariant layers (correctness + safety)
– stress scenarios (S01–S22)
The goal is structural falsifiability.
If the invariant system collapses under adversarial sequencing, I want to know.
Blueprint:
https://github.com/ArturGrandi/gt2-research-track/blob/main/...
Context:
https://github.com/ArturGrandi/gt2-research-track