Implement semantic validation and conflict accumulation #11

New issue

Closed

opened 2026-06-06 14:02:49 +02:00 by yorunikakeru · 0 comments

yorunikakeru commented

2026-06-06 14:02:49 +02:00

Owner

Parent: #6

Goal

Implement pure semantic validation from UnvalidatedConfiguration to validated IR.

Tasks

Define structured ValidationError values with location and domain context.
Accumulate all independent errors instead of failing at the first one.
Validate names, port ranges, polling intervals, empty candidate lists, and duplicates.
Add domain-local conflict rules.
Add global checks for incompatible intentions across areas and domains.
Keep environment availability and current system state out of validation.

Acceptance criteria

validate :: UnvalidatedConfiguration -> Either [ValidationError] IR is pure.
Multiple independent errors are returned together in deterministic order.
Conflicting enable/disable intentions under overlapping unconditional scope are rejected.
Resource unavailability at application time is not treated as a validation error.

Parent: #6 ## Goal Implement pure semantic validation from `UnvalidatedConfiguration` to validated `IR`. ## Tasks - Define structured `ValidationError` values with location and domain context. - Accumulate all independent errors instead of failing at the first one. - Validate names, port ranges, polling intervals, empty candidate lists, and duplicates. - Add domain-local conflict rules. - Add global checks for incompatible intentions across areas and domains. - Keep environment availability and current system state out of validation. ## Acceptance criteria - `validate :: UnvalidatedConfiguration -> Either [ValidationError] IR` is pure. - Multiple independent errors are returned together in deterministic order. - Conflicting enable/disable intentions under overlapping unconditional scope are rejected. - Resource unavailability at application time is not treated as a validation error.

yorunikakeru referenced this issue

2026-06-06 14:03:14 +02:00

Implement modular IR, validation, and JSON serialization #6

yorunikakeru referenced this issue from a commit

2026-06-08 18:21:49 +02:00

feat: semantic validation and conflict detection (#11)

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

2026-06-08 18:25:10 +02:00

feat: semantic validation and conflict detection (#11) #17

yorunikakeru closed this issue

2026-06-09 22:06:05 +02:00

yorunikakeru referenced this issue from a commit