- 10
- 个只读工具
- 3
- 层结构
流程它怎么工作
- 01踩坑
- 02第二次踩同一个坑
- 03写出通用约束和正反例
- 04升级成自动检查
01问题
针对一次事故写死的检查,换个写法就漏掉了。
02做法
升级成自动检查前,先写出它保护的通用约束并配正反例;对外只开只读接口。
03结果
10 次提交;提供 10 个只读工具。
提交每月提交数
取自代码仓库(2026-11-06)。
针对一次事故写死的检查,换个写法就漏掉了。
升级成自动检查前,先写出它保护的通用约束并配正反例;对外只开只读接口。
10 次提交;提供 10 个只读工具。
取自代码仓库(2026-11-06)。