()
| 2136 | } |
| 2137 | |
| 2138 | let mut slice: &[u8] = &bytes; |
| 2139 | let anon = match IxonEnv::get_anon(&mut slice) { |
| 2140 | Ok(env) => env, |
| 2141 | Err(e) => { |
| 2142 | return LeanIOResult::error_string(&format!( |
| 2143 | "rs_env_extract: failed to deserialize (anon) {path}: {e}" |
| 2144 | )); |
| 2145 | }, |
| 2146 | }; |
| 2147 | |
| 2148 | // Roots: each name's covering work item's proven targets (standalone → |
| 2149 | // itself; a mutual-block member → every sibling, checked atomically). |
| 2150 | let work = match build_anon_work(&anon) { |
| 2151 | Ok(work) => work, |
no outgoing calls
no test coverage detected