Create a file at `path` (or overwrite it) and associate it with `db`

Get nogoods (identified by the NodeID where they were created) that contribute to the failure at `nid`;

Calculate unique labels for both paths (present in one but not in the other)

extract location and whether it is final from a paths line

relative to the root

Handle pentagon click