It's not super light by any means but most stock name brand gravel bikes are over this. What alloy bike did you have that was lighter ? I had a Trek Checkpoint that was 21 lbs. I think without any of the junk (bags, tools, spare tube, food, bottles, f & r lights, garmin, gopro etc) on there it's 18 lbs. I have a Colnago Master that is 18 lbs LOL
I was originally using a Poseidon X alloy frameset that I eventually gifted to a family member. It was running in 1x configuration and it came out to about 20 lbs. I eventually swapped out the parts to an old 2017 Kinesis carbon frameset that I had laying around and now it's at the 7.9kg/17.5 lbs. mark. Nothing wrong with the frame, but it has external brake cabling. I'm tempted to drill an internal brake hole in the frame, but I'm worried about affecting the structural integrity.
The weight difference between my carbon road and gravel bikes are only about 1-1.5 lbs. Most of that extra weight is just in my tires, cassette and slightly heavier GRX shifters. I think my gravel wheelset actually weighs less than my road wheels.
I'm looking at older Crux framesets, like a 2019 model. No way I could buy a newer frameset!