Merge pull request #2804 from fermga/copilot/verify-document-sha-reduction

[SHA Operator] Document explicit νf reduction in grammar layer with canonical test

Author: fermga