An expedition is not a chat group. It arranges claims, sources, open routes, and inspectable evidence so many people can work toward the same goal.
Read the exact problem and see what is already supported.
Every task stays attached to a precise place on the map.
Your work remains private until you deliberately submit an inspectable contribution later.
Formalization, expert review, and kernel verification remain separate. Only a successful kernel check counts as a formal proof.