@@ -93,9 +93,39 @@ pub async fn stop_live_session(state: State<'_, AppState>) -> Result<Option<i64>
         .map_err(|e| format!("停止任务失败: {}", e))?
         .map_err(|e| e.to_string())?;
     stop_clipboard_monitor(&state);
+    // v0.7.3（REQ-159）：停止后自动结构精修（表格/公式区域；模型未就绪/
+    // 无结构区域 → 内部降级跳过——run_refine 已有完整降级链）
+    if let Some(sid) = stopped {
+        trigger_auto_refine(&state, sid);
+    }
     Ok(stopped)
 }
 
+/// 停止后自动结构精修触发（v0.7.3 REQ-159）。
+///
+/// @ai-context: 前置检查：会话存在 region_kind=table/formula 的 OCR 块才触发
+///              （无结构区域不白跑）；模型就绪检查交给 run_refine 内部
+///              decide_refine（未下载 → session:refine-skipped 事件，诚实降级）。
+fn trigger_auto_refine(state: &AppState, session_id: i64) {
+    let has_structure = state
+        .db
+        .list_ocr_blocks(session_id)
+        .map(|blocks| {
+            blocks.iter().any(|b| {
+                matches!(b.region_kind.as_deref(), Some("table" | "formula"))
+            })
+        })
+        .unwrap_or(false);
+    if !has_structure {
+        return;
+    }
+    eprintln!("[Refine] 会话 {} 停止：检测到表格/公式区域，自动触发结构精修", session_id);
+    let state: AppState = (*state).clone();
+    tauri::async_runtime::spawn_blocking(move || {
+        let _ = crate::commands_refine_inner::run_refine(&state, session_id);
+    });
+}
+
 /// 查询实时会话状态（活动会话 id + 预热就绪标记）。
 #[tauri::command]
 pub fn live_session_status(state: State<'_, AppState>) -> LiveSessionStatus {
 
@@ -83,7 +83,11 @@ pub async fn get_session_detail(state: State<'_, AppState>, id: i64) -> Result<S
     // v0.7.3（REQ-160，ADR-015）：画面要点屏卡（新数据按 screen_id 分组、
     // 旧数据聚类兜底；图匹配失败/目录缺失不阻断——前端无缩略图降级）
     let images_dir = state.data_dir.join("session-images").join(id.to_string());
-    let screens = crate::screens::build_screens(&ocr_blocks, Some(&images_dir));
+    let mut screens = crate::screens::build_screens(&ocr_blocks, Some(&images_dir));
+    // v0.7.3（REQ-159）：屏内结构块渲染课后精修产物（表格 Markdown/公式 LaTeX；
+    // 未精修 → 保留原始 OCR 文本，徽标降级）
+    let artifact = state.db.get_artifact(id).map_err(|e| e.to_string())?;
+    crate::screens::refine_screen_structures(&mut screens, artifact.as_ref());
     Ok(SessionDetail { session, segments, ocr_blocks, events, screens })
 }
 
 
@@ -174,6 +174,50 @@ fn screen_from_cluster(
     }
 }
 
+/// 屏结构产物匹配（纯函数）：课后精修产物 → 屏 structure.rendered 填充。
+///
+/// @ai-context: 消费 artifact_blocks（kind=Table/Formula，REQ-049/050 精修产物）——
+///              屏卡内结构块渲染 Markdown 表格/LaTeX；匹配 = 产物 refs.frame_ms
+///              落在屏区间内（区域裁剪时刻即屏成员时刻）；未命中 → 保留原始
+///              OCR 文本（徽标降级）；产物缺失 → 无操作（不阻断，M5 接线）。
+pub fn refine_screen_structures(
+    screens: &mut [SessionScreen],
+    artifact: Option<&crate::artifact::SessionArtifact>,
+) {
+    let Some(art) = artifact else { return };
+    for s in screens.iter_mut() {
+        for st in s.structure.iter_mut() {
+            if st.rendered.is_some() {
+                continue;
+            }
+            let want = match st.kind.as_str() {
+                "table" => crate::artifact::ArtifactKind::Table,
+                "formula" => crate::artifact::ArtifactKind::Formula,
+                _ => continue, // code 区域无精修产物（原生文本展示）
+            };
+            let rendered = art
+                .blocks
+                .iter()
+                .find(|b| {
+                    b.kind == want
+                        && b.refs.frame_ms.is_some_and(|f| {
+                            f >= s.first_seen_ms && f <= s.last_seen_ms
+                        })
+                })
+                .and_then(|b| match &b.payload {
+                    crate::artifact::BlockPayload::Table(t) => Some(t.markdown.clone()),
+                    crate::artifact::BlockPayload::Formula(f) => {
+                        Some(format!("$${}$$", f.latex))
+                    }
+                    _ => None,
+                });
+            if let Some(r) = rendered {
+                st.rendered = Some(r);
+            }
+        }
+    }
+}
+
 /// 匹配归档 full 图（纯 IO）：取时间戳 ≤ 屏首见时刻的最近图；无则取最早图。
 ///
 /// @ai-context: 归档图按时间戳命名（full/{ts}.webp，image_store 约定）；屏首帧
 
