elabalice-code FastSignalTrace Rust+Tauri
使用 skill 自带的 assets/fastsignaltrace-rusttauri.exe 1.0.0。它同时扫描 .rs、.ts、.tsx，默认排除 target、node_modules、dist 等生成目录。
执行流程
- 确认输入是一个 Rust+Tauri 工程根目录，不要与其他 Harness 混扫。
- 同时输出方程和变量 TSV：
powershell.exe -NoProfile -ExecutionPolicy Bypass -File "<skill>/scripts/invoke.ps1" `
-SourceRoot "D:\Work\TauriProject" `
-EquationOutput "D:\Work\result\equations.txt" `
-VariablesOutput "D:\Work\result\variables.tsv" `
-Detailed
- 退出码为 0 后，分别报告 Rust 与 TS/TSX 文件数、Rust/TypeScript 状态数、控制域和方程数。
- 验证方程格式，确认所有方程信号存在于 TSV，并抽样回到相对路径和行号。
- 明确说明当前输出没有把前端
invoke自动连接到 Rust#[tauri::command]；不要把统一列表误称为完整跨语言调用图。
语义约束
- Rust：模块/关联
static、static mut、const和具名struct字段；排除参数、let和函数内局部const。 - TypeScript/TSX：模块变量、具体类字段、Zustand
create<State>数据字段；排除函数型 action、普通函数和 React hook 局部变量。 - Rust 控制域为
if/match，TypeScript 为if/switch；支持块、多行条件和常见单行结构。 - 宏展开、复杂类型推断、别名、动态键、复杂跨行 setter 和跨函数传播采用保守策略。
- 需要详细语言边界和格式时读取
references/使用手册.md。
退出码
0：成功。2：参数或路径错误。3：没有.rs/.ts/.tsx文件。4：分析异常。