NaN Branch Trace Animation

Animate [verified validator trace] for 15 seconds using two lanes: a finite sample and a NaN sample. Introduce inputs for three seconds, trace actual branch results for eight and hold the outcomes for four. Keep predicate labels editable and prevent paths from changing between frames. Treat this as a diagram, not recorded test execution, and use only supplied outcomes.

Confirm required reference images and timing inputs are present before generating. Keep objects, identities, spatial relationships and light direction consistent. Render the clip when video generation is supported; otherwise supply a timed shot list, reference checklist and generation-ready prompt, labeled as a production plan. Do not claim rendered output without an actual file. Check the opening, transition and final frame against the stated counts and geometry.