Choreo Verify

[Shyan-Ming Perng]

Sharing an open-source verifier in case it's useful: @choreo-oss/verify asserts motion contracts over the rendered trace of an animation (Playwright samples real positions/opacity over time). It's framework-agnostic - GSAP timelines, Motion, plain CSS - because it verifies the rendered result, not the source. So you can write

during 0..400: movesLeft(toast) and fadesIn(toast)
at end: settled(all)

and catch it when a refactor silently breaks the timing.

 

GSAP/Motion are great at authoring motion but assert nothing about it; this is the missing assertion half. MIT, research artifact (from my company JieGou; not something we sell). https://github.com/JieGouAI/choreo - curious whether this fills a real gap for people who ship complex timelines.