Rule Rules Verification
Verification Boundary
The suite exercises the isolated rule, calculation or adapter with its supplied fixtures. It does not establish storage or distributed behaviour.
What This Suite Proves
The rule rules assertions contribute to the scenarios listed in the register. Each binding retains its exact source test anchor so a reviewer can distinguish an individual contribution from the complete scenario.
What It Does Not Prove
The register records source inspection only. It establishes no run result, delivery qualification or Product approval.
Real Dependencies and Test Doubles
The production function under test is real. Its collaborators are supplied as fixtures or replaced ports where the suite declares them.
Must Not Be Doubled
Keep the production function under test and its refusal or arithmetic result real. Replacing that function with a fixture removes the claimed proof.