Categorical Rewriting Triad 4 | Claude Code Skill