{"schema_version":1,"kind":"typed-tlc-capture","run_id":"implicit-follow","input_manifest_sha256":"7b551331382b7a65fb4dcca7ffbef38cfa953807befbb2472bd9039fe2f73b7b","counterexample":{"kind":"record","fields":{"action":{"kind":"set","items":[{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"1"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"explicitLineage":{"kind":"tuple","items":[{"kind":"integer","value":"1"}]},"live":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[{"kind":"string","value":"UseBound"}]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}},{"key":{"kind":"integer","value":"2"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-b"},"position":{"kind":"integer","value":"2"}}}}]},"next":{"kind":"integer","value":"3"},"past":{"kind":"function","entries":[]},"reference":{"kind":"integer","value":"1"},"successors":{"kind":"function","entries":[]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"5"},"beginLine":{"kind":"integer","value":"9"},"endColumn":{"kind":"integer","value":"39"},"endLine":{"kind":"integer","value":"16"},"module":{"kind":"string","value":"IdentityMC"}}},"name":{"kind":"string","value":"MoveItem"}}},{"kind":"tuple","items":[{"kind":"integer","value":"2"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"explicitLineage":{"kind":"tuple","items":[{"kind":"integer","value":"1"}]},"live":{"kind":"function","entries":[{"key":{"kind":"integer","value":"2"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-b"},"position":{"kind":"integer","value":"2"}}}},{"key":{"kind":"integer","value":"3"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Private"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}}]},"next":{"kind":"integer","value":"4"},"past":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[{"kind":"string","value":"UseBound"}]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}}]},"reference":{"kind":"integer","value":"3"},"successors":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"integer","value":"3"}}]}}}}}]}]}]},"state":{"kind":"set","items":[{"kind":"tuple","items":[{"kind":"integer","value":"1"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"explicitLineage":{"kind":"tuple","items":[{"kind":"integer","value":"1"}]},"live":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[{"kind":"string","value":"UseBound"}]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}},{"key":{"kind":"integer","value":"2"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-b"},"position":{"kind":"integer","value":"2"}}}}]},"next":{"kind":"integer","value":"3"},"past":{"kind":"function","entries":[]},"reference":{"kind":"integer","value":"1"},"successors":{"kind":"function","entries":[]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"2"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"explicitLineage":{"kind":"tuple","items":[{"kind":"integer","value":"1"}]},"live":{"kind":"function","entries":[{"key":{"kind":"integer","value":"2"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-b"},"position":{"kind":"integer","value":"2"}}}},{"key":{"kind":"integer","value":"3"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Private"},"marks":{"kind":"set","items":[]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}}]},"next":{"kind":"integer","value":"4"},"past":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"record","fields":{"area":{"kind":"string","value":"Display"},"marks":{"kind":"set","items":[{"kind":"string","value":"UseBound"}]},"physical":{"kind":"string","value":"item-a"},"position":{"kind":"integer","value":"1"}}}}]},"reference":{"kind":"integer","value":"3"},"successors":{"kind":"function","entries":[{"key":{"kind":"integer","value":"1"},"value":{"kind":"integer","value":"3"}}]}}}}}]}]}}},"model_values":[]}