Svelte doesn't really use any kind of proxy. It instruments its code with explicit invalidations and scheduled updates. Mutations are tracked "lexically" intra-component with static analysis or with explicit functions when using stores
You're right, I think I meant something more like proxy style mutation. It does of course compile down to functions operating on stores which is even more like Solid
