xpile 0.1.615

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4

# PMAT-681: bool(x) over a float is `x != 0.0` (0.0 / -0.0 falsy, NaN/inf truthy).
# Was rejected ("float deferred"); the implicit `if x:` path already did this.
def is_nonzero(x: float) -> bool:
    return bool(x)