Searching protocol for "reduction rules"
Add new reduction rules to the codebase.
Verify reduction graph integrity.
Document NP-hard reductions precisely.
Define program evaluation via rewrite rules.
Authoritative Nock specification reference.
Nock reduction rules explained.
Propose new problem models or rules.
Ensure GitHub issue quality before implementation.
Secure your code with expert rules.
Guide Claude-plugin agents with consistent rules.
Master Nock's core concepts.
Add new problem models to the codebase.