Show HN：Provenance——随代码演进的需求追溯规范

Provenance 是一个构建需求追溯的工具，把源码、需求与 Rule 串联起来，Rule 是可在实现前存在的原子行为义务，用 #[rule("rule_id")] 绑定生产代码、#[verifies("rule_id", method)] 绑定证据。