279 is sugar unknown member refused

⚠ Broken The test itself needs fixing.

Sibling-field union (`player: Player, enemy: Enemy` in the store seed) is not the store surface. The signed declaration was `entity: Player | Enemy`. These pins must not stay green in stdlib.

Failure Output

error[KORU161]: std/store:query(arena): unknown kind 'ghost' - members are: player, enemy (seed order, 1-based)
  --> tests/regression/600_STDLIB/690_STORE/690_279_is_sugar_unknown_member_refused/input.k:20:0

Code

input.k

Actual compiler output

error[KORU161]: std/store:query(arena): unknown kind 'ghost' - members are: player, enemy (seed order, 1-based)
  --> tests/regression/600_STDLIB/690_STORE/690_279_is_sugar_unknown_member_refused/input.k:20:0

Compiler must reject:

Compilation must fail with a diagnostic.

Flows

flow ~f64 click a branch to expand · @labels scroll to their anchor
f64 (expr: Health)
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Player, source: health: Health)
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Enemy, source: health: Health)
flow ~new click a branch to expand · @labels scroll to their anchor
new (arena, capacity: 8, source: player: Player, enemy: Enemy)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (arena, kind: player, source: health: 98.6)
flow ~query click a branch to expand · @labels scroll to their anchor
query (arena)

Test Configuration

MUST_ERROR