Experimentally tested / supported by relation type
The source theory, law, entity, prediction, or structural claim is directly tested, supported, constrained, or established by the target experiment or observation. Experimental support is not final logical proof; the edge detail states exactly what was measured.
Directed semantics
Every direct mAtlas edge is an authored source → target assertion of this type.
Machine-readable record
/data/latest/relation-types/experimentally-verified-by.json provides this definition and the IDs of every direct relation of this type.
A path may traverse an edge backwards for connectivity, but that never reverses the authored source-to-target assertion.