0.42 — unkillable mutants scored apart, overlap precedence, and counter limits
0.42.0 adds ess-diff/11, ess-mutation-report/3 and ess-mutation-manifest/3, described in
the version history.
Mutants no scenario could kill
A guard mutant that leaves its outcome's guard satisfied by no input is equivalent
(ESS-MUTATE-005) and names the guard it left dead. A mutant on an outcome whose scenario the
baseline already refused at synthesis is unwitnessed and names that refusal. Neither is scored
survived any more.
Overlapping guards
Of two accepting guarded branches that both hold, the first declared answers; input-guarded
refusals are still taken first, and an external: branch takes its place in the same order. The
interpreter answers this way, and synthesis sends each overlap and requires the first branch.
Synthesis
Synthesis witnesses a guard comparing a link field with an input, and a branch selected by a stored
counter at its limit, each side of it, so an off-by-one limit fails. A suite from a model whose
actors declare attributes: records that model's digests.
Relations and deltas
via: may name the entity's own identity, a one-to-one link keyed by the same id. ess verify diff names a newtype's prefix: added, removed or changed.