speclogician/.DS_Store,sha256=JchiVVFNOM4yERQr7ZywSA1ig88iabe7iv0xVNjbxP0,8196
speclogician/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/commands/__init__.py,sha256=N4N3ymNTnL-B4d5SkiqObdRjG5D3tsM23yihz2wwuHg,288
speclogician/commands/cmd_ch.py,sha256=X-ZfUrMfybUoAgPvWG278ZyBcZmzNNEYzwfORxndLQw,19836
speclogician/commands/cmd_find.py,sha256=Y_Eleso3tgwZfQwtlQcSOYPUZQPS6iX9Gls1Pe9XtSY,7861
speclogician/commands/cmd_reach.py,sha256=boMAwmlg0bn3VsrjL9_d5ifnKjzWvQNXvf_7Fnz3J7g,4745
speclogician/commands/cmd_view.py,sha256=LY2XfefGZwYPSAS7_Rjo5KO4F2rNdkEEnsvTOJPwIY0,7353
speclogician/commands/runner.py,sha256=EvzB4kkXMnQPDkxHjVdfJN6N0Ez9wwQmAs5JWqjTmSg,4575
speclogician/commands/utils.py,sha256=s5no2R7APSYWGX_HWrp6puIinlj9Iq_TerkUPhZD_vA,2681
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=FdKtn4w-7pzc9hryvZXSkeK7UQlaNFjdVOYql8eBN5A,9188
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=Bsi4cXWmw26AwNjFEOPoXh7Wf_rknsw1W7G7ocQ6eik,108
speclogician/logic/api/__init__.py,sha256=UVKNzdlDxsNRxP4MI8eA-tI0tZJDr3-0tK91BSuuEyk,622
speclogician/logic/api/client.py,sha256=SXVFU99aWfUjnkFwQN_2ZeL16qa3jlBNs0cnj20Gw8Y,28155
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=tyHpunZGGKnydBKYwp-e2jDz1JvXobCbx4QVjdZ1RzQ,480
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=HmLJSRnn2ZIxh-S8ws67GHUmrf0ZPLjCI_dvn5_XirM,4603
speclogician/logic/lib/scenarios.py,sha256=26NiAoQQQdQbuZERNFH0Lwqi0OJfkw8wJ2Em92wHi-k,11846
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=mboacbnrUkp48HCGl4llmrBIVlsc-_yguxunY4VoqAk,10382
speclogician/logic/strings.py,sha256=lCzktKXHScQW-ZaBjnH9CHzVSHfMJzFas_1rNxzoowQ,7758
speclogician/logic/utils.py,sha256=6ZzYKrQrB4nEkvHE4_jpM7EOzfWYbU3QJwsEq-5ypWk,3602
speclogician/main.py,sha256=I7bKxAsonbMSB8B1jOqzo_DzX-MP1cw8esl0tRWISJk,4945
speclogician/modeling/__init__.py,sha256=-HA2X0crrbTiwRgR21fRx5SKnztPECcu-eRn2KsaSMA,819
speclogician/modeling/complement.py,sha256=JZq5E_4w2F1VcAM34qmi02PxF_3h0bWm0OgjhYbH4ZE,3121
speclogician/modeling/component.py,sha256=oxl-UZBGLnhSl2Y6Ox4FotTanFECd-kJhzbXRbkckfY,2071
speclogician/modeling/conflict.py,sha256=kFVykVVi3vH7TFAVSDrH1RJS6WnO4nzWW65lukfiMS8,591
speclogician/modeling/domain.py,sha256=mlya_JFQQUvULrgPOi-zvkQhtPsUqujy6EZX75Kgrds,11814
speclogician/modeling/predicates.py,sha256=IFEwoc2ao6a11BjuDd5YsdefdpGmc1i9zSZHczMERKY,1447
speclogician/modeling/reachability.py,sha256=3hRPmtrKHPIa50LDBTSOAo0o45O1T1Vg9-S2Ju-Itok,9159
speclogician/modeling/reachability_api.py,sha256=ujP6_d08agvn0ORkiCyFm39eKWk7eALZwFI_UmzBK48,12491
speclogician/modeling/scenario.py,sha256=iwVZyr-Q0lyVrnBsN8SpT_RHIilYoTeXV-eskbMQfjA,4769
speclogician/modeling/spec.py,sha256=1h3HTWGIhxC-hq0SkNtdfeowcTxoM0W72ChvzwxpYus,11171
speclogician/modeling/spec_stats.py,sha256=_ry1p8ym-rZR5uy5pSgxrWdJReqiITO6TVff1fXFiyo,1406
speclogician/modeling/trace_reachability.py,sha256=uK62y4BegTBXENP3aECf1WoDNXXeMV0CzS9wN15TcTw,5266
speclogician/modeling/trace_reachability_compute.py,sha256=DuZk1a-LTYBvaO9X7yDerO9mqnYYFrfi1GFT7DfQU1g,9858
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=87WDceHMsUM3uSekOz-iVACSoV_Ef_fXY1BK1nDSc88,1964
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=izea_clqqnpyA3kJadODmJbcTr-3QecGzdb6alNcz7w,1146
speclogician/presentation/builders/state_diff.py,sha256=POb1yYjybhce-vFCDNjJ8fro34zXqp0Nvl-W-AU5C9c,3794
speclogician/presentation/builders/state_instance.py,sha256=Cudq5yj75PveGcmVDEq-BymuwIa4uZb1aKEvl0O-Ing,1836
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=ABVM_PY7PIH3OeD8_1aCua3ASrYxOTNUYed394V_k-A,1334
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=cLBGX7X43NrwekTrr6YHwV7X1j7cNQKKSk0yyjHsjfA,721
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=neriJ3qmCwdrVFBbzcQEmZpb1a2-MXJQkP904h_Y_uQ,1525
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=YOgBnu2jxePCC5p-TBfYx6KWVHPlP51vyYqsI9YutmU,17215
speclogician/state/change_result.py,sha256=MO5_s7cPz5iPTSBG91GGBqCdPuiX-O0Ko1LpIk1PX_A,884
speclogician/state/diff.py,sha256=PS_lyOBW_hNxK8rHGerua9W4XQ_AGk9wXMMpIDVWqSw,8228
speclogician/state/diff_calcs.py,sha256=hTOO0ViDqCWozn3Dzbdh6VPd2is5gZFCJ9beB4P-crM,19812
speclogician/state/inst.py,sha256=WvvZ_7aTm1Ti-vVRw4ViG-L1dv4htKtZgAd8NYgAldU,7486
speclogician/state/recommendation.py,sha256=41p8tK5XaFfhoSDeEGsO6zLPfWWLbMq5l2_VcgD3y5E,284
speclogician/state/recommender.py,sha256=l-70yz-mxDc1wWG-M72WNCbs8bIdqHzl2qOIVto6Lf0,20019
speclogician/state/state.py,sha256=1WP2_x-9f2qABA1rJGdse_f40WxqDTCYyBwu-UGQZEg,17688
speclogician/state/state_stats.py,sha256=7IjuoQ5S_pgtOlyt7Qf0mVu5_DYpjBimiu5eoikjcbQ,5124
speclogician/tui/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
speclogician/tui/app.py,sha256=86yuvLINrZ_V6HBQSwc3XOi1tJlc6fWrzeKAPoHYCO0,8485
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/utils/__init__.py,sha256=gpV9054J9J0DLvm0GzN2yvy2ljFLS9aXyBdJP-FCBMQ,1882
speclogician/utils/load.py,sha256=IA6sQTnu02ON-HHMdgDweUvk5AVuJZ7mZkxBdOjEpZw,4840
speclogician/utils/prompt.md,sha256=U1k-81zT1vtv0fTzKsEUW3bUrNuyRcOPvzbMzsLNC4o,7425
speclogician/utils/testing.py,sha256=71HNg-Y1GWBU-rG0IZBbEhRtH7lXZORl7TiZ8V3APYU,4481
speclogician-1.0.1.dist-info/WHEEL,sha256=eh7sammvW2TypMMMGKgsM83HyA_3qQ5Lgg3ynoecH3M,79
speclogician-1.0.1.dist-info/entry_points.txt,sha256=iWzoLGpK7ph63nzjQLedPmhi2zHae8LVxvKskGu7a0o,56
speclogician-1.0.1.dist-info/METADATA,sha256=iw-2lWk_e1eaw1qLrBD0nT7V-KPTPbsTiXMnNSNzfWQ,4439
speclogician-1.0.1.dist-info/RECORD,,
