Full HMM support for circuit padding state transition
The circuit padding state transition system is quasi-deterministic. A non-deterministic state machine can be built from this using many states through clever use of the infinity bin, but this will lead to excessively complicated machines.
One can imagine a non-deterministic state machine/HMM that simulates an entire web browsing session on a circuit. If this kind of machine seems useful, it may be better simply to transform the circpad_state_t.next_state transition field into an array of structs that specifies the next state as well as a probability for transitioning to that state for that event.
We would accept patches for this modification if it seems useful.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information