[GH-ISSUE #355] Restrict cleanup to owned processes and verify unrelated-process survival #202

New issue

Closed

opened 2026-10-15 18:22:23 +00:00 by bsakaguchi · 1 comment

bsakaguchi commented

2026-10-15 18:22:23 +00:00

Owner

Originally created by @morluto on GitHub (Jul 20, 2026).
Original GitHub issue: https://github.com/morluto/rea/issues/355

Restrict signals and cleanup to explicitly owned processes and roots. Verify that unrelated processes survive every cleanup path.

Part of #27.

Acceptance:

Verification cannot terminate unrelated Hopper.
Owned shutdown is preserved in sanitized diagnostics.

Originally created by @morluto on GitHub (Jul 20, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/355 Restrict signals and cleanup to explicitly owned processes and roots. Verify that unrelated processes survive every cleanup path. Part of #27. Acceptance: - Verification cannot terminate unrelated Hopper. - Owned shutdown is preserved in sanitized diagnostics.

bsakaguchi

2026-10-15 18:22:23 +00:00

closed this issue
added the
P1: high

enhancement
labels

bsakaguchi commented

2026-10-15 18:22:24 +00:00

Author

Owner

@morluto commented on GitHub (Jul 25, 2026):

Completed by merged PR #410, which restricts cleanup to verified owned lineage and proves unrelated Hopper-shaped processes survive cleanup.

@morluto commented on GitHub (Jul 25, 2026): Completed by merged PR #410, which restricts cleanup to verified owned lineage and proves unrelated Hopper-shaped processes survive cleanup.

bsakaguchi referenced this issue

2026-10-16 21:12:05 +00:00

[PR #228] [MERGED] fix(application): add explicit investigation replay #1879

bsakaguchi added

enhancement

and removed

enhancement

labels

2026-10-31 00:28:50 +00:00