✗
Failing This test is currently failing.
Failed: leak-output
Failure Output
🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission) Code
// Pins encoder determinism and the cached-tree path: two sequential gzip
// calls on identically-shaped bodies must emit byte-identical streams —
// the second call reuses the first's Huffman tree under the used-symbol
// coverage guard, and the emitted block is still a valid full encoding of
// the input. A drift in the cache machinery (stale tree, missing symbol,
// ordering bug) flips either the equality or the checksum.
import std/io
import std/compress
std/compress:gzip(data: "{\"route\":\"/json/25\",\"items\":[1,2,3],\"total\":6}")
| error e |> std/io:print.ln("ERR {{ e:s }}")
| compressed c1 |> std/compress:crc32(c1.data): crc1
|> std/compress:gzip(data: "{\"route\":\"/json/25\",\"items\":[1,2,3],\"total\":6}")
| error e2 |> std/io:print.ln("ERR2 {{ e2:s }}")
| compressed c2 |> std/compress:crc32(c2.data): crc2
|> if(c1.data.len == c2.data.len and crc1 == crc2)
| then |> std/io:print.ln("deterministic {{ c1.data.len:d }} crc={{ crc1:d }}")
| else |> std/io:print.ln("NONDETERMINISTIC {{ c1.data.len:d }}/{{ c2.data.len:d }} {{ crc1:d }}/{{ crc2:d }}")
Actual
deterministic 66 crc=2727697046
KORU LEAK CHECK FAILED: the produced program leaked (trace above)
Expected output
deterministic 66 crc=2727697046
Flows
flow ~gzip click a branch to expand · @labels scroll to their anchor
gzip (data: "{\"route\":\"/json/25\",\"items\":[1,2,3],\"total\":6}")
Test Configuration
MUST_RUN