May I suggest a “mechanical” coincidence type, defined a bit like the current one but with the addition of the following combinations of input parameters as to make it “realistic” mechanically speaking:

“L” as in ContactLength  The length of the area/ edge/distance between points involved (the shortest common distance, if the paired curves/points/edges/surfaces are not equally long or equally far apart).

Default = (shortest) distance between points pairs involved.

“T” as in Tolerance  How much the ends of the “ContactLength” can deviate from absolute coincidence.

Default = document tolerance.
Such a coincidence component would be most useful for analyzing allowances/ deviations from “theoretical” (ideal) movement paths in complex mechanical constructs (combined with forces on the material between the coincident geometry and parts extending away from the coincidence.
The resulting distant movement deviations/allowances could then be used for experimenting with different combinations of Tolerances
and ContactLengths
in the starting coincidence for constraining the movement deviations farther away (from the coincidence) in the mechanical construction to stay within required tolerances.
// Rolf