{% extends "base.html" %}
{% block title %}Index — Solidity Flow Navigator{% endblock %}
{% block body_class %}index-page{% endblock %}

{% block content %}
<header class="index-header">
  <div class="index-header-row">
    <h1 class="index-title">Index</h1>
    {# v0.10.4: native title tooltips on the stats and per-entry badges —
       the d{N} / "N unr" shorthand was unexplained anywhere in the UI. #}
    {# v0.11.0: labels pluralize with their counts; the repo-path subtitle
       that duplicated the site header's path is gone (spec §8.3). #}
    <ul class="index-counts">
      <li class="count-item" title="contracts with at least one externally callable entry point">
        <span class="count-value">{{ total_contracts }}</span>
        <span class="count-label">contract{{ 's' if total_contracts != 1 }}</span>
      </li>
      <li class="count-item" title="externally callable functions — one Flow page each">
        <span class="count-value">{{ total_entry_points }}</span>
        <span class="count-label">entry point{{ 's' if total_entry_points != 1 }}</span>
      </li>
      <li class="count-item" title="call sites no Flow could resolve to a function body (low-level calls, unbound interface calls)">
        <span class="count-value">{{ total_unresolved }}</span>
        <span class="count-label">unresolved</span>
      </li>
    </ul>
  </div>
</header>

<p class="index-scope">
  <span class="scope-chrome">Scope</span>
  <span class="scope-chrome">·</span>
  <span class="scope-chrome">excluded</span>
  {% for glob in scope.exclude_paths -%}
    <code class="scope-glob">{{ glob }}</code>{% if not loop.last %}<span class="scope-chrome">,</span>{% endif %}
  {% endfor %}
  <span class="scope-chrome">·</span>
  <span class="scope-chrome">stub</span>
  {%- if scope.stub_paths %}
    {% for glob in scope.stub_paths -%}
      <code class="scope-glob">{{ glob }}</code>{% if not loop.last %}<span class="scope-chrome">,</span>{% endif %}
    {% endfor %}
  {%- else %}
    <span class="scope-none">none</span>
  {%- endif %}
</p>

{# v0.12.0 (spec §8.3): chips legend — each key renders through the SAME
   classes as the live chips so the legend stays self-verifying. Renders
   unconditionally to keep page layout stable across targets. #}
<p class="index-legend">
  <span class="scope-chrome">Legend</span>
  <span class="scope-chrome">·</span>
  <span class="badge badge-modifier entry-mod-chip">modifier</span>
  <span class="scope-chrome">gate on a mutating entry, none = unguarded</span>
  <span class="scope-chrome">·</span>
  <span class="meta-unresolved">2 unr</span>
  <span class="scope-chrome">unresolved call sites</span>
  <span class="scope-chrome">·</span>
  <span class="meta-depth">d3</span>
  <span class="scope-chrome">max call depth</span>
</p>

{% for group in groups %}
  {% if group.contracts %}
  <section class="index-group">
    <h2 class="group-heading">{{ group.label }}</h2>
    {% for contract in group.contracts %}
    <article class="contract-block">
      <h3 class="contract-name">
        {{ contract.name }}
        <span class="contract-path">{{ contract.source_path }}</span>
      </h3>
      {% if contract.mutating_entry_points %}
      <section class="entry-section">
        <h4 class="section-heading">Mutating · {{ contract.mutating_count }}</h4>
        <ul class="entry-list">
          {% for ep in contract.mutating_entry_points %}
          <li class="entry-row">
            {# v0.11.0 (spec §8.3): no Contract. prefix — the block heading
               names the contract; modifier chips render on mutating rows
               only (no chips = unprotected mutating entry point). #}
            <span class="entry-main">
              <a class="entry-link" href="{{ url_for('flow_page', url_id=ep.url_id) }}">
                <code class="src">{{ ep.signature_html | safe }}</code>
              </a>
              {%- for m in ep.modifier_names %}
              <span class="badge badge-modifier entry-mod-chip" title="modifier {{ m }} guards this entry point">{{ m }}</span>
              {%- endfor %}
            </span>
            <span class="entry-meta">
              {%- if ep.unresolved_count > 0 -%}
                <span class="meta-unresolved" title="{{ ep.unresolved_count }} unresolved call site(s) in this flow — rendered as red pills">{{ ep.unresolved_count }} unr</span>
                <span class="meta-sep">·</span>
              {%- endif -%}
              <span class="meta-depth" title="max call depth {{ ep.max_depth }}">d{{ ep.max_depth }}</span>
            </span>
          </li>
          {% endfor %}
        </ul>
      </section>
      {% endif %}
      {% if contract.read_only_entry_points %}
      <section class="entry-section">
        <h4 class="section-heading">Read-only · {{ contract.read_only_count }}</h4>
        <ul class="entry-list">
          {% for ep in contract.read_only_entry_points %}
          <li class="entry-row">
            {# v0.11.0: read-only rows carry no modifier chips (deliberate
               asymmetry, spec §8.3) but share the entry-main wrapper. #}
            <span class="entry-main">
              <a class="entry-link" href="{{ url_for('flow_page', url_id=ep.url_id) }}">
                <code class="src">{{ ep.signature_html | safe }}</code>
              </a>
            </span>
            <span class="entry-meta">
              {%- if ep.unresolved_count > 0 -%}
                <span class="meta-unresolved" title="{{ ep.unresolved_count }} unresolved call site(s) in this flow — rendered as red pills">{{ ep.unresolved_count }} unr</span>
                <span class="meta-sep">·</span>
              {%- endif -%}
              <span class="meta-depth" title="max call depth {{ ep.max_depth }}">d{{ ep.max_depth }}</span>
            </span>
          </li>
          {% endfor %}
        </ul>
      </section>
      {% endif %}
    </article>
    {% endfor %}
  </section>
  {% endif %}
{% endfor %}

<p class="privacy-footer">All analysis local · code never uploaded · server bound to 127.0.0.1 · <a class="source-link" href="https://github.com/norah1499/solidity-flow-navigator">source</a></p>
{% endblock %}