Skip to content

ci: bound assurance work and qualify release evidence - #74

Merged
loadingalias merged 1 commit into
mainfrom
rsa-focused-miri
Aug 2, 2026
Merged

ci: bound assurance work and qualify release evidence#74
loadingalias merged 1 commit into
mainfrom
rsa-focused-miri

Conversation

@loadingalias

Copy link
Copy Markdown
Owner

Summary

  • replace impractical RSA Miri private operations with focused unsafe-boundary proofs
  • separate routine Weekly assurance from explicit exact-commit release qualification and retained raw CT evidence
  • preserve the complete compile contract while executing only behavior-changing feature profiles
  • parallelize independent fuzz targets with isolated corpus and artifact ownership
  • reduce AMX cache weight without discarding caches that produce measured compute savings

Validation

  • just push-full
  • just check
  • just test --all
  • focused RSA Miri: 3/3
  • compile feature matrix: 58/58
  • executable feature matrix: 8/8
  • CI ownership, dispatcher, fuzz scheduler, release-evidence, and CT evidence regression suites

Replace redundant feature and fuzz execution plus impractical RSA Miri workloads with focused, independently checked proofs. Reserve raw long-lived CT artifacts and exhaustive graph assurance for explicit exact-commit release runs while trimming AMX cache weight.
@codecov

codecov Bot commented Aug 2, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@loadingalias
loadingalias merged commit 039d810 into main Aug 2, 2026
57 checks passed
@loadingalias
loadingalias deleted the rsa-focused-miri branch August 2, 2026 16:52
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