{% extends "base.html" %}
{% block title %}diff · tau-x402-cage{% endblock %}
{% block content %}
  <h1 class="question">What changed between these revisions?</h1>
  <p class="lede">
    Added and removed invariants between two admissions. Pulled from the
    v0.6.0 <code>diff_revisions</code> op; no mutation.
  </p>

  <section>
    <h2>Pair</h2>
    <dl class="meta">
      <dt>From</dt>
      <dd><a href="/ui/revisions/{{ from_rev }}">{{ from_rev }}</a></dd>
      <dt>To</dt>
      <dd><a href="/ui/revisions/{{ to_rev }}">{{ to_rev }}</a></dd>
      {% if data and data.get("backend_changed") %}
        <dt>Backend changed</dt>
        <dd>
          {{ data.a.get("backend", "?") }} &rarr; {{ data.b.get("backend", "?") }}
        </dd>
      {% endif %}
      {% if data and data.get("mode_changed") %}
        <dt>Mode changed</dt>
        <dd>
          {{ data.a.get("mode", "?") }} &rarr; {{ data.b.get("mode", "?") }}
        </dd>
      {% endif %}
    </dl>
  </section>

  <section>
    <h2>Delta</h2>
    {% if error %}
      <div class="error-banner">{{ error }}</div>
    {% else %}
      <style>
        table.diff-table tr.added   td.marker { color: var(--permit); font-weight: 700; }
        table.diff-table tr.removed td.marker { color: var(--reject); font-weight: 700; }
        table.diff-table tr.added   td:first-child { border-left: 3px solid var(--permit); }
        table.diff-table tr.removed td:first-child { border-left: 3px solid var(--reject); }
        p.diff-meta { color: var(--muted); margin: 0 0 8px 0; font-size: 12px; }
      </style>
      {{ diff_html | safe }}
    {% endif %}
  </section>

  <p><a href="/ui/revisions">&laquo; Back to revision chain</a></p>
{% endblock %}