{% extends "base.html" %}
{% from "_links.html" import edge_list, go %}
{% block main %}
{% set trail_tail = "Blast radius" %}
<article class="page cascade-result">
  {% include "_crumbs.html" %}
  <header class="page-head">
    <div class="eyebrow"><span class="kind-badge k-hard">Blast radius</span></div>
    <h1>Blast radius</h1>
    <p class="lede">If <a {{ go(origin_route, base) }}>{{ origin_label }}</a> is falsified, this is what stops being true. <code class="uri">{{ origin_uri }}</code></p>
  </header>

  <ul class="stats three">
    <li class="stat tone-hard"><span class="stat-label">Invalidated</span><strong>{{ invalidated | length }}</strong><span class="stat-detail">lose their justification</span></li>
    <li class="stat tone-soft"><span class="stat-label">Flagged</span><strong>{{ flagged | length }}</strong><span class="stat-detail">need a person to review</span></li>
    <li class="stat tone-conditional"><span class="stat-label">Decisions</span><strong>{{ decisions | length }}</strong><span class="stat-detail">governed by a recorded ADR</span></li>
  </ul>

  {% if incomplete %}
  <p class="incomplete-notice">
    <strong>Incomplete.</strong> {{ incomplete_reason }}
  </p>
  {% endif %}

  {# Invalidated and flagged are separate groups on purpose. Merging them would
     make the tool assert consequences it cannot support, and one overstated
     claim is enough for a room to stop trusting the whole answer. #}
  <div class="cascade-groups">
  {{ edge_list("Invalidated", invalidated, base,
     "Reachable over a hard edge inside this venture. These no longer have a
      justification.", tone="hard") }}
  {{ edge_list("Flagged for review", flagged, base,
     "Reached softly, or belonging to another venture. A person decides.", tone="soft") }}

  {% if decisions %}
  <section class="edges tone-conditional">
    <h3>Requires a decision</h3><span class="n">{{ decisions | length }}</span>
    <p class="note">Reached over a governed relation.</p>
    <ul>
    {% for member in decisions %}
      <li><span class="edge-target">{{ member.label }}</span> <span class="note">governed by
        {% for adr in member.governed_by %}<code>{{ adr }}</code>{% endfor %}</span></li>
    {% endfor %}
    </ul>
  </section>
  {% endif %}
  </div>

  {% if not invalidated and not flagged and not decisions %}
  <p class="absent">Nothing else depends on this node.</p>
  {% endif %}

  {% if claim_groups %}
  {# The claim set the walkthrough composition for this node shows, computed
     once in claims.py and rendered by both surfaces. Each claim carries the
     URI and field it was read from -- the same provenance string the
     composition shows -- so the video can never claim what this page does
     not substantiate. #}
  <details class="panel claims">
    <summary><h2>What a walkthrough of this falsification states</h2><span class="note">Every sentence the video shows, with where it came from</span></summary>
    {% for group in claim_groups %}
    <section class="claim-group {{ group.kind }}">
      <h4>{{ group.heading }}</h4>
      <ul>
        {% for claim in group.claims %}
        <li>{{ claim.text }}
          <span class="provenance">{{ claim.source }} &middot; {{ claim.field }}</span>
        </li>
        {% endfor %}
      </ul>
    </section>
    {% endfor %}
    {% for message in claim_notes %}
    <p class="note">{{ message }}</p>
    {% endfor %}
  </details>
  {% endif %}

  <section class="proposal panel">
    <h3>Proposed cascade block</h3>
    <p class="note">
      Advisory. Copy into a decision record; generating this changes no file.
    </p>
    <pre>{{ proposal }}</pre>
  </section>
</article>
{% endblock %}