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

speclogician/presentation/renderers/smart_find.py

@@ -1,307 +0,0 @@
-#
-#   Imandra Inc.
-#
-#   speclogician/presentation/renderers/smart_find.py
-#
-
-from __future__ import annotations
-
-from rich import box
-from rich.console import Group
-from rich.panel import Panel
-from rich.rule import Rule
-from rich.table import Table, Column
-from rich.text import Text
-
-from speclogician.presentation.ctx import RenderCtx
-from speclogician.presentation.models.smart_find import SmartFindPM
-
-
-# -----------------------------------------------------------------------------
-# helpers
-# -----------------------------------------------------------------------------
-
-def _snip(s: str | None, n: int = 140) -> str:
-    x = (s or "").strip()
-    if not x:
-        return ""
-    x = x.replace("\n", " ")
-    return (x[: n - 1] + "…") if len(x) > n else x
-
-
-def _validity_text(iml_valid: str) -> Text:
-    v = (iml_valid or "").lower()
-    if v == "valid":
-        return Text("✓ valid", style="bold green")
-    if v == "invalid":
-        return Text("✗ invalid", style="bold red")
-    return Text("? unknown", style="bold yellow")
-
-
-def _counts_table(pm: SmartFindPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    t = Table(
-        show_header=True,
-        header_style="bold",
-        box=b,
-        show_edge=False,
-        pad_edge=False,
-        expand=False,  # keep count column close
-    )
-    t.add_column("Type", style="dim", no_wrap=True)
-    t.add_column("Count", justify="right", no_wrap=True)
-
-    c = pm.counts
-    t.add_row("Test traces", str(c.num_test_traces))
-    t.add_row("Log traces", str(c.num_log_traces))
-    t.add_row("Doc refs", str(c.num_doc_refs))
-    t.add_row("Src code refs", str(c.num_src_code_refs))
-    return t
-
-
-def _want_art_id(ctx: RenderCtx) -> bool:
-    return bool(getattr(ctx, "show_art_ids", False) or getattr(ctx, "show_ids", False))
-
-
-def _rule(title: str, n: int) -> Rule:
-    return Rule(f"[bold]{title}[/bold] ({n})", style="dim")
-
-
-# -----------------------------------------------------------------------------
-# per-kind tables
-# -----------------------------------------------------------------------------
-
-def _test_traces_table(pm: SmartFindPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    show_art_id = _want_art_id(ctx)
-
-    cols: list[Column] = []
-    if show_art_id:
-        cols.append(Column("art_id", style="dim", no_wrap=True, width=12))
-    cols += [
-        Column("name", no_wrap=False, width=34, overflow="ellipsis"),
-        Column("iml", no_wrap=True, width=9),
-        Column("time", style="dim", no_wrap=True, width=20),
-        Column("snippet", no_wrap=False, width=68, overflow="ellipsis"),
-    ]
-
-    t = Table(
-        *cols,
-        show_header=True,
-        header_style="bold",
-        box=b,
-        show_edge=False,
-        pad_edge=False,
-        expand=False,
-    )
-
-    for tt in pm.items.test_traces:
-        core = tt.core
-        label = tt.name or tt.filepath or "-"
-        snippet = (
-            _snip(tt.contents, 180)
-            or _snip(core.given, 180)
-            or _snip(core.when, 180)
-            or _snip(core.then, 180)
-            or "—"
-        )
-
-        row = []
-        if show_art_id:
-            row.append(Text(core.art_id or "-", style="dim"))
-        row += [
-            Text(label, style="bold"),
-            _validity_text(core.iml_validity.iml_valid),
-            Text(core.time or "—", style="dim"),
-            Text(snippet, style="dim" if snippet == "—" else ""),
-        ]
-        t.add_row(*row)
-
-    if not pm.items.test_traces:
-        if show_art_id:
-            t.add_row(Text("-", style="dim"), Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("", style="dim"))
-        else:
-            t.add_row(Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("", style="dim"), Text("", style="dim"))
-
-    return t
-
-
-def _log_traces_table(pm: SmartFindPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    show_art_id = _want_art_id(ctx)
-
-    cols: list[Column] = []
-    if show_art_id:
-        cols.append(Column("art_id", style="dim", no_wrap=True, width=12))
-    cols += [
-        Column("filename", no_wrap=False, width=34, overflow="ellipsis"),
-        Column("iml", no_wrap=True, width=9),
-        Column("time", style="dim", no_wrap=True, width=20),
-        Column("snippet", no_wrap=False, width=68, overflow="ellipsis"),
-    ]
-
-    t = Table(
-        *cols,
-        show_header=True,
-        header_style="bold",
-        box=b,
-        show_edge=False,
-        pad_edge=False,
-        expand=False,
-    )
-
-    for lt in pm.items.log_traces:
-        core = lt.core
-        label = lt.filename or "-"
-        snippet = (
-            _snip(lt.contents, 180)
-            or _snip(core.given, 180)
-            or _snip(core.when, 180)
-            or _snip(core.then, 180)
-            or "—"
-        )
-
-        row = []
-        if show_art_id:
-            row.append(Text(core.art_id or "-", style="dim"))
-        row += [
-            Text(label, style="bold"),
-            _validity_text(core.iml_validity.iml_valid),
-            Text(core.time or "—", style="dim"),
-            Text(snippet, style="dim" if snippet == "—" else ""),
-        ]
-        t.add_row(*row)
-
-    if not pm.items.log_traces:
-        if show_art_id:
-            t.add_row(Text("-", style="dim"), Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("", style="dim"))
-        else:
-            t.add_row(Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("", style="dim"), Text("", style="dim"))
-
-    return t
-
-
-def _doc_refs_table(pm: SmartFindPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    show_art_id = _want_art_id(ctx)
-
-    cols: list[Column] = []
-    if show_art_id:
-        cols.append(Column("art_id", style="dim", no_wrap=True, width=12))
-    cols += [
-        Column("meta", no_wrap=False, width=46, overflow="ellipsis"),
-        Column("snippet", no_wrap=False, width=92, overflow="ellipsis"),
-    ]
-
-    t = Table(
-        *cols,
-        show_header=True,
-        header_style="bold",
-        box=b,
-        show_edge=False,
-        pad_edge=False,
-        expand=False,
-    )
-
-    for dr in pm.items.doc_refs:
-        label = dr.meta or "DocRef"
-        snippet = _snip(dr.text, 220) or "—"
-        row = []
-        if show_art_id:
-            row.append(Text(dr.core.art_id or "-", style="dim"))
-        row += [
-            Text(label, style="bold"),
-            Text(snippet, style="dim" if snippet == "—" else ""),
-        ]
-        t.add_row(*row)
-
-    if not pm.items.doc_refs:
-        if show_art_id:
-            t.add_row(Text("-", style="dim"), Text("(none)", style="dim"), Text("—", style="dim"))
-        else:
-            t.add_row(Text("(none)", style="dim"), Text("—", style="dim"))
-
-    return t
-
-
-def _src_code_refs_table(pm: SmartFindPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    show_art_id = _want_art_id(ctx)
-
-    cols: list[Column] = []
-    if show_art_id:
-        cols.append(Column("art_id", style="dim", no_wrap=True, width=12))
-    cols += [
-        Column("file", no_wrap=False, width=44, overflow="ellipsis"),
-        Column("lang", no_wrap=True, width=10),
-        Column("iml", no_wrap=True, width=7),
-        Column("snippet", no_wrap=False, width=77, overflow="ellipsis"),
-    ]
-
-    t = Table(
-        *cols,
-        show_header=True,
-        header_style="bold",
-        box=b,
-        show_edge=False,
-        pad_edge=False,
-        expand=False,
-    )
-
-    for sr in pm.items.src_code_refs:
-        file_label = sr.file_path or "SrcCodeRef"
-        lang = sr.language or "—"
-        has_iml = "✓" if (sr.iml_code or "").strip() else "—"
-        snippet = _snip(sr.src_code, 220) or _snip(sr.iml_code, 220) or "—"
-
-        row = []
-        if show_art_id:
-            row.append(Text(sr.core.art_id or "-", style="dim"))
-        row += [
-            Text(file_label, style="bold"),
-            Text(lang, style="cyan" if lang != "—" else "dim"),
-            Text(has_iml, style="green" if has_iml == "✓" else "dim"),
-            Text(snippet, style="dim" if snippet == "—" else ""),
-        ]
-        t.add_row(*row)
-
-    if not pm.items.src_code_refs:
-        if show_art_id:
-            t.add_row(Text("-", style="dim"), Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("—", style="dim"))
-        else:
-            t.add_row(Text("(none)", style="dim"), Text("—", style="dim"), Text("—", style="dim"), Text("—", style="dim"))
-
-    return t
-
-def _maybe_section(title: str, n: int, body: object, *, ctx: RenderCtx) -> list[object]:
-    # Default: do not render empty sections
-    show_empty = bool(getattr(ctx, "show_empty_sections", False))
-    if n == 0 and not show_empty:
-        return []
-    return [Text(""), _rule(title, n), body]
-
-# -----------------------------------------------------------------------------
-# renderer
-# -----------------------------------------------------------------------------
-
-def render_smart_find(pm: SmartFindPM, *, ctx: RenderCtx):
-    needle = (pm.counts.needle or "").strip().replace("\n", " ")
-    header = Text.assemble(
-        ("Smart find", "bold"),
-        ("  ", ""),
-        ("needle: ", "dim"),
-        (repr(needle) if needle else "(empty)", "cyan" if needle else "dim"),
-    )
-
-    blocks: list[object] = [
-        header,
-        Text(""),
-        _counts_table(pm, ctx=ctx),
-    ]
-
-    blocks += _maybe_section("Test traces", len(pm.items.test_traces), _test_traces_table(pm, ctx=ctx), ctx=ctx)
-    blocks += _maybe_section("Log traces", len(pm.items.log_traces), _log_traces_table(pm, ctx=ctx), ctx=ctx)
-    blocks += _maybe_section("Doc refs", len(pm.items.doc_refs), _doc_refs_table(pm, ctx=ctx), ctx=ctx)
-    blocks += _maybe_section("Src code refs", len(pm.items.src_code_refs), _src_code_refs_table(pm, ctx=ctx), ctx=ctx)
-
-    return Panel(Group(*blocks), title="[bold]Smart find[/bold]", border_style="magenta")

speclogician/presentation/renderers/spec.py

@@ -1,105 +0,0 @@
-#
-#   Imandra Inc.
-#
-#   speclogician/presentation/renderers/spec.py
-#
-
-from __future__ import annotations
-
-from rich.console import Group
-from rich.panel import Panel
-from rich.rule import Rule
-from rich.table import Table
-from rich.text import Text
-from rich import box
-
-from speclogician.presentation.ctx import RenderCtx
-from speclogician.presentation.models.spec import SpecPM
-
-
-def _scenario_stats_table(pm: SpecPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    t = Table(show_header=False, box=b, show_edge=False, pad_edge=False)
-    t.add_column(style="italic dim", no_wrap=True)
-    t.add_column(justify="right", no_wrap=True)
-
-    c = pm.counts
-
-    t.add_row(Text("Scenarios", style="bold magenta"), Text(""))
-    t.add_row("Total", Text(str(c.num_sc_total), style="bold"))
-    t.add_row("Missing components", Text(str(c.num_sc_missing)))
-    t.add_row("Matched", Text(str(c.num_sc_matched)))
-    t.add_row("Inconsistent", Text(str(c.num_sc_inconsistent)))
-    t.add_row("Conflicted", Text(str(c.num_sc_conflicted)))
-
-    return t
-
-
-def _scenario_list_table(pm: SpecPM, *, ctx: RenderCtx) -> Table:
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    t = Table(title="Scenario list", box=b, show_edge=False, pad_edge=False, expand=False)
-    t.add_column("Name", no_wrap=True)
-
-    if not pm.scenario_names:
-        t.add_row(Text("(none)", style="dim"))
-        return t
-
-    for name in pm.scenario_names:
-        t.add_row(Text(name))
-
-    return t
-
-
-def _scenario_complement_table(pm: SpecPM, *, ctx: RenderCtx) -> Table:
-    """
-    Lightweight complement summary (counts + optional preview list).
-    Full regions are intentionally not rendered here (they can be huge).
-    """
-    b = box.MINIMAL if ctx.compact else box.SIMPLE
-    t = Table(show_header=False, box=b, show_edge=False, pad_edge=False)
-    t.add_column(style="italic dim", no_wrap=True)
-    t.add_column(justify="right", no_wrap=True)
-
-    sc = getattr(pm, "scenario_complement", None)
-    if sc is None:
-        t.add_row(Text("Complement", style="bold magenta"), Text(""))
-        t.add_row(Text("(none)", style="dim"), Text(""))
-        return t
-
-    t.add_row(Text("Complement", style="bold magenta"), Text(""))
-    t.add_row("Regions", Text(str(getattr(sc, "num_regions", 0)), style="bold"))
-
-    # Optional “preview” identifiers if you included them in the PM
-    preview = list(getattr(sc, "region_fps_preview", []) or [])
-    if preview:
-        t.add_row(Text("Preview", style="dim"), Text(""))
-        for fp in preview[:3]:
-            t.add_row("•", Text(str(fp), style="dim"))
-
-    return t
-
-
-def render_spec(pm: SpecPM, *, ctx: RenderCtx):
-    # Domain model block (reuse your existing renderer, but DON'T wrap it in extra panels here)
-    from speclogician.presentation.renderers.domain import render_domain_model
-
-    blocks: list[object] = []
-
-    # ---- Domain ----
-    blocks.append(Text("Domain", style="bold magenta"))
-    blocks.append(render_domain_model(pm.domain, ctx=ctx))
-
-    # ---- Scenarios ----
-    blocks.append(Rule(style="dim"))
-    blocks.append(Text("Scenarios", style="bold magenta"))
-    blocks.append(_scenario_stats_table(pm, ctx=ctx))
-    blocks.append(Text(""))  # small spacer
-    blocks.append(_scenario_list_table(pm, ctx=ctx))
-
-    # ---- Complement ----
-    sc = getattr(pm, "scenario_complement", None)
-    if sc is not None or ctx.show_empty_sections:
-        blocks.append(Rule(style="dim"))
-        blocks.append(_scenario_complement_table(pm, ctx=ctx))
-
-    return Panel(Group(*blocks), title="[bold]Spec[/bold]", border_style="magenta")

speclogician/presentation/renderers/state_diff.py

@@ -1,102 +0,0 @@
-#
-#   Imandra Inc.
-#
-#   speclogician/presentation/renderers/state_diff.py
-#
-
-from __future__ import annotations
-
-from rich.console import Group, RenderableType
-from rich.rule import Rule
-from rich.text import Text
-
-from speclogician.presentation.ctx import RenderCtx
-from speclogician.presentation.models.state_diff import StateDiffPM, DiffRowPM
-from speclogician.state.diff import ComparisonOutcome
-
-
-def _icon_style_label(oc: ComparisonOutcome) -> tuple[str, str, str]:
-    """
-    Returns: (icon, rich_style, human_label)
-    """
-    match oc:
-        case ComparisonOutcome.IMPROVED:
-            return ("⬆", "green", "improved")
-        case ComparisonOutcome.DECLINED:
-            return ("⬇", "red", "declined")
-        case ComparisonOutcome.NO_CHANGE_GOOD:
-            return ("🟢", "green", "no change (good)")
-        case ComparisonOutcome.NO_CHANGE_BAD:
-            return ("🔴", "red", "no change (bad)")
-        case ComparisonOutcome.NO_CHANGE:
-            return ("🟰", "yellow", "no change")
-        case ComparisonOutcome.UNKNOWN:
-            return ("🤷", "dim", "unknown")
-        case _:
-            # fallback for future enum additions
-            return ("•", "dim", getattr(oc, "value", str(oc)))
-
-
-def _render_row(r: DiffRowPM, *, label_width: int) -> RenderableType:
-    icon, style, human = _icon_style_label(r.outcome)
-
-    # Keep alignment stable for monospace-ish terminals
-    before = str(r.before)
-    after = str(r.after)
-
-    # Example:
-    # ⬆ base_status        UNKNOWN → VALID   (improved)
-    txt = Text()
-    txt.append(f"{icon} ", style=style)
-    txt.append(f"{r.label:<{label_width}}", style="bold")
-    txt.append(f" {before} → {after}")
-    txt.append(f" ({human})", style="dim")
-    return txt
-
-
-def _render_section(title: str, rows: list[DiffRowPM], *, ctx: RenderCtx) -> RenderableType:
-    if not rows:
-        return Text("")
-
-    # Compute a reasonable label alignment width for this section (cap to avoid huge padding)
-    max_len = max((len(r.label) for r in rows), default=len("Metric"))
-    label_width = min(max(max_len, 18), 34)
-
-    parts: list[RenderableType] = []
-    # Bracketed header style like your desired output
-    parts.append(Text(f"[{title}]", style="bold"))
-
-    for r in rows:
-        parts.append(_render_row(r, label_width=label_width))
-
-    return Group(*parts)
-
-
-def render_state_diff(pm: StateDiffPM, *, ctx: RenderCtx) -> RenderableType:
-    # Plain-text-ish layout, no panels/tables.
-    # Desired style:
-    # State diff
-    # ──────────
-    #
-    # [Section]
-    # ⬆ metric before → after (improved)
-
-    if not pm.has_changes:
-        return Group(
-            Text("State diff", style="bold"),
-            Rule(style="dim"),
-            Text("No differences detected", style="italic dim"),
-        )
-
-    blocks: list[RenderableType] = [Text("State diff", style="bold"), Rule(style="dim")]
-
-    first = True
-    for sec in pm.sections:
-        if sec.empty():
-            continue
-        if not first and not ctx.compact:
-            blocks.append(Text(""))  # blank line between sections
-        first = False
-        blocks.append(_render_section(sec.title, sec.rows, ctx=ctx))
-
-    return Group(*blocks)

speclogician/presentation/renderers/state_instance.py

@@ -1,82 +0,0 @@
-#
-#   Imandra Inc.
-#
-#   speclogician/presentation/renderers/state_instance.py
-#
-
-from __future__ import annotations
-
-from rich.console import Group, RenderableType
-from rich.panel import Panel
-
-from speclogician.presentation.ctx import RenderCtx
-from speclogician.presentation.models.state_instance import StateInstancePM
-
-from speclogician.presentation.renderers.spec import render_spec
-from speclogician.presentation.renderers.state_diff import render_state_diff
-from speclogician.presentation.renderers.container import render_artifact_container
-from speclogician.presentation.renderers.state_instance_summary import (
-    render_state_instance_summary,
-)
-from speclogician.presentation.renderers.recommendations import render_recommendations
-
-def render_state_instance(pm: StateInstancePM, *, ctx: RenderCtx) -> RenderableType:
-    summary_panel = render_state_instance_summary(pm.summary, ctx=ctx)
-
-    # Always show recommendations first if present (cheap + high-signal).
-    rec_panel: RenderableType | None = None
-    if getattr(pm, "recommendations", None) is not None:
-        rec_panel = render_recommendations(pm.recommendations, ctx=ctx)
-
-    # Stats-only: summary (and recs if available)
-    if ctx.show_stats_only:
-        blocks: list[RenderableType] = []
-        if rec_panel is not None:
-            blocks.append(rec_panel)
-        blocks.append(summary_panel)
-        return Panel(
-            Group(*blocks),
-            title="[bold]State instance[/bold]",
-            border_style="magenta",
-            expand=True,
-        )
-
-    blocks: list[RenderableType] = []
-    if rec_panel is not None:
-        blocks.append(rec_panel)
-
-    blocks.append(summary_panel)
-
-    if pm.state_diff is not None and getattr(ctx, "show_diff", True):
-        blocks.append(
-            Panel(
-                render_state_diff(pm.state_diff, ctx=ctx),
-                title="[bold]Diff[/bold]",
-                border_style="yellow",
-            )
-        )
-
-    if pm.spec is not None:
-        blocks.append(
-            Panel(
-                render_spec(pm.spec, ctx=ctx),
-                title="[bold]Spec[/bold]",
-                border_style="cyan",
-            )
-        )
-
-    if pm.artifacts is not None:
-        blocks.append(
-            Panel(
-                render_artifact_container(pm.artifacts, ctx=ctx),
-                title="[bold]Artifacts[/bold]",
-                border_style="green",
-            )
-        )
-
-    return Panel(
-        Group(*blocks),
-        title="[bold]State instance[/bold]",
-        border_style="magenta",
-        expand=True,
-    )