I ended up getting comments/responses on LessWrong and not here so this is now just a linkpost to the LW version.

1. ^{^}

    

2. ^{^}