Add transformation rules with inverse mappings and closed-loop tests.
npx skills add https://github.com/pzheng460/claude-workflow-plugin --skill add-rule
Please help me install this Agent Skill. Skill: add-rule Source: https://github.com/pzheng460/claude-workflow-plugin/tree/main/skills/add-rule Command: npx skills add https://github.com/pzheng460/claude-workflow-plugin --skill add-rule
Adds a disciplined, step-by-step process for introducing transformations, mappings, and converters while preventing subtle correctness regressions and undocumented behavior. It prevents incomplete implementations by enforcing a concrete example, an inverse mapping when required, and a strong correctness argument before proceeding.
Use add-rule to implement a transformation from a verified source format to a target format with a concrete worked example and a closed-loop test.
High-intent search queries and answers about installing and using this skill.
Round-trip correctness for a data migration mapping is verified through closed-loop testing using the source → target → solve → extract → verify sequence. This validates that inverse mappings return the original representation.
Implementing a verified codebase transformation rule requires a reference implementation, a concrete worked example, an inverse mapping if applicable, closed-loop tests, and documentation to validate correctness.
An inverse mapping for type converters and IR passes is required when both source and target representations already exist, ensuring transformations can be reversed to prevent subtle correctness regressions.
A structured checklist prevents incomplete data migration implementations by enforcing the gathering of source, target, algorithm, inverse mapping, correctness argument, example, and reference implementation before proceeding.
The best way to document transformation rules in a codebase is to mandate implementation and documentation requirements including project registration, example programs, and docs updates alongside closed-loop tests.
Transformation mapping fails correctness checks without a reference implementation because a concrete worked example and a strong correctness argument are required to validate the algorithm and prevent undocumented behavior.
vvieira010-pixelGenerate flawed worked examples with correction scaffolds and teacher reference solutions.
daemon-blockint-techDesign GRC programs by selecting frameworks, mapping controls, and coordinating audits.
rizaldiemValidate MapStruct mapper and converter transformations between domain objects and DTOs.
csuzngjhAppends user-provided rule arguments to the Ad-hoc Rules section of USER_CONTEXT.md.
