{% extends "base.html" %} {% block title %}Overview — Solidity Flow Navigator{% endblock %} {% block body_class %}index-page{% endblock %} {% block content %} {# v0.20.0 redesign (spec §8.3): the index is reframed as a two-pane attack- surface map — a sticky left sidebar (run summary, foldable Bindings card, contract navigator) beside a main column whose search / filter / sort controls sit at the very top, above a per-contract listing. Every server-rendered feature degrades with JavaScript off; facets, sort, collapse, the bindings fold, keyboard nav, and scroll-spy are JS-only enhancements (index.js). #} {# v0.15.0 pins (spec §8.3): a pushpin toggle. Each is a real server-side link to /bookmark// (works with no JavaScript; the fallback reloads and returns to this row). index.js enhances the click to toggle in place. ``tilt`` rotates the pin: 25° in the listing, 0° (upright) in the Pinned collection. #} {% macro bookmark_toggle(kind, ident, on, tilt=25) -%} {% set anchor = ('e-' if kind == 'entry' else 'c-') ~ (ident | anchor_slug) -%} {%- endmacro %} {# A simple disclosure chevron (down when open, rotated -90° when closed via CSS). Shared by the Bindings fold, contract collapse, and the Reads sub-section. #} {% macro chevron(size, cls) -%} {%- endmacro %}

{# ===== left sidebar ===== #}

{# --- Overview block: run summary --- #}

Overview

{{ total_contracts }} contract{{ 's' if total_contracts != 1 }} · {{ total_entry_points }} entry point{{ 's' if total_entry_points != 1 }}

{{ total_reviewed }}/{{ total_entry_points }} visited

{# --- Bindings panel (foldable card) — spec §8.3, §13.2. One row per bindable interface; each row is a real GET form to /bind/, so picking a concrete contract resolves that interface at every call site with no JavaScript. "Save to solflow.toml" (POST /bindings/save) persists the bindings. index.js folds the card (localStorage), auto-applies on change, and collapses a long list. Renders only when an interface is bindable; otherwise the scope line stands alone in the sidebar (below). #} {% if bindable %}

{{ chevron(18, 'fold-chevron') }}

Interface Bindings

{{ bindable | length }} interface{{ 's' if bindable | length != 1 }} · {{ bindable | selectattr('bound_to') | list | length }} bound

Resolve an interface into the contract behind it, applied across every Flow.

{% if saved == 'ok' %}

Saved to solflow.toml.

{% elif saved == 'error' %}

Could not write solflow.toml — see the server log.

{% endif %}

{{ b.interface }} {{ b.call_sites }} site{{ 's' if b.call_sites != 1 }}

Scope · excluded {{ scope.exclude_paths | length }} path{{ 's' if scope.exclude_paths | length != 1 }} · stub {% if scope.stub_paths %}{{ scope.stub_paths | length }} path{{ 's' if scope.stub_paths | length != 1 }}{% else %}none{% endif %}

{% else %}

Scope · excluded {{ scope.exclude_paths | length }} path{{ 's' if scope.exclude_paths | length != 1 }} · stub {% if scope.stub_paths %}{{ scope.stub_paths | length }} path{{ 's' if scope.stub_paths | length != 1 }}{% else %}none{% endif %}

{% endif %} {# --- Contracts navigator: one row per contract, grouped by divider. index.js makes each row a smooth-scroll jump to #c-, highlights the contract currently in view (scroll-spy), and dims rows filtered out. #}

{# v0.24.0: a real, sticky section header (was a tiny uppercase eyebrow) — icon + right-aligned count, matching the Interface Bindings heading weight, so the navigator reads as the sidebar's primary scroll region. The list glyph is the same one the Flow Call-Tree sidebar uses. #}

Contracts {{ total_contracts }}

{% for group in groups %}{% if group.contracts %}

{{ group.label }}

{% for contract in group.contracts %} {% set count = contract.mutating_count + contract.read_only_count %} {{ contract.name }} {{ count }} {{ contract.source_path }} {{ reviewed_by_contract[contract.name] }}/{{ count }} visited · {{ contract.unresolved_total }} unresolved {% endfor %} {% endif %}{% endfor %}

{# ===== main column ===== #}

{# --- control bar: facets (top), then filter + sort. Both rows are server- rendered but `hidden`; index.js reveals and wires them, so no-JS users get the full listing in default order with no dead controls. --- #}

{# --- Pinned (only when bookmarks match this analysis) — spec §8.3. Stays put and unfiltered; the filter narrows only the contract listing below it. #} {% set bookmark_count = (bookmarked_contracts | length) + (bookmarked_entries | length) %} {% if bookmark_count %} {{ bookmark_count }}

Pinned

{{ bookmark_toggle('contract', contract.name, true, tilt=0) }} contract {{ contract.name }}
{{ bookmark_toggle('entry', ep.url_id, true, tilt=0) }} {{ ep.contract_name }} {{ ep.signature_html | safe }}

{% endif %} {# --- contract sections, grouped by the Project / Tests / Dependencies divider (kept). Each contract header toggles collapse (index.js); each entry row carries facet/sort data attributes for the client-side controls. #} {% for group in groups %} {% if group.contracts %}

{{ group.label }}

{% for contract in group.contracts %} {% set count = contract.mutating_count + contract.read_only_count %}

{{ bookmark_toggle('contract', contract.name, ('c:' + contract.name) in bookmarked_ids) }} {{ contract.name }} {{ contract.source_path }} {{ count }} entr{{ 'y' if count == 1 else 'ies' }}

{% if contract.mutating_entry_points %}

Writes · {{ contract.mutating_count }}

{# v0.11.0 (spec §8.3): no Contract. prefix; modifier chips render on Writes rows only (no chips = unprotected state-changing entry point). #} {{ bookmark_toggle('entry', ep.url_id, ('e:' + ep.url_id) in bookmarked_ids) }} {{ ep.signature_html | safe }} {%- for m in ep.modifier_names %} {{ m }} {%- endfor %} {%- if ep.url_id in viewed_ids -%} ✓ {%- endif -%} {%- if ep.unresolved_count > 0 -%} {{ ep.unresolved_count }} unr {%- endif -%} d{{ ep.max_depth }}

{% endif %} {% if contract.read_only_entry_points %}

{{ chevron(13, 'reads-chevron') }} Reads · {{ contract.read_only_count }}

{# v0.11.0: Reads rows carry no modifier chips (deliberate §8.3 asymmetry) but share the entry-main wrapper. #} {{ bookmark_toggle('entry', ep.url_id, ('e:' + ep.url_id) in bookmarked_ids) }} {{ ep.signature_html | safe }} {%- if ep.url_id in viewed_ids -%} ✓ {%- endif -%} {%- if ep.unresolved_count > 0 -%} {{ ep.unresolved_count }} unr {%- endif -%} d{{ ep.max_depth }}

{% endif %}

{% endfor %}

{% endif %} {% endfor %} {# Keyboard hint — revealed by index.js (the keys are JS-only). #} {# v0.12.0 chips legend (spec §8.3): each key renders through the SAME classes as the live chips so the legend stays self-verifying. #}

Legend · modifier function with a modifier, none = no modifier · 2 unr calls that couldn't be traced · d3 max call depth

{% endblock %} {% block scripts %} {% endblock %}