Elle couldn't check list-append example described in a paper

[ligurio]

There is a regression in comparison to previous Elle version.
Elle cannot check example described in paper ¹:

elle.core=>  (require '[elle.list-append :as a]
       #_=>             '[jepsen.history :as h])
nil
elle.core=>  (def h (h/history
       #_=>             [{:index 0 :type :invoke  :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
       #_=> {:index 1 :type :ok      :value [[:append 253 1] [:append 253 3] [:append 253 4] [:append 255 2] [:append 255 3] [:append 255 4] [:append 255 5] [:append 256 1] [:append 256 2]]}
       #_=> {:index 2 :type :invoke, :value [[:append 255 8] [:r 253 nil]]}
       #_=> {:index 3 :type :ok,     :value [[:append 255 8] [:r 253 [1 3 4]]]}
       #_=> {:index 4 :type :invoke, :value [[:append 256 4] [:r 255 nil] [:r 256 nil] [:r 253 nil]]}
       #_=> {:index 5 :type :ok,     :value [[:append 256 4] [:r 255 [2 3 4 5 8]] [:r 256 [1 2 4]] [:r 253 [1 3 4]]]}
       #_=> {:index 6 :type :invoke, :value [[:append 250 10] [:r 253 nil] [:r 255 nil] [:append 256 3]]}
       #_=> {:index 7 :type :ok      :value [[:append 250 10] [:r 253 [1 3 4]] [:r 255 [2 3 4 5]] [:append 256 3]]}]))
#'elle.core/h
elle.core=> (pprint (a/check {:consistency-models [:serializable], :directory "out"} h))
{:valid? :unknown,
 :anomaly-types (:empty-transaction-graph),
 :anomalies {:empty-transaction-graph true},
 :not #{},
 :also-not #{}}
nil
elle.core=> 

Version: 49a209f

Footnotes

1. https://github.com/jepsen-io/elle/blob/main/histories/paper-example.edn ↩

[aphyr]

I'll betcha this is caused by missing :process fields--might need an explicit warning about that in jepsen.history

[ligurio]

paper-example.edn broken again between versions 0.1.8 and 0.1.9 (commits ¹):

with elle 0.1.8:

$ java -jar target/elle-cli-0.1.7-standalone.jar --model list-append histories/elle/paper-example.edn --anomalies G-single-process --consistency-models linearizable
histories/elle/paper-example.edn        true
$ 

with elle 0.1.9:

$ java -jar target/elle-cli-0.1.7-standalone.jar --model list-append histories/elle/paper-example.end --anomalies G-single-process --consistency-models linearizable
histories/elle/paper-example.edn        false
$ 

is it expected?

Footnotes

1. https://github.com/jepsen-io/elle/commit/5f9618c3b8f58c3b0a892412841222b251482f99#diff-99d376783605f7f86b1188c627a3db44967858581fe9730fa364d4a07b2065e7 ↩