anlence的案例列表
前视缺陷自动检测工具
面向代码与数据管道的前视缺陷检测工具。把一段计算过程拆成四层校验：语义对拍（原始实现与复刻实现逐格比对）、未来盲测（扰动 t 之后的数据，结果不应发生改变）、静态哨兵（用语法树扫描窗口居中、负向移位、全样本统计量等典型泄漏写法）、置换检验（循环移位构造零分布）。工具自测 16 项全部通过；对一套真实生产代码目录实测扫描出 872 条命中，其中高危 53 条，分布于 22 个文件，每条均给出文件、行号、规则名与原因说明，可直接派工修复。适合需要复核数据管道与回测逻辑正确性的团队。
研究结论回溯审计报告
对一批已产出的研究结论做回溯审计，定位影响结论成立性的计算缺陷，并量化影响方向与范围。做法上不打散既有代码，而是三步走：核对所用库函数的默认参数语义；按原始写法重算并与存盘结果逐格比对以确证根因；修窗前后重跑同一条检验以量化影响。最终查明根因是一处滤波窗口默认居中，窗口实际覆盖 [t−10, t+9]，含未来 9 天数据。同时区分了已撤回文件与仍在线文件，把 22 个命中文件收敛到 1 个真实事故点。交付物为审计报告与可重复执行的检测脚本。
浏览器自动化验证环境
面向「不能安装浏览器组件」的环境，自建一套极简浏览器自动化验证驱动：复用系统已装浏览器，走远程调试协议，覆盖页面导航、脚本求值、截图取证、附件上传、会话读取五类操作，零第三方驱动包，落盘即用。配套解决三处最容易「看着成功、其实没生效」的坑：前端框架的值绑定（改用原生属性设置器写入并派发 input/change 事件）、附件上传（走协议的文件写入接口，绕开系统文件框）、登录风控（扫码由人工完成、程序从同一浏览器读会话，会话持久化，只需登录一次）。驱动主体 179 行、配套流程脚本 9 个，已跑通真实业务流程：登录态保留 → 表单填写 → 附件上传 → 提交。
案例判断参考
anlence的案例列表
前视缺陷自动检测工具
面向代码与数据管道的前视缺陷检测工具。把一段计算过程拆成四层校验：语义对拍（原始实现与复刻实现逐格比对）、未来盲测（扰动 t 之后的数据，结果不应发生改变）、静态哨兵（用语法树扫描窗口居中、负向移位、全样本统计量等典型泄漏写法）、置换检验（循环移位构造零分布）。工具自测 16 项全部通过；对一套真实生产代码目录实测扫描出 872 条命中，其中高危 53 条，分布于 22 个文件，每条均给出文件、行号、规则名与原因说明，可直接派工修复。适合需要复核数据管道与回测逻辑正确性的团队。...
研究结论回溯审计报告
对一批已产出的研究结论做回溯审计，定位影响结论成立性的计算缺陷，并量化影响方向与范围。做法上不打散既有代码，而是三步走：核对所用库函数的默认参数语义；按原始写法重算并与存盘结果逐格比对以确证根因；修窗前后重跑同一条检验以量化影响。最终查明根因是一处滤波窗口默认居中，窗口实际覆盖 [t−10, t+9]，含未来 9 天数据。同时区分了已撤回文件与仍在线文件，把 22 个命中文件收敛到 1 个真实事故点。交付物为审计报告与可重复执行的检测脚本。...
浏览器自动化验证环境
面向「不能安装浏览器组件」的环境，自建一套极简浏览器自动化验证驱动：复用系统已装浏览器，走远程调试协议，覆盖页面导航、脚本求值、截图取证、附件上传、会话读取五类操作，零第三方驱动包，落盘即用。配套解决三处最容易「看着成功、其实没生效」的坑：前端框架的值绑定（改用原生属性设置器写入并派发 input/change 事件）、附件上传（走协议的文件写入接口，绕开系统文件框）、登录风控（扫码由人工完成、程序从同一浏览器读会话，会话持久化，只需登录一次）。驱动主体 179 行、配套流程脚本 9 个，已跑通真实业务流程：登录态保留 → 表单填写 → 附件上传 → 提交。...
