Expand description
Post-merge semantic validation.
After a syntactically clean merge, entities may still be semantically incompatible. For example, if function A calls function B and both were modified by different agents, the merge may succeed syntactically but B’s contract (return type, parameters, side effects) may have changed in ways that break A.
This module flags such “semantic risk” cases as warnings, not errors. The merge still succeeds — this is advisory.
Structs§
- Modified
Entity - A modified entity descriptor, used as input to validation.
- Related
Entity - Semantic
Warning - A warning about a potentially unsafe merge.
Enums§
Functions§
- validate_
merge - Validate a merge result for semantic risks.