The 813 A2 task asks for formatting-only repairs in the three kernel files named by deferred review finding P-13. At base 19427ef, cargo fmt --check -p kernel reports 57 files. The checked-in docs/planning/green-program/ipc/813-PR-A-2026-09-07.md and the GitHub review/comment bodies inspected for PR 933 do not identify a P-13 three-file roster. Formatting PR 933's historical touched files likewise reports more than three discrepancies.
Commit abd1370 formats kernel/src/ipc/fd.rs, kernel/src/ipc/poll.rs, and kernel/src/process/manager.rs in isolation. These were provisionally selected as non-dispatch PR 933 files with current formatter differences. The requested exact roster remains unconfirmed; a clarification was requested during the task. Do not label P-13 discharged based solely on that provisional selection.
Recover the review's precise roster, compare it with the three files already formatted, and apply any remaining formatting-only repair in its own commit. Avoid broad formatting of protected interrupt/dispatch files without the applicable authorization. Evidence: docs/planning/green-program/ipc/813-A2-2026-09-07.md and serials/813-a2/initial-kernel-fmt.log.
The 813 A2 task asks for formatting-only repairs in the three kernel files named by deferred review finding P-13. At base 19427ef, cargo fmt --check -p kernel reports 57 files. The checked-in docs/planning/green-program/ipc/813-PR-A-2026-09-07.md and the GitHub review/comment bodies inspected for PR 933 do not identify a P-13 three-file roster. Formatting PR 933's historical touched files likewise reports more than three discrepancies.
Commit abd1370 formats kernel/src/ipc/fd.rs, kernel/src/ipc/poll.rs, and kernel/src/process/manager.rs in isolation. These were provisionally selected as non-dispatch PR 933 files with current formatter differences. The requested exact roster remains unconfirmed; a clarification was requested during the task. Do not label P-13 discharged based solely on that provisional selection.
Recover the review's precise roster, compare it with the three files already formatted, and apply any remaining formatting-only repair in its own commit. Avoid broad formatting of protected interrupt/dispatch files without the applicable authorization. Evidence: docs/planning/green-program/ipc/813-A2-2026-09-07.md and serials/813-a2/initial-kernel-fmt.log.