Result: done Files: crates/nikaia-std/src/tools/emit_function.nika crates/nikaia-std/src/tools/emit_host.nika crates/nikaia-std/src/tools/emit_item.nika crates/nikaia-std/src/tools/emit_seeds.nika crates/nikaia-std/src/tools/emit_state.nika crates/nikaia-std/src/tools/emit_stmt.nika crates/nikaia-std/src/tools/lowered.rs crates/nikaia-std/src/tools/lowered/emit_function.rs crates/nikaia-std/src/tools/lowered/emit_host.rs crates/nikaia-std/src/tools/lowered/emit_item.rs crates/nikaia-std/src/tools/lowered/emit_seeds.rs crates/nikaia-std/src/tools/lowered/emit_state.rs crates/nikaia-std/src/tools/lowered/emit_stmt.rs crates/nikaia/src/emit/host.rs crates/nikaia/src/emit/mod.rs crates/nikaia/src/emit/seeds.rs assets/badges/self-hosted.svg Commit: emit: the host’s seed calls and place/floor into Nikaia (E12-3b) Body: Steps 1 and 2 in one commit (step 1’s host calls would have been rewritten at once). place and floor are fields of EmitWalk; EmitState.seeds holds the seed tables, cloned once from Seeds when the state is built (Seeds keeps them for the maps’ analysis and barrier_names). seeds_begin, seeds_end and seeded are emit_seeds_begin, emit_seeds_end and emit_seeds_seeded in emit_seeds.nika; the item emitter calls emit_seeds_declare_type/finish/enter/leave on walk.place and sets walk.floor itself. The only host method left is seeds_shape(key) -> EmitSeedsShape? (a struct of groups, within with -1 for none, start, rather than a tuple). Emitter::seeded (for ty_filled, only under ty_named’s hosted call) runs emit_seeds_seeded on the walk in self.w. emit_seeds_holds and emit_seeds_mentions take the interner instead of the ParsedView. lower-std: only the six touched emit_*.rs files and lowered.rs’s export line change. Part: #125 Tests: it seed map hash barrier trusted + guard set 180 passed; nikaia –lib emit:: 1 passed; nikaia test –both-settings tests/compiler 176 passed; clippy clean; self_hosting.py 79.1 % Gate: green Deviation: none Found: none Needs: none Changelog: none Owner: none Pushed: 0e3fea075095e4bfc5856010b8766ac177d8944b Disk freed: 0 GB (cache 2.5G, / 19G free; new entry over 100 MB: run-bundle/65d964130cc06fb2 293 MB)