speclogician/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/commands/__init__.py,sha256=N4N3ymNTnL-B4d5SkiqObdRjG5D3tsM23yihz2wwuHg,288
speclogician/commands/cmd_ch.py,sha256=X5e_00pkT_GOp1vpezpgdqk6-CSnXo1Ct-vjBqFA0DE,20130
speclogician/commands/cmd_ch_data.py,sha256=fPWcOhErH9uqwbj0uRul4EFsjyh-yylPMlg3Gv7KbIA,5995
speclogician/commands/cmd_ch_trace.py,sha256=DC1iwVuEvkLnX6EgMHTYgId9IS0pwl7THKLnYIE527s,6535
speclogician/commands/cmd_find.py,sha256=omN1awFMIWRPrs-7UmjFDIJ8rxb2JwmhgG7cvCkWDoY,13433
speclogician/commands/cmd_reach.py,sha256=KOmrAYV1aWbqHAq1Utpp-7-o5HAvDvzAgDf7Ash_0Us,18261
speclogician/commands/cmd_view.py,sha256=SLa1eXHWT8OJ2gb7j2uBGxQKMxL2VSDqw4-Gtzr5raQ,8440
speclogician/commands/runner.py,sha256=caN7O077x4qYk0gFj6mrMm1HnTqtFvyjZrzOqVy0sM8,7880
speclogician/commands/utils.py,sha256=0SaJQx7PMdXSgBTUGG_XAcY9Z5zoAcBFvJ-AixKXYGU,2818
speclogician/data/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/data/artifact.py,sha256=PalWpLb4tGcbXykA6ACau1y1wmSX4JyoPAtMqfliL3E,661
speclogician/data/container.py,sha256=0wuMXSLSvFNe1b_Yhs7DgFKWlcdxoYvQZs8qWrpynIk,16197
speclogician/data/mapping.py,sha256=rgGyOUgtreAP0bQvx7Ui7Qit8hjpiVuoBWjYWHEUeJw,2960
speclogician/data/refs.py,sha256=OHqN3t5G4WUB4b2NnanImUuvPjKvnSEJnJe9y4aT3_U,698
speclogician/data/traces.py,sha256=w3rTS-UFIPBSq80JI4xjcXI6p4b2y6U8kHJ-roVEs10,4542
speclogician/demos/.DS_Store,sha256=E-dHWTvatN4vA5ts7JaNqfcPfYHkkam8WQLYmNHTFg4,6148
speclogician/demos/cmd_demo.py,sha256=1aiE1G2SKdVaO1WOi7omCEc2eMsL5DreiHmugiBJv0M,9020
speclogician/demos/content/bank-account/artifacts.md,sha256=zG6tH0Q5js9_lCdZEizfSS3D7JrCsDWmBCec6uwWFF0,2647
speclogician/demos/content/bank-account/changes.py,sha256=MdHE11fOXU_SmLCcoxXKD0jWZGeRZIFISFtYJ9S7FMM,7884
speclogician/demos/content/bank-account/description.md,sha256=lCIQshOSzmIk4WUEhdpq0siI6IJOdGDD303KrypKCG0,96
speclogician/demos/content/bank-account/notes.md,sha256=NThKgzt6qLuxNszXjAj5i1-Uhc4zZDrMNW7fDtwoHPc,608
speclogician/demos/content/bank-account/state.json,sha256=VJoiuq57dAyvwFo6T3wSSBpFNSI2aox0DhegUCuKh0U,853687
speclogician/demos/content/boundary-conflict/artifacts.md,sha256=sR71QWa1z6OUQNmHYDwWUTfC8NXjaAutJN85PLb3Eno,314
speclogician/demos/content/boundary-conflict/changes.py,sha256=BgNSHBTTk3tcfg_aJ0T_QYe9aKCRATug9SOjcovXK-c,2879
speclogician/demos/content/boundary-conflict/description.md,sha256=YXWVeyCpiKXa8vTqYA-65yAx6049U9Aqw9oitbWfds0,77
speclogician/demos/content/boundary-conflict/notes.md,sha256=qd0wuxFRKHBKVfmvlcBiJyqz4WR346nutq5mbBEWRJA,174
speclogician/demos/content/boundary-conflict/state.json,sha256=hdEol97VGBY54g8Jkt7wihXABA4dVcEhBavsmgm-0xI,257998
speclogician/demos/content/handshake/artifacts.md,sha256=BwYnevq2XW-jUpmoDSp2J-n6DfPuwMnSNxLXvGpA0ro,320
speclogician/demos/content/handshake/changes.py,sha256=SUfT3spXW1kendfMXd92gehi2FNwaDJdodCiT7oLXYE,3499
speclogician/demos/content/handshake/description.md,sha256=nzdoR3QsHz39LkL-0vXO3CzVcdakgAC-dbueZCWyWog,89
speclogician/demos/content/handshake/notes.md,sha256=yPlvMl0HmW35u_aa6NpyQ3zkWt59KJl9xt8aSuiOWkk,184
speclogician/demos/content/handshake/state.json,sha256=H3E72uizIWGbUeAsbdKROt4AiChikqOxO2iAAVBhNM4,369251
speclogician/demos/content/order-limits/artifacts.md,sha256=ralNdzLbkOr53TWdMlIb9Jbxu0n2KRif_wtf63TMooo,3219
speclogician/demos/content/order-limits/changes.py,sha256=b47KxTZ3eUHSFuPNOoKeT0WvZzitncdOIWmXlIPh3ws,5054
speclogician/demos/content/order-limits/description.md,sha256=rFB0k2W2wo6q9h-Wp4YnHylhGKwLlQvlEG0ey2HWQeE,45
speclogician/demos/content/order-limits/notes.md,sha256=8UR-r4zIhlpDNghT1l1Xrf4qR00yg1afm3a0sUQY8Fo,1094
speclogician/demos/content/order-limits/state.json,sha256=GDHJI1J2QYBuUeDxCBMKtyN8kj5l0LH4IMdDMlWHzoo,262394
speclogician/demos/content/risk-flag-latch/artifacts.md,sha256=WEqCeW185u5cuh1pZKMQG3xLkwNaDUTvVdaOIRh0c9s,566
speclogician/demos/content/risk-flag-latch/changes.py,sha256=2KbC_deZtwRTNHnCGUT93gJWs7juJ7cRUEGltBxVQyA,4683
speclogician/demos/content/risk-flag-latch/description.md,sha256=eyvyYxuYrcbtgMRzdDUkQ-m0hHF86RpW6xq6VHub7Ec,74
speclogician/demos/content/risk-flag-latch/notes.md,sha256=w94eXnl-zZn6qMeYk8RnuB5fwAva9nCAN0kUBQUjacA,331
speclogician/demos/content/risk-flag-latch/state.json,sha256=ZcphyXU6FRZe9JFbpEDexGifdbRZfHIYQJmYwaUDPCc,404461
speclogician/demos/content/shopping-cart/artifacts.md,sha256=L5F3IIVHvqrYV9Zt9YGScCH0JX25ARde4SocW3ndTN4,2787
speclogician/demos/content/shopping-cart/changes.py,sha256=RK4BUjbVkmY8Jismbft3tM90ceRhQiCGK96Ghcvf0aQ,9072
speclogician/demos/content/shopping-cart/description.md,sha256=4T6V0eXDJvju9maJ0em5OLiLcJsN2X-nuap_Bjd8uZ0,92
speclogician/demos/content/shopping-cart/notes.md,sha256=uk4vykHYIQ9ldZDDAEzyrtQmu61FGzOAZh4PajgLksg,637
speclogician/demos/content/shopping-cart/state.json,sha256=H1taesrVk-uI91rXIuUF0Hcr6AAQWKH-XJsI7XLdLlQ,1242661
speclogician/demos/content/six-swiss/artifacts.md,sha256=Ywh_NptPdLjwGmg2AaMGzEDsSUgDhmbiRcXFEi-3aZQ,1006
speclogician/demos/content/six-swiss/changes.py,sha256=jY0dYkrIvK5O1Xawv3O14iUhFLuu6G_z41r16RYtLQs,26245
speclogician/demos/content/six-swiss/description.md,sha256=XjYtDUVtWa1lPGa_gadsmHPjydCVsYtI_U8yKEyZXQg,170
speclogician/demos/content/six-swiss/notes.md,sha256=7aTpAedfR3Yu95RnchKQ_FN3lM1bX_gj_vkiCxMFww4,2027
speclogician/demos/content/six-swiss/state.json,sha256=1w1rmA-inCxIU0y335mRy2kHCKRYIcEcMMFUXSR1_Y0,4637181
speclogician/demos/content/stock-exchange/artifacts.md,sha256=nWuxnhub-gzwcrgAWmMCAZwxL2HoTcOmsPnQVQ-YNJo,2253
speclogician/demos/content/stock-exchange/changes.py,sha256=TqeuqpGbYU5UHRGsFQV4teeQ7jHN44coAUlb8WUdZi4,11145
speclogician/demos/content/stock-exchange/description.md,sha256=ZJ50dvP1IwNyIPErKPo1Jt75ddOS-gIQCPjfPZyNaPA,121
speclogician/demos/content/stock-exchange/notes.md,sha256=k3MOnKbfrrPp3idat-PeEPV4ahex-aCfBDM7g-jdpPE,1176
speclogician/demos/content/stock-exchange/state.json,sha256=Nx3ybStML3iRRTEbUPJdKDiFRZT3N-Vxrg5-aoBa3BI,1006417
speclogician/demos/content/trace-driven/artifacts.md,sha256=3SfPuTTQ72sBASPbfn3x9ZuigIKRcSzZAqxA84ljfb4,310
speclogician/demos/content/trace-driven/changes.py,sha256=Lqt7zqGBH3dpmiAE36LXTIFyvTF5obyLxlx1WWo0qso,2463
speclogician/demos/content/trace-driven/description.md,sha256=vf1nSecpgYOmfc5Ip4yYwxZAb3EkTBd6DxOenQsCi_I,109
speclogician/demos/content/trace-driven/notes.md,sha256=bGHqieXPjpcv3EZy9x8sIA9P2d0TYImi9ZYg0s1IN2E,172
speclogician/demos/content/trace-driven/state.json,sha256=5EHHeeuLI5SmPCvrZ74ll2dI7Qqu7dj84T0fKGQtNgE,188599
speclogician/demos/content/traffic-light/artifacts.md,sha256=RQ-jjWPMHfXd_uJNP-odZtDGz-kIeF3Jku_OmIFIWJU,2508
speclogician/demos/content/traffic-light/changes.py,sha256=20YjraniixAzO3bqNUXqgjswaWSJXvxBJgMhFmUgs6U,5572
speclogician/demos/content/traffic-light/description.md,sha256=quFGqr7kJOJoF-JwVBHhW5vI1PrEFSdWdXeQZWePhTg,85
speclogician/demos/content/traffic-light/notes.md,sha256=X9_3O_GtvKV2Ntyf0kceOdVd6KejQLn7c7CNAjtVngw,623
speclogician/demos/content/traffic-light/state.json,sha256=dimycEZTDWbuO7pgTx_EjBv-m3ODqACm6CDufcnOVns,560935
speclogician/demos/loader.py,sha256=X6U7XDgXM74_1tzPI6GbKkCKhgaf6CPS1RK9N8aMHhc,4331
speclogician/demos/model.py,sha256=Ipixvki-9WZf7uHIJTG0HQxUqQgc_veaihSe1R8o7DQ,505
speclogician/demos/runner.py,sha256=V7RnQxykBzG_fQXeQYhTcrc0L1g01pIREzhZugTc0u4,1224
speclogician/logic/__init__.py,sha256=gm0Waf2HbQkil5PJlao6Tf09mn8bJu2BY8RQlsNgaVg,145
speclogician/logic/api/__init__.py,sha256=UVKNzdlDxsNRxP4MI8eA-tI0tZJDr3-0tK91BSuuEyk,622
speclogician/logic/api/client.py,sha256=GmnxPO8S9JSaarsQhrRzELipM-Zhlp4xScUsUW5fxGI,36552
speclogician/logic/api/decomp.py,sha256=UWU5jjOva95u7qcBUrqdTC-ukqgMKzzQ1-JMMUAEHpw,2025
speclogician/logic/api/scenario.py,sha256=r225XqLwVP8lSYftEbLCNXfpx-50ibkZghmA9KUY2Us,3189
speclogician/logic/api/traces.py,sha256=Z80B_SPrm9he5e2dRW3ZVWJhseOzUImC9e2LI_j9XUM,1639
speclogician/logic/lib/__init__.py,sha256=bfz7KN-frx-qjP0APzK4tb7U9HNhOqQlsvhi4zxteA4,671
speclogician/logic/lib/complement.py,sha256=aCLiXdvoVIKre75qVWZx3dPTHQ41w6HGDU6KcmZMg4A,3252
speclogician/logic/lib/domain_model.py,sha256=Q5lcha7tKx9nUsK9jL2bucn9Sxccf40hGydRaO_fhyg,1877
speclogician/logic/lib/predicates.py,sha256=uakbWCwJRbh9hXgNnf-iFTWA5g-lQk8MBhh_ZoiJgOI,6622
speclogician/logic/lib/reachability.py,sha256=r9lrERVWtL8VM9W97p3EOHCWQKtEG8NdkOx7h1XIPk4,5198
speclogician/logic/lib/scenarios.py,sha256=26NiAoQQQdQbuZERNFH0Lwqi0OJfkw8wJ2Em92wHi-k,11846
speclogician/logic/lib/state_reachability.py,sha256=AbnYVHO2fpt7T5Q6OMWdIMHM6LQ3pRd3w8fbbgCibu4,5150
speclogician/logic/lib/traces.py,sha256=wykweVEWYaCyn0jlQSekt6EEtLektsQ8frevGH-IIds,4614
speclogician/logic/lib/transitions.py,sha256=o4X-K_awWNUcvqqmcss1GiE-PlL6ojxOjQctxOGY5Ro,3884
speclogician/logic/main.py,sha256=nDayRujHa6_0X7Fa0jsVJ0izYQ4pyWS72ai71O4I_NY,14621
speclogician/logic/strings.py,sha256=lCzktKXHScQW-ZaBjnH9CHzVSHfMJzFas_1rNxzoowQ,7758
speclogician/logic/utils.py,sha256=6ZzYKrQrB4nEkvHE4_jpM7EOzfWYbU3QJwsEq-5ypWk,3602
speclogician/main.py,sha256=TtSM6QQHFhMlJWq_jhATJtbBDJ0XL-EPkioUmZS-rI0,6787
speclogician/modeling/__init__.py,sha256=-HA2X0crrbTiwRgR21fRx5SKnztPECcu-eRn2KsaSMA,819
speclogician/modeling/complement.py,sha256=JZq5E_4w2F1VcAM34qmi02PxF_3h0bWm0OgjhYbH4ZE,3121
speclogician/modeling/component.py,sha256=ETpS11YU7zFDepbOLyHd64tqBVceXB6kNCqaW1k2f5c,2181
speclogician/modeling/conflict.py,sha256=kFVykVVi3vH7TFAVSDrH1RJS6WnO4nzWW65lukfiMS8,591
speclogician/modeling/domain.py,sha256=bl0MkY8wWVJ5qxBftaQVU6urj90Uh_Xp38ci6uRUuHg,12547
speclogician/modeling/predicates.py,sha256=IFEwoc2ao6a11BjuDd5YsdefdpGmc1i9zSZHczMERKY,1447
speclogician/modeling/reachability.py,sha256=E1xkd25KqNJHr-g86C-oWduTxPrWmHa6rVX7n_5IOJ4,11579
speclogician/modeling/scenario.py,sha256=MqU00LgAxuEnTkgupCqqMfmKzsGAHtRZMYTUrJd7ftk,4917
speclogician/modeling/spec.py,sha256=mE1cLp29a8NBdittq28--yZe_t153d2uSFp0PU-cRLk,13507
speclogician/modeling/spec_stats.py,sha256=sWsHX0_EG0AnPEOoc713pwmKvvaOg0YWHkQsdCVJ7II,2197
speclogician/modeling/state_reachability.py,sha256=kw1YFkbzj61xdsTGwf8eUa4DuWDt2zV3-I49-6SYUvQ,19655
speclogician/modeling/trace_reachability.py,sha256=uK62y4BegTBXENP3aECf1WoDNXXeMV0CzS9wN15TcTw,5266
speclogician/modeling/trace_reachability_compute.py,sha256=T_4pRG2DefYOEgjvOwD0dw2TDNLME1WalFwxy2dp6F8,12435
speclogician/presentation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/presentation/api.py,sha256=8am6Z3h4um8m_DNSIBdmgfCME0zB4TBtPwgl4XeN-zI,7824
speclogician/presentation/builders/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/presentation/builders/_links.py,sha256=KouKQoJUzGbIAXPwsRpiRiBzhA7_XKYR4EMQkonkNgo,1231
speclogician/presentation/builders/container.py,sha256=3AN0Z3yjtadf8SLY-SZ937l8CcpDF81k6Y-uLTujizY,2012
speclogician/presentation/builders/data_artifact.py,sha256=SLs4yCg2bJUie-bimdfShpHM_45a7S33JjzpI5SuqLo,1139
speclogician/presentation/builders/domain.py,sha256=jL_wmRS0BAEGr2niWqMr8if8pIxUdCxm7IzuotVP7Ec,1984
speclogician/presentation/builders/instances_list.py,sha256=Jo0ev28ePD7I7GB7m34So0STEPc0d1GNwx2TeS6wmqQ,1215
speclogician/presentation/builders/predicate.py,sha256=VCloCAnFKd9vWjd4qRqSJhEYsbvOOL4sf2Inn_nGuMY,1666
speclogician/presentation/builders/recommendations.py,sha256=Xcs3wDZvJX1dgv5OAlKN_0BbMux-iM_giXYQsaSQPms,1121
speclogician/presentation/builders/scenario.py,sha256=44E5e3kcvWsBGRVFVWq_3gXRwL74_GIBlqT8GSZr9CY,1158
speclogician/presentation/builders/scenario_complement.py,sha256=QRACOrjQ-uJvCaaJCeuMrPyXbIe6VUJRa0QfUg7JXhY,2348
speclogician/presentation/builders/smart_find.py,sha256=TKtJLkqfwGO0Gn1tt725kKIKhXitwTFwnWNWKT-fnFI,1351
speclogician/presentation/builders/spec.py,sha256=lBZWloQ6jADO558WkRRm6PIPTUgDUs4Jo7apr_9bmFU,1171
speclogician/presentation/builders/state_diff.py,sha256=qW4zRf8cizV4ZEG-8WT_RwQtSQYJC8kV0RSo-tu75BU,5757
speclogician/presentation/builders/state_instance.py,sha256=Plqqo3kDouUrLFwkdBUJIzqU5diBuHBuDAvFMglsy6o,1833
speclogician/presentation/builders/state_instance_summary.py,sha256=1ZSnxmvRJu3C26NQzEtHnn8-8dxEELxneZ1k8549B9M,3499
speclogician/presentation/builders/trace.py,sha256=VVbQwmFSTpqCzjOT8fQnZfpjoFjv-1ZglLaVsf2ypRA,1692
speclogician/presentation/builders/trace_reachability.py,sha256=GEffxMBmkCdNCz5nAXNA1PXMfWbHWvkVvzRniAaq3Gs,4426
speclogician/presentation/ctx.py,sha256=5ETdxd6M5erN00qfvEbdX9u7IK0r5mDRLMXicpTg-WU,1656
speclogician/presentation/models/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/presentation/models/container.py,sha256=9higsGlVam3y0sCPeMUZw2S3uN5CNi5wZ-FCYrzThQ0,1255
speclogician/presentation/models/data_artifact.py,sha256=lIbfz3NfBh98EIXJJFCiN_uKsKs4W4_f8_9Hdt8B4u8,625
speclogician/presentation/models/domain.py,sha256=eGd3ADSaLc4uLclbFIMbb4l3sdgeA3YS9Ofm-YIrUGc,1084
speclogician/presentation/models/instances_list.py,sha256=vkTsBh56OF1qsE0y1TO_dUCwz_kNimoONK0cJo7cgHg,643
speclogician/presentation/models/predicate.py,sha256=53bOFp-6eYTOGvvFVvqUah-xpRud8AMP-Nc-kvSuiI4,1322
speclogician/presentation/models/recommendations.py,sha256=S76MGmabo84po-Ior0aBw0lGo0m0UTXXYJfod2mPt7M,763
speclogician/presentation/models/scenario.py,sha256=ltmcQw_ThUt_zovtniOvPIsvGLXg0lz-J2pD8__KIhk,744
speclogician/presentation/models/scenario_complement.py,sha256=ql_fbRe3564TGzgOD_N7VgA0_3RUeeyvBN95sG4veQw,975
speclogician/presentation/models/smart_find.py,sha256=UDH5A_2WVapDlm0XNGWpY89KC_EuqxsbGDTLdX3NvEI,930
speclogician/presentation/models/spec.py,sha256=GI-Fuum5aloB5O7cH8qRG2CyIHPW74lNqAIuD2eXNgY,740
speclogician/presentation/models/state_diff.py,sha256=BmK7r1dCdxytja7gEDc2HzZmm2bfcQ_EryaV_wG6N_A,1490
speclogician/presentation/models/state_instance.py,sha256=BZaHj4POly5lWDWq6ujjXKZVUSrLonRgOCAuM5czChg,1120
speclogician/presentation/models/state_instance_summary.py,sha256=Uhldl-MYyVdoZuqV_uVDaIAYRRbYYxuOanSi2J2SFTc,2927
speclogician/presentation/models/trace.py,sha256=CXSm1Sg7bMeTpR8HM8a_eoO7EW1VqDinP6oJVkvMaOY,852
speclogician/presentation/models/trace_reachability.py,sha256=SN2v24KsunIrBE0Z864ztiYGLPRpoYM_ei0UwaokeK0,2362
speclogician/presentation/preview/__init__.py,sha256=pO6ExK7gHPY5l0_IIcC7STkgH7yaG77eZXxg179QV6A,179
speclogician/presentation/preview/cli.py,sha256=nMn-yw7eCShFOvI-zDPp1GnNqTW2Rbm4pDDF1INaNvU,1628
speclogician/presentation/preview/fixtures/__init__.py,sha256=sZBOhxalIDCJavS_BmvCSwlQOiUKQMqMiLHjg_fEZxU,5902
speclogician/presentation/preview/fixtures/artifact_container.py,sha256=_GJ9H6Gi2RBdeL-5lnMVMJKlMxtV1hLSLL71uEazRBg,4767
speclogician/presentation/preview/fixtures/data_artifact.py,sha256=qk_euGBppBdnK-owp8L49gulm6ZucieoNNVuvhtGgws,4487
speclogician/presentation/preview/fixtures/domain_model.py,sha256=xdzgFH0xDLdLOsRa9_66QlJlI2JhVDv25fHdcBpiMAs,5291
speclogician/presentation/preview/fixtures/instances_list.py,sha256=PcBwHfDvXkTInlW0tF0oovqBH5keXyWRLhq1dWuVjFc,5527
speclogician/presentation/preview/fixtures/predicate.py,sha256=ldkbWsIT6bZRS-pXbTNSAXtpkPDHZQQGAw6D54HDA0I,5493
speclogician/presentation/preview/fixtures/scenario.py,sha256=JUs2gG_3C-AE5yb-GLDR_J8VSl6MQ1Djn6rIQz5ieSU,2517
speclogician/presentation/preview/fixtures/scenario_complement.py,sha256=S3Fi3Sbvifw6l-iV0ddT-vg8BQh8ifBs7Ycjo-scaQU,2313
speclogician/presentation/preview/fixtures/smart_find.py,sha256=wZRVEjZkMtMpK4oxmK9tRsxwajeO7DveOau3mhfnGkE,3898
speclogician/presentation/preview/fixtures/spec.py,sha256=NpOqb0I50CZ-kVdmjepKZolvtaRJQET84E3_QQIwSqs,2925
speclogician/presentation/preview/fixtures/state_diff.py,sha256=rCX2qat02WnczYq2gYyBzgElXIUH5jtO4EfhpZWjy_4,5872
speclogician/presentation/preview/fixtures/state_instance.py,sha256=rhieR2ukOVAqTV42AmQ9VWlRe-73e6aXkNE1X3Je6F8,4196
speclogician/presentation/preview/fixtures/state_instance_summary.py,sha256=GMG8wiajtg3bRxIYI2njN6xuuFsqC5Nr1MqUg4N_o5c,2515
speclogician/presentation/preview/fixtures/trace.py,sha256=gIx40qBnSRdwgKCo1capkbdKosx957oI302fK1eyOS8,6881
speclogician/presentation/preview/registry.py,sha256=pSndyi5oonpgjnBxV2uzEBcwr7Jtplr8_JAieWgFW7c,953
speclogician/presentation/renderers/__init__.py,sha256=2nMURd6Md432olVbra7lDWkqZrSWAmcomRpnM7GjMDU,625
speclogician/presentation/renderers/container.py,sha256=xMR9eNIgfD9wf49p0xOV5TNtEcuoEgjUTYfMuJxSVSA,4092
speclogician/presentation/renderers/data_artifact.py,sha256=JWZc7sqVVDy5nk6Lxg0ENLA9CmBtlvI7jI8B8Ld-lvo,4014
speclogician/presentation/renderers/domain.py,sha256=bw-eLfwWmHMv-xtDkvAMWU8Wq6vLb-z_i_6K9MKO-F4,3656
speclogician/presentation/renderers/instances_list.py,sha256=--lGTm0vVUmE2CkNcgirNRT_ngqE4r2sasjZ9_jltXI,4226
speclogician/presentation/renderers/predicate.py,sha256=GyvLo_-6F6IPeiswfmPEGUJ6xf6hiOJBiqQaJnkPJms,6154
speclogician/presentation/renderers/recommendations.py,sha256=VW1HHBiLbvHbfs3Qw59UzrQuSosi_k1tDyZl7a8YfNM,2479
speclogician/presentation/renderers/scenario.py,sha256=NblrIVZO7k8Vq2gISEzdKyISWbpJTfRl4S-ug-ZgzZk,2620
speclogician/presentation/renderers/scenario_complement.py,sha256=pDTtWq-q95xuzmhu07ykVRZvwxx7TQGT8uwB45aOrAc,1769
speclogician/presentation/renderers/smart_find.py,sha256=-lvWpLZaswakKr7wujkxqdWFg5Lg2UyA6klhN2mshd0,10143
speclogician/presentation/renderers/spec.py,sha256=56G1x02Su-Vdbo3mi7acErxr_LycmUFTcr5Cer6KuOs,3619
speclogician/presentation/renderers/state_diff.py,sha256=L_eMeuge-vpQnnOWK2Zkq2DvYOG_UH9Ecg8WptDVt1o,3236
speclogician/presentation/renderers/state_instance.py,sha256=-NIMBbOyneZWln2bbYhLd8Fys5wzSADiHZ9dHlYCQos,3733
speclogician/presentation/renderers/state_instance_summary.py,sha256=n0qGN1W_JWdtGNCxioi-07G8I2dDP8JnQKNETSzLoNM,4354
speclogician/presentation/renderers/trace.py,sha256=2SgWL5PGg3xj2DJr7buvd3fNiN6jgK3vcRuAXpupDko,3653
speclogician/presentation/renderers/trace_reachability.py,sha256=hgDe6-SJIScU9CFQaKr0YHv_e7Qqhd1WhZzWxyeB8vg,7489
speclogician/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/shell/app.py,sha256=e878cPp-kK49TrwnTovTuIpphZB09aKJ8r1x4nKxnkc,5487
speclogician/shell/shell_ch.py,sha256=tXo_NoucHoIDYy_FUg7YOEGM1UI_M9h6OTh_atbpE_w,9498
speclogician/shell/shell_view.py,sha256=oohUaBAIDtJoIs8Mp3qh5V1dLkE-f4mzRsPHisuzRCw,5150
speclogician/state/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/state/change.py,sha256=K55sESqgyNmxOztj-KtQWnZYMIS3lNmvtpjtvoNhcQY,20774
speclogician/state/change_result.py,sha256=zFLsjt77qLto9fy_KxPRc4wEZ61gstqzSPRJ6x-QxkU,1676
speclogician/state/diff.py,sha256=htgPM0Txc2LALuYHkv5Mzg9J5kKIlep56bIYT2u2pLc,8818
speclogician/state/diff_calcs.py,sha256=nSgIiR7zpobAFknvkvMTau_ECVxO3Upf1S1iGHuXZy0,21981
speclogician/state/inst.py,sha256=NJoVXq8VoHfQXxHo4L_XNYO0TurfgPYdtAKp6UjG5fQ,8620
speclogician/state/recommendation.py,sha256=41p8tK5XaFfhoSDeEGsO6zLPfWWLbMq5l2_VcgD3y5E,284
speclogician/state/recommender.py,sha256=mONKpSNhNtRTY4JDQx4bZzLDJVt77J7tqMecYUz1T6Y,25442
speclogician/state/state.py,sha256=RFyW7YpFUhS8wNaeUyW8izBej-4l7F_jXtE4wyB1urc,25055
speclogician/state/state_stats.py,sha256=7IjuoQ5S_pgtOlyt7Qf0mVu5_DYpjBimiu5eoikjcbQ,5124
speclogician/tui/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/tui/app.py,sha256=YkUTfIIUFatbrnhLT5QyjDvKy3zAcutiglZVfBSIGRA,8236
speclogician/tui/app.tcss,sha256=76Do-3il09ysTPQALf2tWaKt0Pau0J7Av_I7iVAug18,2559
speclogician/tui/demo.py,sha256=CVQyMa9CQaShanhvEf2WTE8pWTKXLle-7dOKD7HlZOw,1229
speclogician/tui/images/speclogician-full.png,sha256=x5EkWs8DU5L24lYvnHA6gUukbmHewB5IeoHUURDnpS4,2270585
speclogician/tui/images/speclogician-minimal.png,sha256=0LbOH6aL0XCJIv7mMBB94BFIONP332eUhqB-FgRVwr8,9603
speclogician/tui/main_screen.py,sha256=g7DpseeCkPkc4LN4BrSfOEHrdX7s2TeETJy1Bh2oSdY,16879
speclogician/tui/splash_screen.py,sha256=RWLNUd0O86ni9Gey4NzQA-8T0xhZGlcnn9axs1-DlE8,1250
speclogician/tui/stats_screen.py,sha256=B2eYQQbERBhtMe9vhjk7VYmykyBBu7tZVXxH6aJpwXU,3885
speclogician/update_check.py,sha256=KsjGv3DmRw-Q6tq9C3vD_tgqKHO661Ma8xQyaky_OBo,2694
speclogician/utils/__init__.py,sha256=gpV9054J9J0DLvm0GzN2yvy2ljFLS9aXyBdJP-FCBMQ,1882
speclogician/utils/load.py,sha256=-SJq4VFtMiNx3ZAv6kJfZwNQEP-sQ0HphEPpTjiDmLs,4291
speclogician/utils/prompt.md,sha256=w7r7m564wh36y8hL3K63R99j9UgCV6RYA7nMVV8OySQ,72034
speclogician/utils/testing.py,sha256=71HNg-Y1GWBU-rG0IZBbEhRtH7lXZORl7TiZ8V3APYU,4481
speclogician-1.2.0.dist-info/WHEEL,sha256=-neZj6nU9KAMg2CnCY6T3w8J53nx1kFGw_9HfoSzM60,79
speclogician-1.2.0.dist-info/entry_points.txt,sha256=iWzoLGpK7ph63nzjQLedPmhi2zHae8LVxvKskGu7a0o,56
speclogician-1.2.0.dist-info/METADATA,sha256=gm_REGUzhG5ZN6YgQQp-64frOl7vshF3uHbHu27i89w,11610
speclogician-1.2.0.dist-info/RECORD,,
