COOLJAPAN

Posts tagged #computational-law

2 posts

Jul 2, 2026 · 9 min

OxigenAI 0.1.1 Released — Real SMT Contradiction Detection, Three Jurisdictions, and Judgment Prediction

OxigenAI 0.1.1 replaces its contradiction heuristic with genuine OxiZ SMT verification, adds JP/US/EU multi-jurisdiction statute registries via a new -j flag, and ships /predict-ruling and /translate-check — 231 tests passing. The sovereign computational-law layer for the COOLJAPAN ecosystem.

releaseoxigenaigovtech
May 7, 2026 · 6 min

OxigenAI 0.1.0 Released — Japan's Government Legal AI, Rebuilt in Pure Rust with Formal Verification

OxigenAI is a Pure Rust GovTech reimplementation of the Digital Agency's government legal-AI system (源内 / GenAI). It keeps the familiar law-report API but adds OxiZ SMT contradiction detection and Legalis-RS LegalResult<T> outcome classification — turning a probabilistic LLM+RAG service into a verifiable computational-law platform.

releaseoxigenaigovtech