Contributions
Everything else on this site is work done here and checked here. This page is the part that went somewhere else, where someone who did not write it decided what to do with it.
Status is stated exactly. One item was reported and then fixed by the project's own maintainers, which is not the same as having a change merged. The rest are open and under review, which is not the same as accepted.
-
Issue 4602: a finished evaluation reported a different number of completed samples depending only on scorer declaration order.
Reported 23 July 2026, fixed upstream 29 July 2026
The fix, pull request 4604, was written and merged by the maintainers. The report is the contribution.
-
Pull request 995: a differential random testing target comparing the typed expression produced by the Rust typechecker against the Lean formalisation, so a disagreement about the annotated syntax tree is visible even when both sides agree that validation passed.
Open, in review
During review, supporting evidence offered for the change was withdrawn after measurement showed it had sampled the wrong population.
-
Pull request 355: a SymbiYosys proof for the error-correcting-code encode and decode cells.
Open
-
strata-org/Strata and Strata-CLI
Three pull requests: goal classification against mode-aware predicates, counting verification goals with the predicate that matches the check, and a manifest revision fix.
Open