Not sure if this is quite what you are looking for, but I found reading through GNU Emacs: Creeping Featurism Is a Strength (chapter 11 of Beautiful Architecture) at the suggestion of Eli Zaretskii to be extremely useful at painting the picture of the environment in which elisp code runs and the assumptions that it makes.