SystemCondition/And/Not added new wire-format constructors; version 1
decoders would silently accept unknown shapes. A named constant makes
future bumps a one-line change instead of a grep across fixtures.

test: cover Not recursion in IR.Validated interval check 73dcd3e90c

And-leaf errors were tested; Not path was not. Both recurse the same
collectConditionErrors, so the gap left a real code path untested.

feat: validate CpuLoad threshold and battery percent ranges 529dbbe7e9

cpuLoad accepts 0.0-1.0 and battery 0-100 per the IR spec; values
outside these ranges produce InvalidCpuLoadThreshold/InvalidBatteryPercent
and are caught before serialization rather than silently emitted.

docs: warn in 'via' docstring that it overrides nested leaf strategies

CI / linux (pull_request) Has been cancelled

Details

131d649550

Applying via to an And/Not tree silently replaces any strategies already
set on individual leaves — non-obvious and worth calling out explicitly.

yorunikakeru added 1 commit

2026-06-07 18:15:03 +02:00

chore: format DSL.cabal and clarify Arbitraries helpers

CI / linux (pull_request) Successful in 2m26s

Details

c22169a0fd

Sort exposed-modules and build-depends alphabetically, add synopsis,
description, and source-repository stanza. Add comments to
arbitraryCondition/arbitraryConditionLeaf explaining size-based depth
control and the infinite-recursion guard.

yorunikakeru merged commit 3a1801dac5 into main

2026-06-07 18:22:40 +02:00

yorunikakeru referenced this pull request from a commit

2026-06-07 18:22:42 +02:00

Merge pull request 'feat/condition-composition-observation-strategies' (#16) from feat/condition-composition-observation-strategies into main

yorunikakeru deleted branch feat/condition-composition-observation-strategies

2026-06-07 18:23:26 +02:00