@@ -532,6 +532,8 @@ flow 至少包含两个不同定义的直接调用；Python 校验限定符号
 每维用 `kb:depth` 绑定 feature、facet、完整 pin 与正文哈希，`kb:depth-proof` 绑定精确证据
 区间及其哈希、flow trace。区间必须完整展示给生成器，不允许跨缺口。页面必须是无规则的
 architecture/guide；整页 advisory pass 后才写入，拒绝或证据不足的草稿保留在本地 checkpoint/trace。
+机器枚举始终用固定英文标识，正文遵循知识语言。单个无证据或无效维度被剔除并记录原因，
+其它有效维度仍须整页通过裁判才保存；flow 不允许用测试调用链替代生产实现。
 来源引用、符号、L1 与知识树校验仍需通过。
 
 `coverage.semantic_depth` 单列完整功能数、七维槽位数和有语义证据的生产文件；
 
@@ -39,6 +39,13 @@
 Only the provided source/document arrays are evidence. Preserve setting names,
 defaults and error conditions exactly. Use the language of the language sample.
 Use placeholders for user/machine directories and addresses.
+Schema keys and enum values MUST remain the exact English identifiers shown
+below, including flow/api/configuration/dependencies/failure_modes/tradeoffs/
+validation and fact/inference. Only titles and body prose follow the language
+sample. Merge claims for one facet into ONE section; never repeat a facet.
+flow describes production implementation, not a test fixture's execution.
+Adjacent trace steps must call one another, not be siblings called by an entry
+point. Omit flow if the offered slices cannot establish that direct chain.
 
 Return one JSON object in a json fence, with no preamble or epilogue:
 {"title":"feature implementation","sections":[
 
@@ -5,6 +5,7 @@
 import json
 import re
 import time
+from collections import Counter
 from dataclasses import dataclass, replace
 from pathlib import Path
 
@@ -24,6 +25,11 @@
 from .models import ModelUnavailable
 
 
+def validate_container(data: dict) -> None:
+    if not isinstance(data, dict) or not isinstance(data.get("sections"), list) or len(data["sections"]) > len(FACETS):
+        raise ValueError("sections must list at most seven depth facets")
+
+
 @dataclass
 class _KnowledgeDepth(_Knowledge):
     STAGE = "knowledge-deepen"
@@ -43,7 +49,7 @@ def _init_identity(self) -> str:
             ":subscription-generator" if self.rt.subscription_generator else "")
 
     def _input_options(self) -> dict:
-        return {**super()._input_options(), "depth_version": 1}
+        return {**super()._input_options(), "depth_version": 2}
 
     def _base_for_run(self, latest: str) -> str:
         previous = InitRecord.load(self.rt.state_dir, self.lifecycle.repo, self.STAGE)
@@ -100,6 +106,9 @@ def _build(self, tree: Path) -> InitRecord:
                 _, problems = verified_blocks(self.head[page], feature, tree, self.record.pin)
                 if problems:
                     return self._blocked(problems + ["refresh stale/edited depth explicitly before extending it"])
+        initial = audit_depth(self.head, tree, policy, self.record.pin)
+        if initial["problems"]:
+            return self._blocked(initial["problems"])
         context = DepthContext(tree, inventory(tree, policy))
         # A completed first pass takes priority over repairs, so one difficult
         # feature cannot consume the budget before the others get visited.
@@ -211,26 +220,35 @@ def _attempt(self, tree, context, feature, entry):
             entry["status"] = "extracting"
             self.record.save(self.rt.state_dir)
             entry["draft"] = generate(self.rt, self.budget, self.lifecycle.init, system=SYSTEM_DEPTH,
-                                      prompt=prompt(payload), validate=validate_draft).data
+                                      prompt=prompt(payload), validate=validate_container).data
             entry["context_sha256"] = digest(prompt(payload))
             entry["status"] = "extracted"
             self.record.save(self.rt.state_dir)
         elif entry.get("context_sha256") != digest(prompt(payload)):
             raise ValueError("checkpoint draft context changed")
         data = entry["draft"]
-        validate_draft(data)
+        validate_container(data)
         offered = files + docs
         blocks = dict(old_blocks)
+        duplicates = Counter(s.get("facet") for s in data["sections"] if isinstance(s, dict) and isinstance(s.get("facet"), str))
+        skipped = []
         for section in data["sections"]:
-            if section["facet"] in old_blocks or section["facet"] not in payload["facets"]:
-                raise ValueError("draft attempts to rewrite an existing depth facet")
-            for evidence in section["evidence"]:
-                if not any(item["path"] == evidence["path"] and item["start"] <= evidence["start"]
-                           <= evidence["end"] <= item["end"] for item in offered):
-                    raise ValueError("depth evidence crosses an unshown source gap")
-            blocks[section["facet"]] = render_block(feature, section, tree, self.lifecycle.full_name, self.record.pin)
+            try:
+                validate_draft({"sections": [section]})
+                if duplicates[section["facet"]] > 1 or section["facet"] not in payload["facets"]:
+                    raise ValueError("duplicate or unrequested depth facet")
+                for evidence in section["evidence"]:
+                    if not any(item["path"] == evidence["path"] and item["start"] <= evidence["start"]
+                               <= evidence["end"] <= item["end"] for item in offered):
+                        raise ValueError("depth evidence crosses an unshown source gap")
+                if section["facet"] == "flow" and any(s["path"] not in context.production for s in section["trace"]):
+                    raise ValueError("flow must trace production implementation")
+                blocks[section["facet"]] = render_block(feature, section, tree, self.lifecycle.full_name, self.record.pin)
+            except (ValueError, TypeError, KeyError, SyntaxError) as exc:
+                skipped.append(str(section.get("facet", "invalid")) + ": " + str(exc) if isinstance(section, dict) else str(exc))
+        entry["skipped_facets"] = skipped
         if blocks == old_blocks:
