# Requirement catalog

This catalog is generated from the normative Markdown sources. Design status is separate from execution evidence: no requirement is marked tested by extracting it or finding its ID in a header. All evidence here is **not evaluated**. The executed-case/profile matrix remains a separate M2 deliverable.

Download: {download}`JSON <../../_exports/requirements.json>` or {download}`CSV <../../_exports/requirements.csv>`.

```{needtable}
:columns: id;title;status;evidence;design_source
```

```{toctree}
:maxdepth: 1

API
ARCH-AVR
HW
KRN-CAP
KRN-IPC
KRN-IRQ
KRN-NOTIF
KRN-OBJ
KRN-PART
KRN-SYNC
KRN-THR
KRN-TIM
KRN-WAIT
KRN-WQ
OBS
PORT
PORT-ABI
SIM
```