feature/issue-34-service-base-state #36

Merged

yorunikakeru merged 6 commits from feature/issue-34-service-base-state into main

2026-06-12 19:34:11 +02:00

yorunikakeru commented

2026-06-12 19:25:40 +02:00

Owner

Closes #34

yorunikakeru added 6 commits

2026-06-12 19:25:40 +02:00

docs: right workflow with IR ab776bd9dd

build: bump frogos-ir for ServiceBaseState 9583944217

feat(builder): baseState declaration for service sections a6c1337801

Adds the `baseState :: Service.ServiceBaseState -> ServiceBuilder ()`
combinator so DSL service sections can declare their base state.
Threads `usBaseState` through `UnvalidatedService`, `SectionState`,
`lowerService`, and fixes the strict-field compile error in Validate.hs
and the missing-field error in Fixtures.hs.

feat(validate): require declared base state for service targets 59dcc11920

Adds referential validation (issue #34): every service targeted by
enable/disable must be declared by a service section and carry an
explicit baseState. Policy-only sections with no action targets need
no base state. Introduces UndeclaredServiceTarget and MissingBaseState
error constructors; check runs after duplicate and conflict checks.

test: declare docker base state in fixtures and demo app affc33ce9c

docs: document service base state declarations

CI / linux (pull_request) Successful in 3m15s

Details

32f9377272