chore(audit): clear lib+test warnings, fix prober dispatch bug, sync GraphQL ProverKind#41

hyperpolymath merged 1 commit intomainhyperpolymath/echidna:mainfrom

claude/audit-and-test-systems-G3K5Khyperpolymath/echidna:claude/audit-and-test-systems-G3K5KCopy head branch name to clipboard