Repository navigation
Retain the validated process lifetime during terminal observer retirement - #801
Merged
flip-engineer merged 2 commits intoOct 17, 2026
Conversation
Base automatically changed from
codex/public-receive-custody-20261017
to
codex/postrelease-751-761-20261015
October 17, 2026 05:08
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Terminal observer retirement records confirmed process absence and successful retirement in call-local state. A repeated retirement request returns without acquiring a new pidfd or signaling the numeric PID again. The live path retains the pidfd bound to the validated attempt and observer custody.
Validation uses PR head
6f1131f39155ea77af34b6612b8dc0a6a2da1d56. The updatedprocess-spawn.cSHA256 isfdbcc59721bb550fe2d0fa898cec5183a94cb64a4639dd4426a495cd4d891a4f.1f1fb539976a88866043836d3f7315a58b9d95dd831dcc3fe2fcce78615d62e8. It passes known-absence and successful-retirement cases; repeated calls perform zero additional pidfd acquisitions, and unrelated live processes remain alive.627a62fb821213bcbfbb54149f0f7823e62f00494fcb67d6b49760c812bbfa6c. It contains the updated source block exactly once; the refresh receipt records unchanged prefix and suffix bytes.--helpoutput matched the baseline. Binary SHA256:d9dfd8cde346160000663e6b6c32bd8e0654d2a14e0b4e71a2ff0a0bb2749d5e. Build receipt SHA256:4f96885fc6bb960253e57f6e2485eda5ec40ea75e98c8227423fd5ed417ffce2.native-reviewed. Root qualification receipt:/var/tmp/root-pr801-final-qualification-20261017/receipt.json, SHA256df8ff31c658f5080881656728eaecad1712f1b17d53a49be87dedbd6a50560da(live handover passed in 2.344 seconds).cgen-clang-reviewguidance was read by receive attempt 1438 and returned a report with no merge blocker on the tested paths.The focused harness does not exercise pidfd signal or poll failures. The current recovery path propagates retirement errors; retry behavior after such a failure remains untested.
Compact custody receipt:
/var/tmp/root-pr801-final-custody-20261017.json, SHA256d12a5d14ad06e2e611fc29957b4464e1c1cb7e58b6ca64a91444d0e2729e24cc. It lists exact source, test, refreshed C, refresh/build receipts, binary, fixture, and original harness/live-fixture stdout paths and hashes.