DSH 学习 · 会话查询

三类条件合取生效:种类、搜索、窗口缺一不可。

session-query 对已落盘的事件流做读取、过滤与全文搜索。窗口是事件序号的闭区间(边界包含);搜索对文本做大小写不敏感的子串匹配;三者叠加时逐条合取。查询是纯读:不修改日志、不触发任何副作用。

先押一个注:kind 过滤 tool/call + 窗口 [0,11],能命中几条?

当前选择写在地址栏 #state= 后面:刷新不丢。
分叉形态
命中条数
命中序号
涉及种类
独立校验

逐条列出

# × 种类 × 文本
当前过滤条件的命中结果
#种类文本
独立校验逐条判定

    规则逐条重算

    查询校验

    独立校验自己重算窗口边界、种类过滤与搜索匹配;它不读渲染层的任何中间量。

      哪些结论可以带走

      能证明什么

        不能证明什么