✗
Failing This test is currently failing.
Failed: must-fail-passed
Failure Output
🎯 Compiler coordination: Passes: 17 (flow-based: frontend, analysis, emission) Code
// PIN: when a String is in <instance!> state at scope exit, the auto-discharger
// has TWO matching candidates: std/string:free (accepts <!view|instance>) and
// std/string:release (accepts <!instance>). Neither is marked as the default
// discharger, so KORU030 "multiple discharge options" fires instead of silently
// picking one. The caller must discharge explicitly.
//
// Grounding:
// - from-page return type: koru_std/string.kz:51 (| ok *String<view!>)
// - take signature: koru_std/string.kz:74 (~pub event take { s: *String<!view> })
// - take return: koru_std/string.kz:75 (| instance *String<instance!>)
// - free signature: koru_std/string.kz:94 (~pub event free { s: *String<!view|instance> })
// - release signature: koru_std/string.kz:82 (~pub event release { s: *String<!instance> })
// - flow shape: 610_002_string_ownership/input.kz:5-11 (take + append + read — drop free)
~import std/string
~std/string:from-page(text: "hello")
| ok s |> std/string:take(s): owned |> std/string:append(s: owned, text: " world")
| ok |> std/string:read(s: owned)
| err _ |> _
| err _ |> _
Must contain:
multiple discharge optionsError Verification
Actual Compiler Output
🎯 Compiler coordination: Passes: 17 (flow-based: frontend, analysis, emission)Flows
flow ~from-page click a branch to expand · @labels scroll to their anchor
from-page (text: "hello")
Test Configuration
MUST_FAIL