After diving through source code for quite a while, I think I've finally wrapped my head around the merged mining/Auxiliary Proof-of-Work methodology. As such, I've updated the Merged Mining specification on the Bitcoin wiki to give quite a bit more technical information, and some examples. Some of the existing content was corrected (calling the last attribute of the merkle branch object an "index" was throwing me for a while; it's really a bitmask field, to be interpreted bit by bit, not as an integer index value). Hopefully that helps others who are trying to get clients to validate the Namecoin AuxPOW blocks. And let me know (or just re-edit the wiki) if I've gotten anything wrong!