Repository navigation
Retain guardian descendants in the authenticated parent through source-owned retirement - #6873
Clear1nsight wants to merge 1 commit into
Conversation
Archive complete source-owned entry and retirement construction, exact-byte proof and independent AI review. Preserve predecessor failures and unchanged scientific interior; no runtime or performance admission.
|
Verified delivery at The completed authenticated caller and surviving descendant owner, full source-composition proof, separate challenging AI review and installation certificate are published. The maintained verification specification links this to the original #6029/#6321 goal, preserved #6867 interior, #6869/#6870/#6871 reviews, and #6872's negative predecessor. The complete source decision does not supply actual runtime/native eligibility, complete control outcomes, resource fit, original-primary comparison or successful financial CLOSE. Physical cost gaps remain OPEN_NOT_ZERO; no new budget or guarded operation occurred. |
The previous external entry could kill the guardian's process group and wait for the guardian while its setsid child remained alive. This adds a complete surviving parent owner and the reached authenticated caller around the unchanged native guardian. The parent retains the actual gated child and adopted descendants through generation-bound pidfds and exclusive waits. Successful retirement requires exact child emptiness, ECHILD and known-holder retirement; unresolved native custody keeps the same parent alive without retry or a successful terminal claim.
The contribution includes the four complete source files as inert readable text, the full source-composition argument and installation DAG, separate challenging AI review, exact-byte certificate, freeze records, and the rejected intermediate source/counterexample. It also breaks the earlier final-configuration and CAPTURE-policy dependency cycles through an implemented same-session late-input path. Both independent capture reads remain reachable after working failures, and cleanup uses the original absolute deadline.
The complete source construction and installation order are independently AI source-accepted under unchanged original genuine premises. This does not claim current runtime/native eligibility, executed controls, resource fit, original-primary comparison, successful financial CLOSE, or speedup. Native mechanisms can remain pending; continuing cost is retained as unresolved rather than clipped into a successful allowance.
Validation: all 18 delivered source/proof/review files matched their exact byte counts and SHA256 hashes; Python AST was parsed without imports; all 35 installation edges were checked against 23 ordered nodes; the fixed exact shell was independently reconstructed; all 66 unchanged selected leaves and the detached manifest matched the previous published export. No target, native, compiler, financial, scientific or control execution, archive decoding or unchanged-suite rerun occurred. This archive adds no replay hook. Hosted planning checks will be recorded separately after submission.
The interior remains PR #6867 at 319ea1c. The all-six freeze in #6870, genuine consumers in #6871, and binding reconciliation in #6869 are retained at their exact scopes. This completes a concrete successor to the negative installation finding in #6872; that finding and the failed intermediate implementation remain historical evidence. Both 197-member recipes, original scientific drivers, independent oracles, helper/context identities and original financial rules remain unchanged.
Original lineage: #6029 and #6321. The verification overview explains how this contributes to the goal; discussion #1166 is the coordination hub. The source credits the selected native installer and #6709's manual publication pattern. The original-primary route (#6837, #6847) and later CLOSE graph (#6762) remain distinct.
Open next questions: independent review of this exact complete source; genuine original runtime/owner/native qualification and resource/accounting fit; complete normal and optimised old/new control unions; original-primary transfer and fixed comparison; successful original financial CLOSE. A new execution budget or merge is not requested by this PR.
Recorded policy use remains 2376.890533479/2400 seconds; physical preparation, consultation, review, publication, metadata and historical cost gaps remain OPEN_NOT_ZERO. AI disclosure: ChatGPT Pro assisted with implementation/proof, a separately tasked AI reviewer challenged the final code, and Codex checked exact bytes and prepared publication. This is not human, maintainer or proof-kernel approval. Original contributors retain credit. Source notices are preserved.