004 reject write on view

✓ Passing This code compiles and runs correctly.

Code

// PIN (enforcement): append demands <instance>; calling it on a <view!>
// is a phantom state mismatch. Write access requires taking ownership.
~import std/string

~std/string:from-page(text: "hello")
| ok s |> std/string:append(s, text: " world")
    | ok |> std/string:free(s)
    | err _ |> std/string:free(s)
| err _ |> _

input.kz

Must contain:

Phantom state mismatch

Error Verification

Actual Compiler Output

error[KORU030]: Phantom state mismatch: expected 'std.string:instance' but got 'std.string:view!' for argument 's'
  --> phantom_semantic_check:6:0

❌ Compiler coordination error: Phantom semantic validation failed
error: CompilerCoordinationFailed
???:?:?: 0x1005af9d3 in _backend.RuntimeEmitter.emit (???)
???:?:?: 0x1005b0b63 in _backend.main (???)

Flows

flow ~from-page click a branch to expand · @labels scroll to their anchor

from-page (text: "hello")

Test Configuration

MUST_FAIL

← 003 auto free unused string 005 reject use after free →