diff --git a/docs/design/tool-use-summary/tool-use-summary-design.md b/docs/design/tool-use-summary/tool-use-summary-design.md index 8045edd83..f5d88a3e8 100644 --- a/docs/design/tool-use-summary/tool-use-summary-design.md +++ b/docs/design/tool-use-summary/tool-use-summary-design.md @@ -118,7 +118,7 @@ At T0+1s, we cannot retroactively add the label to the already-committed tool_gr This PR takes option 2 in full mode. The `tool_use_summary` entry is a real history item, rendered as a single dim `●