Skip to content

Activate ASP Rust policy through Dev Gate - #20

Merged
GTrunSec merged 1 commit into
agent/asp-contract-alignmentfrom
feat/dev-dependency-policy-gate
Sep 18, 2026
Merged

GTrunSec merged 1 commit into
agent/asp-contract-alignmentfrom
feat/dev-dependency-policy-gate

Conversation

@GTrunSec

Copy link
Copy Markdown
Contributor

Summary

  • replace downstream build-time policy activation with a Cargo-test-only Dev Gate
  • keep shared workspace policy in Build Support, reached by members only through dev-dependencies
  • add warn and deny modes plus a reusable workspace Dev Gate macro
  • reject normal/build ASP Rust edges and incomplete dev-only activation
  • prove consumer normal/build dependency graphs exclude Build Support and ASP Rust

Validation

  • cargo clippy --all-features --all-targets -- -D warnings
  • cargo test --workspace --all-features
  • 69 library tests, 3 integration tests, 438 unit tests, 2 build-support tests passed

Dependency

Stacked on PR #18 (agent/asp-contract-alignment).

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Sep 18, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-09-18T05:38:34.066389Z 9e56146 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@GTrunSec
GTrunSec merged commit 9e56146 into agent/asp-contract-alignment Sep 18, 2026
3 checks passed

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 9e561462c3

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +41 to +43
if cargo_manifest.references_harness_build_dependency
|| cargo_manifest.references_harness_non_optional_normal_dependency
{

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Exempt the workspace Build Support package from R006

In the documented multi-package layout, the Build Support crate is itself a workspace member and normally depends on asp-rust so it can re-export the provider and define the shared macro. The workspace Dev Gate evaluates every workspace member, so this unconditional branch emits R006 when it reaches Build Support and causes mode = deny to reject the recommended setup. The provider-owning Build Support package needs an exemption or separate package-role handling.

Useful? React with 👍 / 👎.

Comment on lines +69 to +72
if (!cargo_manifest.references_harness_dev_dependency
&& !cargo_manifest.is_asp_rust_package
&& !has_build_support_test_gate)
|| !has_cargo_test_gate

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Reject Build Support on a normal dependency edge

When a member declares workspace-build-support under [dependencies] and invokes its wrapper from a test target, has_build_support_test_gate is true while the manifest flags only recognize direct asp-rust dependencies. This condition consequently skips R012, and R006 is also absent, so the package is approved even though Build Support and its asp-rust dependency enter the member's normal consumer graph. Verify that the dependency supplying the wrapper is dev-only rather than accepting the wrapper alone.

Useful? React with 👍 / 👎.

@GTrunSec
GTrunSec deleted the feat/dev-dependency-policy-gate branch September 18, 2026 05:53
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