用途：在语义模型（如 Power BI）导入表的分区中编写、验证和测试 Power Query M 表达式。每个导入表的分区都有一条 M 表达式，定义刷新时加载的数据。
主要能力：编写结构正确的 M 表达式（let...in、参数、导航、步骤、#"步骤名"标识符）；处理查询折叠，识别可折叠与破坏折叠的步骤；列裁剪与行过滤；类型处理与命名规范；通过执行真实数据验证表达式；通过 XMLA/TOM 保存分区做语法校验；按步骤预览转换链；支持增量刷新分区、Lakehouse 源和 Value.NativeQuery 等常见模式。
使用方式：可用 fab get 提取分区表达式与共享 M 参数；用 examples/execute_m.py 通过执行 API 对真实数据运行，命令形如 POST /v1/workspaces/{wsId}/dataflows/{dfId}/executeQuery；也可直接编辑 TMDL 分区源码并用 fab import 部署，或经 XMLA 端点修改。
适用场景：调优 M 查询性能、排查折叠中断、验证分区表达式正确性与数据类型、调试转换链、测试增量刷新等。
限制：保存到模型仅校验语法，不执行查询，不捕获运行时错误；执行方式需要数据源连接与凭据。复杂 SQL 可用 Value.NativeQuery，配合 EnableFolding=true 允许后续步骤继续折叠。资料未提供收费、平台支持范围等细节。