Update BMM_Theory: README.md (fix review issues #4-#10)

BMM/BMM_Theory/README.md

@@ -65,27 +65,34 @@ BMM_Theory/
 │   ├── models.py              # 数据模型: BmmCase / ImplPlan(标准结构体) / HardwareTiming
 │   ├── hardware/ascend950pr.py# 950PR 硬件参数表 (换芯片只换这份)
 │   ├── timing.py              # 时延评估引擎 (MTE2/Cube/Fixpipe/Reduce 模型)
-│   ├── router.py              # 分支决策路由 + 重叠区仲裁
+│   ├── constraints.py         # 单一约束源 (生成与校验共用, L0C/L0A/L0B/L1/dValue/核数)
+│   ├── router.py              # 分支决策路由 + 重叠区仲裁 + 生成后自检
 │   ├── evaluator.py           # 方案评估器 (约束校验 + 瓶颈分析)
 │   ├── io_csv.py              # csv 输入输出
-│   └── branches/              # 各分支理论脚本 (本期: MergeBatch + IterBatch)
-│       ├── merge_batch.py
-│       └── iter_batch.py
+│   └── branches/              # 六分支理论脚本 (全部已实现)
+│       ├── merge_batch.py     # MergeBatch
+│       ├── iter_batch.py      # IterBatch (a/b/c/d 四形态)
+│       ├── to_matmul.py       # 转Matmul
+│       ├── special.py         # 特殊分支 (K=0/1, AIV 通路)
+│       ├── stream_k.py        # StreamK (切K + 归约)
+│       └── asw_basic.py       # ASW_Basic (含降核/swizzle/L2分组/尾轮决策)
 ├── docs/                      # 文档 (架构 + 理论梳理)
 │   ├── 01_软件架构.md
 │   └── 02_分支理论/
 │       ├── 00_总纲_分支决策树.md
 │       ├── 01_MergeBatch分支.md
-│       └── 02_IterBatch分支.md
+│       ├── 02_IterBatch分支.md
 │       ├── 03_转Matmul分支.md
 │       ├── 04_特殊分支.md
 │       ├── 05_StreamK分支.md
 │       ├── 06_ASW_Basic分支.md      # 尾轮策略已内化为其必要环节
 │       └── 07_尾轮处理策略.md        # 尾轮完整推导 (参考)
 ├── examples/                  # 示例输入输出
-└── tests/                     # 单元测试 (固化文档边界 case)
+└── tests/                     # 单元测试 (固化文档边界 case + issue 回归)
 ```
 
+**Python 版本**：实测通过 3.12（本机）与 3.14（测评环境）；代码用 `from __future__ import annotations` 兜底注解，逻辑仅用标准库。建议 3.10+。
+
 ## 当前进度与路线图
 
 | 分支 | 进入条件 | 方案生成 | 时延评估 | 状态 |