This is a good question but only in the sense that it opens a possibility for rejecting the very premise on which it is based.
The short answer is, there are no laws formulated for linguistics that could be analogous to some of the laws of physics that would be constant through time and space. The last attempt at this were the sound change laws in the 19th century and those do not take us very far.
The closest linguistics (in its broadest sense) comes to this is a search for universals. There are many debates about what is and can be universal in linguistics - most of them happening in the realm of syntax (with some phonetics). But even the most formal of these universals (as represented by Universal Grammar) do not claim the status of a 'law' with the same predictive modeling power as laws of thermodynamics.
In semantics, universals are viewed with suspicion. Perhaps the most stark statement of universality would be the semantic primes theory which posits certain core meanings that are shared by all languages - based on empirical research of a large (but still limited) sample.
Leonard Talmy outlines some universals in his chapter on Universals of Semantics but they are very much linked to broader universals of cognition or conversely more constrained combinatory universals from morphology. There are also many broad but not universal tendencies such as the use of space to model time, etc. Some of these were proposed by Emmon Bach in his reaction to Everett.
The 'laws' you propose have been formulated but they could never achieve the status of invariant principles let alone something which you could build predictive models on (despite computational attempts at such a thing). The principal problem with them is that they are formulated with the assumption that 'meaning' is something that 'words' have in the same way you see in the dictionary. But meaning cannot be described statically in this way. It is a process that includes a complex networks of usage patterns that are constantly shifting. They are sufficiently stable to allow for communication but not stable or discrete enough to enable prediction or even a foundation for some sort of a retrospective model.
However, some basic universal semantic processes could be formulated relatively easily:
- Categorization (cat refers to a class)
- Hierarchical organization of semantic networks (cat is an animal)
- Use of figurative processes (analogy, similarity)
- Presupposition and speech acts (traditionally pragmatics)
- Polysemy
- Use of human bodily experience for conceptualization of abstract concepts (at least some)
- Metalinguistic awareness (with huge variation across speakers)
- Ability to express basic logical relationships (not, and, or - but not necessarily lexicalized in the same way)
- Presence of certain semantic classes (e.g. kin terminology, words for food)
However, most of these are universal by virtue of being axiomatic because without them communication or reasoning would be impossible. For instance, if we found a language that did not use categories - we would find ourselves in an alien world beyond anything imaginable.
While these do not relate to change, you could expect change to happen within these constraints.