@@ -4,7 +4,7 @@
 
 use std::fs;
 
-use crate::screens::build_screens;
+use crate::screens::{build_screens, refine_screen_structures};
 use crate::types::{SessionOcrBlock, TextBox};
 
 /// 测试辅助：构造会话 OCR 块（region=full，可带 bbox/screen_id/region_kind）。
@@ -145,6 +145,70 @@ fn build_screens_empty_and_no_full_blocks() {
     assert!(build_screens(&subtitle_only, Some(&dir)).is_empty());
 }
 
+#[test]
+fn refine_structures_from_artifact() {
+    // Arrange：屏内 table/formula 结构块 + 课后精修产物（frame_ms 在屏区间内）
+    use crate::artifact::{ArtifactBlock, ArtifactKind, BlockPayload, BlockRefs, BlockSource, SessionArtifact};
+    use crate::table_reconstruct::TableBlock;
+    let dir = tmp_images_dir("refine", &[]);
+    let blocks = vec![
+        blk(1, 2_000, "表格标题", Some(1), Some((100.0, 100.0, 300.0, 40.0)), None),
+        blk(2, 2_000, "| A | B |", Some(1), Some((100.0, 200.0, 300.0, 60.0)), Some("table")),
+        blk(3, 2_000, "x^2+1", Some(1), Some((100.0, 300.0, 200.0, 40.0)), Some("formula")),
+    ];
+    let mut screens = build_screens(&blocks, Some(&dir));
+    let artifact = SessionArtifact {
+        session_id: 1,
+        profile: String::new(),
+        blocks: vec![
+            ArtifactBlock {
+                id: 1,
+                kind: ArtifactKind::Table,
+                refs: BlockRefs { segment_id: None, ocr_block_id: None, frame_ms: Some(2_000) },
+                payload: BlockPayload::Table(TableBlock {
+                    markdown: "| A | B |\n|---|---|\n| 1 | 2 |".to_string(),
+                    structure_confidence: 0.9,
+                    cell_refs: Vec::new(),
+                }),
+                order: 0,
+                source: BlockSource::Local,
+            },
+            ArtifactBlock {
+                id: 2,
+                kind: ArtifactKind::Formula,
+                refs: BlockRefs { segment_id: None, ocr_block_id: None, frame_ms: Some(2_000) },
+                payload: BlockPayload::Formula(crate::formula_reconstruct::FormulaBlock {
+                    latex: "x^2+1".to_string(),
+                    source_text: "x2+1".to_string(),
+                    confidence: 0.8,
+                }),
+                order: 1,
+                source: BlockSource::Local,
+            },
+        ],
+    };
+    // Act
+    refine_screen_structures(&mut screens, Some(&artifact));
+    // Assert：表格/公式 rendered 填充
+    let s = &screens[0];
+    let table = s.structure.iter().find(|st| st.kind == "table").unwrap();
+    assert_eq!(table.rendered.as_deref(), Some("| A | B |\n|---|---|\n| 1 | 2 |"));
+    let formula = s.structure.iter().find(|st| st.kind == "formula").unwrap();
+    assert_eq!(formula.rendered.as_deref(), Some("$$x^2+1$$"));
+}
+
+#[test]
+fn refine_structures_none_without_artifact() {
+    // Arrange：无产物 + 屏结构块
+    let dir = tmp_images_dir("refine-none", &[]);
+    let blocks = vec![blk(1, 2_000, "| A |", Some(1), Some((100.0, 200.0, 300.0, 60.0)), Some("table"))];
+    let mut screens = build_screens(&blocks, Some(&dir));
+    // Act：None 产物 → 无操作（rendered 保持 None）
+    refine_screen_structures(&mut screens, None);
+    // Assert
+    assert_eq!(screens[0].structure[0].rendered, None);
+}
+
 #[test]
 fn image_ref_matches_nearest_at_or_before_first_seen() {
     // Arrange：归档图 2000/10000/30000；屏 first_seen=36404 → 最近 ≤ 为 30000