Skip to content

Persist supervisor-owned target containment receipts - #761

Merged
Meta-Develop merged 2 commits into
mainfrom
codex/containment-receipts-20261029
Oct 29, 2026
Merged

Meta-Develop merged 2 commits into
mainfrom
codex/containment-receipts-20261029

Conversation

@Meta-Develop

Copy link
Copy Markdown
Owner
  • Persist private target process-tree and side-effect confinement observations beside each command summary.
  • Bind receipts to the supervisor lifecycle, exact attempt, runtime and summary digest, separately from fixed-version probes and provider reports.
  • Keep missing legacy observations unknown and restored evidence diagnostic-only.
  • Cover target/probe distinctions, tampering, cross-attempt substitution and failed returned attempts without changing execution authority.

Validation: formatting and the new receipt tests passed on Linux; all-target compilation, Clippy and the full platform suites run in this PR's CI.

Closes #660.

- Persist private target process-tree and side-effect confinement observations beside each command summary.
- Bind receipts to the supervisor lifecycle, exact attempt, runtime and summary digest, separately from fixed-version probes and provider reports.
- Keep missing legacy observations unknown and restored evidence diagnostic-only.
- Cover target/probe distinctions, tampering, cross-attempt substitution and failed returned attempts without changing execution authority.

Validation: formatting and the new receipt tests passed on Linux; all-target compilation, Clippy and the full platform suites run in this PR's CI.
@Meta-Develop
Meta-Develop merged commit 98e6945 into main Oct 29, 2026
17 of 24 checks passed
@Meta-Develop
Meta-Develop deleted the codex/containment-receipts-20261029 branch October 29, 2026 18:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Persist target containment evidence in durable supervisor receipts

1 participant