{% extends "base.html" %}
{% from "_links.html" import go, kind_dot %}
{% block main %}
<article class="page registry">
  <header class="page-head">
    <div class="eyebrow"><span class="kind-badge k-capability">{{ kind_dot("capability") }}Registry</span></div>
    <h1>Hypothesis registry</h1>
    <p class="meta">
      {{ result.entries | length }} capabilities &middot;
      {{ statuses.live }} live, {{ statuses.falsified }} falsified,
      {{ statuses.pivoted }} pivoted &middot;
      {{ result.lacking_criteria }} lacking criteria &middot;
      {{ result.incomplete_reach }} with incomplete reach
    </p>
  </header>

  {% if result.values %}
  <section class="status-group value-group">
    <h2>Value <span class="n">{{ result.values | length }}</span></h2>
    <ul class="entries">
    {% for value in result.values %}
      <li class="entry-card">
        <span class="venture">{{ value.venture }}</span>
        {% if value_routes[value.uri] %}<a class="entry-title" {{ go(value_routes[value.uri], base) }}>{{ value.label }}</a>
        {% else %}<span class="entry-title">{{ value.label }}</span>{% endif %}
        {% if value.hypothesis %}<p class="hypothesis">{{ value.hypothesis }}</p>
        {% else %}<p class="absent">No hypothesis recorded.</p>{% endif %}
      </li>
    {% endfor %}
    </ul>
  </section>
  {% endif %}

  <ul class="stats">
    <li class="stat tone-live"><span class="stat-label">Live</span><strong>{{ statuses.live }}</strong><span class="stat-detail">no evidence against</span></li>
    <li class="stat tone-hard"><span class="stat-label">Falsified</span><strong>{{ statuses.falsified }}</strong><span class="stat-detail">evidence met a criterion</span></li>
    <li class="stat tone-soft"><span class="stat-label">Pivoted</span><strong>{{ statuses.pivoted }}</strong><span class="stat-detail">falsified, then redirected</span></li>
    <li class="stat"><span class="stat-label">Incomplete reach</span><strong>{{ result.incomplete_reach }}</strong><span class="stat-detail">consumers cannot be enumerated</span></li>
  </ul>

  {% for status in ("live", "falsified", "pivoted") %}
  {% set group = grouped[status] %}
  <section class="status-group">
    <h2><span class="status {{ status }}">{{ status }}</span> <span class="n">{{ group | length }}</span></h2>
    {% if not group %}
    <p class="absent">None.</p>
    {% else %}
    <ul class="entries">
    {% for entry in group %}
      <li class="entry-card status-{{ status }}">
        <span class="venture">{{ entry.venture }}</span>
        <a class="entry-title" {{ go(routes[entry.uri], base) }}>{{ entry.label }}</a>
        {% if entry.hypothesis %}<p class="hypothesis">{{ entry.hypothesis }}</p>
        {% else %}<p class="absent">No hypothesis recorded.</p>{% endif %}
        {% if entry.falsification_criteria %}
        <details class="criteria-details">
          <summary>Falsified when <span class="n">{{ entry.falsification_criteria | length }}</span></summary>
          <ul class="criteria">
            {% for item in entry.falsification_criteria %}<li>{{ item }}</li>{% endfor %}
          </ul>
        </details>
        {% else %}
        <p class="absent">No falsification criteria recorded.</p>
        {% endif %}
        <div class="reach">
          <span class="count-chip hard">{{ entry.invalidated | length }} invalidated</span>
          <span class="count-chip soft">{{ entry.flagged | length }} flagged</span>
          {% if entry.uri in cascades %}
          <a class="more" {{ go(cascades[entry.uri], base) }}>Blast radius <span aria-hidden="true">&rarr;</span></a>
          {% endif %}
        </div>
        {% if entry.incomplete %}
        <p class="incomplete">Reach incomplete: {{ entry.incomplete_reason }}</p>
        {% endif %}
      </li>
    {% endfor %}
    </ul>
    {% endif %}
  </section>
  {% endfor %}

  <section class="coverage-section">
    <h2>Compilation coverage</h2>
    <p class="note">How many success criteria at each layer are bound to something that executes.</p>
    <div class="table-wrap">
    <table>
      <thead><tr><th>Layer</th><th>Criteria source</th><th>Assertion</th><th>Bound</th>
      <th>Coverage</th></tr></thead>
      <tbody>
      {% for layer in result.coverage %}
        <tr><td>Level {{ layer.layer }}</td><td><code>{{ layer.criteria_source }}</code></td>
        <td>{{ layer.assertion }}</td><td class="num">{{ layer.bound }} / {{ layer.total }}</td>
        <td class="cov"><span class="bar"><i style="width: {{ '%.1f' | format(layer.ratio * 100) }}%"></i></span>{{ "%.1f" | format(layer.ratio * 100) }}%</td></tr>
      {% endfor %}
      </tbody>
    </table>
    </div>
  </section>
</article>
{% endblock %}