I was answering your Kasha but asking another one. You asked on the Maharitz Chayes why he doesn’t apply to Ben Azzay what he applies other places, that Sod Hashem, although it can’t be a revelation of an Halacha it can be a revelation of a physical fact.
My attempt at answering this is that, although when you know something exists through Ruach Hakodesh you may indeed Pasken based on that, you can’t be Kove’a an Halacha Ledoros through that. This is especially the case over here, being that it is a Machlokes based on how to size up and quantize something.
If everyone was merely relating their own experience, what was Ben Azzai relating?
My own understanding in this matter (and Daas Yochid mentioned this idea in another conversation) would answer his Kasha, but it is not a Kasha on him why he doesn’t say what I like.