Debug Specs

Always use the skill load-plain-reference to retrieve the ***plain syntax rules — but only if you haven't done so yet.

When to Use

• The user observes a bug in the running application (visual, behavioral, crash, performance).
• A conformance test or unit test is failing.
• The generated code does something unexpected or incorrect.
• The user points to a specific functional spec that seems wrong.

Guiding Principle

Generated code in plain_modules/ and conformance_tests/ is read-only — it exists solely as evidence for diagnosis. All fixes are applied exclusively to the .plain spec files. The workflow is: observe → read generated code → trace to spec → fix the spec.

Input