Add explicit tests for Rejection Pass-Through and Value Extraction Consistency#4

Copilot wants to merge 2 commits intoprincipalLuxciumProject/mapping-tools:principalfrom

copilot/verify-mathematical-propertiesLuxciumProject/mapping-tools:copilot/verify-mathematical-propertiesCopy head branch name to clipboard