Deepen the Lean→01e provider into a provenance-carrying, audit-grade property source. Tracking issue #2.