Skip to content

Fix cross-change contract revalidation context - #29

Merged
piaro merged 1 commit into
mainfrom
fix/cross-change-contract-context
Sep 10, 2026
Merged

piaro merged 1 commit into
mainfrom
fix/cross-change-contract-context

Conversation

@piaro

@piaro piaro commented Sep 10, 2026

Copy link
Copy Markdown
Owner

Problem and change

Contract Health could request revalidation of a clause created by another Change, while the Change-filtered Snapshot omitted the Contract needed to distribute its text and source digests.

Retain current Contracts across Changes in the Snapshot and keep action Context selection scoped to applicable or explicitly requested clauses. Also recognize explicit clause references when no applicability subjects overlap. Document that Contract change_id identifies origin and that existing Impact Assessments may need refreshing when the Contract index expands.

Validation

  • Regression coverage verifies cross-Change clause text, scope, authority, evidence mode, source digests, and requirement mapping through Evidence registration and Result submission.
  • Explicit verification covers unverified, stale, and failed clauses, including empty applicability scopes; existing selection tests exclude unrelated clauses.
  • cargo fmt --check, cargo clippy --all-targets --locked -- -D warnings, cargo test --locked, and sh scripts/tests/test-rust.sh passed. HTTP server tests required execution outside the sandbox.
  • The original reproduction currently requests a refreshed Impact Assessment before issuing revalidation requirements, so the original missing-clause set still needs checking after that refresh.

@piaro
piaro merged commit 4864d9f into main Sep 10, 2026
3 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