PDD Kit

What's it for? Exploring how teams can trust AI-generated code without exhaustive line-by-line review, using formal methods Share p:first-of-type::first-letter]:float-left [&>p:first-of-type::first-letter]:ml-[0.03em] [&>p:first-of-type::first-letter]:mr-3 [&>p:first-of-type::first-letter]:mt-[0.1em] [&>p:first-of-type::first-letter]:text-[3.5em] [&>p:first-of-type::first-letter]:leading-[0.76] [&

[syu-m-5151]

Rustのログイン処理を証明しても、全員を拒否する実装は「不正なトークンを出さない」を満たせる。PDD Kitは実装にバグを植えて仕様の穴を探す。証明の有無より、何を約束したかを読む仕事が残る。