| 1906 | /// Available in the main `ix` binary (unlike the other `#[cfg(feature = |
| 1907 | /// "test-ffi")]` helpers in this file) because `ix validate --path <file>` |
| 1908 | /// uses it to run the full compile → decompile → roundtrip → nested-detect |
| 1909 | /// pipeline on arbitrary Lean files. The `validate-aux` test suite in |
| 1910 | /// `Tests/Ix/Compile/ValidateAux.lean` also calls this FFI via |
| 1911 | /// `ix_rs_test`, but it's not gated on test-ffi any more — same function, |
| 1912 | /// same binary entry point, just two callers. |
| 1913 | /// |
| 1914 | /// Returns total failure count across all phases. |
| 1915 | /// |
nothing calls this directly
no outgoing calls
no test coverage detected