跳转到内容

规则与证据

规则记录 id、topic、title、instruction、rationale、status、authority、applicability 和 evidence,也可附带机器 checks。规则正文说明要求和理由,证据记录来源,适用范围表达队伍与赛季。

Git 证据记录仓库、固定提交、文件及符号或行;网页证据记录 HTTPS 地址、标题、发布者、核验日期和章节。记录来源不等于验证内容为真,也不意味着 validate 会联网核验网页。

只有定义了 checks 的规则才参与对应的机器执法。其余生效规则作为 soft 提醒交给 Agent 和人评估。规则优先级由 resolve 实现。

详见JSON 契约检查语义