feat(core): implement plan :: IRDocument -> SystemState -> Either PlanError Plan #10

Merged

yorunikakeru merged 21 commits from feat/pure-core-plan-function into main

2026-06-17 15:28:31 +02:00

yorunikakeru commented

2026-06-15 15:43:30 +02:00

Owner

Closes #5

Что сделано

Реализована чистая функция plan в Planner.Core: оценка условий профилей против SystemState, разрешение конфликтов сервисных действий по приоритету, вычисление undo для каждого шага
evalCondition обрабатывает ProcessCondition (проверка runningProcesses), SystemCondition (всегда False — не наблюдаемо из SystemState), And, Not
Конфликт при равном приоритете → Left ConflictingActions; более высокий приоритет побеждает
validateServiceRefs проверяет, что каждый ServiceAction ссылается на задекларированный сервис
Undo сервисных действий инвертирует enable↔disable; undo power-действий восстанавливает текущий powerProfile из SystemState
25 юнит-тестов в новом Planner.CoreSpec

Проверка

cabal test — 25/25 тестов проходят
nix flake check — все проверки проходят
nix fmt — форматирование применено

Closes #5 ## Что сделано - Реализована чистая функция `plan` в `Planner.Core`: оценка условий профилей против `SystemState`, разрешение конфликтов сервисных действий по приоритету, вычисление undo для каждого шага - `evalCondition` обрабатывает `ProcessCondition` (проверка `runningProcesses`), `SystemCondition` (всегда `False` — не наблюдаемо из `SystemState`), `And`, `Not` - Конфликт при равном приоритете → `Left ConflictingActions`; более высокий приоритет побеждает - `validateServiceRefs` проверяет, что каждый `ServiceAction` ссылается на задекларированный сервис - Undo сервисных действий инвертирует enable↔disable; undo power-действий восстанавливает текущий `powerProfile` из `SystemState` - 25 юнит-тестов в новом `Planner.CoreSpec` ## Проверка - `cabal test` — 25/25 тестов проходят - `nix flake check` — все проверки проходят - `nix fmt` — форматирование применено

yorunikakeru added 6 commits

2026-06-15 15:43:33 +02:00

test(core): register CoreSpec in test suite c5703d0794

feat(core): implement condition evaluation and service action steps b93ead2432

test(core): verify service conflict detection and priority resolution 536b720528

test(core): verify unknown service validation f0ec5e8f6f

test(core): verify power action steps and undo 3857458c71

fix(core): replace silent invariant branch with error, add missing tests

CI / linux (pull_request) Has been cancelled

Details

ea14f6702f

yorunikakeru added 1 commit