{"schema_version":2,"kind":"typed-tlc-capture","run_id":"ref-identity-renewal-defective","input_manifest_sha256":"f0df4091a373122a9be4ccfaa3bc6895bce2df003eea077feea02800dfa7a4c3","root":50,"nodes":[{"kind":"integer","value":"1"},{"kind":"integer","value":"7"},{"kind":"integer","value":"0"},{"kind":"string","value":"SideA"},{"kind":"integer","value":"4"},{"kind":"string","value":"SideB"},{"kind":"function","entries":[{"key":3,"value":4},{"key":5,"value":4}]},{"kind":"boolean","value":false},{"kind":"string","value":"Initial"},{"kind":"integer","value":"5"},{"kind":"function","entries":[{"key":3,"value":9},{"key":5,"value":9}]},{"kind":"string","value":"a"},{"kind":"tuple","items":[]},{"kind":"string","value":"Choosing"},{"kind":"record","fields":{"ability":11,"announcements":12,"ifAble":7,"phase":13}},{"kind":"string","value":"none"},{"kind":"record","fields":{"after":2,"before":2,"mode":15,"progress":2}},{"kind":"integer","value":"2"},{"kind":"string","value":"barrierCard"},{"kind":"string","value":"NA"},{"kind":"string","value":"Card"},{"kind":"boolean","value":true},{"kind":"string","value":"Barrier"},{"kind":"string","value":"original"},{"kind":"string","value":"used"},{"kind":"set","items":[24]},{"kind":"string","value":"SideADeck"},{"kind":"record","fields":{"activated":7,"card":18,"deployed":7,"face":19,"form":20,"front":21,"host":2,"kind":22,"loc":23,"marks":25,"objectivePoints":2,"placedBy":3,"virtual":7,"zone":26}},{"kind":"function","entries":[{"key":0,"value":27}]},{"kind":"string","value":"Playing"},{"kind":"function","entries":[]},{"kind":"set","items":[]},{"kind":"function","entries":[{"key":3,"value":2},{"key":5,"value":2}]},{"kind":"record","fields":{"actionPoints":6,"checkpointDue":7,"event":8,"handLimit":10,"instruction":14,"lastObjective":16,"next":17,"obj":28,"outcome":29,"past":30,"pendingRetire":31,"reveals":31,"spent":32,"started":21,"turn":5,"used":31}},{"kind":"record","fields":{"caseNo":1,"pc":2,"s":33}},{"kind":"tuple","items":[0,34]},{"kind":"integer","value":"179"},{"kind":"integer","value":"39"},{"kind":"integer","value":"183"},{"kind":"string","value":"RuntimeChecksMC"},{"kind":"record","fields":{"beginColumn":9,"beginLine":36,"endColumn":37,"endLine":38,"module":39}},{"kind":"string","value":"AdvanceMC"},{"kind":"record","fields":{"location":40,"name":41}},{"kind":"string","value":"Move"},{"kind":"record","fields":{"actionPoints":6,"checkpointDue":7,"event":43,"handLimit":10,"instruction":14,"lastObjective":16,"next":17,"obj":28,"outcome":29,"past":30,"pendingRetire":31,"reveals":31,"spent":32,"started":21,"turn":5,"used":31}},{"kind":"record","fields":{"caseNo":1,"pc":0,"s":44}},{"kind":"tuple","items":[17,45]},{"kind":"tuple","items":[35,42,46]},{"kind":"set","items":[47]},{"kind":"set","items":[35,46]},{"kind":"record","fields":{"action":48,"state":49}}],"model_values":[]}