refactor(auto-thumbnail): [PKG-AUTO-THUMB-03] type internal extraction contracts

refactor/progress.md

@@ -1,5 +1,14 @@
 # 进度与证据
 
+## PKG-AUTO-THUMB-03 内部TS检查点（仍doing）
+
+六个抽帧/会话/资源运行模块迁到严格TS，内部类型和实际核心宿主接入fixture齐备。
+源码154项（52候选、102历史）、产物各52项、三格式浏览器各21共63项通过；
+严格分包及全仓398生产TS流程通过，最终宿主兼容修正另经分包fixture验证。
+仅当前实现内部契约；公开声明04、WebKit无帧回调的前两格像素与资源边界仍待完成。
+详见[检查点](changes/2026-09-13-PKG-AUTO-THUMB-03-internal-types.md)；不增加done数，
+不关闭像素风险。该检查点单独本地提交，Mask源码与状态不纳入同一提交。
+
 ## PKG-DANMUKU-07 弹幕稳定性阶段验收完成
 
 12后的源码在三引擎完成新旧插件两档负载对照，每例三轮42秒原生播放；候选