# Proof obligations

| ID | Exact claim | Hypotheses and regime | Dependencies | Evidence artifact and revision | Review | Freshness | Status | Next check |
|---|---|---|---|---|---|---|---|---|