Skip to content

test: enforce evidence provenance boundaries - #35

Draft
Teakowa wants to merge 1 commit into
mainfrom
evidence/del-rs-26
Draft

test: enforce evidence provenance boundaries#35
Teakowa wants to merge 1 commit into
mainfrom
evidence/del-rs-26

Conversation

@Teakowa

@Teakowa Teakowa commented Aug 17, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Enforces pinned upstream provenance for pinned-oracle and real-project compatibility evidence.
  • Extends project fixtures through semantic and HIR validation while preserving full-project and minimized evidence layers.
  • Documents the provenance gate without copying canonical Workshop ownership.

Validation

  • cargo build --all-targets
  • cargo test --all-targets
  • cargo test --test matrix
  • cargo test --test corpus
  • Compatibility report: 100 fixtures, 96 matched, 2 known gaps, 2 inconclusive, 0 unexpected regressions.
  • rustfmt --edition 2024 --check src/compatibility.rs
  • git diff --check

Partial implementation of #26; AC5/AC6 remain dependent on workshop-rs#10.
Related to #8

Extend the compatibility report provenance gate and exercise complete project semantic and HIR validation.

Refs #26
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