Module s_zoom_pushin 

Story: editor zoom push-in, animated (ED.16 / M-EDIT).

The “rostrum push-in” — the single gesture that reads as cinematic in a screen recording. A mock app card stands in for the recorded screen; the camera eases in toward a focal button, holds on it, then eases back out — the three-phase profile [edit::zoom_anim::zoom_at] computes for real. Here it is reproduced inline (an eased ramp-in → hold → ramp-out) so the story stays a pure wisp demo, scaling the content node about the focal point exactly as EditorPreview::render_framed pins it in the editor: position = focal · (1 − z) keeps the target glued in place while only the scale animates.

Single-bind-group graphics (no blur) → runs on every CI OS; NOT in LAVAPIPE_INCOMPATIBLE. Animated (tick: Some) → exported to MP4 by wisp-export-animated for the ED.16 chapter.

Constants

AMOUNT 🔒

Peak zoom factor at the hold.

FOCAL 🔒

Focal point of the push-in, in NDC — the centre of the accent button the camera tightens toward. Shared by build (where the button is drawn) and tick (where the zoom is pinned).

Functions

build 🔒

story

tick 🔒

zoom_scale 🔒

Eased zoom factor at story time t (seconds, 0..3): a cubic ramp-in to AMOUNT, a flat hold, and a symmetric ramp-out — the same three-phase shape edit::zoom_anim::zoom_at produces, reproduced here without the dep.