Just trying to verify consistency of a system, I need to have a list types of inconsistency to look out for, so far I have the followings:
1.Anachronistic inconsistency (e.g. trying to read a file before it is been written).
2.Type inconsistency (e.g. treating an object as a type that is incompatible with the assumed type, e.g. treating lead as steel is inconsistent (lead can not replace still in all the contexts), but treating lead and steel as metal is consistent. (where ever lead or steel is used just as a metal they are interchangeable)).
3.Interface inconsistency : Trying to interact with an object through an interface that it does not support ( e.g. trying to plug in a charger designed for electrical outlets of Australia, in US ). How ever if we could even plug them in, the difference in voltage(?current) would blow up the charger due to type inconsistency ( can not treat electrical US electrical current same as Australian electrical current or vice verse)
4.Causal Consistency : Maybe this is same as Anachronistic inconsistency, e.g. a Glass cannot break midair before it hits the floor. Although the after effects of both are indistinguishable from the consistent version, there is an inconsistency in mid process.
I have tried googling, but Physical paradox was the only useful topic so far when googling : "list of physical inconsistencies".
Any alternative searches or topics to look up would be greatly appreciated