Tracelint

Tracelint 在运行结束后读取 JSON trace，以确定性规则检查 schema 违规、未处理错误、来源不可推导参数、循环和重复调用，并把原始 trace 行作为证据。可证明的 hard defect 让 CI 退出 2，启发式候选不会单独阻断；缺失字段会抑制规则，避免把不完整埋点当成干净轨迹。它明确不回答最终答案是否正确，把“结构上做错了什么”和“任务结果好不好”分成两层。