What follows from the design

One decision at the bottom of the stack, enforcing logic directly instead of executing code, produces everything on this page. These are structural properties, obtained by construction rather than through diligence, which is why they hold for every application on the chain rather than for the applications that paid for review.