| 2218 | eprintln!( |
| 2219 | "[rs_env_extract] {} name(s) → {} ({} bytes) from {path}", |
| 2220 | names_vec.len(), |
| 2221 | out, |
| 2222 | sub_bytes.len(), |
| 2223 | ); |
| 2224 | } |
| 2225 | LeanIOResult::ok(LeanOwned::box_usize(0)) |
| 2226 | } |
| 2227 | |
| 2228 | // =========================================================================== |
| 2229 | // Sharding profiler: run the anon kernel out of circuit over a `.ixe`, |
| 2230 | // recording per-block heartbeats + the delta-unfold graph into a `.ixprof`. |
| 2231 | // See `plans/sharding.md`. |
| 2232 | // =========================================================================== |
nothing calls this directly
no outgoing calls
no test coverage detected