axiomgate_lint
