From 2c59addd62785d8beb956fff38f2b2b422a1881e Mon Sep 17 00:00:00 2001 From: chrg6 Date: Fri, 13 Nov 2026 18:00:24 -0500 Subject: [PATCH] Describe the domain checks in the ipc_session_check docstring. The review of the IPC domain change (E-12) found that tests/ipc_session_check.py still described only the session and transfer-memory checks; the domain section was listed only in the header of ipc_session_check.c. The docstring now also says that a domain frees closed objects and gives their ids out again, answers a closed id with a bad handle, never closes its own id, and is kept while an object with its own handle lives. The check passes; no code changes. Co-Authored-By: Claude Opus 5.5 --- tests/ipc_session_check.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/ipc_session_check.py b/tests/ipc_session_check.py index 51f6bc16..0bfb1225 100644 --- a/tests/ipc_session_check.py +++ b/tests/ipc_session_check.py @@ -1,6 +1,8 @@ """Build and run tests/ipc_session_check.c: runtime/ipc.c with runtime/kernel.c linked, checking that a CloseHandle racing -a request leaves the session (and its close callback) to the request's end and that a closed transfer memory handle is -not read; with the platform layer linked and the rest of the runtime stubbed. No game files: the module layout the +a request leaves the session (and its close callback) to the request's end, that a closed transfer memory handle is not +read, and that a domain frees closed objects and gives their ids out again, answers a closed id with a bad handle, never +closes its own id, and is kept while an object with its own handle lives; with the platform layer linked and the rest of +the runtime stubbed. No game files: the module layout the runtime includes is a stand-in written to the test's build folder. Usage: ipc_session_check.py