-            raise ModelUnavailable("no supported new depth facets")
+            raise ModelUnavailable("no supported new depth facets; " + "; ".join(skipped))
         front = _page_frontmatter(_one_line(feature.title) + "：实现深读", kind="architecture",
                                   today=self.today, tags=self.tags)
         related = f"[功能概览]({Path(feature.page).name}) · [owner 入口](_index.md)\n\n"
@@ -260,7 +278,7 @@ def _attempt(self, tree, context, feature, entry):
         self.record.verdicts[key] = entry["checked"]
         entry["shown_source_files"] = sorted({f["path"] for f in files})
         entry["status"] = label
-        entry["reason"] = json.dumps(reasons, ensure_ascii=False)
+        entry["reason"] = json.dumps({"review": reasons, "unsupported_facets": skipped}, ensure_ascii=False)
         entry.pop("draft", None)
         entry.pop("checked", None)
         if label != "pass":
 
@@ -197,7 +197,7 @@ def render_block(feature, section: dict, tree: Path, full_name: str, pin: str) -
         body += "设计推断（非作者历史意图）：\n\n"
     body += section["body"].strip() + "\n\n"
     if proof["trace"]:
-        body += "调用路径：" + " → ".join(chr(96) + s["path"] + "::" + s["symbol"] + chr(96)
+        body += "调用路径：" + " → ".join(chr(96) + s["path"] + chr(96) + "（" + chr(96) + s["symbol"] + chr(96) + "）"
                                     for s in proof["trace"]) + "\n\n"
     body += "来源：" + ", ".join(
         f"[{e['path']}:L{e['start']}–L{e['end']}](https://github.com/{full_name}/blob/{pin}/"
@@ -256,6 +256,11 @@ def audit_depth(head: dict[str, str], tree: Path, policy, pin: str) -> dict:
     for feature in policy.features:
         page = depth_page(feature)
         blocks, problems = verified_blocks(head[page], feature, tree, pin) if page in head else ({}, [])
+        if "flow" in blocks:
+            proof = json.loads(_PROOF.search(_BLOCK.search(blocks["flow"]).group(5)).group(1))
+            if any(s["path"] not in production for s in proof["trace"]):
+                blocks.pop("flow")
+                problems.append(f"{feature.id}/flow: trace must use production implementation")
         errors.extend(problems)
         for block in blocks.values():
             proof = json.loads(_PROOF.search(_BLOCK.search(block).group(5)).group(1))
 
@@ -274,6 +274,42 @@ def test_repeated_explicit_retry_can_retry_missing_facets(world):
     assert accepted.spent_usd == 2.5 and accepted.coverage["semantic_depth"]["complete_features"] == 1
 
 
+def test_bad_flow_does_not_discard_checked_other_facets(world):
+    _baseline(world)
+
+    class BadFlow(DepthGateway):
+        def call_json(self, role, **kwargs):
+            result = super().call_json(role, **kwargs)
+            if kwargs["system"] == SYSTEM_DEPTH:
+                for section in result.data["sections"]:
+                    if section["facet"] == "flow":
+                        section["trace"][0]["symbol"] = "OtherEngine.step"
+            return result
+
+    record = _run(world, BadFlow())
+    assert record.status == "dry_run", record.problems
+    assert record.coverage["semantic_depth"]["covered_facets"] == 6
+    assert record.coverage["semantic_depth"]["features"]["step0"]["missing_facets"] == ["flow"]
+    assert record.depth["features"]["step0"]["skipped_facets"]
+
+
+def test_client_trace_uses_its_own_checker_and_ignores_comment_calls(tmp_path):
+    from types import SimpleNamespace
+    from infermatrix_copilot.knowledge_service.facts import claims_in
+    from infermatrix_copilot.kb_service.knowledge_depth import verify_trace
+
+    (tmp_path / "client.ts").write_text("function run() { return helper(); }\nfunction helper() { return 1; }\n")
+    section = {"facet": "flow", "title": "Client flow", "body": "run returns helper's result.",
+               "interpretation": "fact", "evidence": [{"path": "client.ts", "start": 1, "end": 2}],
+               "trace": [{"path": "client.ts", "symbol": "run", "start": 1, "end": 1},
+                         {"path": "client.ts", "symbol": "helper", "start": 2, "end": 2}]}
+    block = render_block(SimpleNamespace(id="client"), section, tmp_path, "o/demo", "a" * 40)
+    assert not any(c.kind == "symbol" for c in claims_in(block, {"client.ts"}, active=True))
+    (tmp_path / "client.ts").write_text("function run() { /* helper() */ return 1; }\nfunction helper() { return 1; }\n")
+    with pytest.raises(ValueError, match="does not show"):
+        verify_trace(tmp_path, section["trace"])
+
+
 @pytest.mark.parametrize("command, stage", [("widen", "knowledge"), ("deepen", "knowledge-deepen")])
 def test_aliases_use_init_before_opening_a_ledger(monkeypatch, command, stage):
     from infermatrix_copilot.kb_service import cli