{% extends "base.html" %}
{% block title %}overview · tau-x402-cage{% endblock %}
{% block content %}
  <h1 class="question">What is the cage enforcing right now?</h1>
  <p class="lede">
    Single-pane view into an active tau-x402-cage daemon. Everything here
    is read-only. To change a policy, talk to the daemon directly.
  </p>

  {% if health.get("verdict") != "ok" %}
    <div class="error-banner">
      Daemon unreachable: {{ health.get("category") }} / {{ health.get("reason") }}
    </div>
  {% endif %}

  <section>
    <h2>Status</h2>
    <dl class="meta">
      <dt>Prover backend</dt>
      <dd>{{ health.get("prover_backend", "unknown") }}</dd>
      <dt>Prover mode</dt>
      <dd>{{ health.get("prover_mode", "unknown") }}</dd>
      <dt>Tau available</dt>
      <dd>{{ "yes" if health.get("tau_available") else "no" }}</dd>
      <dt>Active invariants</dt>
      <dd>{{ health.get("invariants_active", 0) }}</dd>
      <dt>Revisions</dt>
      <dd>{{ health.get("revision_log_length", 0) }}</dd>
      <dt>Payments observed</dt>
      <dd>{{ health.get("payment_history_length", 0) }}</dd>
      <dt>Rejects observed</dt>
      <dd>{{ health.get("reject_history_length", 0) }}</dd>
    </dl>
  </section>

  <section>
    <h2>Active policy</h2>
    {% if policy.get("verdict") == "ok" and policy.get("active_invariants", 0) > 0 %}
      <dl class="meta">
        <dt>Active revision</dt>
        <dd>
          {% if policy.get("active_revision_id") %}
            <a href="/ui/revisions/{{ policy.active_revision_id }}">
              {{ policy.active_revision_id }}
            </a>
          {% else %}
            <span class="tag warn">none</span>
          {% endif %}
        </dd>
        <dt>Proof backend</dt>
        <dd>{{ policy.get("proof_backend") or "unknown" }}</dd>
        <dt>Proof strength</dt>
        <dd>{{ policy.get("proof_strength") or "unknown" }}</dd>
        <dt>Fragment version</dt>
        <dd>{{ policy.get("fragment_version") or "unknown" }}</dd>
      </dl>
      <p style="margin-top: 16px;">
        <a href="/ui/policy">Inspect {{ policy.get("active_invariants", 0) }}
          invariant{{ "s" if policy.get("active_invariants", 0) != 1 else "" }}
        </a>
      </p>
    {% else %}
      <p class="empty">No invariants declared yet. The daemon is a no-op
        gate until at least one invariant is admitted.</p>
    {% endif %}
  </section>
{% endblock %}