{# The run: where the whole of it is, what it counted, what it was made of, and the index of its questions. The counts are the summary's own. The index is one row per directory the run wrote, and then the questions that wrote none: a statement that could not be run has no evidence to open, so it is a row here with the side that failed and the message. #} {% extends "base.html" %} {% from "_files.html" import file_links %} {% from "_figure.html" import figure_block %} {% from "_index.html" import index_table %} {% block strip %}

the run

{{ page.run_id }} exit status {{ page.exit_status }}

{% endblock %} {% block content %} {% if page.published %}

The whole of this run is a release asset

{% if page.published.directories %}

This site holds {{ page.directories }} of the {{ page.published.directories }} question directories this run wrote; the archive holds every one:

{% else %}

The pages here are a selection of this run's questions. Every question directory it wrote is in one archive:

{% endif %}
archive
{{ page.published.name }}
size
{{ page.published.size }}
sha256
{{ page.published.digest }}
{% endif %}

What it counted

{% for count in page.counts %} {% endfor %}
whathow many
{{ count.name }}{{ count.value }}
{% if page.verdict_figure %} {{ figure_block(page.verdict_figure) }} {% endif %}

the probes

{% for count in page.probe_counts %} {% endfor %}
probefired on
{{ count.name }}{{ count.value }}
{% if page.probe_figure %} {{ figure_block(page.probe_figure) }} {% endif %} {% if page.credited %}

credited by BIRD's own check and NOT_EQUAL here

{% for count in page.credited %} {% endfor %}
whathow many
{{ count.name }}{{ count.value }}
{% endif %}

What the run was made of

{% for fact in page.made_of %}
{{ fact.name }}
{{ fact.value }}{% if fact.detail %} {{ fact.detail }}{% endif %}
{% endfor %}

The session the run was made in

what the engine reported, {{ page.session|length }} settings
{% for fact in page.session %}
{{ fact.name }}
{{ fact.value }}
{% endfor %}
{% if page.notes %}

What the run states about itself

{% for note in page.notes %}
{{ note.name }}
{{ note.value }}{% if note.detail %} {{ note.detail }}{% endif %}
{% endfor %}
{% endif %}

The questions

{{ index_table(page.entries, "") }}

A question whose statement could not be run wrote no directory, so it is a row here and has no page: the summary holds the side that stopped, the step it stopped at and the engine's own message.

{% if page.filters %}

The same index, restricted

Each of these is a page of its own, so a filtered view has an address a reader can send. Nothing here is done by a script or by a query string.

{% endif %}
{{ file_links(page.files) }} {% endblock %}