[GH-ISSUE #354] Assign verifier and dynamic-provider run IDs with owned lineage #201

Closed
opened 2026-10-15 18:22:20 +00:00 by bsakaguchi · 1 comment
Owner

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

Assign verifier and dynamic-provider run IDs and record owned launcher PID, process group, and descendants.

Part of #27.

Acceptance:

  • Every side effect has policy and tests.
  • No owned socket, child, or temporary artifact leaks.
Originally created by @morluto on GitHub (Jul 20, 2026). Original GitHub issue: https://github.com/morluto/rea/issues/354 Assign verifier and dynamic-provider run IDs and record owned launcher PID, process group, and descendants. Part of #27. Acceptance: - Every side effect has policy and tests. - No owned socket, child, or temporary artifact leaks.
bsakaguchi 2026-10-15 18:22:20 +00:00
Author
Owner

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

Completed by merged PR #409, which assigns provider/verifier run identities and owned lineage snapshots with tests.

<!-- gh-comment-id:5078381183 --> @morluto commented on GitHub (Jul 25, 2026): Completed by merged PR #409, which assigns provider/verifier run identities and owned lineage snapshots with tests.
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
morluto/rea#201
No description provided.