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

Luxcium with Copilot wants to merge 2 commits into

principalLuxciumProject/mapping-tools:principalfrom

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