{% extends "base.html" %}
{% from "_links.html" import edge_list, go, kind_dot %}
{% from "_map.html" import render_map %}
{% block main %}
<article class="page node k-{{ kind or 'view' }}">
  {% include "_crumbs.html" %}
  <header class="page-head">
    <div class="eyebrow">
      <span class="kind-badge k-{{ kind or 'view' }}">{{ kind_dot(kind) }}{{ kind_name }}</span>
      {% if node.level %}<span class="meta-item">Level {{ node.level }}</span>{% endif %}
      {% if registry_status %}<span class="status {{ registry_status }}">{{ registry_status }}</span>{% endif %}
      {% if node.attr("evidence_kind") %}<span class="tag">{{ node.attr("evidence_kind") }}</span>{% endif %}
      {% if node.attr("observed") %}<span class="meta-item">Observed {{ node.attr("observed") }}</span>{% endif %}
    </div>
    <h1>{{ node.label }}</h1>
    <code class="uri-chip">{{ node.uri }}</code>
    {% if cascade_route or map_id %}
    <div class="actions">
      {% if cascade_route %}
      <a class="btn primary" {{ go(cascade_route, base) }}>What stops being true if this is falsified?</a>
      {% endif %}
      {% if map_id %}
      {# A plain link on purpose: a full load is what makes :target light this
         node's line on the map. #}
      <a class="btn" href="{{ base }}/graph#{{ map_id }}">Show on the map</a>
      {% endif %}
    </div>
    {% endif %}
  </header>

  {% if neighbourhood.nodes | length > 1 %}
  <div class="panel neighbourhood">
    <div class="panel-head">
      <h2>Neighbourhood</h2>
      <p class="note">Everything one edge away, in the map's lanes.</p>
    </div>
    {{ render_map(neighbourhood, base) }}
  </div>
  {% endif %}

  <div class="page-grid">
    <div class="page-main">
      {% if file_span %}{{ file_span }}{% endif %}
      {% if hypothesis %}
      <div class="hypothesis-card">
        <h2>Hypothesis</h2>
        <blockquote>{{ hypothesis }}</blockquote>
        {% if criteria %}
        <h3>Falsified when</h3>
        <ul class="criteria">{% for item in criteria %}<li>{{ item }}</li>{% endfor %}</ul>
        {% else %}
        <p class="absent">No falsification criteria are recorded.</p>
        {% endif %}
      </div>
      {% endif %}

      {# The node's own prose, rendered from Markdown with raw HTML disabled: the
         renderer escapes anything that is not CommonMark, so a note is data and
         an author cannot put elements onto every reader's page. Relative links
         between notes are rewritten to the routes of the nodes they name. A
         requirement renders its text and its scenarios, each anchored by slug,
         with the code it names linked to the code's page. #}
      {% if body %}
      <section class="body">
        {{ body }}
      </section>
      {% elif not hypothesis and not contract and not contract_evidence %}
      <p class="absent">This node carries no prose of its own; its connections say what it is for.</p>
      {% endif %}

      {# A data contract renders its content the way a reviewer reads it: what it
         is for, the quality rules it holds itself to -- the executed assertions
         that bind level-4 coverage -- and the shape it promises. #}
      {% if contract %}
      <section class="contract">
        {% if contract.purpose %}<p class="lede">{{ contract.purpose }}</p>{% endif %}
        {% if contract.usage %}<p class="note"><b>Usage.</b> {{ contract.usage }}</p>{% endif %}
        {% if contract.limitations %}<p class="note"><b>Limitations.</b> {{ contract.limitations }}</p>{% endif %}

        {% if contract.rules %}
        <h2>Quality rules</h2>
        <p class="note">The executed assertions this contract holds itself to — the level-4 evidence that binds a requirement.</p>
        <ul class="quality-rules">
          {% for rule in contract.rules %}
          <li><code class="where">{{ rule.where }}</code> {{ rule.text }}</li>
          {% endfor %}
        </ul>
        {% endif %}

        {% if contract.objects %}
        <h2>Schema</h2>
        {% for obj in contract.objects %}
        <div class="schema-object">
          <h3><code>{{ obj.name }}</code></h3>
          {% if obj.description %}<p class="note">{{ obj.description }}</p>{% endif %}
          {% if obj.fields %}
          <table class="schema">
            <thead><tr><th>Field</th><th>Type</th><th>Required</th></tr></thead>
            <tbody>
            {% for field in obj.fields %}
            <tr><td><code>{{ field.name }}</code></td><td>{{ field.type }}</td><td>{{ "required" if field.required else "" }}</td></tr>
            {% endfor %}
            </tbody>
          </table>
          {% endif %}
        </div>
        {% endfor %}
        {% endif %}
      </section>
      {% endif %}

      {# Contract quality rules in this node's scope, shown as the level-4
         evidence they are: on a requirement, the contracts it requires; on an
         evidence record, the contracts its requirements require. #}
      {% if contract_evidence %}
      <section class="panel contract-evidence">
        <div class="panel-head">
          <h2>Contract quality · level-4 evidence</h2>
          <p class="note">Quality rules on the contracts in scope are executed assertions; a requirement that names a contract carrying one is bound at level 4.</p>
        </div>
        {% for item in contract_evidence %}
        <div class="contract-rules">
          <h3><a {{ go(item.route, base) }}>{{ item.label }}</a></h3>
          <ul class="quality-rules">
            {% for rule in item.rules %}<li><code class="where">{{ rule.where }}</code> {{ rule.text }}</li>{% endfor %}
          </ul>
        </div>
        {% endfor %}
      </section>
      {% endif %}

      {% if pending %}
      <div class="panel pending">
        <h3>Pending delegations</h3>
        <p class="note">Proposed but not yet archived into <code>openspec/specs/</code>.</p>
        <ul>{% for item in pending %}<li><code>{{ item }}</code></li>{% endfor %}</ul>
      </div>
      {% endif %}
    </div>

    <aside class="rail">
      {# Both directions are presented the same way. Which one an author typed is an
         implementation detail of the class, and surfacing it would invite people to
         treat the other direction as second-class. #}
      <nav class="graph" aria-label="Graph">
      {{ edge_list("Parent", parents, base) }}
      {{ edge_list("Children", children, base, absent="No children are recorded.") }}
      {{ edge_list("Delegated capabilities", delegated, base) }}
      {{ edge_list("Required contracts", contracts, base) }}
      {{ edge_list("Implemented by", implemented, base) }}
      {{ edge_list("Evidence against", against, base, tone="hard") }}
      {{ edge_list("Evidence for", support, base, tone="live") }}
      {{ edge_list("Bears on", bears_on, base) }}
      {{ edge_list("Tests cited", tests, base) }}
      {{ edge_list("Other edges", others, base) }}
      </nav>

      <div class="panel identity-card">
        <h3>Identity</h3>
        <dl class="identity">
          <dt>URI</dt><dd><code>{{ node.uri }}</code></dd>
          <dt>Kind</dt><dd>{{ node.kind }}</dd>
          {% if node.level %}<dt>Level</dt><dd>{{ node.level }}</dd>{% endif %}
          {% if node.venture %}<dt>Venture</dt><dd>{{ node.venture }}</dd>{% endif %}
          {% if node.status %}<dt>Status</dt><dd>{{ node.status }}</dd>{% endif %}
          {% if node.attr("evidence_kind") %}<dt>Evidence kind</dt><dd>{{ node.attr("evidence_kind") }}</dd>{% endif %}
          {% if node.attr("observed") %}<dt>Observed</dt><dd>{{ node.attr("observed") }}</dd>{% endif %}
          {% if node.source %}<dt>Source</dt><dd><code>{{ node.source }}</code></dd>{% endif %}
        </dl>
      </div>
    </aside>
  </div>
</article>
{% endblock %}