Create or update a testcase.ac input validator for an explicit problem description and problem path, extracting statement samples, adding coverage-driven fixed testcases when useful, and verifying with repo input validation.
Create or update a testcase.ac C++ testlib output checker for an explicit problem description and problem path. Use for non-exact judging: multiple accepted outputs, certificates, optimization, floating tolerance, or YES/NO plus witness.
Create or update a testcase.ac C++ testlib generator for an explicit problem description and problem path, verifying generated inputs through validator.cpp and repo verification.