Synchronous Reactive Programming is similar to digital circuit design. Basically everything is modelled on clock ticks where at each tick the whole state is consistent. Basically, every part of the system sees each other and is settled. Every signal can only have a single value for a given tick. The next value is applied on the next tick.

Solid actually has moved away from this recently due to confusion about seemingly intermediate states. SRP guarantees consistency as in all parts of the system see the same value at the same time. But it means that it can some times take more than a single clock cycle to propagate all change.

Solid’s approach now is more similar to MobX in that it tries to settle everything in dependency order in a single go.