Campaign prompt
Stephen requested an open-ended covering-code exploration on branch
codex/covering-q16-explore. Create problems/covering/compute/q16/, survey
the September 2026 paper context and earlier notebook attacks, pursue sharp
new finite handles with RAM-light exact checks, certify any improvement, keep
the README model ledger and problem files current, commit frequently, and open
an unmerged pull request. The settled q12 OK37 UNSAT check was not
to be rerun.