fix(cli): reject invalid delays and surplus inputs

fix(solver): validate fence constraint indices

fix(syntax): reject unexpected case fields

fix(solver): close pipes when process creation fails

fix(store): replace generated artefacts atomically

feat(core): initialise tso checking and fence synthesis