Aidan Edward Lawson

When Explanations Write Back: Mechanistic Provenance for Language Models

This paper introduces mechanistic provenance: the requirement to distinguish the mechanism version that generated an explanation from the mechanism version later used to validate it after explanation uptake. It derives the identity s = q + C - L, introduces the Baseline Write Bar...

When Explanations Write Back: Mechanistic Provenance for Language Models

This paper introduces mechanistic provenance: the requirement to distinguish the mechanism version that generated an explanation from the mechanism version later used to validate it after explanation uptake. It derives the identity s = q + C - L, introduces the Baseline Write Bar...

Harm as Contraction of Reachable Continuation: Reachability, Resistance, and the Structure of Moral Damage

Accounts of harm often begin with welfare, counterfactual comparison, or harmful events. Those approaches explain central cases while leaving a further question: what is damaged when an actual transition degrades the field through which a bearer can continue, before final depriva...

Material Bounded Finality: A Finite Feasibility Model of Correctable Final Authority

Consequential institutions often require decisions that close an action path while still preserving routes for review, correction, revocation, and institutional change. This paper asks a narrower implementation question: under what material conditions can an authority make a bind...