Review round 2: CI numbers by hash in the session report
gates / gates (push) Successful in 12m51s

This commit is contained in:
2026-10-24 16:29:40 +02:00
parent 876d92367e
commit 80f1ab3167
+4 -4
View File
@@ -15,10 +15,10 @@
**Evidence and the full tables:** `documentation/audits/review-round-2-2026-10-24/README.md`; every document edit with
its `file:line` in `EDITS.md`; the reviewers' candidates in `reviewers/`; the two proofs in `proofs/`.
**Commits (all CI green by hash):** controller `b01bb4b` (two small fixes, red-proved; unreleased) — CI 2294 / #480;
controller `2449223` (REUSE.md); felhom-agent `f5c3d77` and catalog `227a544` (the rule-file alignment); felhom.eu
`77015997` (documents batch 1) and this commit (batch 2, the register, STATUS, CONTEXT). The CI numbers of the last four
are in the final report.
**Commits (CI read by hash):** controller `b01bb4b` (two small fixes, red-proved; unreleased) — CI 2294 / #480 success;
controller `2449223` (REUSE.md) — 2298 / #481 success; felhom-agent `f5c3d77` — 2296 / #261 success and catalog
`227a544` — 2297 / #256 success (the rule-file alignment); felhom.eu `77015997` (documents batch 1) — 2295 / #1253
success; felhom.eu `876d9236` (batch 2, the register, STATUS, CONTEXT) — 2299 / #1254 success.
**Register:** before 190, after 207; opened 17 (R-1251–R-1267), closed 0.