Fully-typed Python-to-Rust CITL transpilation framework with 5-gate Jidoka CI - View it on GitHub