fix(m192): r1 复审 P1-1——动效起跑搬进 update 侧 + 帧基准兜底 + 按运行时顺序的守卫
复审的机制三步全部复核成立（iced_winit-0.14.1 `src/lib.rs:1222` 调 update、`1338` 在 `update()` 内部求值订阅表、`1233` 之后才 `build_user_interfaces` 调 view）。第一版把 「标识变了 → play」写在 `pages::render`（= view）里，于是：同一拍的订阅表看不见轨道 ⇒ `frames()` 要等下一条消息才打开；而那一帧的 dt 是整段空闲时长 ⇒ 轨道被当场判到期删掉。 用户看到的是「一帧 12/8px 偏移 + 闪跳」，比硬切更差；截图通道因为 `has_screenshot()` 恒真， 结构上不可能发现它。 修法（三件都做） - **起跑搬进 update**：新增 `app/update/motion_sync.rs::App::sync_motion`，在 `App::update` 收尾（`route_message` 之后、`subscription()` 之前）按**路由**算内容标识并 `motion::observe`。 `pages::render` 只留 `motion::sample()`（纯采样）。 顺带：`screen == None`（账户页 / AI 独立页）只记标识不起跑，于是「从它们回到某一屏」也跑换页。 - **帧基准兜底**：`observe` 起跑成功时把 `LAST_FRAME` 重置到「现在」；`Pump::advance` 再加一道 `MAX_STEP_MS`（4 帧 = 64 ms）单次步进上限——掉帧/挂起时宁可把动画放慢，也不许一帧抹掉。 - **没有窗口就不起跑**：`window.is_none()` 且不是截图通道时 `sync_motion` 直接返回（也**不记** 标识）⇒「首屏入场」等窗口到了才算第一眼，启动期那棵空树吃不掉它（原先被 1 Hz 心跳 / 既有 `an_idle_app_...` 用例照出来的就是这个边界）。 - `on_heartbeat` 也推进动效时间轴：窗口被遮挡/最小化/合成器不送绘制时，帧一个都不来，而 「有轨道」会让 1 Hz 推进整段停摆 ⇒ 轨道靠心跳按单次上限收尾（最坏 5 拍内自然退订）。 守卫（新增 5 条，全部按运行时顺序写） - `a_state_change_opens_the_frame_subscription_in_the_same_tick`：**先** `assert!(!needs_frames)` →**一条真消息**（`Message::Page(Navigate(..))`）→ `assert!(needs_frames)`，并断言 `watch_until` 仍是 `None`（排除「观察窗顺手开帧」这条假绿）。r1 那条顺序是反的，已删。 - `opening_a_detail_also_opens_the_frames_in_the_same_tick`、`pages_that_render_elsewhere_do_not_start_a_track`、 `without_a_window_nothing_animates`、`a_stale_baseline_cannot_kill_the_track_in_one_sample`。 r1 两条 P2 - P2-1：`pump::FRAME_MS` 与 `mod.rs` 契约表补写「16 ms 只卡采样/布局推进，**整窗重绘跟随渲染器** （软件渲染 ≈970 帧/秒、一次 300 ms 换页 ≈290 次整窗重绘 ≈0.30 核·秒；GPU 档 AutoVsync 40~60）」。 - P2-2：删掉 `app/subscription/tests.rs`，测试并回 `app/subscription.rs` 的 `mod tests` ⇒ 本轮 动过的文件全部落在声明 scope 内（新文件只有 `app/update/motion_sync.rs`，在 `app/update/**` 下）。 真机证据（GPU 档，`ULL_TICK_TRACE=1`，空闲 14 s 后由心跳触发一次**真实**导航， `DevDocs/artifacts/m192/idle-click-evidence-gpu-final.log`）： idle: frames=96 clock=idle-1hz motion=14（连续 7 拍不动） fire: clock=frames motion=16 → 17（同一拍订阅表就开了） end : frames=102 clock=idle-1hz motion=20（自己退订） 说明：本机会话没有前台窗口（`GetForegroundWindow()==0`），合成点击（`mouse_event` 与 `PostMessage(WM_LBUTTONDOWN)`）递不进 iced 的输入层，故用「心跳第 N 秒真导航」这条同构路径； 样本次数由**绘制送达**决定（该次动效只收到 ~5 次绘制 ⇒ +6 次采样），正常可见窗口下 60 Hz 呈现 对应 ~19 次。 变异证明 7/7 红（`DevDocs/artifacts/m192/mutate.sh`，含新增 M6「删掉 sync_motion」与 M7「去掉单次步进上限」），还原后自检全绿。 编译：cargo test -p unlucky-app-iced → 0（797 passed / 2 ignored，集成 6 passed）； clippy --all-targets -D warnings → 0；fmt --check → 0；build → 0。 出图基线复验：三张 rest 基线与九张序列帧的 sha256 与 r1 **逐字节相同**（常驻的那层 container 零内距）。
This commit is contained in:
AskaEth committed
1 parent
a1876a08c0
commit
93bd704786
9 files changed
+665
-240
No files matched your search
@@ -7,13 +7,18 @@
|
||||
//! 中间层：**谁能动**（[`Slot`]）、**动多久**（[`spec`] 的令牌表）、**什么时候该订阅帧**
|
||||
//! （[`needs_frames`]）。
|
||||
//!
|
||||
//! ## 有界泵的契约（三条，都有守卫）
|
||||
//! ## 有界泵的契约（四条，都有守卫）
|
||||
//!
|
||||
//! | 契约 | 为什么 | 守在哪 |
|
||||
//! |---|---|---|
|
||||
//! | 只在**有轨道**时订阅帧 | `window::frames()` 一订阅就自持重绘循环（实测几百帧/秒） | `pump::tests::a_finished_animation_stops_asking_for_frames` |
|
||||
//! | 轨道到期**当场删除**，不靠「下次状态变化」 | 删晚了就是空闲烧帧 | 同上（把 `advance` 的清理删掉就红） |
|
||||
//! | 每帧推进**不密于** [`FRAME_MS`]（16 ms ≈ 60/s） | 帧到得再快也只该改这么多次布局 | `pump::tests::frames_are_capped_at_sixty_per_second` |
|
||||
//! | **时间轴推进**不密于 [`FRAME_MS`]（16 ms ≈ 62.5/s），且单次最多吃 [`pump::MAX_STEP_MS`] | 帧到得再快也只该改这么多次布局；空闲醒来时 stale 的帧基准不许把动画一帧杀完 | `pump::tests::frames_are_capped_at_sixty_per_second`、`pump::tests::a_stale_baseline_cannot_kill_the_track_in_one_sample` |
|
||||
//! | 起跑**必须发生在 `update` 侧**（[`observe`]），`view` 侧只采样（[`sample`]） | iced 先算订阅表（`update()` 内部）后建视图 ⇒ 在 `view` 里插轨道当拍订阅不上，动画会退化成「一帧偏移 + 闪跳」 | `app::subscription::tests::a_state_change_opens_the_frame_subscription_in_the_same_tick` |
|
||||
//!
|
||||
//! ⚠️ **16 ms 只卡「采样与布局推进」，不卡整窗重绘。** 整窗重绘**跟随渲染器**：
|
||||
//! 软件渲染实测 ≈**970 帧/秒**（一次 300 ms 的换页 ≈ **290 次整窗重绘** ≈ **0.30 核·秒**），
|
||||
//! GPU 档被 AutoVsync 限到 40~60 帧/秒。重绘次数是「订阅开着多久」的函数，与闸门无关。
|
||||
//!
|
||||
//! 接法是**加进**既有那条链，不是另起一条：`App::needs_frames()` 多一个「有轨道」的分支，
|
||||
//! 订阅表仍然是**一处** `if`（`app/subscription.rs`），所以与 `watch_until` / Busy 续订/ 心跳
|
||||
@@ -32,9 +37,17 @@
|
||||
//! 是同一条纪律），所以一个线程局部就够，且**测试天然隔离**（`cargo test` 每个用例一个线程，
|
||||
//! 不会出现「另一条线的动画把 `needs_frames()` 顶成真」的假红）。
|
||||
//!
|
||||
//! ## 页面怎么用
|
||||
//! 仓内已有同样的先例（`pages/appearance/probe.rs`、`core/src/addon/pack/format/probe.rs` 都用了
|
||||
//! `#[allow(clippy::missing_const_for_thread_local)]`），所以这不是给本 crate 开的新口子。
|
||||
//!
|
||||
//! ## 谁在什么时候调
|
||||
//!
|
||||
//! | 时机 | 调用 | 在哪 |
|
||||
//! |---|---|---|
|
||||
//! | 每条消息处理完（**订阅表求值之前**） | [`observe`]：内容标识变了就起跑 | `App::sync_motion`（`app/update/motion.rs`） |
|
||||
//! | 每帧画视图 | [`sample`]：只读当前位移 | `pages::render` |
|
||||
//! | 每帧 | [`advance`]：推进时间轴 | `App::on_frame` |
|
||||
//!
|
||||
//! 只有一个入口：[`enter`]（`pages/mod.rs::render` 每帧调一次）+ [`shifted`]（把位移套到树上）。
|
||||
//! 页面**拿不到**时长/缓动/弹簧参数——那是 [`spec`] 的事。
|
||||
//!
|
||||
//! 位移走 `container` 的 `padding`：动画期间内容比容器少几像素高，末帧归零后与静息**逐像素相同**。
|
||||
@@ -42,7 +55,7 @@
|
||||
|
||||
mod pump;
|
||||
|
||||
// 本 mission 里这五个只被测试与文档引用（产品路径只经 `enter`/`shifted`，拿不到时长/缓动），
|
||||
// 本 mission 里这五个只被测试与文档引用（产品路径只经 `observe`/`sample`/`shifted`，拿不到时长/缓动），
|
||||
// 所以显式 `allow` 一下——与 `interaction::Tracker` 那条同一条理由：它们是对外口径的一部分
|
||||
// （`spec` 是唯一一张规格表），不该因为「暂时没人调」就被删掉。
|
||||
#[allow(unused_imports)]
|
||||
@@ -56,9 +69,10 @@ use iced::{Element, Length, Padding};
|
||||
|
||||
use unlucky_design::motion::MotionScale;
|
||||
|
||||
// clippy 1.99 的 `missing_const_for_thread_local` 对**已经是** `const { … }` 的初始化也报（本仓
|
||||
// 之前没有 thread_local，所以这条是第一次撞上）：换过三种写法都照报，属于误报。初始化确实已是
|
||||
// 常量，所以按项显式放过（上在宏外面不算，lint 是对展开后的 item 报的）。
|
||||
// clippy 1.99 的 `missing_const_for_thread_local` 对**已经是** `const { … }` 的初始化也报
|
||||
// （换过三种写法都照报，属于误报；复审 r1 已复核并确认，仓内 `pages/appearance/probe.rs` 等
|
||||
// 两处已有同样的 `allow`）。初始化确实已是常量，所以按项显式放过（上在宏外面不算，lint 是对
|
||||
// 展开后的 item 报的）。
|
||||
thread_local! {
|
||||
/// 进程内唯一时间轴（见模块文档「为什么是 thread-local」）。
|
||||
#[allow(clippy::missing_const_for_thread_local)]
|
||||
@@ -88,12 +102,30 @@ pub fn needs_frames() -> bool {
|
||||
PUMP.with(|pump| pump.borrow().is_animating())
|
||||
}
|
||||
|
||||
/// 页主体入场：`(screen, detail)` 任一标识变了就跑对应槽；返回**取整后的位移**。
|
||||
/// 页主体的内容**标识**：**每条消息处理完**调一次（`App::sync_motion`），标识变了就此起跑。
|
||||
///
|
||||
/// 每帧调一次（`pages/mod.rs::render`）。`detail` 是详情页的实例 id（`None` = 没选中任何一行）。
|
||||
/// 没有动画在跑时它只做两次比较，不做任何布局。
|
||||
pub fn enter(screen: u64, detail: Option<&str>) -> (f32, f32) {
|
||||
PUMP.with(|pump| pump.borrow_mut().enter(screen, detail))
|
||||
/// `screen` 是 `pages::Screen` 的稳定键（`None` = 这一屏不归 pages 画：账户页 / AI 独立页），
|
||||
/// `detail` 是详情页的实例 id。
|
||||
///
|
||||
/// ## 为什么必须在 update 侧（M192 r1 复审 P1-1）
|
||||
///
|
||||
/// iced 0.14 的顺序是「消息 → `update()`（订阅表在**这里**求值）→ `build_user_interfaces`
|
||||
/// （这时才调 `view`）」（iced_winit-0.14.1 `src/lib.rs:1222-1240`）。轨道若在 `view` 里插，
|
||||
/// 同一拍的订阅表看不见它 ⇒ `frames()` 要等下一条消息（最快鼠标 / 最慢 1 Hz 心跳）才打开，
|
||||
/// 而那一帧的 dt 是整段空闲时长 ⇒ 动画一帧走完，用户只看到一次偏移闪跳。
|
||||
///
|
||||
/// 起跑时**顺带把帧基准重置到「现在」**：空闲期没有帧，`LAST_FRAME` 是几分钟前的值，
|
||||
/// 不重置的话第一帧仍会按整段空闲时长结算（第二道兜底是 [`pump::MAX_STEP_MS`]）。
|
||||
pub fn observe(screen: Option<u64>, detail: Option<&str>) {
|
||||
let started = PUMP.with(|pump| pump.borrow_mut().observe(screen, detail));
|
||||
if started {
|
||||
LAST_FRAME.with(|last| last.set(Some(Instant::now())));
|
||||
}
|
||||
}
|
||||
|
||||
/// 当前入场位移（**只采样、无副作用**）：`pages::render` 每帧调一次。
|
||||
pub fn sample() -> (f32, f32) {
|
||||
PUMP.with(|pump| pump.borrow().offsets())
|
||||
}
|
||||
|
||||
/// 推进时间轴（`App::on_frame` 每帧调一次）。
|
||||
@@ -112,17 +144,15 @@ pub fn advance() {
|
||||
|
||||
/// 把入场位移套到树上。
|
||||
///
|
||||
/// 位移为 `(0, 0)` 时**原样返回**（不额外套一层容器）：静息态与「没有动效」的代码路径逐像素相同，
|
||||
/// 这也是既有截图基线一张都不用重出的原因。
|
||||
/// **总是**套这一层（位移为 `(0,0)` 时只是 `padding = 0`）：它是树的**根**，而 iced 的
|
||||
/// `Tree::diff` 按 widget tag 判等——根 tag 一换就重建整棵子树。若只在动画期间才套，
|
||||
/// 动画起止两侧会各重建一次，页面内的滚动位置 / 焦点会被重置（复审 r1 提示的风险）。
|
||||
/// 常驻一层的代价是布局上多一个 `Fill` 容器（零内距时逐像素相同，出图基线已复验）。
|
||||
pub fn shifted<'a, M: 'a>(
|
||||
element: impl Into<Element<'a, M>>,
|
||||
(dx, dy): (f32, f32),
|
||||
) -> Element<'a, M> {
|
||||
let element = element.into();
|
||||
if dx == 0.0 && dy == 0.0 {
|
||||
return element;
|
||||
}
|
||||
container(element)
|
||||
container(element.into())
|
||||
.width(Length::Fill)
|
||||
.height(Length::Fill)
|
||||
.padding(Padding {
|
||||
|
||||
@@ -22,13 +22,28 @@ use std::collections::BTreeMap;
|
||||
use unlucky_design::motion::{DurationToken, Easing, MotionScale};
|
||||
use unlucky_design::spacing::Space;
|
||||
|
||||
/// 逐帧推进的**最短间隔**（16 ms ≈ 60 次/秒）。
|
||||
/// 逐帧**推进时间轴**的最短间隔（16 ms ≈ 60 次/秒）。
|
||||
///
|
||||
/// 为什么需要它：`window::frames()` 的到达频率由合成器/渲染器决定，软件渲染实测能到几百帧/秒。
|
||||
/// 帧数本身不贵（贵的是整窗重绘，那由「订阅只在动画期间开着」管住），但**每帧都改布局**会让
|
||||
/// 页面每毫秒 reflow 一次。所以时间轴按 16 ms 结算：到得再快也只推进这么多次。
|
||||
/// ⚠️ **这只卡「采样与布局推进」，不卡整窗重绘。** 两个频率必须分开看：
|
||||
///
|
||||
/// | 什么 | 频率 | 由谁决定 |
|
||||
/// |---|---|---|
|
||||
/// | 时间轴推进 / 位移采样（本常量） | ≤62.5 次/秒 | 这里 |
|
||||
/// | **整窗重绘** | **跟随渲染器**：软件渲染实测 ≈**970 帧/秒**（一次 300 ms 的换页 ≈**290 次整窗重绘** ≈ **0.30 核·秒**）；GPU 档被 AutoVsync 限到 40~60 | `window::frames()` 一订阅，iced_winit 每条消息后都 `request_redraw()`（iced_winit-0.14.1 `src/lib.rs:1222-1240`） |
|
||||
///
|
||||
/// 所以「动画期间最多 60fps」只对**采样**成立；重绘次数是订阅时长的函数，与 16 ms 无关。
|
||||
/// 为什么仍然要 16 ms：每帧重绘已经是既成事实（忙碌态本来就这样），16 ms 卡的是**布局重排**
|
||||
/// 与 `pages::render` 的重建成本；两者的量级差一个数量级以上（见报告的性能记账）。
|
||||
pub const FRAME_MS: f64 = 16.0;
|
||||
|
||||
/// 单次推进的**最大步进**（4 帧 = 64 ms）。
|
||||
///
|
||||
/// 为什么需要它：`advance` 的 dt 来自「上一帧到现在」，而空闲期根本没有帧——醒来的第一帧如果
|
||||
/// 按真实流逝（秒~分钟级）结算，`duration` 当场就被跨过 ⇒ 到期轨道被立刻删除 ⇒ 动画一帧走完
|
||||
/// （M192 r1 复审 P1-1 就是这么暴露的）。起点由 `motion::observe` 重置，这里再兜一道：
|
||||
/// **任何一次采样最多只吃掉 4 帧的时长**，掉帧/被挂起时宁可把动画放慢，也不许把它一次性抹掉。
|
||||
pub const MAX_STEP_MS: f64 = FRAME_MS * 4.0;
|
||||
|
||||
/// 一个动效槽。
|
||||
///
|
||||
/// 槽是**同屏互斥**的：三个槽都是「页主体入场」的不同触发点，同时跑会让位移叠加
|
||||
@@ -187,14 +202,14 @@ impl Pump {
|
||||
!self.tracks.is_empty()
|
||||
}
|
||||
|
||||
/// 起跑一个槽（关着动效时什么都不做——**不是**跑一遍 0 时长）。
|
||||
/// 起跑一个槽（关着动效时什么都不做——**不是**跑一遍 0 时长动画）。返回 `true` = 真的起跑了。
|
||||
///
|
||||
/// 三个槽**互斥**：它们都是「页主体入场」的不同触发点，同时跑会让位移叠加（首屏 + 换页 =
|
||||
/// 28px）。所以起跑新槽就丢掉旧的——语义上也对：新的一次内容变化取代上一次。
|
||||
pub fn play(&mut self, slot: Slot) {
|
||||
pub fn play(&mut self, slot: Slot) -> bool {
|
||||
self.tracks.clear();
|
||||
if self.scale.is_off() {
|
||||
return;
|
||||
return false;
|
||||
}
|
||||
// 钉住相位时轨道的起点固定在 0：进度于是恒等于「钉住的毫秒 / 时长」，
|
||||
// 与「谁在第几帧起跑」无关——这正是多帧序列图要的可复现性。
|
||||
@@ -206,6 +221,7 @@ impl Pump {
|
||||
spec: spec(slot),
|
||||
},
|
||||
);
|
||||
true
|
||||
}
|
||||
|
||||
/// 采样：`0.0` = 刚起跑，`1.0` = 到位（**没有轨道就是到位**）。
|
||||
@@ -227,29 +243,52 @@ impl Pump {
|
||||
self.pin.unwrap_or(self.now_ms)
|
||||
}
|
||||
|
||||
/// 页主体的入场位移：**每帧调一次**，标识变了才真的起跑。
|
||||
/// 页主体的内容**标识**变了就起跑对应槽；**必须在 update 侧调**（见 `App::sync_motion`）。
|
||||
///
|
||||
/// ## 为什么不能放在 `view` 里（M192 r1 复审 P1-1，这是本轮最重要的一行注释）
|
||||
///
|
||||
/// iced 0.14 的顺序是「消息 → `update()`（**`program.subscription()` 在这里求值**）→
|
||||
/// `build_user_interfaces`（这时才调 `view`）」（iced_winit-0.14.1 `src/lib.rs:1222-1240`，
|
||||
/// 订阅表在 `update()` 内部的 `lib.rs:1338` 求值）。所以在 `view` 里插轨道，同一拍的订阅表
|
||||
/// **看不见**它，`frames()` 要等下一条消息（最快鼠标、最慢 1 Hz 心跳）才打开——那一段里
|
||||
/// 页面已经带着位移画过一帧，然后就没了：用户看到的是一次偏移闪跳。
|
||||
///
|
||||
/// 三条判据（顺序即优先级）：
|
||||
/// 1. 第一帧 → [`Slot::Boot`]（首屏也算一次「东西出现」）；
|
||||
/// 1. 第一次看到**归 pages 画的屏** → [`Slot::Boot`]；
|
||||
/// 2. 屏变了 → [`Slot::Screen`]；
|
||||
/// 3. 屏没变但详情变了 → [`Slot::Detail`]。
|
||||
///
|
||||
/// 返回值按各槽剩余量求和后**取整**：整像素位移不会让文字在动画期间发虚，
|
||||
/// 末帧三个槽都是 `1.0` ⇒ 恒为 `(0, 0)` ⇒ 与静息的布局逐像素相同。
|
||||
pub fn enter(&mut self, screen: u64, detail: Option<&str>) -> (f32, f32) {
|
||||
/// `screen == None`（账户页 / AI 独立页：它们不走 `pages::render`）**只记标识、不起跑**——
|
||||
/// 否则会白跑 300 ms 的帧却没人采样它；而「从这些页回到某一屏」因为标识从 `None` 变回
|
||||
/// `Some`，仍然会跑换页那一档。
|
||||
///
|
||||
/// 返回 `true` = 真的起跑了新轨道（调用方要重置帧基准，见 [`MAX_STEP_MS`]）。
|
||||
pub fn observe(&mut self, screen: Option<u64>, detail: Option<&str>) -> bool {
|
||||
let mut started = false;
|
||||
if !self.painted {
|
||||
self.painted = true;
|
||||
self.play(Slot::Boot);
|
||||
} else if self.screen != Some(screen) {
|
||||
self.play(Slot::Screen);
|
||||
} else if self.detail.as_deref() != detail {
|
||||
self.play(Slot::Detail);
|
||||
if screen.is_some() {
|
||||
started = self.play(Slot::Boot);
|
||||
}
|
||||
} else if self.screen != screen {
|
||||
if screen.is_some() {
|
||||
started = self.play(Slot::Screen);
|
||||
}
|
||||
} else if self.detail.as_deref() != detail && screen.is_some() {
|
||||
started = self.play(Slot::Detail);
|
||||
}
|
||||
self.screen = Some(screen);
|
||||
self.screen = screen;
|
||||
if self.detail.as_deref() != detail {
|
||||
self.detail = detail.map(str::to_owned);
|
||||
}
|
||||
started
|
||||
}
|
||||
|
||||
/// 页主体的入场位移（**只采样，无副作用**）：`pages::render` 每帧调一次。
|
||||
///
|
||||
/// 三个槽的剩余量求和后**取整**：整像素位移不会让文字在动画期间发虚；末帧全部 `1.0`
|
||||
/// ⇒ 恒为 `(0, 0)` ⇒ 与静息的布局逐像素相同。
|
||||
pub fn offsets(&self) -> (f32, f32) {
|
||||
let mut dx = 0.0_f32;
|
||||
let mut dy = 0.0_f32;
|
||||
for slot in Slot::ALL {
|
||||
@@ -263,16 +302,18 @@ impl Pump {
|
||||
|
||||
/// 推进时间轴。返回 `true` = 这一帧真的推进了（进度变了 ⇒ 要重画）。
|
||||
///
|
||||
/// 三步：①不满 [`FRAME_MS`] 就不动（帧上限）②到期的轨道**当场删除**（这是「空闲不烧帧」的
|
||||
/// 唯一出口：删掉最后一个轨道之后 [`is_animating`](Self::is_animating) 立刻为假，下一拍订阅表
|
||||
/// 里就不再有 `window::frames()`）③钉住相位时时间轴不前进（取证专用）。
|
||||
/// 四步：①不满 [`FRAME_MS`] 就不动（采样上限）②**单次最多吃 [`MAX_STEP_MS`]**（掉帧 /
|
||||
/// 被挂起 / 空闲醒来的第一帧都不许一次性跨过时长）③到期的轨道**当场删除**（这是「空闲不烧帧」
|
||||
/// 的唯一出口：删掉最后一个轨道之后 [`is_animating`](Self::is_animating) 立刻为假，下一拍订阅表
|
||||
/// 里就不再有 `window::frames()`）④钉住相位时时间轴不前进（取证专用）。
|
||||
pub fn advance(&mut self, dt_ms: f64) -> bool {
|
||||
if self.tracks.is_empty() {
|
||||
self.pending_ms = 0.0;
|
||||
return false;
|
||||
}
|
||||
if dt_ms.is_finite() && dt_ms > 0.0 {
|
||||
self.pending_ms += dt_ms;
|
||||
// ②：上限不是「省事」，是正确性——stale 的帧基准（空闲整段）会把轨道一帧杀完。
|
||||
self.pending_ms += dt_ms.min(MAX_STEP_MS);
|
||||
}
|
||||
if self.pending_ms < FRAME_MS {
|
||||
return false;
|
||||
|
||||
@@ -1,6 +1,8 @@
|
||||
//! 帧泵的守卫（M192）。全部用**本地** `Pump` 摆时间轴：不起窗口、不等真实时间，所以不会假绿。
|
||||
//!
|
||||
//! 接线级的守卫（真消息 / 真订阅表）在 `app/subscription.rs` 的 `mod tests`：这一组只管算术。
|
||||
|
||||
use super::pump::{offset, spec, Pump, Slot, FRAME_MS};
|
||||
use super::pump::{offset, spec, Pump, Slot, FRAME_MS, MAX_STEP_MS};
|
||||
use super::*;
|
||||
|
||||
/// 标准档、没有钉相位的泵（出厂态是 `NONE`，见 [`Pump::new`]）。
|
||||
@@ -39,7 +41,7 @@ fn every_slot_spec_is_a_registered_token_pair() {
|
||||
ms
|
||||
);
|
||||
// 缓动必须是真的曲线（端点 = 0/1）
|
||||
assert!((spec.easing.sample(0.0)).abs() < 1.0e-6);
|
||||
assert!(spec.easing.sample(0.0).abs() < 1.0e-6);
|
||||
assert!((spec.easing.sample(1.0) - 1.0).abs() < 1.0e-6);
|
||||
// 位移必须来自间距栅格（4 的倍数），且不为零
|
||||
let (dx, dy) = offset(slot);
|
||||
@@ -67,7 +69,7 @@ fn every_slot_spec_is_a_registered_token_pair() {
|
||||
#[test]
|
||||
fn a_finished_animation_stops_asking_for_frames() {
|
||||
let mut pump = standard();
|
||||
pump.play(Slot::Screen);
|
||||
assert!(pump.play(Slot::Screen), "起跑必须成功");
|
||||
assert!(pump.is_animating(), "起跑后必须有轨道（订阅帧的唯一理由）");
|
||||
|
||||
settle(&mut pump);
|
||||
@@ -76,6 +78,7 @@ fn a_finished_animation_stops_asking_for_frames() {
|
||||
"动画结束必须**当场**退订（占着轨道 = 空闲烧帧）"
|
||||
);
|
||||
assert_eq!(pump.progress(Slot::Screen), 1.0, "结束即到位");
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0), "结束即归位");
|
||||
|
||||
// 再推进也不该有任何采样（订阅表里已经没有帧了）
|
||||
let before = pump.samples();
|
||||
@@ -85,15 +88,16 @@ fn a_finished_animation_stops_asking_for_frames() {
|
||||
assert_eq!(pump.samples(), before, "空闲态一次采样都不该发生");
|
||||
}
|
||||
|
||||
/// **帧间隔上限**：帧到得再快，时间轴也只按 16 ms 结算（≈60 次/秒）。
|
||||
/// **采样频率上限**：帧到得再快，时间轴也只按 16 ms 结算（≈62.5 次/秒）。
|
||||
///
|
||||
/// 注意这条**不管整窗重绘**：重绘跟随渲染器（见 [`FRAME_MS`] 文档）。
|
||||
/// 抓得住：把 `pending_ms` 那道闸门删掉（每来一帧就推进 ⇒ 软件渲染下几百次/秒的重排）。
|
||||
#[test]
|
||||
fn frames_are_capped_at_sixty_per_second() {
|
||||
let mut pump = standard();
|
||||
pump.play(Slot::Screen);
|
||||
|
||||
// 200 帧、每帧 1 ms（模拟 1000 fps 的合成器）
|
||||
// 200 帧、每帧 1 ms（模拟 1000 fps 的渲染器）
|
||||
let mut advanced = 0;
|
||||
for _ in 0..200 {
|
||||
if pump.advance(1.0) {
|
||||
@@ -117,6 +121,38 @@ fn frames_are_capped_at_sixty_per_second() {
|
||||
);
|
||||
}
|
||||
|
||||
/// **stale 帧基准不许把轨道一帧杀完**（M192 r1 复审 P1-1 的算术面）。
|
||||
///
|
||||
/// 运行时真出现过：空闲几分钟后第一条消息起跑轨道，第一帧的 dt 是整段空闲时长 ⇒ 立即到期 ⇒
|
||||
/// 动画一帧走完，用户只看到一次偏移闪跳。两道兜底：起跑时重置帧基准（`motion::observe`）与
|
||||
/// 单次最大步进 [`MAX_STEP_MS`]；这条守的是第二道。
|
||||
#[test]
|
||||
fn a_stale_baseline_cannot_kill_the_track_in_one_sample() {
|
||||
let mut pump = standard();
|
||||
pump.play(Slot::Screen);
|
||||
|
||||
// 60 秒的「空闲间隔」当 dt
|
||||
assert!(pump.advance(60_000.0));
|
||||
assert!(
|
||||
pump.is_animating(),
|
||||
"一次超长 dt 不许把轨道当场删掉（那就等于没有动画）"
|
||||
);
|
||||
assert!(
|
||||
pump.now_ms() <= MAX_STEP_MS + 1.0e-6,
|
||||
"单次推进最多 {:?} ms，实测 {}",
|
||||
MAX_STEP_MS,
|
||||
pump.now_ms()
|
||||
);
|
||||
assert!(
|
||||
pump.progress(Slot::Screen) < 1.0,
|
||||
"进度不许一步到位（那就是闪跳）"
|
||||
);
|
||||
|
||||
// 正常帧间隔照样把动画跑完（没被抖动卡死）
|
||||
settle(&mut pump);
|
||||
assert!(!pump.is_animating());
|
||||
}
|
||||
|
||||
/// 采样必须单调、且末尾回到 1.0（回弹类曲线不在本批，见 [`spec`] 的表）。
|
||||
#[test]
|
||||
fn progress_is_monotone_and_lands_on_one() {
|
||||
@@ -146,11 +182,13 @@ fn none_scale_never_starts_a_track() {
|
||||
assert!(pump.scale().is_off());
|
||||
|
||||
// 首屏 + 换页 + 换详情：三次状态变化都不许留下轨道
|
||||
assert_eq!(pump.enter(1, None), (0.0, 0.0), "关掉动效必须直接落终态");
|
||||
assert!(!pump.observe(Some(1), None), "关掉动效时不许起跑");
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0), "关掉动效必须直接落终态");
|
||||
assert!(!pump.is_animating());
|
||||
assert_eq!(pump.enter(2, None), (0.0, 0.0));
|
||||
assert!(!pump.is_animating());
|
||||
assert_eq!(pump.enter(2, Some("instance-7")), (0.0, 0.0));
|
||||
assert!(!pump.observe(Some(2), None));
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
assert!(!pump.observe(Some(2), Some("instance-7")));
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
assert!(!pump.is_animating());
|
||||
|
||||
for _ in 0..120 {
|
||||
@@ -170,6 +208,7 @@ fn switching_to_none_mid_flight_settles_immediately() {
|
||||
pump.configure(MotionScale::NONE, None);
|
||||
assert!(!pump.is_animating(), "关掉动效必须当场清空轨道");
|
||||
assert_eq!(pump.progress(Slot::Screen), 1.0);
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
}
|
||||
|
||||
/// 半速档（CPU 渲染兜底）真的把时长减半：同样的时间轴推进，轨道更早结束。
|
||||
@@ -193,67 +232,94 @@ fn half_scale_finishes_in_half_the_frames() {
|
||||
|
||||
// ------------------------------------------------------------------ 触发判据
|
||||
|
||||
/// 三个槽的触发优先级：首帧 Boot → 换屏 Screen → 同屏换详情 Detail。
|
||||
/// 三个槽的触发优先级：首屏 Boot → 换屏 Screen → 同屏换详情 Detail。
|
||||
#[test]
|
||||
fn identity_changes_pick_the_right_slot() {
|
||||
let mut pump = standard();
|
||||
|
||||
// 首帧：Boot（位移是纵向 16）
|
||||
let (dx, dy) = pump.enter(1, None);
|
||||
assert!(pump.observe(Some(1), None), "首帧要跑 Boot 槽");
|
||||
let (dx, dy) = pump.offsets();
|
||||
assert_eq!(dx, 0.0);
|
||||
assert!(dy > 0.0, "首屏应有一个向下的入场位移");
|
||||
assert!(pump.is_animating(), "首帧要跑 Boot 槽");
|
||||
assert_eq!(dy, offset(Slot::Boot).1, "首屏应有一个向下的入场位移");
|
||||
assert_eq!(
|
||||
pump.progress(Slot::Screen),
|
||||
1.0,
|
||||
"首帧不该顺带起跑 Screen 槽"
|
||||
);
|
||||
settle(&mut pump);
|
||||
assert_eq!(pump.enter(1, None), (0.0, 0.0), "标识没变 ⇒ 不动");
|
||||
assert!(!pump.observe(Some(1), None), "标识没变 ⇒ 不起跑");
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
|
||||
// 换屏：Screen（纵向）
|
||||
let (dx, dy) = pump.enter(2, None);
|
||||
assert!(pump.observe(Some(2), None));
|
||||
let (dx, dy) = pump.offsets();
|
||||
assert_eq!(dx, 0.0);
|
||||
assert!(dy > 0.0);
|
||||
assert_eq!(dy, offset(Slot::Screen).1);
|
||||
assert!(pump.progress(Slot::Screen) < 1.0, "换屏要跑 Screen 槽");
|
||||
settle(&mut pump);
|
||||
|
||||
// 同屏换详情：Detail（横向）
|
||||
let (dx, dy) = pump.enter(2, Some("instance-7"));
|
||||
assert!(dx > 0.0, "列表↔详情是横向入场");
|
||||
assert!(pump.observe(Some(2), Some("instance-7")));
|
||||
let (dx, dy) = pump.offsets();
|
||||
assert_eq!(dx, offset(Slot::Detail).0, "列表↔详情是横向入场");
|
||||
assert_eq!(dy, 0.0);
|
||||
assert!(pump.progress(Slot::Detail) < 1.0);
|
||||
settle(&mut pump);
|
||||
assert_eq!(pump.enter(2, Some("instance-7")), (0.0, 0.0));
|
||||
assert!(!pump.observe(Some(2), Some("instance-7")));
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
}
|
||||
|
||||
/// 不归 pages 画的屏（账户页 / AI 独立页，`screen == None`）**不起跑**；回到某一屏照样跑。
|
||||
#[test]
|
||||
fn screens_rendered_elsewhere_never_start_a_track() {
|
||||
let mut pump = standard();
|
||||
assert!(pump.observe(Some(1), None), "首屏开机跑 Boot");
|
||||
settle(&mut pump);
|
||||
|
||||
assert!(!pump.observe(None, None), "没有 pages 树可动 ⇒ 不许白开帧");
|
||||
assert!(!pump.is_animating());
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
|
||||
assert!(
|
||||
pump.observe(Some(1), None),
|
||||
"从账户页回到某一屏仍然是换页，要跑"
|
||||
);
|
||||
assert_eq!(pump.offsets().1, offset(Slot::Screen).1);
|
||||
}
|
||||
|
||||
/// 换页会**取代**首屏那一档：位移不叠加（12px，不是 16+12）。
|
||||
#[test]
|
||||
fn a_new_transition_supersedes_the_previous_one() {
|
||||
let mut pump = standard();
|
||||
let boot_dy = offset(Slot::Boot).1;
|
||||
assert_eq!(pump.enter(1, None).1, boot_dy, "首帧从 Boot 的最大位移开始");
|
||||
assert_eq!(
|
||||
pump.offsets().1,
|
||||
0.0,
|
||||
"还没 observe 时没有位移（采样是纯函数）"
|
||||
);
|
||||
pump.observe(Some(1), None);
|
||||
assert_eq!(pump.offsets().1, offset(Slot::Boot).1);
|
||||
|
||||
// 首屏还没跑完就换页：位移必须是 Screen 那一档，而不是两档相加
|
||||
let (_, dy) = pump.enter(2, None);
|
||||
pump.observe(Some(2), None);
|
||||
assert_eq!(
|
||||
dy,
|
||||
pump.offsets().1,
|
||||
offset(Slot::Screen).1,
|
||||
"新的一次内容变化应取代上一次（叠加会让位移变成两档之和）"
|
||||
);
|
||||
assert!(!pump.is_animating() || pump.progress(Slot::Boot) == 1.0);
|
||||
}
|
||||
|
||||
/// 同一屏同一详情重复绘制**永远不会**重新起跑（否则每帧都在重启动画 = 永远停不下来）。
|
||||
#[test]
|
||||
fn repeated_paints_never_restart_the_animation() {
|
||||
let mut pump = standard();
|
||||
pump.enter(3, Some("instance-9"));
|
||||
pump.observe(Some(3), Some("instance-9"));
|
||||
let frames = settle(&mut pump);
|
||||
assert!(frames > 0);
|
||||
|
||||
for _ in 0..30 {
|
||||
assert_eq!(pump.enter(3, Some("instance-9")), (0.0, 0.0));
|
||||
assert!(!pump.observe(Some(3), Some("instance-9")));
|
||||
assert_eq!(pump.offsets(), (0.0, 0.0));
|
||||
}
|
||||
assert!(!pump.is_animating(), "重复绘制不该起新轨道");
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user