Context: Some quality tools (mutants, long fuzzing, loom with high preemption budgets) are too slow for per-PR CI but are high-value when run nightly.
Scope:
- New workflow with
cron: '0 4 * * *'andworkflow_dispatch. - Jobs (add stubs even if the underlying tools aren't wired yet):
mutants—cargo mutantsscoped to leaf cratesloom-deep— loom tests withLOOM_MAX_PREEMPTIONS=5fuzz-30m— 30 minutes per fuzz targetmiri-full— miri over all host-testable crates
- Post a summary comment to an open "nightly tracking" issue on failure (or use a GitHub check-run with annotations).
Acceptance: workflow runs on schedule and reports status somewhere visible.