speclogician 0.0.0b1__py3-none-any.whl

speclogician-0.0.0b1.dist-info/METADATA

@@ -0,0 +1,116 @@
+Metadata-Version: 2.3
+Name: speclogician
+Version: 0.0.0b1
+Summary: SpecLogicain AI framework for data-driven formal program specification synthesis, verification and analysis
+Author: denis, hongyu
+Author-email: denis <denis@imandra.ai>, hongyu <hongyu@imandra.ai>
+Requires-Dist: imandrax-api-models>=18.0.0
+Requires-Dist: iml-query>=0.5.1
+Requires-Dist: pydantic>=2.12.5
+Requires-Dist: rich>=14.2.0
+Requires-Dist: textual>=6.11.0
+Requires-Dist: typer>=0.20.0
+Requires-Python: >=3.12
+Project-URL: Homepage, https://speclogician.dev/
+Description-Content-Type: text/markdown
+
+# SpecLogician
+SpecLogician AI framework for data-driven formal program specification synthesis, verification and analysis
+
+www.speclogician.dev
+
+## 1) The challenge: scaling formal methods via LLM-powered automation
+
+- Automatically applying formal methods to large software systems using **LLM-powered and agentic tools** remains a fundamental challenge
+- Traditional formal modeling approaches require building **large, monolithic formal models upfront**
+- There is **no single canonical way** to formalize a complex software system
+- As a result, formalization becomes **as much an art as a science**, relying heavily on expert judgment
+- These characteristics fundamentally limit automation:
+  - LLMs struggle to generate or maintain **large, globally consistent formal models**
+  - Small local changes often require understanding the entire model
+  - Monolithic models are brittle under iterative, agent-driven workflows
+
+
+## 2) SpecLogician’s core idea
+
+- SpecLogician is an **AI framework for data-driven formal program specification synthesis, verification, and analysis**
+- It replaces monolithic specifications with **incrementally constructed formal logic**
+- The core logic is built from **symbolic `given / when / then` scenarios**
+- Scenarios are:
+  - composable
+  - declarative
+  - local in scope
+- Scenarios are connected to a **domain model of arbitrary complexity**
+- The domain model captures:
+  - predicates
+  - transitions
+  - state/action structure
+  - auxiliary and domain-specific logic
+
+
+## 3) Why this structure works well with LLMs
+
+- LLM-powered tools are used to:
+  - propose new scenarios
+  - refine existing scenarios
+  - generate structured deltas (add / remove / edit)
+- LLMs operate on **small, well-scoped artifacts**, not entire formal models
+- Each change is:
+  - explicit
+  - typed
+  - machine-checkable
+- This aligns naturally with how LLMs perform best:
+  - local reasoning
+  - incremental edits
+  - structured outputs (JSON, CLI commands)
+
+
+## 4) Agentic reasoning loop (formal reasoning as the backbone)
+
+- SpecLogician sits at the center of an **agentic reasoning loop**
+- In this loop:
+  - **CodeLogician / ImandraX** translate source code into formal models and reasoning artifacts
+  - **LLM-powered agentic CLIs** propose scenario additions, edits, and removals as structured deltas
+  - **Software mapping tools** (e.g. CodeMaps from cognition.ai) provide high-level program structure and navigation context
+- Each agent contributes **partial, local insight**:
+  - code structure
+  - behavioral intent
+  - execution traces
+  - test artifacts
+- SpecLogician:
+  - integrates these inputs into a single formal state
+  - validates them symbolically
+  - delegates global analysis to the **ImandraX automated reasoning engine**
+- The reasoning engine analyzes the **entire accumulated model after every change**
+- This creates a **closed-loop workflow**:
+  - propose → formalize → verify → refine
+
+
+## 5) What the resulting formal model enables
+
+- Systematically identify **gaps in design and requirements**
+- Precisely understand **test coverage and gaps in test coverage**
+- Trace:
+  - execution logs
+  - test cases
+  - documentation
+  - other artifacts  
+  back to **formal specifications and requirements**
+- Automatically **generate missing test cases**
+- Safely **model and verify the impact of changes** before they are applied
+- Maintain a **single, authoritative source of truth** for system behavior
+
+
+## 6) Big-picture outcome
+
+- Transforms LLMs from:
+  - probabilistic code generators  
+  into:
+  - **reliable collaborators in a verification-driven workflow**
+- Makes formal methods:
+  - incremental
+  - data-driven
+  - compatible with LLM-powered automation
+  - scalable to real-world software systems
+- Positions SpecLogician as the **formal reasoning backbone** for modern, agentic software development
+

