[Cuarroc]

Zwei Einträge in KNOWN_ISSUES.md trugen die Nummer KI-31; der Eintrag zum main-red-guard-Fehlalarm heißt jetzt KI-32. Der Update-Eintrag (KI-31) ist für den Journal-Pfad als behoben durch PR #462 markiert. Offen bleibt ein echter Lauf „Update installieren und neu starten“ auf dem Windows-PC.

Report

What changed (KNOWN_ISSUES.md only, 2 lines, no code):

• Resolved-table entry "main-red-guard red although both lanes were green" (run 37156370787): KI-31 -> KI-32 (next free number; git grep -nE "KI-3[2-9]" found none before).
• Update entry KI-31: severity and fixed-by column updated: fixed by W3-02j / PR fix(update): accept post-update handshake on identity, record digests #462 (trust-on-first-run handshake) for updates installed through the journal path. Still open: a real install-and-restart run on the PC, and updates not installed through the journal path (workaround stays for those).

git grep -n "KI-31" hits (before): KNOWN_ISSUES.md:48 = update entry, kept as KI-31; KNOWN_ISSUES.md:57 = main-red-guard entry, renumbered KI-32. No other hit in the tree (docs, PLAN, STAND, .pa). Immutable references outside the tree: commit message/PR #258 use "KI-31" for main-red-guard; PR #463 uses it for the update entry.

Discrepancy with the task premise: git log -S shows the main-red-guard KI-31 is the older one (ab49ea4, PR #258, 2026-10-04); the update entry came later (8e54129, PR #463, 2026-10-05). I followed the explicit instruction (keep KI-31 for the update entry, an open, actively referenced item); the historic PR #258 text therefore points at the old number. Swapping is a two-line change if the coordinator prefers.

Evidence: base origin/main dae3e0e (predecessor PR #472 merged; #462 merged). bash scripts/ci/gates.sh lane prepush at final HEAD 9d69d7a: exit 0 (log: /tmp/ki31-prepush.log on the server). Diff: 2 lines changed. Trailer: No-Test: documentation only.

NICHT ABGEDECKT: #[cfg(windows)] tests / Windows clippy arms (Windows lane runs in the merge queue); a real update install-and-restart on the PC; no gate checks the KI numbering itself.

Review: pending (coordinator), Tier C.

🤖 Generated with Claude Code

[chatgpt-codex-connector]

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.

[Cuarroc]

@Mergifyio queue

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-10-05 08:44 UTC · Rule: default · triggered by @Cuarroc with the @mergifyio queue command
• ✅ Checks passed · on draft merge queue: checking #476 on main (dae3e0e) #477
• ✅ Merged — 2026-10-05 08:58 UTC · at 566d2bbd48e71b2226fcc31e45124eea1c271585 · merge

This pull request spent 14 minutes 13 seconds in the queue, including 13 minutes 56 seconds running CI.

Required conditions to merge

• check-success = gates (linux)
• check-success = gates (windows)
• check-success = red-first
• label != do-not-merge
  • docs: renumber duplicate KI-31, record W3-02j fix status #476