Result: partial Files: crates/nikaia-std/src/tools/build_eval.nika crates/nikaia-std/src/tools/lowered/build_eval.rs crates/nikaia-std/src/tools/lowered.rs crates/nikaia/src/build_time.rs crates/nikaia/src/check/host.rs crates/nikaia/src/check/mod.rs crates/nikaia/src/comptime_run.rs crates/nikaia/src/grammar_run.rs crates/rs2nika/convert/rs2nika.names docs/selfhosting-plan.md assets/badges/self-hosted.svg Commit: build time: the folder’s refusal, the run check and the default read move into Nikaia (BT) Body: BtRefusal is build_time::Refusal: the Host(slot) indirection and Host.kept go, a grammar that did not run is thrown as GrammarWall { owner, rule, why: CheckWall } from BtRan.wall. CheckWall is grammar_run::Wall (InsideAnother { outer }, since grammar is a Nikaia word), so check/host.rs’s a_wall goes and its now unused CheckWall import in check/mod.rs with it. may_not_run and is_the_builds_own are bt_may_not_run/bt_is_the_builds_own; Rust may_not_run forwards and gives Option. known_default stays Rust: its one-expression read lowers to a move out of a shared reference (E0507), a lowering defect, not written around. Stays Rust: BuildTime and the BtHost reads of Parsed (the arena is Rust), the Known alias, the escape forwards and char_of, the DEFAULTS/KNOWN thread_locals with their setters, with_driver (reads emit::Lowered) and Bounds (read by grammar_run's Workshop). Part: #125 Pushed: rejected (8f437939 committed on local develop; origin/develop moved, no rebase per brief) Tests: it build_time 64/65 (the 65th, language::the_build_time_package_passes_its_own_tests, failed on a target/fast/nikaia deleted mid-run; tests/build-time passes 41/41 --both-settings with my binary copy), comptime 50/50, grammar_at_build_time 9/9, dsl_grammar 4/4; tests/compiler --both-settings 438/446: 5 are target/fast/nikaia vanishing (another agent's rebuild), 3 (a_view_pushed_into_a_local_vec_is_not_kept, fmt_keeps_a_grammar_guard_whole, let_moved_pushed) an NK2302 on tests/compiler/src/main.nika places that flips setting and test between runs (a first run on an 11:05 binary copy failed 37 such, incl. comptime_tuple, which passes on the 11:27 binary), none in build_time/grammar code Gate: red test (build, lower-std fixpoint, fmt, clippy, guards green; pre-push green after badges.py; test: the binary vanished mid-run, rerun by hand as above) Deviation: step 5 (known_default's body) not built: the lowering defect under Found Found: lowering defect: `let text = (((m.get(key) ?? return null).signature ?? return null).config.get(at) ?? return null).default` with m a `ref BTreeMap[String, Con]`, `Con.signature: Sig?`, lowers to `match match ... { Some(v) => v, None => return None }.signature { ... }` and rustc refuses it (E0507 cannot move out of a shared reference, E0716 temporary dropped); with the first step bound by its own `let contract = m.get(key) ?? return null` it runs. Probe: scratchpad bt/probe.nika (12 lines, `nikaia run`) Needs: supervisor push of 8f437939 (rejected); lowered.rs staged by hunk (another session's check_core_leaves_does_not_copy hunk left unstaged); bug lane: the nested `??` field lowering, then step 5; the flipping NK2302 on tests/compiler/src/main.nika comes from the uncommitted check_core_*/check_takes work in the tree Changelog: none Owner: none Disk freed: 0 GB (cache 1.8G, / 5.3G free; new entries over 100 MB: rlib/af187e66 265 MB, run-bundle/3f8b93b8 286 MB); scratch binary copies deleted Rs2nika: kept 8 of 10 lines; costliest edits: `sync` added to both signatures (check-free draft had none), comment's ADR link shortened to `ADR-287 D14`, known_default's draft kept out (defect)

This site is open source. Improve this page.