{% extends "base.html" %}
{% block title %}policy · tau-x402-cage{% endblock %}
{% block content %}
  <h1 class="question">Which invariants would fire right now?</h1>
  <p class="lede">
    Active invariant set as admitted by the prover chain. Same snapshot
    used for ``check_payment``. Read-only.
  </p>

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

  <section>
    <h2>Provenance</h2>
    <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 %}—{% endif %}
      </dd>
      <dt>Proof backend</dt>
      <dd>{{ policy.get("proof_backend") or "—" }}</dd>
      <dt>Proof strength</dt>
      <dd>{{ policy.get("proof_strength") or "—" }}</dd>
      <dt>Prover mode</dt>
      <dd>{{ policy.get("prover_mode") or "—" }}</dd>
      <dt>Fragment version</dt>
      <dd>{{ policy.get("fragment_version") or "—" }}</dd>
      <dt>Compile hash</dt>
      <dd>{{ policy.get("compile_hash") or "—" }}</dd>
    </dl>
  </section>

  <section>
    <h2>Invariants ({{ policy.get("active_invariants", 0) }})</h2>
    {% set invs = policy.get("invariants") or [] %}
    {% if invs %}
      <table class="dense">
        <thead>
          <tr>
            <th>#</th>
            <th>Class</th>
            <th>Scope</th>
          </tr>
        </thead>
        <tbody>
          {% for inv in invs %}
            <tr>
              <td>{{ loop.index }}</td>
              <td>{{ inv.get("class", "unknown") }}</td>
              <td>{{ inv.get("scope_hint", "—") }}</td>
            </tr>
          {% endfor %}
        </tbody>
      </table>
    {% else %}
      <p class="empty">No active invariants.</p>
    {% endif %}
  </section>
{% endblock %}