{#
  Top-nav refresh indicator. Rendered both:
    - inline via {% include %} from base.html (uses request.app.state)
    - as an HTMX fragment from POST /refresh and GET /refresh-status
      (uses handler-passed vars)

  The handler always passes `disabled`, `in_progress`, `relative`, `window`.
  For the base.html include path we fall back to reading request.app.state
  directly and computing `relative` via the `format_relative` Jinja global.

  While `in_progress` is truthy, the span self-polls GET /refresh-status so
  the "refreshing…" label flips to "Last refreshed …" once the background
  rebuild completes without the user having to click again.
#}
{% set _state = request.app.state %}
{% set _disabled = disabled if disabled is defined else (_state.refresh_trigger is not defined or _state.refresh_trigger is none) %}
{% set _in_progress = in_progress if in_progress is defined else (_state.refresh_in_progress|default(false)) %}
{% set _last = last_refreshed_at if last_refreshed_at is defined else _state.last_refreshed_at|default(none) %}
{% set _relative = relative if relative is defined else format_relative(_last) %}
{% set _window = window if window is defined else (_state.refresh_window|default("30")) %}
{% set _poll_delay_ms = poll_delay_ms if poll_delay_ms is defined else 1000 %}
{% set _notify = notify if notify is defined else false %}
{% set _loading = loading_state if loading_state is defined else (_state.loading_state|default(none)) %}
{% set _database_snapshot = database_snapshot if database_snapshot is defined else (_state.database_snapshot|default(false)) %}
{% set _database_label = database_label if database_label is defined else (_state.database_label|default("authoritative")) %}
{% set _phase = _loading.phase.value if _loading and _loading.phase is defined else none %}
{% set _stage = _loading.stage.value if _loading and _loading.stage is defined and _loading.stage else none %}
{% set _candidate_total = _loading.candidate_count if _loading and _loading.candidate_count is defined else 0 %}
{% set _candidate_done = _loading.completed_candidates if _loading and _loading.completed_candidates is defined else 0 %}
<span id="refresh-state" class="refresh-indicator"
      role="status" aria-live="polite" aria-atomic="true" aria-busy="{{ 'true' if _in_progress else 'false' }}"
      {%- if _in_progress and not _disabled %} hx-get="/refresh-status" hx-trigger="load delay:{{ _poll_delay_ms }}ms" hx-target="#refresh-state" hx-swap="outerHTML"{% endif %}>
    {% if _disabled %}
        <span class="refresh-muted">auto-refresh off{% if _database_snapshot %} · {{ _database_label }}{% elif _database_label == "preview" %} · preview{% endif %}</span>
    {% elif _phase == "failed" %}
        <span class="refresh-error">Refresh failed{% if _database_label != "authoritative" %} · {{ _database_label }}{% endif %}</span>
    {% else %}
        {% if _in_progress %}
            <span class="refresh-muted">{% if _phase == "previewing" %}loading preview{% elif _phase == "discovering" %}discovering logs{% else %}refreshing{% if _stage %} · loading {{ _stage }}{% endif %}{% endif %}{% if _candidate_total %} ({{ _candidate_done }}/{{ _candidate_total }} files){% endif %}&hellip;</span>
        {% elif _notify %}
            <span class="refresh-flash">&check; refreshed{% if _database_label != "authoritative" %} · {{ _database_label }}{% endif %}</span>
        {% elif _database_snapshot %}
            <span class="refresh-muted">{{ _database_label }} · Last refreshed {{ _relative }}</span>
        {% elif _database_label == "preview" %}
            <span class="refresh-muted">preview · Last refreshed {{ _relative }}</span>
        {% else %}
            <span class="refresh-muted">Last refreshed {{ _relative }}</span>
        {% endif %}
        <form class="refresh-form"
              hx-post="/refresh"
              hx-target="#refresh-state"
              hx-swap="outerHTML"
              hx-disabled-elt="find button"
              style="display:inline">
            <select name="window"
                    class="refresh-window"
                    hx-post="/refresh"
                    hx-target="#refresh-state"
                    hx-swap="outerHTML"
                    hx-trigger="change"
                    {% if _in_progress %}disabled{% endif %}>
                {% if _window not in ("1", "7", "30", "month") %}
                    <option value="{{ _window }}" selected>{% if _window == "0" %}All data{% else %}{{ _window }} days (CLI){% endif %}</option>
                {% endif %}
                <option value="1"{% if _window == "1" %} selected{% endif %}>Today</option>
                <option value="7"{% if _window == "7" %} selected{% endif %}>7 days</option>
                <option value="30"{% if _window == "30" %} selected{% endif %}>30 days</option>
                <option value="month"{% if _window == "month" %} selected{% endif %}>This month</option>
            </select>
            <button class="refresh-btn"
                    type="submit"
                    {% if _in_progress %}disabled{% endif %}>Refresh now</button>
        </form>
    {% endif %}
</span>