Skip to content

Adopt selected project-validation approval envelope in Core - #464

Merged
rcs2153 merged 2 commits into
mainfrom
codex/selected-approval-adoption-envelope
Aug 12, 2026
Merged

Adopt selected project-validation approval envelope in Core#464
rcs2153 merged 2 commits into
mainfrom
codex/selected-approval-adoption-envelope

Conversation

@rcs2153

@rcs2153 rcs2153 commented Aug 12, 2026

Copy link
Copy Markdown
Owner

Summary

  • add a proof-enforced Core approval envelope for the selected project-validation path
  • derive aggregate versus authored approval subject and terminal artifact policy from durable state
  • rerun the canonical local check only for grants and cite the exact Core-produced result
  • preserve transient aggregate authority, truthful check-free denials, receipt integrity, projection gates, and artifact reconciliation
  • add focused tests, an implementation report, and an independent acceptance review

Why

The selected fresh-run and terminal report adapter is already accepted, but CLI adoption must not proceed until approval decisions use the same governed current-fact, evidence, receipt, and artifact boundary. This phase closes that Core gap without changing CLI behavior.

Compatibility and non-goals

This is additive and local. Existing public executor and approval APIs retain default validation behavior. It does not change CLI commands or output, schemas, SDKs, provider or SideEffect execution, automatic approval behavior, hosted behavior, examples, or release posture.

Validation

  • cargo fmt --all --check
  • cargo clippy --workspace --all-targets -- -D warnings
  • cargo test --workspace
  • npm run check:docs
  • git diff --check
  • governed implementation and review phases both completed with proof-enforced approval presentation

Review verdict

The focused maintainer review found no blocker. Combined selected CLI run/approve adoption remains the separately scoped next phase.

@rcs2153
rcs2153 marked this pull request as ready for review August 12, 2026 04:57
@rcs2153
rcs2153 merged commit 568d40d into main Aug 12, 2026
7 checks passed
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.

1 participant