### A dual characterization of length spaces with application to Dirichlet metric spaces

We show that under minimal assumptions, the intrinsic metric induced by a strongly local Dirichlet form induces a length space. The main input is a dual characterization of length spaces in terms of the property that the 1-Lipschitz functions form a sheaf.