{"schema":1,"run_id":"run_87841e2157e0450d91cbb0ab8f1901d4","id":"S0001","reasons":["periodic"],"max_event_seq":250,"confirmed_count":250,"nodes":56,"state_pairs":131,"total_edge_weight":250,"edges":[{"source":"g10s19","target":"g10s19","weight":1},{"source":"g10s19","target":"g9s17","weight":1},{"source":"g11s21","target":"g11s21","weight":4},{"source":"g11s21","target":"g9s17","weight":1},{"source":"g11s22","target":"g11s22","weight":7},{"source":"g11s22","target":"g1s1","weight":1},{"source":"g12s24","target":"g12s24","weight":1},{"source":"g12s24","target":"g12s25","weight":1},{"source":"g12s24","target":"g12s26","weight":1},{"source":"g12s24","target":"g13s28","weight":1},{"source":"g12s24","target":"g1s1","weight":1},{"source":"g12s25","target":"g12s24","weight":1},{"source":"g12s26","target":"g12s24","weight":1},{"source":"g13s28","target":"g16s32","weight":1},{"source":"g16s32","target":"g16s32","weight":1},{"source":"g16s32","target":"g16s33","weight":1},{"source":"g16s32","target":"g17s36","weight":1},{"source":"g16s33","target":"g16s33","weight":1},{"source":"g16s33","target":"g16s34","weight":1},{"source":"g16s33","target":"g17s36","weight":1},{"source":"g16s34","target":"g16s35","weight":3},{"source":"g16s35","target":"g16s33","weight":1},{"source":"g16s35","target":"g16s34","weight":2},{"source":"g17s36","target":"g16s32","weight":1},{"source":"g17s36","target":"g18s38","weight":1},{"source":"g17s36","target":"g21s43","weight":1},{"source":"g17s36","target":"g23s46","weight":2},{"source":"g17s36","target":"g32s73","weight":1},{"source":"g17s36","target":"g36s85","weight":1},{"source":"g17s36","target":"g41s94","weight":1},{"source":"g17s36","target":"g42s96","weight":2},{"source":"g17s36","target":"g44s99","weight":2},{"source":"g17s36","target":"g45s101","weight":3},{"source":"g17s36","target":"g45s102","weight":1},{"source":"g17s36","target":"g45s104","weight":1},{"source":"g18s38","target":"g20s41","weight":1},{"source":"g1s1","target":"g12s24","weight":2},{"source":"g1s1","target":"g2s3","weight":1},{"source":"g20s41","target":"g17s36","weight":1},{"source":"g21s43","target":"g17s36","weight":1},{"source":"g23s46","target":"g23s46","weight":1},{"source":"g23s46","target":"g23s47","weight":1},{"source":"g23s47","target":"g17s36","weight":1},{"source":"g26s54","target":"g27s57","weight":1},{"source":"g27s57","target":"g27s58","weight":1},{"source":"g27s58","target":"g27s58","weight":1},{"source":"g27s58","target":"g27s59","weight":1},{"source":"g27s59","target":"g27s59","weight":1},{"source":"g27s59","target":"g27s60","weight":1},{"source":"g27s60","target":"g27s59","weight":1},{"source":"g29s63","target":"g29s63","weight":2},{"source":"g29s64","target":"g29s64","weight":2},{"source":"g29s64","target":"g29s65","weight":1},{"source":"g29s65","target":"g29s63","weight":1},{"source":"g29s65","target":"g29s65","weight":16},{"source":"g2s3","target":"g2s3","weight":2},{"source":"g30s68","target":"g31s70","weight":1},{"source":"g31s70","target":"g31s71","weight":1},{"source":"g31s71","target":"g32s73","weight":1},{"source":"g32s73","target":"g17s36","weight":1},{"source":"g32s73","target":"g32s74","weight":1},{"source":"g32s74","target":"g17s36","weight":1},{"source":"g36s85","target":"g36s86","weight":1},{"source":"g38s89","target":"g38s89","weight":4},{"source":"g38s89","target":"g41s94","weight":1},{"source":"g38s89","target":"g42s96","weight":1},{"source":"g38s89","target":"g45s101","weight":1},{"source":"g3s4","target":"g3s4","weight":4},{"source":"g3s4","target":"g3s5","weight":1},{"source":"g3s4","target":"g46s107","weight":2},{"source":"g3s4","target":"g9s17","weight":2},{"source":"g3s5","target":"g3s5","weight":1},{"source":"g3s5","target":"g46s108","weight":1},{"source":"g3s5","target":"g4s7","weight":1},{"source":"g3s5","target":"g9s17","weight":2},{"source":"g41s94","target":"g17s36","weight":1},{"source":"g41s94","target":"g41s94","weight":1},{"source":"g41s94","target":"g42s96","weight":1},{"source":"g42s96","target":"g17s36","weight":2},{"source":"g42s96","target":"g38s89","weight":1},{"source":"g42s96","target":"g44s99","weight":1},{"source":"g44s99","target":"g17s36","weight":2},{"source":"g44s99","target":"g44s99","weight":3},{"source":"g44s99","target":"g45s101","weight":1},{"source":"g45s101","target":"g17s36","weight":3},{"source":"g45s101","target":"g38s89","weight":1},{"source":"g45s101","target":"g45s101","weight":3},{"source":"g45s101","target":"g45s102","weight":1},{"source":"g45s102","target":"g17s36","weight":1},{"source":"g45s102","target":"g45s102","weight":2},{"source":"g45s102","target":"g45s103","weight":1},{"source":"g45s103","target":"g45s103","weight":2},{"source":"g45s103","target":"g45s104","weight":1},{"source":"g45s104","target":"g17s36","weight":1},{"source":"g46s106","target":"g3s4","weight":1},{"source":"g46s107","target":"g3s4","weight":1},{"source":"g46s107","target":"g46s107","weight":4},{"source":"g46s107","target":"g46s108","weight":1},{"source":"g46s107","target":"g46s109","weight":1},{"source":"g46s107","target":"g9s17","weight":2},{"source":"g46s108","target":"g46s107","weight":1},{"source":"g46s108","target":"g8s16","weight":1},{"source":"g46s109","target":"g3s4","weight":1},{"source":"g46s109","target":"g46s109","weight":8},{"source":"g46s110","target":"g46s110","weight":14},{"source":"g46s110","target":"g8s16","weight":2},{"source":"g46s110","target":"g9s17","weight":3},{"source":"g4s7","target":"g4s8","weight":3},{"source":"g4s7","target":"g4s9","weight":1},{"source":"g4s8","target":"g4s7","weight":3},{"source":"g4s8","target":"g4s9","weight":1},{"source":"g4s8","target":"g8s16","weight":1},{"source":"g4s9","target":"g4s8","weight":1},{"source":"g4s9","target":"g4s9","weight":1},{"source":"g4s9","target":"g7s13","weight":1},{"source":"g7s13","target":"g4s8","weight":1},{"source":"g7s13","target":"g7s13","weight":1},{"source":"g7s13","target":"g7s14","weight":1},{"source":"g7s14","target":"g7s13","weight":1},{"source":"g7s14","target":"g7s14","weight":2},{"source":"g8s16","target":"g46s110","weight":2},{"source":"g8s16","target":"g8s16","weight":21},{"source":"g8s16","target":"g9s17","weight":5},{"source":"g9s17","target":"g10s19","weight":1},{"source":"g9s17","target":"g11s21","weight":1},{"source":"g9s17","target":"g11s22","weight":1},{"source":"g9s17","target":"g3s4","weight":2},{"source":"g9s17","target":"g3s5","weight":2},{"source":"g9s17","target":"g46s107","weight":2},{"source":"g9s17","target":"g46s110","weight":3},{"source":"g9s17","target":"g8s16","weight":3}],"action_edges":[{"source":"g10s19","model_action":"g10a224","target":"g10s19","weight":1},{"source":"g10s19","model_action":"g10a227","target":"g9s17","weight":1},{"source":"g11s21","model_action":"g11a246","target":"g11s21","weight":1},{"source":"g11s21","model_action":"g11a247","target":"g11s21","weight":1},{"source":"g11s21","model_action":"g11a248","target":"g11s21","weight":1},{"source":"g11s21","model_action":"g11a249","target":"g9s17","weight":1},{"source":"g11s21","model_action":"g11a252","target":"g11s21","weight":1},{"source":"g11s22","model_action":"g11a254","target":"g11s22","weight":2},{"source":"g11s22","model_action":"g11a255","target":"g11s22","weight":2},{"source":"g11s22","model_action":"g11a256","target":"g11s22","weight":2},{"source":"g11s22","model_action":"g11a257","target":"g11s22","weight":1},{"source":"g11s22","model_action":"g11a257","target":"g1s1","weight":1},{"source":"g12s24","model_action":"g12a269","target":"g12s25","weight":1},{"source":"g12s24","model_action":"g12a269","target":"g12s26","weight":1},{"source":"g12s24","model_action":"g12a272","target":"g1s1","weight":1},{"source":"g12s24","model_action":"g12a273","target":"g12s24","weight":1},{"source":"g12s24","model_action":"g12a275","target":"g13s28","weight":1},{"source":"g12s25","model_action":"g12a277","target":"g12s24","weight":1},{"source":"g12s26","model_action":"g12a282","target":"g12s24","weight":1},{"source":"g13s28","model_action":"g13a293","target":"g16s32","weight":1},{"source":"g16s32","model_action":"g16a338","target":"g16s33","weight":1},{"source":"g16s32","model_action":"g16a345","target":"g17s36","weight":1},{"source":"g16s32","model_action":"g16a351","target":"g16s32","weight":1},{"source":"g16s33","model_action":"g16a360","target":"g16s34","weight":1},{"source":"g16s33","model_action":"g16a365","target":"g16s33","weight":1},{"source":"g16s33","model_action":"g16a379","target":"g17s36","weight":1},{"source":"g16s34","model_action":"g16a390","target":"g16s35","weight":3},{"source":"g16s35","model_action":"g16a403","target":"g16s33","weight":1},{"source":"g16s35","model_action":"g16a403","target":"g16s34","weight":2},{"source":"g17s36","model_action":"g17a406","target":"g16s32","weight":1},{"source":"g17s36","model_action":"g17a406","target":"g18s38","weight":1},{"source":"g17s36","model_action":"g17a406","target":"g21s43","weight":1},{"source":"g17s36","model_action":"g17a406","target":"g23s46","weight":2},{"source":"g17s36","model_action":"g17a406","target":"g32s73","weight":1},{"source":"g17s36","model_action":"g17a406","target":"g36s85","weight":1},{"source":"g17s36","model_action":"g17a407","target":"g41s94","weight":1},{"source":"g17s36","model_action":"g17a407","target":"g42s96","weight":2},{"source":"g17s36","model_action":"g17a407","target":"g44s99","weight":2},{"source":"g17s36","model_action":"g17a407","target":"g45s101","weight":3},{"source":"g17s36","model_action":"g17a407","target":"g45s102","weight":1},{"source":"g17s36","model_action":"g17a407","target":"g45s104","weight":1},{"source":"g18s38","model_action":"g18a434","target":"g20s41","weight":1},{"source":"g1s1","model_action":"g1a6","target":"g12s24","weight":2},{"source":"g1s1","model_action":"g1a8","target":"g2s3","weight":1},{"source":"g20s41","model_action":"g20a488","target":"g17s36","weight":1},{"source":"g21s43","model_action":"g21a523","target":"g17s36","weight":1},{"source":"g23s46","model_action":"g23a579","target":"g23s46","weight":1},{"source":"g23s46","model_action":"g23a580","target":"g23s47","weight":1},{"source":"g23s47","model_action":"g23a595","target":"g17s36","weight":1},{"source":"g26s54","model_action":"g23a580","target":"g27s57","weight":1},{"source":"g27s57","model_action":"g27a742","target":"g27s58","weight":1},{"source":"g27s58","model_action":"g27a771","target":"g27s59","weight":1},{"source":"g27s58","model_action":"g27a776","target":"g27s58","weight":1},{"source":"g27s59","model_action":"g27a779","target":"g27s59","weight":1},{"source":"g27s59","model_action":"g27a782","target":"g27s60","weight":1},{"source":"g27s60","model_action":"g27a788","target":"g27s59","weight":1},{"source":"g29s63","model_action":"g29a807","target":"g29s63","weight":1},{"source":"g29s63","model_action":"g29a811","target":"g29s63","weight":1},{"source":"g29s64","model_action":"g27a778","target":"g29s64","weight":1},{"source":"g29s64","model_action":"g29a818","target":"g29s65","weight":1},{"source":"g29s64","model_action":"g29a819","target":"g29s64","weight":1},{"source":"g29s65","model_action":"g29a825","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a828","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a830","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a831","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a833","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a836","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a837","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a840","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a841","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a842","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a843","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a844","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a849","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a850","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a852","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a854","target":"g29s65","weight":1},{"source":"g29s65","model_action":"g29a855","target":"g29s63","weight":1},{"source":"g2s3","model_action":"g2a23","target":"g2s3","weight":1},{"source":"g2s3","model_action":"g2a25","target":"g2s3","weight":1},{"source":"g30s68","model_action":"g29a810","target":"g31s70","weight":1},{"source":"g31s70","model_action":"g31a915","target":"g31s71","weight":1},{"source":"g31s71","model_action":"g31a946","target":"g32s73","weight":1},{"source":"g32s73","model_action":"g32a975","target":"g32s74","weight":1},{"source":"g32s73","model_action":"g32a983","target":"g17s36","weight":1},{"source":"g32s74","model_action":"g32a1006","target":"g17s36","weight":1},{"source":"g36s85","model_action":"g36a1168","target":"g36s86","weight":1},{"source":"g38s89","model_action":"g36a1183","target":"g38s89","weight":1},{"source":"g38s89","model_action":"g38a1225","target":"g38s89","weight":1},{"source":"g38s89","model_action":"g38a1227","target":"g38s89","weight":1},{"source":"g38s89","model_action":"g38a1228","target":"g41s94","weight":1},{"source":"g38s89","model_action":"g38a1228","target":"g42s96","weight":1},{"source":"g38s89","model_action":"g38a1228","target":"g45s101","weight":1},{"source":"g38s89","model_action":"g38a1229","target":"g38s89","weight":1},{"source":"g3s4","model_action":"g3a32","target":"g3s5","weight":1},{"source":"g3s4","model_action":"g3a33","target":"g3s4","weight":1},{"source":"g3s4","model_action":"g3a35","target":"g3s4","weight":1},{"source":"g3s4","model_action":"g3a36","target":"g3s4","weight":1},{"source":"g3s4","model_action":"g3a38","target":"g3s4","weight":1},{"source":"g3s4","model_action":"g3a39","target":"g46s107","weight":2},{"source":"g3s4","model_action":"g3a40","target":"g9s17","weight":1},{"source":"g3s4","model_action":"g3a41","target":"g9s17","weight":1},{"source":"g3s5","model_action":"g2a20","target":"g4s7","weight":1},{"source":"g3s5","model_action":"g3a49","target":"g46s108","weight":1},{"source":"g3s5","model_action":"g3a50","target":"g3s5","weight":1},{"source":"g3s5","model_action":"g3a52","target":"g9s17","weight":1},{"source":"g3s5","model_action":"g3a54","target":"g9s17","weight":1},{"source":"g41s94","model_action":"g41a1283","target":"g17s36","weight":1},{"source":"g41s94","model_action":"g41a1287","target":"g41s94","weight":1},{"source":"g41s94","model_action":"g41a1303","target":"g42s96","weight":1},{"source":"g42s96","model_action":"g42a1330","target":"g17s36","weight":1},{"source":"g42s96","model_action":"g42a1336","target":"g17s36","weight":1},{"source":"g42s96","model_action":"g42a1337","target":"g38s89","weight":1},{"source":"g42s96","model_action":"g42a1342","target":"g44s99","weight":1},{"source":"g44s99","model_action":"g44a1388","target":"g17s36","weight":1},{"source":"g44s99","model_action":"g44a1394","target":"g44s99","weight":1},{"source":"g44s99","model_action":"g44a1395","target":"g44s99","weight":1},{"source":"g44s99","model_action":"g44a1398","target":"g17s36","weight":1},{"source":"g44s99","model_action":"g44a1399","target":"g45s101","weight":1},{"source":"g44s99","model_action":"g44a1402","target":"g44s99","weight":1},{"source":"g45s101","model_action":"g45a1429","target":"g45s101","weight":1},{"source":"g45s101","model_action":"g45a1430","target":"g38s89","weight":1},{"source":"g45s101","model_action":"g45a1435","target":"g45s101","weight":1},{"source":"g45s101","model_action":"g45a1436","target":"g45s101","weight":1},{"source":"g45s101","model_action":"g45a1438","target":"g17s36","weight":1},{"source":"g45s101","model_action":"g45a1443","target":"g45s102","weight":1},{"source":"g45s101","model_action":"g45a1446","target":"g17s36","weight":1},{"source":"g45s101","model_action":"g45a1449","target":"g17s36","weight":1},{"source":"g45s102","model_action":"g45a1452","target":"g45s102","weight":1},{"source":"g45s102","model_action":"g45a1454","target":"g45s103","weight":1},{"source":"g45s102","model_action":"g45a1457","target":"g45s102","weight":1},{"source":"g45s102","model_action":"g45a1468","target":"g17s36","weight":1},{"source":"g45s103","model_action":"g45a1473","target":"g45s103","weight":1},{"source":"g45s103","model_action":"g45a1475","target":"g45s104","weight":1},{"source":"g45s103","model_action":"g45a1476","target":"g45s103","weight":1},{"source":"g45s104","model_action":"g45a1494","target":"g17s36","weight":1},{"source":"g46s106","model_action":"g46a1512","target":"g3s4","weight":1},{"source":"g46s107","model_action":"g46a1516","target":"g46s108","weight":1},{"source":"g46s107","model_action":"g46a1517","target":"g46s107","weight":1},{"source":"g46s107","model_action":"g46a1518","target":"g46s109","weight":1},{"source":"g46s107","model_action":"g46a1520","target":"g9s17","weight":2},{"source":"g46s107","model_action":"g46a1521","target":"g46s107","weight":1},{"source":"g46s107","model_action":"g46a1522","target":"g46s107","weight":2},{"source":"g46s107","model_action":"g46a1523","target":"g3s4","weight":1},{"source":"g46s108","model_action":"g46a1525","target":"g46s107","weight":1},{"source":"g46s108","model_action":"g46a1525","target":"g8s16","weight":1},{"source":"g46s109","model_action":"g46a1526","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1534","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1535","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1536","target":"g3s4","weight":1},{"source":"g46s109","model_action":"g46a1542","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1543","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1544","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1549","target":"g46s109","weight":1},{"source":"g46s109","model_action":"g46a1550","target":"g46s109","weight":1},{"source":"g46s110","model_action":"g46a1558","target":"g46s110","weight":2},{"source":"g46s110","model_action":"g46a1559","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1560","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1561","target":"g46s110","weight":2},{"source":"g46s110","model_action":"g46a1562","target":"g46s110","weight":2},{"source":"g46s110","model_action":"g46a1563","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1564","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1565","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1566","target":"g9s17","weight":1},{"source":"g46s110","model_action":"g46a1567","target":"g9s17","weight":1},{"source":"g46s110","model_action":"g46a1568","target":"g9s17","weight":1},{"source":"g46s110","model_action":"g46a1569","target":"g8s16","weight":2},{"source":"g46s110","model_action":"g46a1570","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1571","target":"g46s110","weight":1},{"source":"g46s110","model_action":"g46a1572","target":"g46s110","weight":1},{"source":"g4s7","model_action":"g4a79","target":"g4s8","weight":3},{"source":"g4s7","model_action":"g4a83","target":"g4s9","weight":1},{"source":"g4s8","model_action":"g4a88","target":"g4s7","weight":3},{"source":"g4s8","model_action":"g4a88","target":"g4s9","weight":1},{"source":"g4s8","model_action":"g4a88","target":"g8s16","weight":1},{"source":"g4s9","model_action":"g4a94","target":"g7s13","weight":1},{"source":"g4s9","model_action":"g4a95","target":"g4s9","weight":1},{"source":"g4s9","model_action":"g4a97","target":"g4s8","weight":1},{"source":"g7s13","model_action":"g7a147","target":"g4s8","weight":1},{"source":"g7s13","model_action":"g7a154","target":"g7s13","weight":1},{"source":"g7s13","model_action":"g7a157","target":"g7s14","weight":1},{"source":"g7s14","model_action":"g7a161","target":"g7s14","weight":1},{"source":"g7s14","model_action":"g7a176","target":"g7s13","weight":1},{"source":"g7s14","model_action":"g7a178","target":"g7s14","weight":1},{"source":"g8s16","model_action":"g8a190","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a191","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a192","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a193","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a194","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a195","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a196","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a197","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a198","target":"g8s16","weight":2},{"source":"g8s16","model_action":"g8a199","target":"g9s17","weight":2},{"source":"g8s16","model_action":"g8a200","target":"g9s17","weight":2},{"source":"g8s16","model_action":"g8a201","target":"g9s17","weight":1},{"source":"g8s16","model_action":"g8a202","target":"g8s16","weight":1},{"source":"g8s16","model_action":"g8a203","target":"g46s110","weight":2},{"source":"g8s16","model_action":"g8a204","target":"g8s16","weight":1},{"source":"g8s16","model_action":"g8a205","target":"g8s16","weight":1},{"source":"g9s17","model_action":"g9a206","target":"g3s4","weight":1},{"source":"g9s17","model_action":"g9a206","target":"g3s5","weight":2},{"source":"g9s17","model_action":"g9a206","target":"g46s107","weight":2},{"source":"g9s17","model_action":"g9a206","target":"g46s110","weight":2},{"source":"g9s17","model_action":"g9a206","target":"g8s16","weight":1},{"source":"g9s17","model_action":"g9a207","target":"g10s19","weight":1},{"source":"g9s17","model_action":"g9a207","target":"g11s21","weight":1},{"source":"g9s17","model_action":"g9a207","target":"g11s22","weight":1},{"source":"g9s17","model_action":"g9a208","target":"g3s4","weight":1},{"source":"g9s17","model_action":"g9a208","target":"g46s110","weight":1},{"source":"g9s17","model_action":"g9a208","target":"g8s16","weight":1},{"source":"g9s17","model_action":"g9a209","target":"g8s16","weight":1}],"parameters":{"directed":true,"two_level":true,"seed":11,"num_trials":5,"num_threads":1,"silent":true,"markov_time":1,"teleportation_probability":0.15,"no_self_links":false},"codelength":2.561936352358205,"infomap_ms":18.752981908619404,"communities":[{"id":"S0001-C0001","members":["g17s36","g18s38","g20s41","g21s43","g23s46","g23s47","g32s73","g32s74","g38s89","g41s94","g42s96","g44s99","g45s101","g45s102","g45s103","g45s104"],"lineage_id":"L00001","lineage_status":"birth","metrics":{"size":16,"source_steps":62,"budget_share":0.248,"internal_flow":60,"boundary_entries":3,"boundary_exits":2,"reentries":1,"p_stay":0.967741935483871,"recent_window":100,"recent_steps":8,"recent_budget_share":0.08,"repeated_state_share":0.7580645161290323,"repeated_transition_share":0.08064516129032258,"complete_dwell_count":2,"dwell_mean":3,"dwell_median":3.0,"dwell_p90":4.6,"dwell_max":5,"episodes":[{"start":61,"end":62,"segment":3,"left_censored":false,"right_censored":false,"steps":1},{"start":64,"end":74,"segment":3,"left_censored":false,"right_censored":true,"steps":10},{"start":106,"end":111,"segment":6,"left_censored":false,"right_censored":false,"steps":5},{"start":113,"end":158,"segment":7,"left_censored":true,"right_censored":true,"steps":46}],"progress":{"steps":62,"new_state":15,"new_transition":57,"new_pair":44,"native_new_model":5,"native_progress_records":61,"native_selected_unvisited":42,"native_selected_unsaturated":42,"native_unvisited_positive":61,"native_state_saturated":0},"recent_progress":{"steps":8,"new_state":2,"new_transition":8,"new_pair":6,"native_new_model":2,"native_progress_records":8,"native_selected_unvisited":6,"native_selected_unsaturated":6,"native_unvisited_positive":8,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g16s33","g16a379","g17s36"],["g17s36","g17a406","g16s32"]]},{"count":1,"path":[["g31s71","g31a946","g32s73"],["g32s73","g32a975","g32s74"],["g32s74","g32a1006","g17s36"],["g17s36","g17a406","g32s73"],["g32s73","g32a983","g17s36"],["g17s36","g17a406","g36s85"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g17s36","g18s38","g20s41","g21s43","g23s46","g23s47","g32s73","g32s74","g38s89","g41s94","g42s96","g44s99","g45s101","g45s102","g45s103","g45s104"],"removed":[]}},{"id":"S0001-C0002","members":["g10s19","g3s4","g3s5","g46s106","g46s107","g46s108","g9s17"],"lineage_id":"L00002","lineage_status":"birth","metrics":{"size":7,"source_steps":43,"budget_share":0.172,"internal_flow":32,"boundary_entries":10,"boundary_exits":11,"reentries":9,"p_stay":0.7441860465116279,"recent_window":100,"recent_steps":37,"recent_budget_share":0.37,"repeated_state_share":0.813953488372093,"repeated_transition_share":0.13953488372093023,"complete_dwell_count":9,"dwell_mean":2.111111111111111,"dwell_median":1,"dwell_p90":4.800000000000001,"dwell_max":8,"episodes":[{"start":4,"end":4,"segment":1,"left_censored":true,"right_censored":false,"steps":1},{"start":23,"end":27,"segment":2,"left_censored":false,"right_censored":false,"steps":4},{"start":32,"end":33,"segment":2,"left_censored":false,"right_censored":false,"steps":1},{"start":159,"end":181,"segment":8,"left_censored":true,"right_censored":false,"steps":23},{"start":190,"end":198,"segment":8,"left_censored":false,"right_censored":false,"steps":8},{"start":202,"end":203,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":208,"end":209,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":216,"end":217,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":219,"end":220,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":226,"end":227,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":248,"end":249,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":250,"end":250,"segment":8,"left_censored":false,"right_censored":true,"steps":0}],"progress":{"steps":43,"new_state":8,"new_transition":37,"new_pair":26,"native_new_model":4,"native_progress_records":42,"native_selected_unvisited":25,"native_selected_unsaturated":27,"native_unvisited_positive":41,"native_state_saturated":1},"recent_progress":{"steps":37,"new_state":4,"new_transition":31,"new_pair":20,"native_new_model":3,"native_progress_records":37,"native_selected_unvisited":23,"native_selected_unsaturated":25,"native_unvisited_positive":36,"native_state_saturated":1},"top_paths":[{"count":1,"path":[["g8s16","g8a200","g9s17"],["g9s17","g9a207","g10s19"],["g10s19","g10a224","g10s19"],["g10s19","g10a227","g9s17"],["g9s17","g9a207","g11s21"]]},{"count":1,"path":[["g11s21","g11a249","g9s17"],["g9s17","g9a207","g11s22"]]},{"count":1,"path":[["g46s109","g46a1536","g3s4"],["g3s4","g3a32","g3s5"],["g3s5","g3a54","g9s17"],["g9s17","g9a206","g3s5"],["g3s5","g3a52","g9s17"],["g9s17","g9a206","g3s5"],["g3s5","g3a50","g3s5"],["g3s5","g3a49","g46s108"],["g46s108","g46a1525","g8s16"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g10s19","g3s4","g3s5","g46s106","g46s107","g46s108","g9s17"],"removed":[]}},{"id":"S0001-C0003","members":["g26s54","g27s57","g27s58","g27s59","g27s60"],"lineage_id":"L00003","lineage_status":"birth","metrics":{"size":5,"source_steps":7,"budget_share":0.028,"internal_flow":7,"boundary_entries":0,"boundary_exits":0,"reentries":0,"p_stay":1.0,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.42857142857142855,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":75,"end":81,"segment":4,"left_censored":true,"right_censored":true,"steps":7}],"progress":{"steps":7,"new_state":4,"new_transition":7,"new_pair":7,"native_new_model":3,"native_progress_records":6,"native_selected_unvisited":6,"native_selected_unsaturated":6,"native_unvisited_positive":6,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g26s54","g27s57","g27s58","g27s59","g27s60"],"removed":[]}},{"id":"S0001-C0004","members":["g4s7","g4s8","g4s9","g7s13","g7s14"],"lineage_id":"L00004","lineage_status":"birth","metrics":{"size":5,"source_steps":18,"budget_share":0.072,"internal_flow":17,"boundary_entries":1,"boundary_exits":1,"reentries":0,"p_stay":0.9444444444444444,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.7222222222222222,"repeated_transition_share":0.2222222222222222,"complete_dwell_count":1,"dwell_mean":18,"dwell_median":18,"dwell_p90":18.0,"dwell_max":18,"episodes":[{"start":4,"end":22,"segment":1,"left_censored":false,"right_censored":false,"steps":18}],"progress":{"steps":18,"new_state":5,"new_transition":14,"new_pair":13,"native_new_model":3,"native_progress_records":18,"native_selected_unvisited":12,"native_selected_unsaturated":13,"native_unvisited_positive":18,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g3s5","g2a20","g4s7"],["g4s7","g4a79","g4s8"],["g4s8","g4a88","g4s7"],["g4s7","g4a79","g4s8"],["g4s8","g4a88","g4s7"],["g4s7","g4a79","g4s8"],["g4s8","g4a88","g4s7"],["g4s7","g4a83","g4s9"],["g4s9","g4a97","g4s8"],["g4s8","g4a88","g4s9"],["g4s9","g4a95","g4s9"],["g4s9","g4a94","g7s13"],["g7s13","g7a154","g7s13"],["g7s13","g7a157","g7s14"],["g7s14","g7a161","g7s14"],["g7s14","g7a178","g7s14"],["g7s14","g7a176","g7s13"],["g7s13","g7a147","g4s8"],["g4s8","g4a88","g8s16"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g4s7","g4s8","g4s9","g7s13","g7s14"],"removed":[]}},{"id":"S0001-C0005","members":["g12s24","g12s25","g12s26","g1s1"],"lineage_id":"L00005","lineage_status":"birth","metrics":{"size":4,"source_steps":10,"budget_share":0.04,"internal_flow":8,"boundary_entries":1,"boundary_exits":2,"reentries":0,"p_stay":0.8,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.5,"repeated_transition_share":0.1,"complete_dwell_count":1,"dwell_mean":9,"dwell_median":9,"dwell_p90":9.0,"dwell_max":9,"episodes":[{"start":1,"end":1,"segment":0,"left_censored":true,"right_censored":false,"steps":1},{"start":41,"end":50,"segment":2,"left_censored":false,"right_censored":false,"steps":9}],"progress":{"steps":10,"new_state":5,"new_transition":9,"new_pair":9,"native_new_model":2,"native_progress_records":10,"native_selected_unvisited":8,"native_selected_unsaturated":8,"native_unvisited_positive":10,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g11s22","g11a257","g1s1"],["g1s1","g1a6","g12s24"],["g12s24","g12a272","g1s1"],["g1s1","g1a6","g12s24"],["g12s24","g12a273","g12s24"],["g12s24","g12a269","g12s25"],["g12s25","g12a277","g12s24"],["g12s24","g12a269","g12s26"],["g12s26","g12a282","g12s24"],["g12s24","g12a275","g13s28"]]}]},"entry_associations":[{"group_id":"scarletnotes-Rep2:entry-002","community_id":"S0001-C0005","functions":["scarletnotes.search-notes"],"direct_target_count":2,"direct_events":[42,44],"trajectory_distinct_steps":{"3":5,"5":7,"10":8},"trajectory_step_sequences":{"3":[43,44,45,46,47],"5":[43,44,45,46,47,48,49],"10":[43,44,45,46,47,48,49,50]},"scope":"same source Activity; reviewed occurrence only; not function purity"}],"functions":["scarletnotes.search-notes"],"mixed_entry_functions":false,"navigation_candidate_states":["g1s1"],"navigation_candidate_ratio":0.25,"member_delta":{"added":["g12s24","g12s25","g12s26","g1s1"],"removed":[]}},{"id":"S0001-C0006","members":["g16s33","g16s34","g16s35"],"lineage_id":"L00006","lineage_status":"birth","metrics":{"size":3,"source_steps":9,"budget_share":0.036,"internal_flow":8,"boundary_entries":1,"boundary_exits":1,"reentries":0,"p_stay":0.8888888888888888,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.6666666666666666,"repeated_transition_share":0.3333333333333333,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":52,"end":60,"segment":2,"left_censored":false,"right_censored":true,"steps":8},{"start":61,"end":61,"segment":3,"left_censored":true,"right_censored":false,"steps":1}],"progress":{"steps":9,"new_state":3,"new_transition":6,"new_pair":6,"native_new_model":2,"native_progress_records":9,"native_selected_unvisited":5,"native_selected_unsaturated":6,"native_unvisited_positive":9,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[{"group_id":"scarletnotes-Rep2:entry-002","community_id":"S0001-C0006","functions":["scarletnotes.search-notes"],"direct_target_count":0,"direct_events":[],"trajectory_distinct_steps":{"10":2},"trajectory_step_sequences":{"10":[53,54]},"scope":"same source Activity; reviewed occurrence only; not function purity"}],"functions":["scarletnotes.search-notes"],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g16s33","g16s34","g16s35"],"removed":[]}},{"id":"S0001-C0007","members":["g30s68","g31s70","g31s71"],"lineage_id":"L00007","lineage_status":"birth","metrics":{"size":3,"source_steps":3,"budget_share":0.012,"internal_flow":2,"boundary_entries":0,"boundary_exits":1,"reentries":0,"p_stay":0.6666666666666666,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.0,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":104,"end":106,"segment":6,"left_censored":true,"right_censored":false,"steps":3}],"progress":{"steps":3,"new_state":3,"new_transition":3,"new_pair":3,"native_new_model":1,"native_progress_records":2,"native_selected_unvisited":2,"native_selected_unsaturated":2,"native_unvisited_positive":2,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g30s68","g31s70","g31s71"],"removed":[]}},{"id":"S0001-C0008","members":["g13s28","g16s32"],"lineage_id":"L00008","lineage_status":"birth","metrics":{"size":2,"source_steps":4,"budget_share":0.016,"internal_flow":2,"boundary_entries":2,"boundary_exits":2,"reentries":0,"p_stay":0.5,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.5,"repeated_transition_share":0.0,"complete_dwell_count":2,"dwell_mean":2,"dwell_median":2.0,"dwell_p90":2.0,"dwell_max":2,"episodes":[{"start":50,"end":52,"segment":2,"left_censored":false,"right_censored":false,"steps":2},{"start":62,"end":64,"segment":3,"left_censored":false,"right_censored":false,"steps":2}],"progress":{"steps":4,"new_state":2,"new_transition":4,"new_pair":4,"native_new_model":1,"native_progress_records":4,"native_selected_unvisited":4,"native_selected_unsaturated":4,"native_unvisited_positive":4,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g12s24","g12a275","g13s28"],["g13s28","g13a293","g16s32"],["g16s32","g16a338","g16s33"]]},{"count":1,"path":[["g17s36","g17a406","g16s32"],["g16s32","g16a351","g16s32"],["g16s32","g16a345","g17s36"]]}]},"entry_associations":[{"group_id":"scarletnotes-Rep2:entry-002","community_id":"S0001-C0008","functions":["scarletnotes.search-notes"],"direct_target_count":0,"direct_events":[],"trajectory_distinct_steps":{"10":2},"trajectory_step_sequences":{"10":[51,52]},"scope":"same source Activity; reviewed occurrence only; not function purity"}],"functions":["scarletnotes.search-notes"],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g13s28","g16s32"],"removed":[]}},{"id":"S0001-C0009","members":["g29s64","g29s65"],"lineage_id":"L00009","lineage_status":"birth","metrics":{"size":2,"source_steps":20,"budget_share":0.08,"internal_flow":19,"boundary_entries":0,"boundary_exits":1,"reentries":0,"p_stay":0.95,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.85,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":82,"end":101,"segment":5,"left_censored":true,"right_censored":false,"steps":20}],"progress":{"steps":20,"new_state":3,"new_transition":20,"new_pair":4,"native_new_model":1,"native_progress_records":19,"native_selected_unvisited":19,"native_selected_unsaturated":19,"native_unvisited_positive":19,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g29s64","g29s65"],"removed":[]}},{"id":"S0001-C0010","members":["g36s85","g36s86"],"lineage_id":"L00010","lineage_status":"birth","metrics":{"size":2,"source_steps":1,"budget_share":0.004,"internal_flow":1,"boundary_entries":1,"boundary_exits":0,"reentries":0,"p_stay":1.0,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":0.0,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":111,"end":112,"segment":6,"left_censored":false,"right_censored":true,"steps":1}],"progress":{"steps":1,"new_state":1,"new_transition":1,"new_pair":1,"native_new_model":1,"native_progress_records":1,"native_selected_unvisited":1,"native_selected_unsaturated":1,"native_unvisited_positive":1,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g36s85","g36s86"],"removed":[]}},{"id":"S0001-C0011","members":["g11s21"],"lineage_id":"L00011","lineage_status":"birth","metrics":{"size":1,"source_steps":5,"budget_share":0.02,"internal_flow":4,"boundary_entries":1,"boundary_exits":1,"reentries":0,"p_stay":0.8,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":1.0,"repeated_transition_share":0.0,"complete_dwell_count":1,"dwell_mean":5,"dwell_median":5,"dwell_p90":5.0,"dwell_max":5,"episodes":[{"start":27,"end":32,"segment":2,"left_censored":false,"right_censored":false,"steps":5}],"progress":{"steps":5,"new_state":0,"new_transition":5,"new_pair":2,"native_new_model":0,"native_progress_records":5,"native_selected_unvisited":5,"native_selected_unsaturated":5,"native_unvisited_positive":5,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g9s17","g9a207","g11s21"],["g11s21","g11a247","g11s21"],["g11s21","g11a246","g11s21"],["g11s21","g11a248","g11s21"],["g11s21","g11a252","g11s21"],["g11s21","g11a249","g9s17"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g11s21"],"removed":[]}},{"id":"S0001-C0012","members":["g11s22"],"lineage_id":"L00012","lineage_status":"birth","metrics":{"size":1,"source_steps":8,"budget_share":0.032,"internal_flow":7,"boundary_entries":1,"boundary_exits":1,"reentries":0,"p_stay":0.875,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":1.0,"repeated_transition_share":0.375,"complete_dwell_count":1,"dwell_mean":8,"dwell_median":8,"dwell_p90":8.0,"dwell_max":8,"episodes":[{"start":33,"end":41,"segment":2,"left_censored":false,"right_censored":false,"steps":8}],"progress":{"steps":8,"new_state":0,"new_transition":5,"new_pair":2,"native_new_model":0,"native_progress_records":8,"native_selected_unvisited":4,"native_selected_unsaturated":5,"native_unvisited_positive":5,"native_state_saturated":3},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g9s17","g9a207","g11s22"],["g11s22","g11a256","g11s22"],["g11s22","g11a255","g11s22"],["g11s22","g11a254","g11s22"],["g11s22","g11a254","g11s22"],["g11s22","g11a257","g11s22"],["g11s22","g11a255","g11s22"],["g11s22","g11a256","g11s22"],["g11s22","g11a257","g1s1"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g11s22"],"removed":[]}},{"id":"S0001-C0013","members":["g29s63"],"lineage_id":"L00013","lineage_status":"birth","metrics":{"size":1,"source_steps":2,"budget_share":0.008,"internal_flow":2,"boundary_entries":1,"boundary_exits":0,"reentries":0,"p_stay":1.0,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":1.0,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":101,"end":103,"segment":5,"left_censored":false,"right_censored":true,"steps":2}],"progress":{"steps":2,"new_state":0,"new_transition":2,"new_pair":1,"native_new_model":0,"native_progress_records":2,"native_selected_unvisited":1,"native_selected_unsaturated":2,"native_unvisited_positive":2,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g29s63"],"removed":[]}},{"id":"S0001-C0014","members":["g2s3"],"lineage_id":"L00014","lineage_status":"birth","metrics":{"size":1,"source_steps":2,"budget_share":0.008,"internal_flow":2,"boundary_entries":1,"boundary_exits":0,"reentries":0,"p_stay":1.0,"recent_window":100,"recent_steps":0,"recent_budget_share":0.0,"repeated_state_share":1.0,"repeated_transition_share":0.0,"complete_dwell_count":0,"dwell_mean":null,"dwell_median":null,"dwell_p90":null,"dwell_max":null,"episodes":[{"start":1,"end":3,"segment":0,"left_censored":false,"right_censored":true,"steps":2}],"progress":{"steps":2,"new_state":0,"new_transition":2,"new_pair":1,"native_new_model":0,"native_progress_records":2,"native_selected_unvisited":2,"native_selected_unsaturated":2,"native_unvisited_positive":2,"native_state_saturated":0},"recent_progress":{"steps":0,"new_state":0,"new_transition":0,"new_pair":0,"native_new_model":0,"native_progress_records":0,"native_selected_unvisited":0,"native_selected_unsaturated":0,"native_unvisited_positive":0,"native_state_saturated":0},"top_paths":[]},"entry_associations":[{"group_id":"scarletnotes-Rep2:entry-001","community_id":"S0001-C0014","functions":["scarletnotes.create-note-empty-state"],"direct_target_count":1,"direct_events":[1],"trajectory_distinct_steps":{"3":2,"5":2,"10":2},"trajectory_step_sequences":{"3":[2,3],"5":[2,3],"10":[2,3]},"scope":"same source Activity; reviewed occurrence only; not function purity"}],"functions":["scarletnotes.create-note-empty-state"],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g2s3"],"removed":[]}},{"id":"S0001-C0015","members":["g46s109"],"lineage_id":"L00015","lineage_status":"birth","metrics":{"size":1,"source_steps":9,"budget_share":0.036,"internal_flow":8,"boundary_entries":1,"boundary_exits":1,"reentries":0,"p_stay":0.8888888888888888,"recent_window":100,"recent_steps":9,"recent_budget_share":0.09,"repeated_state_share":1.0,"repeated_transition_share":0.0,"complete_dwell_count":1,"dwell_mean":9,"dwell_median":9,"dwell_p90":9.0,"dwell_max":9,"episodes":[{"start":181,"end":190,"segment":8,"left_censored":false,"right_censored":false,"steps":9}],"progress":{"steps":9,"new_state":0,"new_transition":9,"new_pair":2,"native_new_model":0,"native_progress_records":9,"native_selected_unvisited":9,"native_selected_unsaturated":9,"native_unvisited_positive":9,"native_state_saturated":0},"recent_progress":{"steps":9,"new_state":0,"new_transition":9,"new_pair":2,"native_new_model":0,"native_progress_records":9,"native_selected_unvisited":9,"native_selected_unsaturated":9,"native_unvisited_positive":9,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g46s107","g46a1518","g46s109"],["g46s109","g46a1543","g46s109"],["g46s109","g46a1550","g46s109"],["g46s109","g46a1526","g46s109"],["g46s109","g46a1549","g46s109"],["g46s109","g46a1534","g46s109"],["g46s109","g46a1542","g46s109"],["g46s109","g46a1544","g46s109"],["g46s109","g46a1535","g46s109"],["g46s109","g46a1536","g3s4"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g46s109"],"removed":[]}},{"id":"S0001-C0016","members":["g46s110"],"lineage_id":"L00016","lineage_status":"birth","metrics":{"size":1,"source_steps":19,"budget_share":0.076,"internal_flow":14,"boundary_entries":5,"boundary_exits":5,"reentries":4,"p_stay":0.7368421052631579,"recent_window":100,"recent_steps":19,"recent_budget_share":0.19,"repeated_state_share":1.0,"repeated_transition_share":0.21052631578947367,"complete_dwell_count":5,"dwell_mean":3.8,"dwell_median":3,"dwell_p90":6.0,"dwell_max":6,"episodes":[{"start":210,"end":213,"segment":8,"left_censored":false,"right_censored":false,"steps":3},{"start":214,"end":216,"segment":8,"left_censored":false,"right_censored":false,"steps":2},{"start":217,"end":219,"segment":8,"left_censored":false,"right_censored":false,"steps":2},{"start":220,"end":226,"segment":8,"left_censored":false,"right_censored":false,"steps":6},{"start":227,"end":233,"segment":8,"left_censored":false,"right_censored":false,"steps":6}],"progress":{"steps":19,"new_state":0,"new_transition":15,"new_pair":3,"native_new_model":0,"native_progress_records":19,"native_selected_unvisited":15,"native_selected_unsaturated":18,"native_unvisited_positive":19,"native_state_saturated":0},"recent_progress":{"steps":19,"new_state":0,"new_transition":15,"new_pair":3,"native_new_model":0,"native_progress_records":19,"native_selected_unvisited":15,"native_selected_unsaturated":18,"native_unvisited_positive":19,"native_state_saturated":0},"top_paths":[{"count":1,"path":[["g8s16","g8a203","g46s110"],["g46s110","g46a1558","g46s110"],["g46s110","g46a1572","g46s110"],["g46s110","g46a1569","g8s16"]]},{"count":1,"path":[["g8s16","g8a203","g46s110"],["g46s110","g46a1565","g46s110"],["g46s110","g46a1568","g9s17"]]},{"count":1,"path":[["g9s17","g9a206","g46s110"],["g46s110","g46a1559","g46s110"],["g46s110","g46a1566","g9s17"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g46s110"],"removed":[]}},{"id":"S0001-C0017","members":["g8s16"],"lineage_id":"L00017","lineage_status":"birth","metrics":{"size":1,"source_steps":28,"budget_share":0.112,"internal_flow":21,"boundary_entries":7,"boundary_exits":7,"reentries":5,"p_stay":0.75,"recent_window":100,"recent_steps":27,"recent_budget_share":0.27,"repeated_state_share":0.9285714285714286,"repeated_transition_share":0.42857142857142855,"complete_dwell_count":6,"dwell_mean":4.5,"dwell_median":2.5,"dwell_p90":10.0,"dwell_max":15,"episodes":[{"start":22,"end":22,"segment":1,"left_censored":false,"right_censored":true,"steps":0},{"start":23,"end":23,"segment":2,"left_censored":true,"right_censored":false,"steps":1},{"start":198,"end":202,"segment":8,"left_censored":false,"right_censored":false,"steps":4},{"start":203,"end":208,"segment":8,"left_censored":false,"right_censored":false,"steps":5},{"start":209,"end":210,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":213,"end":214,"segment":8,"left_censored":false,"right_censored":false,"steps":1},{"start":233,"end":248,"segment":8,"left_censored":false,"right_censored":false,"steps":15},{"start":249,"end":250,"segment":8,"left_censored":false,"right_censored":false,"steps":1}],"progress":{"steps":28,"new_state":2,"new_transition":16,"new_pair":3,"native_new_model":1,"native_progress_records":28,"native_selected_unvisited":16,"native_selected_unsaturated":19,"native_unvisited_positive":20,"native_state_saturated":8},"recent_progress":{"steps":27,"new_state":1,"new_transition":15,"new_pair":2,"native_new_model":1,"native_progress_records":27,"native_selected_unvisited":15,"native_selected_unsaturated":18,"native_unvisited_positive":19,"native_state_saturated":8},"top_paths":[{"count":1,"path":[["g46s108","g46a1525","g8s16"],["g8s16","g8a194","g8s16"],["g8s16","g8a192","g8s16"],["g8s16","g8a193","g8s16"],["g8s16","g8a201","g9s17"]]},{"count":1,"path":[["g9s17","g9a208","g8s16"],["g8s16","g8a195","g8s16"],["g8s16","g8a196","g8s16"],["g8s16","g8a197","g8s16"],["g8s16","g8a202","g8s16"],["g8s16","g8a199","g9s17"]]},{"count":1,"path":[["g9s17","g9a206","g8s16"],["g8s16","g8a203","g46s110"]]}]},"entry_associations":[],"functions":[],"mixed_entry_functions":false,"navigation_candidate_states":[],"navigation_candidate_ratio":0.0,"member_delta":{"added":["g8s16"],"removed":[]}}],"lineage_links":[],"lineage_events":[],"entry_occurrences":[{"group_id":"scarletnotes-Rep2:entry-001","function":"scarletnotes.create-note-empty-state","event_seq":1,"transition_identity":"g2e0:1","source_state":"g1s1","target_state":"g2s3","source_activity":"com.maubis.scarlet.base.MainActivity","model_action_identity":"g1a8","concrete_identity":"8c38f4e415e85017322e2e095fb932373849a4ed8e8ce44ecf079f1d37c8d737","label_provenance":"ORACLE_REPLAY","human_confirmed":false,"category":"I","segment":0,"snapshot_at_execution":null,"community_at_execution":null,"community_status":"NOT_YET_IN_SNAPSHOT"},{"group_id":"scarletnotes-Rep2:entry-002","function":"scarletnotes.search-notes","event_seq":42,"transition_identity":"g12e34:42","source_state":"g1s1","target_state":"g12s24","source_activity":"com.maubis.scarlet.base.MainActivity","model_action_identity":"g1a6","concrete_identity":"7df4829d5ec6ea210057e3e516d0294398157b1d4975049e4f890d43d559bb0b","label_provenance":"ORACLE_REPLAY","human_confirmed":false,"category":"I","segment":2,"snapshot_at_execution":null,"community_at_execution":null,"community_status":"NOT_YET_IN_SNAPSHOT"},{"group_id":"scarletnotes-Rep2:entry-002","function":"scarletnotes.search-notes","event_seq":44,"transition_identity":"g12e34:44","source_state":"g1s1","target_state":"g12s24","source_activity":"com.maubis.scarlet.base.MainActivity","model_action_identity":"g1a6","concrete_identity":"7df4829d5ec6ea210057e3e516d0294398157b1d4975049e4f890d43d559bb0b","label_provenance":"ORACLE_REPLAY","human_confirmed":false,"category":"I","segment":2,"snapshot_at_execution":null,"community_at_execution":null,"community_status":"NOT_YET_IN_SNAPSHOT"}],"trajectory_windows":[{"group_id":"scarletnotes-Rep2:entry-001","entry_event_seq":1,"window":3,"observed_through_event_seq":3,"complete":false,"segment_boundary":true,"events":[2,3],"community_steps":{"S0001-C0014":2},"longest_continuous":{"S0001-C0014":2}},{"group_id":"scarletnotes-Rep2:entry-001","entry_event_seq":1,"window":5,"observed_through_event_seq":3,"complete":false,"segment_boundary":true,"events":[2,3],"community_steps":{"S0001-C0014":2},"longest_continuous":{"S0001-C0014":2}},{"group_id":"scarletnotes-Rep2:entry-001","entry_event_seq":1,"window":10,"observed_through_event_seq":3,"complete":false,"segment_boundary":true,"events":[2,3],"community_steps":{"S0001-C0014":2},"longest_continuous":{"S0001-C0014":2}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":42,"window":3,"observed_through_event_seq":45,"complete":true,"segment_boundary":false,"events":[43,44,45],"community_steps":{"S0001-C0005":3},"longest_continuous":{"S0001-C0005":3}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":42,"window":5,"observed_through_event_seq":47,"complete":true,"segment_boundary":false,"events":[43,44,45,46,47],"community_steps":{"S0001-C0005":5},"longest_continuous":{"S0001-C0005":5}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":42,"window":10,"observed_through_event_seq":52,"complete":true,"segment_boundary":false,"events":[43,44,45,46,47,48,49,50,51,52],"community_steps":{"S0001-C0005":8,"S0001-C0008":2},"longest_continuous":{"S0001-C0005":8,"S0001-C0008":2}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":44,"window":3,"observed_through_event_seq":47,"complete":true,"segment_boundary":false,"events":[45,46,47],"community_steps":{"S0001-C0005":3},"longest_continuous":{"S0001-C0005":3}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":44,"window":5,"observed_through_event_seq":49,"complete":true,"segment_boundary":false,"events":[45,46,47,48,49],"community_steps":{"S0001-C0005":5},"longest_continuous":{"S0001-C0005":5}},{"group_id":"scarletnotes-Rep2:entry-002","entry_event_seq":44,"window":10,"observed_through_event_seq":54,"complete":true,"segment_boundary":false,"events":[45,46,47,48,49,50,51,52,53,54],"community_steps":{"S0001-C0005":6,"S0001-C0008":2,"S0001-C0006":2},"longest_continuous":{"S0001-C0005":6,"S0001-C0008":2,"S0001-C0006":2}}],"diagnostics":{},"pending_since_previous":250,"interpretation":"Current partition projected onto PAST evidence only; occurrence community_at_execution stays frozen; no sufficiency/suppress decision","total_compute_ms":20.702490815892816}