Mud.AI.Abstractions 1.0.2

Mud.AI

Mud.AI 是 Mud Studio 的中立（产品无关）AI 运行期套件，独立于任何具体 IM / 协作平台发布。 本仓由飞书仓（原 MudFeishu）的 Mud.AI.* 系列按「P3 上游化」独立而来： 契约（Abstractions）→ 运行期（Agent）→ 编译期引擎（Generator） 三层单向依赖， 产品侧（如 Mud.Feishu.AI）只经 NuGet 包消费，显式钉版，禁止浮动。

仓库结构

Mud.AI/
├── Mud.AI.Abstractions/      # 零依赖纯契约工程（端口 / 特性 / 剖面）
├── Mud.AI.Agent/             # 中立运行期（机制实现，net8.0+ 原生 AOT 兼容）
├── Mud.AI.Generator/         # 工具面源生成引擎（Roslyn Analyzer 形态）
├── Tests/
│   ├── Mud.AI.Agent.Tests/       # 运行期测试 + 契约守卫（ContractGuards / Golden）
│   └── Mud.AI.Generator.Tests/   # 引擎测试（ToolSurface / Guards / Infrastructure）
├── scripts/                  # 构建门禁与注释预算账本
├── documents/                # 架构决策记录（ADR）与过程文档
├── Mud.AI.slnx               # 解决方案
├── Directory.Build.props     # 仓级构建约定（TFM / AOT / 版本 / 打包元数据）
└── LICENSE-MIT

包一览

各包 README 含完整的命名空间布局、类型清单、机制导览与设计不变量。

依赖方向（单向，无环）

（消费方，如 Mud.Feishu.AI）──(NuGet 包)──▶ Mud.AI.Agent ──▶ Mud.AI.Abstractions
                              Mud.AI.Generator（作为 Analyzer，被产品侧挂载）

本仓零 Mud.Feishu* 依赖；产品侧对 Mud.AI.* 只经包引用（显式钉版，禁止浮动）。 Mud.AI.Agent 对 Microsoft.Agents.AI（MAF）的直引为白名单内收敛式放宽，且不得因此获得任何 Mud.Feishu* 引用——上述纪律由 Tests/Mud.AI.Agent.Tests/ContractGuards/ 机械锁定。

契约演进军规

1. 主端口冻结，新能力走新接口：给已分发端口加成员即 breaking 全部既有实现——新能力一律"新接口继承旧端口 + 调用点 as 空安全消费"。首个样板：IAgentToolTelemetry : IAgentTelemetry（未实现新接口的旧实现零埋点零异常）。
2. 加法优先：新重载 / 新可选参数 / 新记录尾参；确需移除的走 [Obsolete] 警告 → 次大版本移除的两段式，并在 CHANGELOG 登记迁移路径。
3. netstandard2.0 无默认接口成员（DIM）：能力拆分用接口继承，不用 DIM；ns2.0 目标上的新 API 必须在该 TFM 可编译、可调用。
4. 产包必递增版本：NuGet 同版本覆盖不使下游缓存失效（ADR-0005）；破坏性 diff 须附 CHANGELOG 条目与迁移说明。
5. 注释预算只下压：新增注释写"现在必须怎样"与"读代码读不出的陷阱"，不写批次编号与过程叙事；冻结台账见 documents/comment-budget-baseline.json，重固化走 scripts/comment-audit.ps1 -UpdateBaseline。

构建与测试

dotnet build Mud.AI.slnx -c Release
dotnet test  Tests/Mud.AI.Agent.Tests
dotnet test  Tests/Mud.AI.Generator.Tests
dotnet pack  Mud.AI.slnx -c Release

• 统一 C# 13.0 / Nullable enable / ImplicitUsings enable；XML 文档注释进包（GenerateDocumentationFile）。
• 版本漂移防护：NU1603 升级为错误（声明版本与解析版本不一致即失败）。
• AOT：net8.0+ TFM 启用 IsAotCompatible / EnableAotAnalyzer / EnableTrimAnalyzer（TrimMode=full）； ns2.0 / net6.0 按 TFM 精确豁免。可选 -p:AotStrictMode=true 将 IL2xxx/IL3xxx 升级为错误。
• 测试除行为用例外含契约守卫与中立化 golden 快照（NeutralizationGoldenTests），机制归属纪律可机械断言。

门禁

pwsh ./scripts/verify-build.ps1            # 标准档
pwsh ./scripts/verify-build.ps1 -Full      # 完整档（Timing 测试 + strict format）
pwsh ./scripts/comment-audit.ps1           # 注释预算账本

文档

• 架构决策记录：documents/decisions/
  • ADR-0001 摘要器 vs MAF Compaction
  • ADR-0003 回合管线补偿
  • ADR-0005 Mud.AI 家族抽取
• 过程文档：documents/单元测试体系过度测试分析与解决方案.md

许可证

MIT，见 LICENSE-MIT。