| run | One monitored execution — a CI job, workflow run, or agent run. |
| Run Profile | The record a run produces: process lineage, network egress, and file access, tied to the commit. |
| Runtime Review | The observation-only PR comment — one collapsed fold per recorded job, connecting outbound destinations to process lineage. See Comment anatomy. |
| public run report | An explicitly published, lossless projection for a public repository. The bare /public/runs/<run-id> URL is the run index; ?profile=<profile-id> is an exact profile permalink. See The public run report. |
| assertion | An invariant evaluated against a Run Profile. Results are recorded verbatim — PASS, FAIL, or ATTENTION — and stay outside the production Runtime Review comment. See Assertions. |
| detection signal | A low-level Jibril event (dropdomain, hidden_elf_exec…) that composes into assertions. |