1use std::cell::Cell;
18use std::rc::Rc;
19
20use cranpose_core::with_current_composer;
21use cranpose_core::RuntimeHandle;
22use cranpose_macros::composable;
23
24use crate::material::GlassDeformation;
25
26const STRETCH_PER_SPEED: f32 = 3.2e-4;
29const STRETCH_PER_ACCEL: f32 = 3.5e-5;
32pub const STRETCH_MIN: f32 = 0.78;
35pub const STRETCH_MAX: f32 = 1.50;
36const BULGE_PER_ACCELERATION: f32 = 4.5e-4;
39pub const BULGE_MAX: f32 = 8.0;
40const ATTACK_TAU: f32 = 0.03;
44const RELEASE_TAU: f32 = 0.11;
45const POINTER_VELOCITY_TAU: f32 = 0.045;
49const POINTER_STOP_HORIZON_NANOS: u64 = 40_000_000;
50const POINTER_COAST_TAU: f32 = 0.10;
51const AXIS_MIN_SPEED: f32 = 60.0;
54const DT_MIN: f32 = 1.0 / 1000.0;
57const DT_MAX: f32 = 1.0 / 15.0;
58const TELEPORT_SPEED: f32 = 30_000.0;
61
62#[derive(Clone, Copy, Debug, PartialEq)]
64pub struct LiquidPose {
65 pub stretch: f32,
67 pub ortho: f32,
69 pub axis: (f32, f32),
72 pub bulge_amplitude: f32,
74 pub bulge_direction: f32,
75 pub speed: f32,
78}
79
80impl Default for LiquidPose {
81 fn default() -> Self {
82 Self {
83 stretch: 1.0,
84 ortho: 1.0,
85 axis: (1.0, 0.0),
86 bulge_amplitude: 0.0,
87 bulge_direction: 0.0,
88 speed: 0.0,
89 }
90 }
91}
92
93impl LiquidPose {
94 pub fn deformation(&self) -> GlassDeformation {
99 GlassDeformation::incompressible(self.axis, self.stretch)
100 }
101
102 pub fn energy(&self) -> f32 {
105 (self.speed / 1100.0).clamp(0.0, 1.0)
106 }
107}
108
109pub struct LiquidDynamics {
112 runtime: RuntimeHandle,
113 last_nanos: Cell<Option<u64>>,
114 last_pos: Cell<Option<(f32, f32)>>,
115 velocity: Cell<(f32, f32)>,
116 stretch: Cell<f32>,
117 bulge_vector: Cell<(f32, f32)>,
118 speed: Cell<f32>,
119 axis: Cell<(f32, f32)>,
120 pose: Cell<LiquidPose>,
121 pointer_pose_pending: Cell<bool>,
122 pointer_active: Cell<bool>,
123 last_pointer_nanos: Cell<Option<u64>>,
124}
125
126impl LiquidDynamics {
127 pub fn new(runtime: RuntimeHandle) -> Self {
128 Self {
129 runtime,
130 last_nanos: Cell::new(None),
131 last_pos: Cell::new(None),
132 velocity: Cell::new((0.0, 0.0)),
133 stretch: Cell::new(1.0),
134 bulge_vector: Cell::new((0.0, 0.0)),
135 speed: Cell::new(0.0),
136 axis: Cell::new((1.0, 0.0)),
137 pose: Cell::new(LiquidPose::default()),
138 pointer_pose_pending: Cell::new(false),
139 pointer_active: Cell::new(false),
140 last_pointer_nanos: Cell::new(None),
141 }
142 }
143
144 pub fn reset(&self) {
147 self.last_nanos.set(None);
148 self.last_pos.set(None);
149 self.velocity.set((0.0, 0.0));
150 self.stretch.set(1.0);
151 self.bulge_vector.set((0.0, 0.0));
152 self.speed.set(0.0);
153 self.pose.set(LiquidPose {
154 axis: self.axis.get(),
155 ..LiquidPose::default()
156 });
157 self.pointer_pose_pending.set(false);
158 self.pointer_active.set(false);
159 self.last_pointer_nanos.set(None);
160 }
161
162 pub(crate) fn anchor_pointer(&self, pos: (f32, f32)) {
163 self.reset();
164 self.last_pos.set(Some(pos));
165 let now = self.runtime.last_frame_time_nanos();
166 self.last_nanos.set(now);
167 self.last_pointer_nanos.set(now);
168 self.pointer_active.set(true);
169 }
170
171 pub(crate) fn advance_pointer(&self, pos: (f32, f32), dt: f32) -> LiquidPose {
172 let Some(last_pos) = self.last_pos.get() else {
173 self.last_pos.set(Some(pos));
174 return self.pose.get();
175 };
176 let dt = dt.clamp(DT_MIN, DT_MAX);
177 let raw_velocity = ((pos.0 - last_pos.0) / dt, (pos.1 - last_pos.1) / dt);
178 self.last_pos.set(Some(pos));
179 let previous = self.velocity.get();
180 let follow = 1.0 - (-dt / POINTER_VELOCITY_TAU).exp();
181 let filtered_velocity = (
182 previous.0 + (raw_velocity.0 - previous.0) * follow,
183 previous.1 + (raw_velocity.1 - previous.1) * follow,
184 );
185 let pose = self.advance_velocity(filtered_velocity, dt);
186 let now = self.runtime.last_frame_time_nanos();
187 self.last_nanos.set(now);
188 self.last_pointer_nanos.set(now);
189 self.pointer_active.set(true);
190 self.pointer_pose_pending.set(true);
191 pose
192 }
193
194 pub(crate) fn release_pointer(&self) {
195 self.pointer_active.set(false);
196 }
197
198 pub(crate) fn update_pointer(&self, pos: (f32, f32)) -> LiquidPose {
199 if self.pointer_pose_pending.replace(false) {
200 self.last_pos.set(Some(pos));
201 self.last_nanos.set(self.runtime.last_frame_time_nanos());
202 return self.pose.get();
203 }
204 let Some(now) = self.runtime.last_frame_time_nanos() else {
205 self.last_pos.set(Some(pos));
206 return self.pose.get();
207 };
208 let Some(last) = self.last_nanos.get() else {
209 self.last_nanos.set(Some(now));
210 self.last_pos.set(Some(pos));
211 return self.pose.get();
212 };
213 if last == now {
214 return self.pose.get();
215 }
216 let dt = (now.saturating_sub(last)) as f32 / 1_000_000_000.0;
217 self.last_nanos.set(Some(now));
218 let stationary = self.last_pos.get().is_some_and(|last_pos| {
219 (last_pos.0 - pos.0).abs() < 0.001 && (last_pos.1 - pos.1).abs() < 0.001
220 });
221 if !stationary {
222 return self.advance(pos, dt);
223 }
224 let within_pointer_horizon = self.pointer_active.get()
225 && self
226 .last_pointer_nanos
227 .get()
228 .is_some_and(|sample| now.saturating_sub(sample) <= POINTER_STOP_HORIZON_NANOS);
229 if within_pointer_horizon {
230 return self.pose.get();
231 }
232 let dt = dt.clamp(DT_MIN, DT_MAX);
233 let decay = (-dt / POINTER_COAST_TAU).exp();
234 let velocity = self.velocity.get();
235 self.advance_velocity((velocity.0 * decay, velocity.1 * decay), dt)
236 }
237
238 pub fn update(&self, pos: (f32, f32)) -> LiquidPose {
241 let Some(now) = self.runtime.last_frame_time_nanos() else {
242 self.last_pos.set(Some(pos));
243 return self.pose.get();
244 };
245 match self.last_nanos.get() {
246 Some(last) if last == now => {
247 self.last_pos.set(Some(pos));
249 self.pose.get()
250 }
251 Some(last) => {
252 let dt = (now.saturating_sub(last)) as f32 / 1_000_000_000.0;
253 self.last_nanos.set(Some(now));
254 self.advance(pos, dt)
255 }
256 None => {
257 self.last_nanos.set(Some(now));
258 self.last_pos.set(Some(pos));
259 self.pose.get()
260 }
261 }
262 }
263
264 pub fn advance(&self, pos: (f32, f32), dt: f32) -> LiquidPose {
267 let Some(last_pos) = self.last_pos.get() else {
268 self.last_pos.set(Some(pos));
269 return self.pose.get();
270 };
271 let dt = dt.clamp(DT_MIN, DT_MAX);
272 let delta = (pos.0 - last_pos.0, pos.1 - last_pos.1);
273 self.last_pos.set(Some(pos));
274
275 let velocity = (delta.0 / dt, delta.1 / dt);
276 let raw_speed = (velocity.0 * velocity.0 + velocity.1 * velocity.1).sqrt();
277 if raw_speed > TELEPORT_SPEED {
278 self.velocity.set((0.0, 0.0));
279 return self.pose.get();
280 }
281
282 self.advance_velocity(velocity, dt)
283 }
284
285 fn advance_velocity(&self, velocity: (f32, f32), dt: f32) -> LiquidPose {
286 let dt = dt.clamp(DT_MIN, DT_MAX);
287 let raw_speed = (velocity.0 * velocity.0 + velocity.1 * velocity.1).sqrt();
288 let previous_velocity = self.velocity.get();
289 self.velocity.set(velocity);
290 let accel = (
291 (velocity.0 - previous_velocity.0) / dt,
292 (velocity.1 - previous_velocity.1) / dt,
293 );
294
295 let mut axis = self.axis.get();
296 if raw_speed > AXIS_MIN_SPEED {
297 axis = (velocity.0 / raw_speed, velocity.1 / raw_speed);
298 self.axis.set(axis);
299 }
300 let accel_along = accel.0 * axis.0 + accel.1 * axis.1;
302
303 let target_stretch = (1.0 + STRETCH_PER_SPEED * raw_speed
304 - STRETCH_PER_ACCEL * accel_along)
305 .clamp(STRETCH_MIN, STRETCH_MAX);
306 let signed_bulge = (-BULGE_PER_ACCELERATION * accel_along).clamp(-BULGE_MAX, BULGE_MAX);
307 let target_bulge = (axis.0 * signed_bulge, axis.1 * signed_bulge);
308
309 let follow = |current: f32, target: f32, neutral: f32| {
312 let tau = if (target - neutral).abs() > (current - neutral).abs() {
313 ATTACK_TAU
314 } else {
315 RELEASE_TAU
316 };
317 current + (target - current) * (1.0 - (-dt / tau).exp())
318 };
319 let stretch = follow(self.stretch.get(), target_stretch, 1.0);
320 let current_bulge = self.bulge_vector.get();
321 let current_bulge_length = current_bulge.0.hypot(current_bulge.1);
322 let target_bulge_length = target_bulge.0.hypot(target_bulge.1);
323 let bulge_tau = if target_bulge_length > current_bulge_length {
324 ATTACK_TAU
325 } else {
326 RELEASE_TAU
327 };
328 let bulge_follow = 1.0 - (-dt / bulge_tau).exp();
329 let bulge_vector = (
330 current_bulge.0 + (target_bulge.0 - current_bulge.0) * bulge_follow,
331 current_bulge.1 + (target_bulge.1 - current_bulge.1) * bulge_follow,
332 );
333 let bulge = bulge_vector.0.hypot(bulge_vector.1);
334 let speed = follow(self.speed.get(), raw_speed, 0.0);
335 self.stretch.set(stretch);
336 self.bulge_vector.set(bulge_vector);
337 self.speed.set(speed);
338
339 let bulge_direction = if bulge > 1.0e-4 {
340 bulge_vector.1.atan2(bulge_vector.0)
341 } else {
342 axis.1.atan2(axis.0)
343 };
344
345 let pose = LiquidPose {
346 stretch,
347 ortho: 1.0 / stretch,
348 axis,
349 bulge_amplitude: bulge,
350 bulge_direction,
351 speed,
352 };
353 self.pose.set(pose);
354 pose
355 }
356
357 pub fn pose(&self) -> LiquidPose {
359 self.pose.get()
360 }
361}
362
363#[composable]
365pub fn remember_liquid_dynamics() -> Rc<LiquidDynamics> {
366 with_current_composer(|composer| {
367 let runtime = composer.runtime_handle();
368 composer
369 .remember(move || Rc::new(LiquidDynamics::new(runtime)))
370 .with(Rc::clone)
371 })
372}
373
374#[cfg(test)]
375mod tests {
376 use super::*;
377
378 fn dynamics() -> LiquidDynamics {
379 let runtime =
380 cranpose_core::Runtime::new(std::sync::Arc::new(cranpose_core::DefaultScheduler));
381 LiquidDynamics::new(runtime.handle())
382 }
383
384 fn settle(d: &LiquidDynamics, pos: (f32, f32), frames: usize) -> LiquidPose {
385 let mut pose = d.pose();
386 for _ in 0..frames {
387 pose = d.advance(pos, 1.0 / 60.0);
388 }
389 pose
390 }
391
392 fn cruise(d: &LiquidDynamics, speed_dp_s: f32, frames: usize) -> LiquidPose {
394 let dt = 1.0 / 60.0;
395 let mut x = 0.0;
396 let mut pose = d.pose();
397 for _ in 0..frames {
398 x += speed_dp_s * dt;
399 pose = d.advance((x, 0.0), dt);
400 }
401 pose
402 }
403
404 #[test]
405 fn constant_speed_elongates_along_axis_and_conserves_area() {
406 let d = dynamics();
407 let pose = cruise(&d, 1200.0, 40);
408 assert!((1.36..1.40).contains(&pose.stretch));
409 assert!((pose.stretch * pose.ortho - 1.0).abs() < 1e-4);
410 assert!((pose.axis.0 - 1.0).abs() < 1e-4);
411 }
412
413 #[test]
414 fn subpixel_pointer_jitter_cannot_invent_extreme_strain() {
415 let d = dynamics();
416 d.anchor_pointer((0.0, 0.0));
417 let mut pose = d.pose();
418 for sample in 1..=12 {
419 pose = d.advance_pointer((sample as f32 * 0.20, 0.0), 1.0 / 60.0);
420 }
421 assert!(
422 (pose.stretch - 1.0).abs() < 0.025,
423 "subpixel travel must stay near equilibrium: {pose:?}"
424 );
425 assert!((pose.stretch * pose.ortho - 1.0).abs() < 1e-4);
426 }
427
428 #[test]
429 fn launch_compresses_before_cruise_stretch_wins() {
430 let d = dynamics();
431 d.advance((0.0, 0.0), 1.0 / 60.0);
432 let dt = 1.0 / 60.0;
435 let pose = d.advance((1500.0 * dt, 0.0), dt);
436 assert!(pose.stretch < 1.0, "launch stretch {}", pose.stretch);
437 assert!(pose.ortho > 1.0, "launch ortho {}", pose.ortho);
438 }
439
440 #[test]
441 fn launch_acceleration_leaves_a_persistent_trailing_material_wake() {
442 let d = dynamics();
443 let dt = 1.0 / 60.0;
444 d.advance((0.0, 0.0), dt);
445 let launch = d.advance((1200.0 * dt, 0.0), dt);
446 assert!(
447 launch.bulge_amplitude > 0.5,
448 "launch must displace liquid toward the trailing edge: {launch:?}"
449 );
450 assert!(
451 (launch.bulge_direction.abs() - std::f32::consts::PI).abs() < 0.1,
452 "rightward acceleration must trail to the left: {launch:?}"
453 );
454
455 let cruise = d.advance((2400.0 * dt, 0.0), dt);
456 assert!(
457 cruise.bulge_amplitude > 0.25,
458 "the material wake must survive beyond one pointer sample: {launch:?} -> {cruise:?}"
459 );
460 assert!(
461 (cruise.bulge_direction.abs() - std::f32::consts::PI).abs() < 0.2,
462 "the remembered wake cannot flip on the next sample: {cruise:?}"
463 );
464 }
465
466 #[test]
467 fn direct_drag_cadence_remains_launch_compressed() {
468 let d = dynamics();
469 d.anchor_pointer((0.0, 0.0));
470 d.advance_pointer((-20.0, 0.0), 0.08);
471 let pose = d.advance_pointer((-40.0, 0.0), 0.03);
472 assert!(
473 pose.stretch <= 0.92,
474 "the target's two-event launch must compress along travel: {pose:?}"
475 );
476 assert!(
477 pose.ortho >= 1.08,
478 "launch must expand across travel: {pose:?}"
479 );
480 assert!((pose.stretch * pose.ortho - 1.0).abs() < 1e-4);
481 }
482
483 #[test]
484 fn braking_decompresses_past_cruise_and_swells_leading_edge() {
485 let d = dynamics();
486 let cruise_pose = cruise(&d, 1200.0, 40);
487 let dt = 1.0 / 60.0;
489 let x = d.last_pos.get().unwrap().0;
490 let brake = d.advance((x + 300.0 * dt, 0.0), dt);
491 assert!(
492 brake.stretch > cruise_pose.stretch + 0.04,
493 "brake {} vs cruise {}",
494 brake.stretch,
495 cruise_pose.stretch
496 );
497 assert!(
498 brake.bulge_amplitude > 0.5,
499 "bulge {}",
500 brake.bulge_amplitude
501 );
502 assert!(
503 brake.ortho < cruise_pose.ortho,
504 "brake ortho {}",
505 brake.ortho
506 );
507 assert!(brake.bulge_direction.abs() < 1e-3);
509 }
510
511 #[test]
512 fn rest_decays_to_identity() {
513 let d = dynamics();
514 cruise(&d, 1200.0, 40);
515 let pose = settle(&d, d.last_pos.get().unwrap(), 60);
516 assert!(
517 (pose.stretch - 1.0).abs() < 0.02,
518 "stretch {}",
519 pose.stretch
520 );
521 assert!(pose.bulge_amplitude < 0.2);
522 assert!(pose.speed < 15.0);
523 }
524
525 #[test]
526 fn axis_follows_motion_direction_and_holds_at_rest() {
527 let d = dynamics();
528 let dt = 1.0 / 60.0;
529 d.advance((0.0, 0.0), dt);
530 let mut x = 0.0;
531 let mut pose = d.pose();
532 for _ in 0..10 {
533 x -= 900.0 * dt;
534 pose = d.advance((x, 0.0), dt);
535 }
536 assert!((pose.axis.0 + 1.0).abs() < 1e-4, "axis {:?}", pose.axis);
537 assert!(
538 pose.bulge_direction.abs() < 0.1,
539 "leftward launch inertia must trail toward +x: {pose:?}"
540 );
541 let held = settle(&d, (x, 0.0), 30);
543 assert!((held.axis.0 + 1.0).abs() < 1e-4);
544 }
545
546 #[test]
547 fn frame_rate_independent_cruise() {
548 let d60 = dynamics();
549 let d120 = dynamics();
550 let cruise60 = cruise(&d60, 1000.0, 30);
551 let dt = 1.0 / 120.0;
552 let mut x = 0.0;
553 let mut cruise120 = d120.pose();
554 for _ in 0..60 {
555 x += 1000.0 * dt;
556 cruise120 = d120.advance((x, 0.0), dt);
557 }
558 assert!(
559 (cruise60.stretch - cruise120.stretch).abs() < 0.02,
560 "60Hz {} vs 120Hz {}",
561 cruise60.stretch,
562 cruise120.stretch
563 );
564 }
565
566 #[test]
567 fn teleport_re_anchors_without_energy() {
568 let d = dynamics();
569 d.advance((0.0, 0.0), 1.0 / 60.0);
570 let pose = d.advance((4000.0, 0.0), 1.0 / 60.0);
571 assert_eq!(pose, d.pose());
572 assert!(
573 (pose.stretch - 1.0).abs() < 1e-4,
574 "teleport {}",
575 pose.stretch
576 );
577 let resumed = cruise(&d, 800.0, 30);
579 assert!(resumed.stretch > 1.01);
580 }
581
582 #[test]
583 fn vertical_travel_stretches_height_not_width() {
584 let d = dynamics();
585 let dt = 1.0 / 60.0;
586 let mut y = 0.0;
587 d.advance((0.0, 0.0), dt);
588 let mut pose = d.pose();
589 for _ in 0..30 {
590 y += 1000.0 * dt;
591 pose = d.advance((0.0, y), dt);
592 }
593 assert!(
594 (1.30..1.34).contains(&pose.stretch),
595 "stretch {}",
596 pose.stretch
597 );
598 assert!((pose.stretch * pose.ortho - 1.0).abs() < 1e-4);
599 }
600
601 #[test]
602 fn reset_forgets_motion() {
603 let d = dynamics();
604 cruise(&d, 1200.0, 40);
605 d.reset();
606 assert_eq!(d.pose().stretch, 1.0);
607 let pose = d.advance((500.0, 0.0), 1.0 / 60.0);
608 assert!((pose.stretch - 1.0).abs() < 1e-4);
609 }
610}