speclogician-0.0.0b1.dist-info/RECORD

@@ -0,0 +1,139 @@
+speclogician/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+speclogician/commands/__init__.py,sha256=GVEHMDm4upK2G-kwIS5WfMjd0QvbcOarVQTJ4RV8O2Q,231
+speclogician/commands/cmd_ch.py,sha256=tzd01WrNvcGabUtYu8BlXg8pVH_ORyNn9isqm0YC5qM,19088
+speclogician/commands/cmd_find.py,sha256=Y_Eleso3tgwZfQwtlQcSOYPUZQPS6iX9Gls1Pe9XtSY,7861
+speclogician/commands/cmd_view.py,sha256=Xnf0Gn2lY0iA_XgpucPZ774CBVgUfqrN4lydiyyyhRI,6727
+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=JLzvlBkSct6b5nuShr5fYRNpQDokHprdcwt37Ds32hk,1575
+speclogician/data/container.py,sha256=VynrYCJwvOcCH5Z4cK76HTKUDRrdfpofwelhl50I0JY,13755
+speclogician/data/mapping.py,sha256=rgGyOUgtreAP0bQvx7Ui7Qit8hjpiVuoBWjYWHEUeJw,2960
+speclogician/data/refs.py,sha256=OHqN3t5G4WUB4b2NnanImUuvPjKvnSEJnJe9y4aT3_U,698
+speclogician/data/traces.py,sha256=OjZJ-8NCFZZhkwXNWnc3BinrQIQTQtUAO40uiOmv3go,626
+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=TQHgpO0h6a_7KS78tpyanlHgN1EcBaeZ41yMImZa3Vs,21438
+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=lttjgblL8mAF9Aac5FDNd07kh4Tjnbi3795tVMtR9fc,1641
+speclogician/logic/lib/__init__.py,sha256=fPTbhjXHIskBcwPZeiwLG9YBJhhGfvn6LCDwKUfk1hY,396
+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/scenarios.py,sha256=26NiAoQQQdQbuZERNFH0Lwqi0OJfkw8wJ2Em92wHi-k,11846
+speclogician/logic/lib/traces.py,sha256=PT2husAUQekF-5q5MEtUzE4OsPsaZ-Tcq-Xboz8ViXc,4616
+speclogician/logic/lib/transitions.py,sha256=o4X-K_awWNUcvqqmcss1GiE-PlL6ojxOjQctxOGY5Ro,3884
+speclogician/logic/main.py,sha256=44K14N_elI4dm3aSfnB4Z_o6MAZprq0MeoDU0AegBHk,8670
+speclogician/logic/strings.py,sha256=yjNW_yMWSsnU5OSDlx6q-z0NfTJV00I-IGsxJ1F1GMM,5940
+speclogician/logic/utils.py,sha256=6ZzYKrQrB4nEkvHE4_jpM7EOzfWYbU3QJwsEq-5ypWk,3602
+speclogician/main.py,sha256=lA-ero6pkY1dfSpYCh58istPWoEUexOoBf5KWp2SPQg,4673
+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/scenario.py,sha256=IMQxCSUsAsWU3uhIRnPgCJha5F6UdKoDramlPOu3tiw,4509
+speclogician/modeling/spec.py,sha256=qaHNfPXgRuWWXfEkjr_doSUnTvWXaDnxh_OlVfCmp8c,10034
+speclogician/modeling/spec_stats.py,sha256=_ry1p8ym-rZR5uy5pSgxrWdJReqiITO6TVff1fXFiyo,1406
+speclogician/presentation/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+speclogician/presentation/api.py,sha256=eU4Hgzdf_feC0PtvcaLr_2y2J6BddmH318G4ILmULqs,7041
+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=R1L9O0w_GxWezF8VnPhx90drSVVhkV_LomECjZfDpPw,1424
+speclogician/presentation/builders/state_instance_summary.py,sha256=1ZSnxmvRJu3C26NQzEtHnn8-8dxEELxneZ1k8549B9M,3499
+speclogician/presentation/builders/trace.py,sha256=VVbQwmFSTpqCzjOT8fQnZfpjoFjv-1ZglLaVsf2ypRA,1692
+speclogician/presentation/ctx.py,sha256=3lDZelz5PYeaqLu1mb370ofXeG1VZCXxY0ZiJIp131E,1122
+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=ZB3ak3R7dMjexUB9BwL5v9MropbHOzNNxhugwPOyx0A,916
+speclogician/presentation/models/state_instance_summary.py,sha256=Uhldl-MYyVdoZuqV_uVDaIAYRRbYYxuOanSi2J2SFTc,2927
+speclogician/presentation/models/trace.py,sha256=CXSm1Sg7bMeTpR8HM8a_eoO7EW1VqDinP6oJVkvMaOY,852
+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=awEMD6hcl_s-HdLXg9WgBsa2kgvTme9qYt0w6F_CWvU,2585
+speclogician/presentation/renderers/state_instance_summary.py,sha256=n0qGN1W_JWdtGNCxioi-07G8I2dDP8JnQKNETSzLoNM,4354
+speclogician/presentation/renderers/trace.py,sha256=2SgWL5PGg3xj2DJr7buvd3fNiN6jgK3vcRuAXpupDko,3653
+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=Rf5sbOFAK1VyAJ8ITZWmC0DIPQoh5YCSMXIyCy3t1lA,16196
+speclogician/state/change_result.py,sha256=q_3e30L-Evb9poMyCL_ThC20fygEjDRpIBqgfRqGaxI,862
+speclogician/state/diff.py,sha256=7s1ZQWbd9W7n9FAyFWX2xt3tA0L_hyjD5BHdiHeSEcI,7283
+speclogician/state/inst.py,sha256=1lADU8uVgoSkSVivF_kR8BNUmWbz69zCW9yFOKaav1M,18228
+speclogician/state/recommendation.py,sha256=41p8tK5XaFfhoSDeEGsO6zLPfWWLbMq5l2_VcgD3y5E,284
+speclogician/state/recommender.py,sha256=l-70yz-mxDc1wWG-M72WNCbs8bIdqHzl2qOIVto6Lf0,20019
+speclogician/state/state.py,sha256=HXPIjznL21y0Ajyx-u6u6BuIQdIkNAiyBGgEuZnxyG8,16673
+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=raPVqcaGI-hHzhhtQzWRNoYLDYMjmbm93KBs35ZxYEg,6596
+speclogician/utils/testing.py,sha256=71HNg-Y1GWBU-rG0IZBbEhRtH7lXZORl7TiZ8V3APYU,4481
+speclogician-0.0.0b1.dist-info/WHEEL,sha256=-neZj6nU9KAMg2CnCY6T3w8J53nx1kFGw_9HfoSzM60,79
+speclogician-0.0.0b1.dist-info/METADATA,sha256=iJhHbd0tmtYGZ71bquGCIN35ABVBEZ56yZDYOqNPd2w,4441
+speclogician-0.0.0b1.dist-info/RECORD,,

speclogician-0.0.0b1.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: uv 0.8.22
+Root-Is-Purelib: true
+Tag: py3-none-any