But you could still do that without amp.js. Google would just have to push a validator that checks whether a page is the AMP-subset of HTML and CSS, doesn't do

But you could still do that without amp.js. Google would just have to push a validator that checks whether a page is the AMP-subset of HTML and CSS, doesn't do any sync loading, etc. etc. And then the engineer could point at validator results.