{% extends "base.html" %}
{% block title %}health · tau-x402-cage{% endblock %}
{% block content %}
  <h1 class="question">Is the cage daemon healthy?</h1>
  <p class="lede">
    Liveness + readiness snapshot. Same payload the daemon's
    ``health`` op returns; load balancers and humans look at the same page.
  </p>

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

  <section>
    <h2>Snapshot</h2>
    <dl class="meta">
      <dt>Ready</dt>
      <dd>
        {% if health.get("ready") %}
          <span class="tag permit">yes</span>
        {% else %}
          <span class="tag reject">no</span>
        {% endif %}
      </dd>
      <dt>Prover backend</dt>
      <dd>{{ health.get("prover_backend", "—") }}</dd>
      <dt>Prover mode</dt>
      <dd>{{ health.get("prover_mode", "—") }}</dd>
      <dt>Tau runtime available</dt>
      <dd>{{ "yes" if health.get("tau_available") else "no" }}</dd>
      <dt>Invariants active</dt>
      <dd>{{ health.get("invariants_active", 0) }}</dd>
      <dt>Revision log length</dt>
      <dd>{{ health.get("revision_log_length", 0) }}</dd>
      <dt>Payment history length</dt>
      <dd>{{ health.get("payment_history_length", 0) }}</dd>
      <dt>Reject history length</dt>
      <dd>{{ health.get("reject_history_length", 0) }}</dd>
    </dl>
  </section>

  <section>
    <h2>Raw payload</h2>
    <pre class="block">{{ health | tojson(indent=2) }}</pre>
  </section>
{% endblock %}