# AI-use disclosure

AI coding assistance was used for domain comparison, project design, original
MoonBit implementation, synthetic tests, debugging, documentation and delivery
checks. The implementation was compiled and tested; generated assertions and
independent exhaustive oracles are checked, not assumed correct because they
were generated. The participant remains responsible for rights, claims,
maintenance, security and competition submission. No human contact details
were invented. Automated delivery does not constitute organizer acceptance or
competition registration.