DSH 学习 · 网络工具与呈现

抓回来的网页变成 Markdown；截没截断，卡片和文本说同一句话。

web_fetch 把 provider 返回的 HTML 经 turndown 转成 GFM（script/style 整体剔除），嵌套超过 512 层就放弃转换、原文透传——降级页面好过报错。输出以 Fetched <url> (HTTP <s>) 开头；provider 截断、源码切割、超帽三个来源任一为真就追加脚注。web_search 的多查询并发执行、按名次轮转合并、URL 去重、封顶即停。切下面的模式亲手推一遍。

阅读配套课程 打开文件编辑实验

先押一个注：fetch 卡的 truncated 为什么由 meta 携带，而不是 UI 从返回文本重新推断？

阶段数
—
结局
—
有效截断
—
独立校验
—

工具管线

从参数校验到封顶输出

阶段 × 判定

每一格对应 fetch.ts / search.ts 里的一段真实逻辑；失败格标红并给出原文报错。

模型可见文本（tool/result 内容）：


      

      
presentationMeta（随日志重放的卡片载荷）：

      
—

      
    


    

      

        

          

            
独立校验

            
六条规则逐条重算

          

          流程校验
        

        
独立校验重建同一次推演，再核对头部格式、script/style 剔除、深度守卫、脚注规则、meta 一致性，以及搜索侧的去重/封顶/丢弃旗标。

        
    
      
    

      
    
        
    
          
    
            
    证据边界
    
            
    哪些结论可以带走
    
          
    
        
    
        
    
          
    能证明什么
      
          
      不能证明什么