Pure Rust reimplementation of Digital Agency's lawsy-custom-bq (源内) with Legalis-RS computational law verification