{"advisory":"Advisory only. This packet grants no authority and changes no application file. It records what the library Authority decides for the contract on the listed inputs, where those decisions differ from the owner's decision examples, which refusals fall on pre-states that satisfy every state law, and which rule mutants the inputs distinguish. Whether a pre-state is reachable from genesis is not decided: a pre-state that satisfies every state law may still be unreachable. An undistinguished mutant on a boundary set is not equivalent; equivalence is claimed only over a fully enumerated domain.","application":"two-key-release","authority":"none","decision_table":{"count":384,"outboxes":[{"deliveries":[],"sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":163}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"sha256":"bada773f0bef0f8f91a928c2385ab91176b7ce77f6963c63b76d4a6c787b215d"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":161}},{"field":131,"value":{"type_id":106,"variant":162}}]}],"sha256":"5eb40352f10a85bc9a85c4b3d4c624abb77fb1e7d5261677b0d6587577f9f8f9"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":163}},{"field":131,"value":{"type_id":106,"variant":162}}]}],"sha256":"46cd2eed6850f78cbb1e298ad682ce0cd81b241ffa6f6b164caabf40300bd216"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":161}},{"field":131,"value":{"type_id":106,"variant":163}}]}],"sha256":"57856b52fffcfda856c68edc8cba7feb0b5fafd868edcc482ae9fe391bac7b3f"},{"deliveries":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":163}}]}],"sha256":"eff9f8483612bfac996ac3df15083e55178857417900e24189240d4cf92245a6"}],"post_states":[{"fields":[],"sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392"},{"fields":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd"},{"fields":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":162}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"c886e4bc2b68419f6f6061f9916ea6aca22c5951427f742aeac1a250b8acbd21"},{"fields":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":163}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"551f713587d5533841e8c24103a2ee2b502b3b67848683cdf344a9ee9ebee8a3"},{"fields":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":160}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"0e86d4af69450bbef044057a650f99598a70f1c3937465ac103ebc4c454ea8f9"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":163}}],"sha256":"54323f1293b05c1a209c2d5cf2c52de738ecc1ddb087cc45bbd15df732b28c66"},{"fields":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"31e186b57cd65a59cbf4e4dbc4fc754de5f2c8b54a987a3a3912b769c27a7790"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":162}},{"field":112,"value":{"type_id":106,"variant":161}}],"sha256":"83453b45b2d3a44b8ba7bfb447da6e59be58f0d93e36796dcf09acb2ad5b7406"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":162}},{"field":112,"value":{"type_id":106,"variant":163}}],"sha256":"6f61e4a91e3dddee25b10aec763151d5201050402ac2bf706f1c9daa92ed7bd0"},{"fields":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":162}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"0c54ad82e7aa369bb431916b9c4b797d644ce8c5b8aff7230cabec1e5955264d"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":163}},{"field":112,"value":{"type_id":106,"variant":161}}],"sha256":"4ff525ce03a8b2d65c6338fb164b6ecdc03a0ae0749fee0d52f2691e9e2ff578"},{"fields":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":163}},{"field":112,"value":{"type_id":106,"variant":162}}],"sha256":"c6dd7f7a9f28513301bfe838ec5d65fbf001cc736739b93bb6d1d77644d0f02e"},{"fields":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":163}},{"field":112,"value":{"type_id":106,"variant":160}}],"sha256":"679703282e335e073d6bbbe228cbf97688a4ffb8605e50e6d17420ccb38901d3"}],"refusals":[{"class":"law","law":503,"refusal":"Core(Law(Violated))"}],"row_format":"input values in position order | class reason post-state-index outbox-index; or | refused refusal-index, followed by `unsatisfied` and a state law's ID when the input's pre-state does not satisfy that state law, the first in the contract's law order","rows":["150 160 160 140 160 | Reject 201 0 0","150 160 160 140 161 | Accept - 1 0","150 160 160 140 162 | Accept - 2 0","150 160 160 140 163 | Accept - 3 0","150 160 160 141 160 | Reject 201 0 0","150 160 160 141 161 | CommittedFailure 202 4 0","150 160 160 141 162 | CommittedFailure 202 4 0","150 160 160 141 163 | CommittedFailure 202 4 0","150 160 161 140 160 | Reject 201 0 0","150 160 161 140 161 | refused 0 unsatisfied 503","150 160 161 140 162 | refused 0 unsatisfied 503","150 160 161 140 163 | refused 0 unsatisfied 503","150 160 161 141 160 | Reject 201 0 0","150 160 161 141 161 | refused 0 unsatisfied 503","150 160 161 141 162 | refused 0 unsatisfied 503","150 160 161 141 163 | refused 0 unsatisfied 503","150 160 162 140 160 | Reject 201 0 0","150 160 162 140 161 | refused 0 unsatisfied 503","150 160 162 140 162 | refused 0 unsatisfied 503","150 160 162 140 163 | refused 0 unsatisfied 503","150 160 162 141 160 | Reject 201 0 0","150 160 162 141 161 | refused 0 unsatisfied 503","150 160 162 141 162 | refused 0 unsatisfied 503","150 160 162 141 163 | refused 0 unsatisfied 503","150 160 163 140 160 | Reject 201 0 0","150 160 163 140 161 | refused 0 unsatisfied 503","150 160 163 140 162 | refused 0 unsatisfied 503","150 160 163 140 163 | refused 0 unsatisfied 503","150 160 163 141 160 | Reject 201 0 0","150 160 163 141 161 | refused 0 unsatisfied 503","150 160 163 141 162 | refused 0 unsatisfied 503","150 160 163 141 163 | refused 0 unsatisfied 503","150 161 160 140 160 | Reject 201 0 0","150 161 160 140 161 | Reject 203 0 0","150 161 160 140 162 | Accept - 5 1","150 161 160 140 163 | Accept - 6 2","150 161 160 141 160 | Reject 201 0 0","150 161 160 141 161 | CommittedFailure 202 7 0","150 161 160 141 162 | CommittedFailure 202 7 0","150 161 160 141 163 | CommittedFailure 202 7 0","150 161 161 140 160 | Reject 201 0 0","150 161 161 140 161 | Reject 203 0 0","150 161 161 140 162 | Accept - 5 1","150 161 161 140 163 | Accept - 6 2","150 161 161 141 160 | Reject 201 0 0","150 161 161 141 161 | refused 0 unsatisfied 503","150 161 161 141 162 | refused 0 unsatisfied 503","150 161 161 141 163 | refused 0 unsatisfied 503","150 161 162 140 160 | Reject 201 0 0","150 161 162 140 161 | Reject 203 0 0","150 161 162 140 162 | Accept - 5 1","150 161 162 140 163 | Accept - 6 2","150 161 162 141 160 | Reject 201 0 0","150 161 162 141 161 | refused 0 unsatisfied 503","150 161 162 141 162 | refused 0 unsatisfied 503","150 161 162 141 163 | refused 0 unsatisfied 503","150 161 163 140 160 | Reject 201 0 0","150 161 163 140 161 | Reject 203 0 0","150 161 163 140 162 | Accept - 5 1","150 161 163 140 163 | Accept - 6 2","150 161 163 141 160 | Reject 201 0 0","150 161 163 141 161 | refused 0 unsatisfied 503","150 161 163 141 162 | refused 0 unsatisfied 503","150 161 163 141 163 | refused 0 unsatisfied 503","150 162 160 140 160 | Reject 201 0 0","150 162 160 140 161 | Accept - 8 3","150 162 160 140 162 | Reject 203 0 0","150 162 160 140 163 | Accept - 9 4","150 162 160 141 160 | Reject 201 0 0","150 162 160 141 161 | CommittedFailure 202 10 0","150 162 160 141 162 | CommittedFailure 202 10 0","150 162 160 141 163 | CommittedFailure 202 10 0","150 162 161 140 160 | Reject 201 0 0","150 162 161 140 161 | Accept - 8 3","150 162 161 140 162 | Reject 203 0 0","150 162 161 140 163 | Accept - 9 4","150 162 161 141 160 | Reject 201 0 0","150 162 161 141 161 | refused 0 unsatisfied 503","150 162 161 141 162 | refused 0 unsatisfied 503","150 162 161 141 163 | refused 0 unsatisfied 503","150 162 162 140 160 | Reject 201 0 0","150 162 162 140 161 | Accept - 8 3","150 162 162 140 162 | Reject 203 0 0","150 162 162 140 163 | Accept - 9 4","150 162 162 141 160 | Reject 201 0 0","150 162 162 141 161 | refused 0 unsatisfied 503","150 162 162 141 162 | refused 0 unsatisfied 503","150 162 162 141 163 | refused 0 unsatisfied 503","150 162 163 140 160 | Reject 201 0 0","150 162 163 140 161 | Accept - 8 3","150 162 163 140 162 | Reject 203 0 0","150 162 163 140 163 | Accept - 9 4","150 162 163 141 160 | Reject 201 0 0","150 162 163 141 161 | refused 0 unsatisfied 503","150 162 163 141 162 | refused 0 unsatisfied 503","150 162 163 141 163 | refused 0 unsatisfied 503","150 163 160 140 160 | Reject 201 0 0","150 163 160 140 161 | Accept - 11 5","150 163 160 140 162 | Accept - 12 6","150 163 160 140 163 | Reject 203 0 0","150 163 160 141 160 | Reject 201 0 0","150 163 160 141 161 | CommittedFailure 202 13 0","150 163 160 141 162 | CommittedFailure 202 13 0","150 163 160 141 163 | CommittedFailure 202 13 0","150 163 161 140 160 | Reject 201 0 0","150 163 161 140 161 | Accept - 11 5","150 163 161 140 162 | Accept - 12 6","150 163 161 140 163 | Reject 203 0 0","150 163 161 141 160 | Reject 201 0 0","150 163 161 141 161 | refused 0 unsatisfied 503","150 163 161 141 162 | refused 0 unsatisfied 503","150 163 161 141 163 | refused 0 unsatisfied 503","150 163 162 140 160 | Reject 201 0 0","150 163 162 140 161 | Accept - 11 5","150 163 162 140 162 | Accept - 12 6","150 163 162 140 163 | Reject 203 0 0","150 163 162 141 160 | Reject 201 0 0","150 163 162 141 161 | refused 0 unsatisfied 503","150 163 162 141 162 | refused 0 unsatisfied 503","150 163 162 141 163 | refused 0 unsatisfied 503","150 163 163 140 160 | Reject 201 0 0","150 163 163 140 161 | Accept - 11 5","150 163 163 140 162 | Accept - 12 6","150 163 163 140 163 | Reject 203 0 0","150 163 163 141 160 | Reject 201 0 0","150 163 163 141 161 | refused 0 unsatisfied 503","150 163 163 141 162 | refused 0 unsatisfied 503","150 163 163 141 163 | refused 0 unsatisfied 503","151 160 160 140 160 | Reject 200 0 0","151 160 160 140 161 | Reject 200 0 0","151 160 160 140 162 | Reject 200 0 0","151 160 160 140 163 | Reject 200 0 0","151 160 160 141 160 | Reject 200 0 0","151 160 160 141 161 | Reject 200 0 0","151 160 160 141 162 | Reject 200 0 0","151 160 160 141 163 | Reject 200 0 0","151 160 161 140 160 | Reject 200 0 0","151 160 161 140 161 | Reject 200 0 0","151 160 161 140 162 | Reject 200 0 0","151 160 161 140 163 | Reject 200 0 0","151 160 161 141 160 | Reject 200 0 0","151 160 161 141 161 | Reject 200 0 0","151 160 161 141 162 | Reject 200 0 0","151 160 161 141 163 | Reject 200 0 0","151 160 162 140 160 | Reject 200 0 0","151 160 162 140 161 | Reject 200 0 0","151 160 162 140 162 | Reject 200 0 0","151 160 162 140 163 | Reject 200 0 0","151 160 162 141 160 | Reject 200 0 0","151 160 162 141 161 | Reject 200 0 0","151 160 162 141 162 | Reject 200 0 0","151 160 162 141 163 | Reject 200 0 0","151 160 163 140 160 | Reject 200 0 0","151 160 163 140 161 | Reject 200 0 0","151 160 163 140 162 | Reject 200 0 0","151 160 163 140 163 | Reject 200 0 0","151 160 163 141 160 | Reject 200 0 0","151 160 163 141 161 | Reject 200 0 0","151 160 163 141 162 | Reject 200 0 0","151 160 163 141 163 | Reject 200 0 0","151 161 160 140 160 | Reject 200 0 0","151 161 160 140 161 | Reject 200 0 0","151 161 160 140 162 | Reject 200 0 0","151 161 160 140 163 | Reject 200 0 0","151 161 160 141 160 | Reject 200 0 0","151 161 160 141 161 | Reject 200 0 0","151 161 160 141 162 | Reject 200 0 0","151 161 160 141 163 | Reject 200 0 0","151 161 161 140 160 | Reject 200 0 0","151 161 161 140 161 | Reject 200 0 0","151 161 161 140 162 | Reject 200 0 0","151 161 161 140 163 | Reject 200 0 0","151 161 161 141 160 | Reject 200 0 0","151 161 161 141 161 | Reject 200 0 0","151 161 161 141 162 | Reject 200 0 0","151 161 161 141 163 | Reject 200 0 0","151 161 162 140 160 | Reject 200 0 0","151 161 162 140 161 | Reject 200 0 0","151 161 162 140 162 | Reject 200 0 0","151 161 162 140 163 | Reject 200 0 0","151 161 162 141 160 | Reject 200 0 0","151 161 162 141 161 | Reject 200 0 0","151 161 162 141 162 | Reject 200 0 0","151 161 162 141 163 | Reject 200 0 0","151 161 163 140 160 | Reject 200 0 0","151 161 163 140 161 | Reject 200 0 0","151 161 163 140 162 | Reject 200 0 0","151 161 163 140 163 | Reject 200 0 0","151 161 163 141 160 | Reject 200 0 0","151 161 163 141 161 | Reject 200 0 0","151 161 163 141 162 | Reject 200 0 0","151 161 163 141 163 | Reject 200 0 0","151 162 160 140 160 | Reject 200 0 0","151 162 160 140 161 | Reject 200 0 0","151 162 160 140 162 | Reject 200 0 0","151 162 160 140 163 | Reject 200 0 0","151 162 160 141 160 | Reject 200 0 0","151 162 160 141 161 | Reject 200 0 0","151 162 160 141 162 | Reject 200 0 0","151 162 160 141 163 | Reject 200 0 0","151 162 161 140 160 | Reject 200 0 0","151 162 161 140 161 | Reject 200 0 0","151 162 161 140 162 | Reject 200 0 0","151 162 161 140 163 | Reject 200 0 0","151 162 161 141 160 | Reject 200 0 0","151 162 161 141 161 | Reject 200 0 0","151 162 161 141 162 | Reject 200 0 0","151 162 161 141 163 | Reject 200 0 0","151 162 162 140 160 | Reject 200 0 0","151 162 162 140 161 | Reject 200 0 0","151 162 162 140 162 | Reject 200 0 0","151 162 162 140 163 | Reject 200 0 0","151 162 162 141 160 | Reject 200 0 0","151 162 162 141 161 | Reject 200 0 0","151 162 162 141 162 | Reject 200 0 0","151 162 162 141 163 | Reject 200 0 0","151 162 163 140 160 | Reject 200 0 0","151 162 163 140 161 | Reject 200 0 0","151 162 163 140 162 | Reject 200 0 0","151 162 163 140 163 | Reject 200 0 0","151 162 163 141 160 | Reject 200 0 0","151 162 163 141 161 | Reject 200 0 0","151 162 163 141 162 | Reject 200 0 0","151 162 163 141 163 | Reject 200 0 0","151 163 160 140 160 | Reject 200 0 0","151 163 160 140 161 | Reject 200 0 0","151 163 160 140 162 | Reject 200 0 0","151 163 160 140 163 | Reject 200 0 0","151 163 160 141 160 | Reject 200 0 0","151 163 160 141 161 | Reject 200 0 0","151 163 160 141 162 | Reject 200 0 0","151 163 160 141 163 | Reject 200 0 0","151 163 161 140 160 | Reject 200 0 0","151 163 161 140 161 | Reject 200 0 0","151 163 161 140 162 | Reject 200 0 0","151 163 161 140 163 | Reject 200 0 0","151 163 161 141 160 | Reject 200 0 0","151 163 161 141 161 | Reject 200 0 0","151 163 161 141 162 | Reject 200 0 0","151 163 161 141 163 | Reject 200 0 0","151 163 162 140 160 | Reject 200 0 0","151 163 162 140 161 | Reject 200 0 0","151 163 162 140 162 | Reject 200 0 0","151 163 162 140 163 | Reject 200 0 0","151 163 162 141 160 | Reject 200 0 0","151 163 162 141 161 | Reject 200 0 0","151 163 162 141 162 | Reject 200 0 0","151 163 162 141 163 | Reject 200 0 0","151 163 163 140 160 | Reject 200 0 0","151 163 163 140 161 | Reject 200 0 0","151 163 163 140 162 | Reject 200 0 0","151 163 163 140 163 | Reject 200 0 0","151 163 163 141 160 | Reject 200 0 0","151 163 163 141 161 | Reject 200 0 0","151 163 163 141 162 | Reject 200 0 0","151 163 163 141 163 | Reject 200 0 0","152 160 160 140 160 | Reject 200 0 0","152 160 160 140 161 | Reject 200 0 0","152 160 160 140 162 | Reject 200 0 0","152 160 160 140 163 | Reject 200 0 0","152 160 160 141 160 | Reject 200 0 0","152 160 160 141 161 | Reject 200 0 0","152 160 160 141 162 | Reject 200 0 0","152 160 160 141 163 | Reject 200 0 0","152 160 161 140 160 | Reject 200 0 0","152 160 161 140 161 | Reject 200 0 0","152 160 161 140 162 | Reject 200 0 0","152 160 161 140 163 | Reject 200 0 0","152 160 161 141 160 | Reject 200 0 0","152 160 161 141 161 | Reject 200 0 0","152 160 161 141 162 | Reject 200 0 0","152 160 161 141 163 | Reject 200 0 0","152 160 162 140 160 | Reject 200 0 0","152 160 162 140 161 | Reject 200 0 0","152 160 162 140 162 | Reject 200 0 0","152 160 162 140 163 | Reject 200 0 0","152 160 162 141 160 | Reject 200 0 0","152 160 162 141 161 | Reject 200 0 0","152 160 162 141 162 | Reject 200 0 0","152 160 162 141 163 | Reject 200 0 0","152 160 163 140 160 | Reject 200 0 0","152 160 163 140 161 | Reject 200 0 0","152 160 163 140 162 | Reject 200 0 0","152 160 163 140 163 | Reject 200 0 0","152 160 163 141 160 | Reject 200 0 0","152 160 163 141 161 | Reject 200 0 0","152 160 163 141 162 | Reject 200 0 0","152 160 163 141 163 | Reject 200 0 0","152 161 160 140 160 | Reject 200 0 0","152 161 160 140 161 | Reject 200 0 0","152 161 160 140 162 | Reject 200 0 0","152 161 160 140 163 | Reject 200 0 0","152 161 160 141 160 | Reject 200 0 0","152 161 160 141 161 | Reject 200 0 0","152 161 160 141 162 | Reject 200 0 0","152 161 160 141 163 | Reject 200 0 0","152 161 161 140 160 | Reject 200 0 0","152 161 161 140 161 | Reject 200 0 0","152 161 161 140 162 | Reject 200 0 0","152 161 161 140 163 | Reject 200 0 0","152 161 161 141 160 | Reject 200 0 0","152 161 161 141 161 | Reject 200 0 0","152 161 161 141 162 | Reject 200 0 0","152 161 161 141 163 | Reject 200 0 0","152 161 162 140 160 | Reject 200 0 0","152 161 162 140 161 | Reject 200 0 0","152 161 162 140 162 | Reject 200 0 0","152 161 162 140 163 | Reject 200 0 0","152 161 162 141 160 | Reject 200 0 0","152 161 162 141 161 | Reject 200 0 0","152 161 162 141 162 | Reject 200 0 0","152 161 162 141 163 | Reject 200 0 0","152 161 163 140 160 | Reject 200 0 0","152 161 163 140 161 | Reject 200 0 0","152 161 163 140 162 | Reject 200 0 0","152 161 163 140 163 | Reject 200 0 0","152 161 163 141 160 | Reject 200 0 0","152 161 163 141 161 | Reject 200 0 0","152 161 163 141 162 | Reject 200 0 0","152 161 163 141 163 | Reject 200 0 0","152 162 160 140 160 | Reject 200 0 0","152 162 160 140 161 | Reject 200 0 0","152 162 160 140 162 | Reject 200 0 0","152 162 160 140 163 | Reject 200 0 0","152 162 160 141 160 | Reject 200 0 0","152 162 160 141 161 | Reject 200 0 0","152 162 160 141 162 | Reject 200 0 0","152 162 160 141 163 | Reject 200 0 0","152 162 161 140 160 | Reject 200 0 0","152 162 161 140 161 | Reject 200 0 0","152 162 161 140 162 | Reject 200 0 0","152 162 161 140 163 | Reject 200 0 0","152 162 161 141 160 | Reject 200 0 0","152 162 161 141 161 | Reject 200 0 0","152 162 161 141 162 | Reject 200 0 0","152 162 161 141 163 | Reject 200 0 0","152 162 162 140 160 | Reject 200 0 0","152 162 162 140 161 | Reject 200 0 0","152 162 162 140 162 | Reject 200 0 0","152 162 162 140 163 | Reject 200 0 0","152 162 162 141 160 | Reject 200 0 0","152 162 162 141 161 | Reject 200 0 0","152 162 162 141 162 | Reject 200 0 0","152 162 162 141 163 | Reject 200 0 0","152 162 163 140 160 | Reject 200 0 0","152 162 163 140 161 | Reject 200 0 0","152 162 163 140 162 | Reject 200 0 0","152 162 163 140 163 | Reject 200 0 0","152 162 163 141 160 | Reject 200 0 0","152 162 163 141 161 | Reject 200 0 0","152 162 163 141 162 | Reject 200 0 0","152 162 163 141 163 | Reject 200 0 0","152 163 160 140 160 | Reject 200 0 0","152 163 160 140 161 | Reject 200 0 0","152 163 160 140 162 | Reject 200 0 0","152 163 160 140 163 | Reject 200 0 0","152 163 160 141 160 | Reject 200 0 0","152 163 160 141 161 | Reject 200 0 0","152 163 160 141 162 | Reject 200 0 0","152 163 160 141 163 | Reject 200 0 0","152 163 161 140 160 | Reject 200 0 0","152 163 161 140 161 | Reject 200 0 0","152 163 161 140 162 | Reject 200 0 0","152 163 161 140 163 | Reject 200 0 0","152 163 161 141 160 | Reject 200 0 0","152 163 161 141 161 | Reject 200 0 0","152 163 161 141 162 | Reject 200 0 0","152 163 161 141 163 | Reject 200 0 0","152 163 162 140 160 | Reject 200 0 0","152 163 162 140 161 | Reject 200 0 0","152 163 162 140 162 | Reject 200 0 0","152 163 162 140 163 | Reject 200 0 0","152 163 162 141 160 | Reject 200 0 0","152 163 162 141 161 | Reject 200 0 0","152 163 162 141 162 | Reject 200 0 0","152 163 162 141 163 | Reject 200 0 0","152 163 163 140 160 | Reject 200 0 0","152 163 163 140 161 | Reject 200 0 0","152 163 163 140 162 | Reject 200 0 0","152 163 163 140 163 | Reject 200 0 0","152 163 163 141 160 | Reject 200 0 0","152 163 163 141 161 | Reject 200 0 0","152 163 163 141 162 | Reject 200 0 0","152 163 163 141 163 | Reject 200 0 0"],"rows_digest":{"method":"sha256 chain over the rows in order: start from 32 zero bytes; each step hashes the previous digest, the row line and a newline","sha256":"74a25769412f1c84a3700029e6f3b4d48582a4cd82484f5981702833e4d92eb0"},"rows_omitted":false,"tallies":{"classes":{"Accept":27,"CommittedFailure":12,"Reject":300,"refused":45},"reasons":{"200":256,"201":32,"202":12,"203":12}}},"examples":{"agreeing":12,"compared":12,"disagreements":[],"file":"tests/decision-examples.txt","parsed":12},"findings":[],"inputs":{"boundary":null,"boundary_rule":"an integer position takes its domain endpoints and every integer constant the rules compare with, add to, subtract from or assign to a value of its type, with that constant's two neighbours, where in domain; genesis values count as constants; a sum takes every variant; a boolean both values; probe bases are the genesis state with the first boundary value of every command and context position, then each owner example","construction":"full-domain","construction_rule":"full-domain when the domain has at most max_tuples tuples; else boundary-product when the product of the boundary sets does; else boundary-probes, stopped at max_tuples","count":384,"domain_size":"384","max_tuples":1048576,"order":"every tuple of the admitted domain; positions in program order, the last position fastest","positions":[{"domain":{"kind":"sum","type_id":105,"variants":[150,151,152]},"field":110,"name":"pre.100.110","source":"state","type":105},{"domain":{"kind":"sum","type_id":106,"variants":[160,161,162,163]},"field":111,"name":"pre.100.111","source":"state","type":106},{"domain":{"kind":"sum","type_id":106,"variants":[160,161,162,163]},"field":112,"name":"pre.100.112","source":"state","type":106},{"domain":{"kind":"sum","type_id":101,"variants":[140,141]},"field":null,"name":"command.101","source":"command","type":101},{"domain":{"kind":"sum","type_id":106,"variants":[160,161,162,163]},"field":120,"name":"context.102.120","source":"context","type":106}]},"mutants":{"catalog":"zeno-fcis/contract-review-mutants/1","classification_counts":{"distinguished":25,"equivalent-over-full-domain":1,"refused-by-generator":7},"count":33,"list":[{"change":"`status != 150` -> `status == 150`","classification":"distinguished","id":"m0001","operator":"flip-comparison","site":"cases[0].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":200},"mutant_as_example":"150 160 160 140 160 | reject 200 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`officer == 160` -> `officer != 160`","classification":"distinguished","id":"m0002","operator":"flip-comparison","site":"cases[1].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 160 160 140 160 | reject 203 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`action == 141` -> `action != 141`","classification":"distinguished","id":"m0003","operator":"flip-comparison","site":"cases[2].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":502,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`officer == first` -> `officer != first`","classification":"distinguished","id":"m0004","operator":"flip-comparison","site":"cases[3].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 160 160 140 161 | reject 203 150 160 160 | -","original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`first == 160` -> `first != 160`","classification":"distinguished","id":"m0005","operator":"flip-comparison","site":"cases[4].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":500,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`150` -> `151`","classification":"distinguished","id":"m0006","operator":"constant-up","site":"cases[0].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":200},"mutant_as_example":"150 160 160 140 160 | reject 200 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`160` -> `161`","classification":"distinguished","id":"m0007","operator":"constant-up","site":"cases[1].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 160 160 140 160 | reject 203 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`141` -> `142`","classification":"distinguished","id":"m0008","operator":"constant-up","site":"cases[2].when","witness":{"input":["150","161","160","141","161"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 161 160 141 161 | reject 203 150 161 160 | -","original":{"class":"CommittedFailure","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"31e186b57cd65a59cbf4e4dbc4fc754de5f2c8b54a987a3a3912b769c27a7790","reason":202},"owner_agrees_with":"original","proposed_example":"150 161 160 141 161 | failure 202 152 161 160 | -","source":{"kind":"owner-example","line":23}}},{"change":"`152` -> `153`","classification":"refused-by-generator","id":"m0009","operator":"constant-up","refusal":{"place":"v2/policy.json cases[2].post.110","reason":"153 is not a variant of type 105"},"site":"cases[2].post.110"},{"change":"`160` -> `161`","classification":"distinguished","id":"m0010","operator":"constant-up","site":"cases[4].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":500,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`150` -> `151`","classification":"distinguished","id":"m0011","operator":"constant-up","site":"cases[4].post.110","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":500,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`151` -> `152`","classification":"distinguished","id":"m0012","operator":"constant-up","site":"cases[5].post.110","witness":{"input":["150","161","160","140","162"],"mutant":{"class":"law","law":501,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"owner_agrees_with":"original","proposed_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","source":{"kind":"owner-example","line":19}}},{"change":"`0` -> `1`","classification":"distinguished","id":"m0013","operator":"constant-up","site":"cases[5].outbox[0].ordinal","witness":{"input":["150","161","160","140","162"],"mutant":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":1,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"c9f153d2618cc290cae50bc550b399f72e2a5ab01d2b941be5b5136da2e49efc","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"mutant_as_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","original":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"owner_agrees_with":"both","proposed_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","source":{"kind":"owner-example","line":19}}},{"change":"`300` -> `301`","classification":"refused-by-generator","id":"m0014","operator":"constant-up","refusal":{"place":"project.zeno","reason":"channel 301 is not declared"},"site":"cases[5].outbox[0].channel"},{"change":"`0` -> `1`","classification":"distinguished","id":"m0015","operator":"constant-up","site":"cases[5].outbox[0].idempotency_ordinal","witness":{"input":["150","161","160","140","162"],"mutant":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"1","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"cb3b8878a90856df7df7f6a13c4e3dbb684c1bd17317b00f714dbd7684f19bdc","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"mutant_as_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","original":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"owner_agrees_with":"both","proposed_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","source":{"kind":"owner-example","line":19}}},{"change":"`150` -> `149`","classification":"distinguished","id":"m0016","operator":"constant-down","site":"cases[0].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":200},"mutant_as_example":"150 160 160 140 160 | reject 200 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`160` -> `159`","classification":"distinguished","id":"m0017","operator":"constant-down","site":"cases[1].when","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 160 160 140 160 | reject 203 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`141` -> `140`","classification":"distinguished","id":"m0018","operator":"constant-down","site":"cases[2].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":502,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`152` -> `151`","classification":"distinguished","id":"m0019","operator":"constant-down","site":"cases[2].post.110","witness":{"input":["150","161","160","141","161"],"mutant":{"class":"law","law":500,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"CommittedFailure","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"31e186b57cd65a59cbf4e4dbc4fc754de5f2c8b54a987a3a3912b769c27a7790","reason":202},"owner_agrees_with":"original","proposed_example":"150 161 160 141 161 | failure 202 152 161 160 | -","source":{"kind":"owner-example","line":23}}},{"change":"`160` -> `159`","classification":"distinguished","id":"m0020","operator":"constant-down","site":"cases[4].when","witness":{"input":["150","160","160","140","161"],"mutant":{"class":"law","law":500,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":150}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"efe56eec6d662293768801b346d763d6436e92ad70f000dec18e9424ec3795dd","reason":null},"owner_agrees_with":"original","proposed_example":"150 160 160 140 161 | accept - 150 161 160 | -","source":{"kind":"owner-example","line":17}}},{"change":"`150` -> `149`","classification":"refused-by-generator","id":"m0021","operator":"constant-down","refusal":{"place":"v2/policy.json cases[4].post.110","reason":"149 is not a variant of type 105"},"site":"cases[4].post.110"},{"change":"`151` -> `150`","classification":"distinguished","id":"m0022","operator":"constant-down","site":"cases[5].post.110","witness":{"input":["150","161","160","140","162"],"mutant":{"class":"law","law":503,"refused":"Core(Law(Violated))"},"mutant_as_example":null,"original":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"owner_agrees_with":"original","proposed_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","source":{"kind":"owner-example","line":19}}},{"change":"`300` -> `299`","classification":"refused-by-generator","id":"m0023","operator":"constant-down","refusal":{"place":"project.zeno","reason":"channel 299 is not declared"},"site":"cases[5].outbox[0].channel"},{"change":"case 1 `officer == 160` decides before case 0 `status != 150`","classification":"distinguished","id":"m0024","operator":"swap-adjacent-cases","site":"cases[0],cases[1]","witness":{"input":["151","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"mutant_as_example":"151 160 160 140 160 | reject 201 151 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":200},"owner_agrees_with":null,"proposed_example":"151 160 160 140 160 | reject 200 151 160 160 | -","source":{"kind":"input-set","ordinal":128}}},{"change":"case 2 `action == 141` decides before case 1 `officer == 160`","classification":"distinguished","id":"m0025","operator":"swap-adjacent-cases","site":"cases[1],cases[2]","witness":{"input":["150","160","160","141","160"],"mutant":{"class":"CommittedFailure","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":160}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"0e86d4af69450bbef044057a650f99598a70f1c3937465ac103ebc4c454ea8f9","reason":202},"mutant_as_example":"150 160 160 141 160 | failure 202 152 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 141 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":16}}},{"change":"case 3 `officer == first` decides before case 2 `action == 141`","classification":"distinguished","id":"m0026","operator":"swap-adjacent-cases","site":"cases[2],cases[3]","witness":{"input":["150","161","160","141","161"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 161 160 141 161 | reject 203 150 161 160 | -","original":{"class":"CommittedFailure","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":152}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":160}}],"post_sha256":"31e186b57cd65a59cbf4e4dbc4fc754de5f2c8b54a987a3a3912b769c27a7790","reason":202},"owner_agrees_with":"original","proposed_example":"150 161 160 141 161 | failure 202 152 161 160 | -","source":{"kind":"owner-example","line":23}}},{"change":"case 4 `first == 160` decides before case 3 `officer == first`","classification":"equivalent-over-full-domain","id":"m0027","operator":"swap-adjacent-cases","site":"cases[3],cases[4]"},{"change":"`200` -> `201` and `201` -> `200`","classification":"distinguished","id":"m0028","operator":"swap-reasons","site":"cases[0].reason,cases[1].reason","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":200},"mutant_as_example":"150 160 160 140 160 | reject 200 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`201` -> `203` and `203` -> `201`","classification":"distinguished","id":"m0029","operator":"swap-reasons","site":"cases[1].reason,cases[3].reason","witness":{"input":["150","160","160","140","160"],"mutant":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":203},"mutant_as_example":"150 160 160 140 160 | reject 203 150 160 160 | -","original":{"class":"Reject","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[],"post_sha256":"ceba8e226fc1ae3ed6e6fd58d778d4365556868b78faf5e5abbab0c04e0bd392","reason":201},"owner_agrees_with":"original","proposed_example":"150 160 160 140 160 | reject 201 150 160 160 | -","source":{"kind":"owner-example","line":15}}},{"change":"`200` -> `201`","classification":"refused-by-generator","id":"m0030","operator":"change-reason","refusal":{"place":"v2/policy.json cases","reason":"reason 200 is declared but no case uses it"},"site":"cases[0].reason"},{"change":"`201` -> `203`","classification":"refused-by-generator","id":"m0031","operator":"change-reason","refusal":{"place":"v2/policy.json cases","reason":"reason 201 is declared but no case uses it"},"site":"cases[1].reason"},{"change":"`203` -> `200`","classification":"refused-by-generator","id":"m0032","operator":"change-reason","refusal":{"place":"v2/policy.json cases","reason":"reason 203 is declared but no case uses it"},"site":"cases[3].reason"},{"change":"delivery 0 on channel 300 to `release-desk` is dropped","classification":"distinguished","id":"m0033","operator":"drop-outbox-entry","site":"cases[5].outbox[0]","witness":{"input":["150","161","160","140","162"],"mutant":{"class":"Accept","outbox":[],"outbox_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"mutant_as_example":"150 161 160 140 162 | accept - 151 161 162 | -","original":{"class":"Accept","outbox":[{"channel":300,"destination":"release-desk","idempotency":"0","ordinal":0,"payload":[{"field":130,"value":{"type_id":106,"variant":162}},{"field":131,"value":{"type_id":106,"variant":161}}]}],"outbox_sha256":"f48030afc8b93154585807e52470109b95e9be2c2bccfbd48b48ade59e7c1a50","post":[{"field":110,"value":{"type_id":105,"variant":151}},{"field":111,"value":{"type_id":106,"variant":161}},{"field":112,"value":{"type_id":106,"variant":162}}],"post_sha256":"e6872b9252891e0d499c0da2eb37dcc38c40b2560b369b92458b68c3b38c197c","reason":null},"owner_agrees_with":"original","proposed_example":"150 161 160 140 162 | accept - 151 161 162 | 300 162 161","source":{"kind":"owner-example","line":19}}}],"operators":[{"changes":"one comparison moves to its boundary neighbour: < and <=, > and >=, == and != exchange","name":"flip-comparison"},{"changes":"one integer constant of a rule expression, or a delivery's ordinal, channel or idempotency ordinal, grows by one","name":"constant-up"},{"changes":"one integer constant of a rule expression, or a delivery's ordinal, channel or idempotency ordinal, shrinks by one","name":"constant-down"},{"changes":"one side of a && in a case guard or in a variable is dropped","name":"drop-conjunct"},{"changes":"two adjacent cases before the final catch-all exchange places","name":"swap-adjacent-cases"},{"changes":"a case and the next case of its class exchange reasons","name":"swap-reasons"},{"changes":"a case takes the next declared reason of its class","name":"change-reason"},{"changes":"one delivery of a case is dropped","name":"drop-outbox-entry"}],"witness_search":"owner examples in file order, then the input set in order; the first input where the mutant's class, reason, successor digest or outbox digest differs, preferring one where the contract decides over one where it refuses"},"refusals":{"by_unsatisfied_state_law":{"503":45},"classes":[{"class":"law","holds":"an applicable law refused the complete decision: Core(Law(..)), except a meter refusal"},{"class":"domain","holds":"a value left its declared domain: Core(Decision(Domain)), Core(Schema), Core(Output), Core(Execution(InputDomain)) or Core(Execution(OutputDomain))"},{"class":"arithmetic","holds":"checked arithmetic of the decision program overflowed: Core(Execution(Arithmetic))"},{"class":"meter","holds":"the shared meter refused work at any stage: a MeterFailure"},{"class":"input","holds":"the inputs were not admitted: Core(Ingress(..)), Core(Frame(..)) or Core(Binding)"},{"class":"other","holds":"any other refusal"}],"counts":{"by_class":{"law":45},"count":45,"on_law_consistent_states":{"by_class":{},"count":0},"on_states_the_laws_exclude":{"by_class":{"law":45},"count":45}},"findings_rule":"each refusal of class law on inputs whose pre-state satisfies every state law is a finding","groups":[{"class":"law","count":45,"first":{"input":["150","160","161","140","161"],"ordinal":9},"law":503,"refusal":0,"unsatisfied_state_law":503}],"law_rule":"a refusal's law is the law whose evaluation the library's law diagnostics report as refusing; a refusal no law evaluation made names none","reachability":"not decided: a pre-state that satisfies every state law may still be unreachable from genesis; a pre-state that breaks one is never a committed state","state_law_rule":"the state laws are the contract's laws that apply at genesis and to every committing decision, so that every committed state satisfies them, except InitialCondition laws, which apply at genesis only; a pre-state satisfies them when the library's law evaluator, run on the contract's own law programs with the pre-state as a genesis state and the state laws first, finds each one satisfied","state_laws":[500,503]},"schema":"zeno-fcis/contract-review/2","sources":{"examples_sha256":"21d0b62e2aeb2f32d45251a826027e4efde38fcdef19ffa88ca21e1abfb6b38b","project_sha256":"2e14b1f426e8f1f0047c7f69a84d5aa11f505de01fba1c7f9df21657621eff2d","rules_sha256":"692f67123f4e185d3b880b6d96837477ed7755bf775866d9cb0f2cae3b300435","schema_sha256":"bb0b3f383ff9d2c39a5a3f540381a6d693b2713b242049644e82bcd8db88c8a3"},"summary":{"application":"two-key-release","examples":{"compared":12,"disagreements":0},"findings":0,"inputs":{"construction":"full-domain","count":384},"law_refusal_findings":0,"mutants":{"count":33,"distinguished":25,"equivalent_over_full_domain":1,"not_distinguished_within_boundary_set":0,"refused_by_generator":7,"refused_by_library":0},"refusals":{"by_class":{"law":45},"count":45,"on_law_consistent_states":{"by_class":{},"count":0},"on_states_the_laws_exclude":{"by_class":{"law":45},"count":45}}},"tool":{"crate":"zeno-fcis-cli","library_identity_sha256":"f7313d33083d92baf079e518c1260ce0c723a76d3499d87ecd9edf4b79c29897","mutant_catalog":"zeno-fcis/contract-review-mutants/1","version":"1.1.0"}}