García Hurtado, A. | 2026-NNN

**Repository**: https://github.com/Probatorium/defect-injection-study (the study) and https://github.com/Probatorium/minimal-verified-paper (the subject package). Both public. I do not have access to the codecheckers organisation; if the preferred process is to fork them there, that is fine with me.

**Workflow**: Defect-injection study of *Stasis: Freezing Published Numbers as Executable Assertions* (manuscript in preparation; these two repositories are the complete computational evidence for it). The subject package is pinned by commit: `subject.py` in the study declares `2ae7cdd`, verified at submission time, and `check_declared_values.py` enforces the pin across surfaces. The study's README gives the exact commands; `codecheck.yml` and the manifest name the outputs; `raw_results.tsv` reproduces byte-identically from a clean clone (last regenerated 2026-08-04: 176 mutants, pooled detection 123/176).

One question before assignment: does a single issue and certificate cover this pair of repositories, or would you prefer them checked as two?

No suggestions for specific codecheckers; any volunteer is welcome. @codecheckers/codecheckers