feat(validate): add mutuallyExclusive for static conditional-profile conflict checks #29

Merged

yorunikakeru merged 7 commits from fix/issue-24-inter-conflict-conditional-profiles into main

2026-06-10 16:45:30 +02:00

yorunikakeru commented

2026-06-10 15:41:43 +02:00

Owner

Summary

Adds mutuallyExclusive :: Text -> Text -> ConfigBuilder () DSL combinator to declare two profiles as mutually exclusive
validate now statically checks declared pairs for enable/disable conflicts, reporting InterConflict ProfileKind
New UnknownExclusiveProfile Text error when a name in a mutuallyExclusive declaration doesn't match any profile
Documents the pre-existing conditional-profile exclusion invariant in interConflict

Test Plan

cabal test — 56/56 tests pass including 3 new mutuallyExclusive cases
Conflict detection: two conditional profiles enabling/disabling same service with mutuallyExclusive → Left (InterConflict ProfileKind ...)
No false positives: declared-exclusive profiles with non-conflicting actions → Right _
Unknown name: mutuallyExclusive "left" "ghost" → Left (UnknownExclusiveProfile "ghost")
Regression: conditional + unconditional without declaration still passes → Right _

Closes #24

## Summary - Adds `mutuallyExclusive :: Text -> Text -> ConfigBuilder ()` DSL combinator to declare two profiles as mutually exclusive - `validate` now statically checks declared pairs for enable/disable conflicts, reporting `InterConflict ProfileKind` - New `UnknownExclusiveProfile Text` error when a name in a `mutuallyExclusive` declaration doesn't match any profile - Documents the pre-existing conditional-profile exclusion invariant in `interConflict` ## Test Plan - [ ] `cabal test` — 56/56 tests pass including 3 new `mutuallyExclusive` cases - [ ] Conflict detection: two conditional profiles enabling/disabling same service with `mutuallyExclusive` → `Left (InterConflict ProfileKind ...)` - [ ] No false positives: declared-exclusive profiles with non-conflicting actions → `Right _` - [ ] Unknown name: `mutuallyExclusive "left" "ghost"` → `Left (UnknownExclusiveProfile "ghost")` - [ ] Regression: conditional + unconditional without declaration still passes → `Right _` Closes #24

yorunikakeru added 3 commits

2026-06-10 15:41:43 +02:00

docs(validate): document conditional-profile exclusion in interConflict 4df821bf19

The filter is intentional — scheduler guarantees at-most-one active
conditional profile, so static conflict detection can safely defer
to runtime. Without this note, the filter looks like a bug.

Refs #24

feat(validate): add mutuallyExclusive for static conditional-profile conflict checks c8d315dc2a