speclogician 0.0.0b1__py3-none-any.whl → 0.0.0.dev1__py3-none-any.whl

speclogician/utils/testing.py

@@ -1,151 +0,0 @@
-#
-#   Imandra Inc.
-#
-#   speclogician/utils/testing.py
-#
-
-from .__init__ import JSONObject, JSONValue
-
-import json
-from typing import cast
-from click.testing import Result
-
-# -----------------------
-# JSON parsing + narrowing helpers
-# -----------------------
-
-def parse_json_result(res : Result) -> JSONObject:
-    """
-    Parse JSON from CLI output.
-
-    If stdout is empty (Typer/Pydantic failed before we could emit JSON),
-    return a synthetic JSON error object so tests can assert consistently.
-    """
-    out = (res.stdout or "").strip()
-
-    if not out:
-        # Pre-command failure (argument parsing / Pydantic validation / Typer)
-        # Normalize into the same "result envelope" your CLI emits.
-        exc_s = ""
-        if res.exception is not None:
-            exc_s = str(res.exception)
-        elif res.output:
-            exc_s = str(res.output)
-
-        return cast(
-            JSONObject,
-            {
-                "ok": False,
-                "stage": "cli_parse",
-                "error": exc_s,
-            },
-        )
-
-    try:
-        data = json.loads(out)
-    except json.JSONDecodeError as e:
-        raise AssertionError(
-            "Failed to decode JSON from stdout.\n"
-            f"exit_code={res.exit_code}\n"
-            f"stdout={res.stdout!r}\n"
-            f"stderr={res.stderr!r}\n"
-            f"output={res.output!r}\n"
-            f"exception={res.exception!r}\n"
-            f"json_error={e}\n"
-        ) from e
-
-    # Ensure it's a dict-like JSON object
-    if not isinstance(data, dict):
-        raise AssertionError(f"Expected JSON object, got: {type(data).__name__}: {data!r}")
-
-    return cast(JSONObject, data)
-
-def get_change(data: JSONObject) -> JSONObject:
-    """
-    New CLI JSON wraps the change in {"ok": ..., "change": {...}, ...}.
-    Also accept legacy where the change was top-level.
-    """
-    chg = data.get("change")
-    if isinstance(chg, dict):
-        return cast(JSONObject, chg)
-    return data
-
-
-def _as_object(v: JSONValue, *, ctx: str = "value") -> JSONObject:
-    if not isinstance(v, dict):
-        raise AssertionError(f"Expected object for {ctx}, got {type(v).__name__}: {v!r}")
-    return cast(JSONObject, v)
-
-
-def _as_str(v: JSONValue, *, ctx: str = "value") -> str:
-    if not isinstance(v, str):
-        raise AssertionError(f"Expected string for {ctx}, got {type(v).__name__}: {v!r}")
-    return v
-
-
-def _as_bool(v: JSONValue, *, ctx: str = "value") -> bool:
-    if not isinstance(v, bool):
-        raise AssertionError(f"Expected bool for {ctx}, got {type(v).__name__}: {v!r}")
-    return v
-
-
-def _as_str_list(v: JSONValue, *, ctx: str = "value") -> list[str]:
-    if not isinstance(v, list) or not all(isinstance(x, str) for x in v):
-        raise AssertionError(f"Expected list[str] for {ctx}, got: {v!r}")
-    return cast(list[str], v)
-
-
-# -----------------------
-# Change payload accessors
-# -----------------------
-
-def chg_kind(chg: JSONObject) -> str | None:
-    v = chg.get("kind")
-    if v is None:
-        return None
-    return _as_str(v, ctx="change.kind")
-
-
-def chg_scenario_name(chg: JSONObject) -> str:
-    return _as_str(chg.get("scenario_name"), ctx="change.scenario_name")
-
-
-def delta_add(chg: JSONObject, field: str) -> list[str]:
-    """
-    field is one of: "given", "when", "then"
-    """
-    obj = _as_object(chg.get(field), ctx=f"change.{field}")
-    return _as_str_list(obj.get("add"), ctx=f"change.{field}.add")
-
-
-def delta_remove(chg: JSONObject, field: str) -> list[str]:
-    obj = _as_object(chg.get(field), ctx=f"change.{field}")
-    return _as_str_list(obj.get("remove"), ctx=f"change.{field}.remove")
-
-
-def result_ok(data: JSONObject) -> bool:
-    return _as_bool(data.get("ok"), ctx="result.ok")
-
-
-def result_stage(data: JSONObject) -> str | None:
-    v = data.get("stage")
-    if v is None:
-        return None
-    return _as_str(v, ctx="result.stage")
-
-
-def result_error_str(data: JSONObject) -> str:
-    """
-    Your JSON-safe error is a JSONObject (per your typing), but for tests we usually
-    want a stable string. This extracts a string in a robust way.
-    Adjust if your error schema is richer (e.g. {"message": "...", "type": "..."}).
-    """
-    err = data.get("error")
-    if err is None:
-        return ""
-    if isinstance(err, str):
-        return err
-    if isinstance(err, dict) and isinstance(err.get("message"), str):
-        return cast(str, err["message"])
-    # fallback: stable stringify
-    return json.dumps(cast(JSONValue, err))

speclogician-0.0.0b1.dist-info/METADATA

@@ -1,116 +0,0 @@
-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

@@ -1,139 +0,0 @@
-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,,