.stderr: my test passed n.style by value from a borrowed node (NK1131). Making the parameter ref yaml::Style fixed it.NAME.stdout present, the program was not treated as an output test and simply passed..stdout.rg "Node \{" hint, and that was enough. I also had to check:
--bless decides which file to write;Style is not copied out of a borrowed node;contracts and derived yes; lock and proofs no).The last one I grepped from docs/builder-facts.md. I did not read that file whole, though the rules ask for it.
fmt on the changed files.fmt::every_nika_file.pre-push-check.sh, run twice. The second run was wasted: | tail hid the exit code the first time.No cargo build or clippy, since nothing under crates/ changed. Running nikaia check on the test before the first package run would have caught the NK1131 in seconds.
docs/builder-facts.md, A package commit: “Before the first nikaia test --project run, create an empty NAME.stdout (--bless writes only into an output test, and one without a .stdout just passes). Also run nikaia check on the new test first.” That would have saved two runs, about 8 minutes.