Issue #1091: NK1111: the help drops a brace of every }} in a plain string, and the headline names {{{{

Open and answer this issue on GitHub.

bug, ready · opened 2026-10-31 · updated 2026-10-31 · 0 comments

---

agent: builder model: sonnet max_turns: 60 budget_usd: 10 — Facts: Traps already met

Problem

The help: of NK1111 (braces in a plain string) suggests a literal that is not the one written: it drops a } of every }}. Found by the tools architect while probing #1019 (2026-10-31, 20a79c9).

Probe (target/fast/nikaia run p.nika):

fn main() {
	let s = "{\"a\":{\"b\":1}}"
	println(s)
}

The program prints {"a":{"b":1}} (the braces are kept, as the note says), but the warning’s help reads write `"{\"a\":{\"b\":1}"` - one } short; the headline names {{{{ though the literal holds }}. Following the help changes the program’s output.

To build

1. The help repeats the literal with every brace as written (a }} stays }}), and the headline names the pair the literal holds. Test tests/compiler/tests/plain_string_braces_help_keeps_them.nika + .stderr (and .stdout).

Locations: the warning’s text is found with nikaia run scripts/where.nika -- NK1111.

---

Generated by Claude Code

Back to Open Issues