// MODULE
axre-reason is the offline reasoner. It takes axre-extract's per-case artifact as the input question and answers it against axre-graph under strict-domination semantics, emitting one of four typed verdicts (proved / refuted / insufficient_input / abstained) — never a probabilistic score.