https://motionvector.dev/blog Notes on the typed document agents edit, the engine that verifies it, and the studio that shows the work. en-us