/api /r tokens.json GitHub

Research Trail Footer

Collapsible bottom-of-article epistemic-frontier disclosure. Three fixed subsections: Research done / Suggested research / Open questions. Collapsed by default; summary line shows counts ('N done · N suggested · N open question(s)'). Native <details>/<summary> — no JS needed. Emits JSON-LD potentialAction nodes (SearchAction + Question). Doctrine claim #39 at article scale.

Live previewrendered from recipe via {tokens} resolution
collapsed
Research trail — 4 done · 3 suggested · 1 open question

Research done

  • Klein 2009 — seL4 formal verification (academic source)
  • Wikipedia capability-based-security article (secondary survey)

Suggested research

  • seL4 capability-revocation 2024–2026 papers — verify transitive revocation behaviour

Open questions

  • Does the seL4 microkernel revoke capabilities transitively when a parent capability is destroyed?

Default — summary line with counts visible; body hidden.

expanded
Research trail — 4 done · 3 suggested · 1 open question

Research done

  • Klein 2009 — seL4 formal verification (academic source)
  • Wikipedia capability-based-security article (secondary survey)

Suggested research

  • seL4 capability-revocation 2024–2026 papers — verify transitive revocation behaviour

Open questions

  • Does the seL4 microkernel revoke capabilities transitively when a parent capability is destroyed?

Full three-subsection content visible.

suppressed
Research trail — 4 done · 3 suggested · 1 open question

Research done

  • Klein 2009 — seL4 formal verification (academic source)
  • Wikipedia capability-based-security article (secondary survey)

Suggested research

  • seL4 capability-revocation 2024–2026 papers — verify transitive revocation behaviour

Open questions

  • Does the seL4 microkernel revoke capabilities transitively when a parent capability is destroyed?

Not rendered — article frontmatter declares research_trail: false, or all three counts are zero.

ARIA notes

Native <details>/<summary> element pair. Browsers handle keyboard (Enter/Space on summary), screen-reader announcement, and aria-expanded natively. Subsections use <h3> because the article's '## Research trail' renders as <h2>. Focus ring on summary via :focus-visible.

The usage tab for this component is not yet authored. Creative Design Contributors — pick this up.

Recipe is at /api/components/research-trail-footer.json.