GenCoord: Skill-Path Commitments under Private Information
GenCoord is introduced, which turns the task consequence of private facts into an executable skill-path commitment, and identifies executable task consequences as the coordination unit connecting distributed local reasoning to verified joint action.