My friend who was there this afternoon said they filmed.
Thanks, jdra, for the information. That certainly strongly suggests that whatever issues Odom and anyone else had with with the producers over being in the filmed performances have been resolved.
And Jordan, you are quite right that I shouldn't really care. The footage might not be released in my lifetime, for all I know. But I do think it's a good thing to record the original cast for posterity. Theater is such a fragile art form. There are countless legendary Broadway performances that we will never see. Setting aside the debates over the artistic merit of Hamilton, about which reasonable people can disagree, it's a huge hit that has touched a lot of people who have never seen it. They'll get the chance as the years go by, of course. But I think it's a positive to film such performances, with the actors who created the roles, instead of doing it at the tail end of the show's run or relying on a movie that might not be any good.
And as for me, I loved the show. I would buy a good-quality filmed performance 10 years from now. But I did hope any film would include all the key players, to capture this moment.