Pure core: функция plan :: IRDocument -> SystemState -> Either PlanError Plan #5

New issue

Closed

opened 2026-06-15 13:21:57 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented

2026-06-15 13:21:57 +02:00

Owner

Реализовать основную логику планировщика — чистую функцию без IO.

Сигнатура

plan :: IRDocument -> SystemState -> Either PlanError Plan

Логика

Для каждого профиля в IRDocument проверить Condition против SystemState
Если Condition истинен — собрать Actions в шаги плана
Для каждого действия определить обратную операцию (Undo)
Вернуть Plan { steps } или Left PlanError при конфликтах

Invariant

Функция stateless: тот же (IR, SystemState) всегда даёт тот же Plan
Undo определён для каждого Action (частичный план невозможен)

Модуль

Planner.Core в src/

Acceptance

Unit тесты: пустой IR → пустой план, активный профиль → шаги, конфликтующие действия → Left
Нет IO в типовой сигнатуре

Само получение истинного/неистинного условия не требуется и не является частью задания

Реализовать основную логику планировщика — чистую функцию без IO. ## Сигнатура ```haskell plan :: IRDocument -> SystemState -> Either PlanError Plan ``` ## Логика 1. Для каждого профиля в IRDocument проверить Condition против SystemState 2. Если Condition истинен — собрать Actions в шаги плана 3. Для каждого действия определить обратную операцию (Undo) 4. Вернуть `Plan { steps }` или `Left PlanError` при конфликтах ## Invariant - Функция stateless: тот же (IR, SystemState) всегда даёт тот же Plan - Undo определён для каждого Action (частичный план невозможен) ## Модуль `Planner.Core` в `src/` ## Acceptance - Unit тесты: пустой IR → пустой план, активный профиль → шаги, конфликтующие действия → Left - Нет IO в типовой сигнатуре Само `получение` истинного/неистинного условия не требуется и не является частью задания

yorunikakeru added the

haskell

core

labels

2026-06-15 13:21:57 +02:00

yorunikakeru referenced this issue

2026-06-15 13:22:34 +02:00

Reconciliation: выполнение плана через Executor + commit/rollback #8

yorunikakeru referenced this issue from a pull request that will close it,

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

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

yorunikakeru closed this issue