Architecture Skill - Debugging & Feature Addition Procedures

What problem does it solve?

It provides a structured method to diagnose pipeline issues and safely add new language/compiler features without missing critical integration steps.

Core Features & Use Cases

• Feature addition checklist across pipeline stages: Guides changes through lexer/parser, desugaring, block parsing, type system, HIR/MIR lowering, backend extensions, and standard library impacts.
• Debugging workflow for compiler and workspace issues: Covers parse error triage, workspace diagnostics, symbol lookup, and reference tracing.
• Lean verification alignment: Ensures type inference changes remain consistent by updating corresponding Lean theorems and running verification builds and comparisons.
• Design checklist with before/after actions: Helps prevent regressions by pairing spec review and dependency impact analysis with test and verification steps.

Quick Start

Ask it to help you add a new DSL feature end-to-end by mapping the required source changes to the lexer/parser, lowering stages, backend, and any Lean verification updates, then validate the result using the specified test and comparison workflow.