{% extends "base.html" %} {% from "_partials/status.html" import status %} {% block main %}

Documents / {{ doc_id }}

{{ manifest.title }}

{% if manifest.revision %}{{ manifest.revision }}{% endif %} repo {{ rid }}· {% if manifest.ingested %}ingested {{ manifest.ingested }}·{% endif %} {{ manifest.sections | length }} sections

{# Only matters for the JS requestSubmit() path (see app.js): that call submits the form's current field values with no button contributing a value of its own, so this hidden field is what carries the active status through on Enter-key submits. With JS disabled, the browser's native implicit submission still activates the form's *first* submit button ("All") regardless of what's selected — duplicate-key GET params resolve to the LAST occurrence, so that button's own name="status" value (rendered later, in source order) wins over this hidden field in the no-JS case. Must precede the buttons in source order so an explicit button click always overrides this field. #}
{% for s in ("all", "pending", "summarized", "reviewed") %} {% endfor %}
{{ rows | length }} of {{ manifest.sections | length }} shown
SectionTitleOne-line summary StatusL2 tk
{% for s in rows %}
§{{ s.id }} {{ s.title }} {{ s.summary }} {{ status(s.status) }} {{ s.tokens.l2 }}
{% else %}
No section matches that filter.
{% endfor %}
{% endblock %} {% block rail %}

Coverage

{% if coverage.reviewed %}{% endif %} {% if coverage.summarized %}{% endif %} {% if coverage.pending %}{% endif %}
reviewed{{ coverage.reviewed }} / {{ coverage.total }}
summarized{{ coverage.summarized }} / {{ coverage.total }}
pending{{ coverage.pending }}

Source

{% if manifest.revision %}
Revision{{ manifest.revision }}
{% endif %} {% if manifest.ingested %}
Ingested{{ manifest.ingested }}
{% endif %} {% if manifest.source_sha256 %}
source_sha256 {{ manifest.source_sha256 }}
{% endif %}

Files

_manifest.yaml
{% for f in files %}{{ f }}
{% endfor %}
{% endblock %}