"AF needs empirical grounding" is a meaningless valley of compromise
Agent Foundations is the attempt to conceptually understand agency[1]. Some sensible attitudes towards this attempt are:a) AF is a well-defined task like "solving computability" which, if ever successfully solved[2], ends up as a self-contained network of concepts and proofs.b) AF is ill-defined:b1) Because it is a meaningless task that points at nothing, like "mathematically proving the existence of the Christian God". There is no network of concepts and proofs around solving a non-task.b2) Because the ill-defined task gestures at bits and parts of other tasks, but in a confused way, such that properly understanding those other tasks dissolves the original question[3].b3) Because the task is only meaningful inside a certain framework, so the network of concepts and proofs it could yield isn't self-contained, but entangled with concepts and proofs from the broader framework[4].On conceptual grounds, either a) or b)[5] must be true: textbooks from the future will either present a self-contained network of concepts and proofs about agency, or they won't. This rules out the intuitively appealing middle position:c) AF needs more empirical groundingEither AF is possible, in which case it doesn't need empirical grounding, or AF doesn't exist as a coherent field, in which case the empirical work should be directed not at AF but at whatever remains after the misleading framing is dissolved.Put differently: the sprawling body of posts and papers about the not-yet-clearly defined goals of a potential AF — call it "AF today" — might be pre-paradigmatic (meaning it could coalesce into a new paradigm that conceptually describes agency), or it might not have the potential to flourish into one paradigm. But there is no meaningful position between "future paradigm" and "no paradigm."Building physical computers doesn't enrich or improve computability theory — it is a way to implement it. One can debate whether non-implemented or non-implementable parts of computability theory are a