Отладка и расширение решателя параметров atopile

engineering

solver — это скилл для Claude Code, который объясняет, как устроен parameter solver в Faebryk (часть компилятора atopile): Sets/Literals, Parameters, Expressions и core invariants, которые должны соблюдаться во время mutation. Скилл описывает практические workflows для отладки и расширения solver-части кодовой базы. Atopile — это язык и компилятор для электроники: декларативные `.ato`-файлы описывают модули, интерфейсы, допуски и уравнения, а компилятор решает constraints, выбирает компоненты и обновляет KiCad-layout. Скилл ориентирован на core-разработчиков atopile, которым нужно разобраться в логике решателя параметров или расширить его поведение.