semantic-logic-audit

What problem does it solve?

This Skill identifies subtle logical flaws, semantic inconsistencies, and bugs that standard linters and automated tests miss, ensuring code functions precisely as intended.

Core Features & Use Cases

• Deep Logic Verification: Detects issues like unreachable thresholds, incorrect terminal states, and violated invariants.
• Intent vs. Implementation Gaps: Ensures the code's actual behavior matches the developer's original intent.
• Use Case: Before deploying a critical state machine, use this Skill to confirm that all possible transitions lead to correct terminal states and that no race conditions can cause data corruption.

Quick Start

Perform a deep semantic logic audit on the 'task-processing-module.js' file.