I don't have strong feelings towards anything you've said (in fact, I read Lakatos' paper just last weekend). You could say that I agree in general.

Much of what you point out is also what Quine identified in his paper "The two Dogmas of Empiricism" which is trivially the question "Is logic/mathematics empirical?". In my world-view inductive types (computations) are empirical.

But since you seem to be optimising for "pinning things precisely", general consensus/agreement may not be of any empirical value ;)