127 refusal drops coordination echo

✓ Passing Passing: the compiler rejects this program as expected.

Code

// Pin (emission layering): a refusal whose pipeline delivered a real,
// located diagnostic must not be followed by the coordination layer's
// vaguer echo of the same failure, nor by the post-failure summary
// re-printing it a third time. One refusal, one message.
//
// The `❌ Compiler coordination error` line is NOT gone — it stays for
// failures that never produced a diagnostic (user-authored coordinator
// overrides, pinned by the 430 cluster; diagnostic-free internal errors).
x = 42

input.k

Actual compiler output

error[KORU040]: unknown tor 'input:42'
  --> tests/regression/500_INTEGRATION_TESTING/510_NEGATIVE_TESTS/510_127_refusal_drops_coordination_echo/input.k:9:1

Must fail at runtime with:

CONTAINS error[KORU040]
NOT_CONTAINS Compiler coordination error
NOT_CONTAINS ──── diagnostics

Flows

subflow ~x click a branch to expand · @labels scroll to their anchor

Test Configuration

MUST_ERROR

← 126 proc zig body stray koru line 128 ampersand borrow requires mutable →