MLIR locations and imported LLVM debug information remain the source
provenance authority through raising and lowering. They do not change the
semantic identity of a finalized Canonical Dataflow Program. Its finalizer may
derive a source-object-to-entity relation for diagnostics and
`--loom-viz-export`; Loom does not introduce a second provenance IR.