Perspective Beyond · Mind Atlas

02 — Formal core: dynamic sufficiency, bounded distinctions and explicit proof obligations