✓
Passing Passing: the compiler rejects this program as expected.
Code
// FRONTIER (pinned RED) — COMPONENT_CHALLENGE replay 03 / Charm progress.
//
// Natural shape for a colored progress cell: a Style record literal with an
// `fg` color field (Charm purple #5A56E0). Koru accepts the unknown field
// through analysis and emission; only Stage-D Zig rejects it.
//
// style: { bold: false, dim: false, fg: 0x5A56E0 }
//
// EXPECTED: Koru shape/analysis rejects unknown fields on a known struct type
// with a Koru diagnostic (and, for Charm progress, vaxis Style must grow a
// Color `fg`/`bg` surface that maps onto libvaxis Cell.Style — which already
// has them; the koru/vaxis wrapper strips them: "Boolean attrs only for now").
//
// ACTUAL: Stage-D zig build of output_emitted.zig fails with:
// error: no field named 'fg' in struct '...Style'
//
// This pin is the minimal self-contained form (local Style, no vaxis import).
// The Charm meter also needs grapheme-aware writeCell (write-at currently
// walks bytes) and fill math inside the component boundary — floated in
// koru-libs vaxis/tests/frontier/charm_progress_walls.md.
const std = @import("std");
const Style = struct {
bold: bool = false,
dim: bool = false,
};
~pub tor write-styled { text: string, style: Style }
~proc write-styled|zig {
_ = text;
_ = style;
std.debug.print("painted\n", .{});
}
~write-styled(text: "▌", style: { bold: false, dim: false, fg: 0x5A56E0 })
Actual compiler output
🎯 Compiler coordination: Passes: 20 (flow-based: elaborate, analysis, emission)
Error: output_emitted.zig:109:112: error: no field named 'fg' in struct 'output_emitted.main_module.Style'
_ = main_module.write_styled_event.handler(.{ .text = "▌", .style = .{ .bold = false, .dim = false, .fg = 0x5A56E0 } });
^~
output_emitted.zig:83:19: note: struct declared here
const Style = struct {
^~~~~~
referenced by:
main: output_emitted.zig:151:22
callMain [inlined]: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:618:22
callMainWithArgs [inlined]: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:587:20
main: /opt/homebrew/Cellar/zig/0.15.2_1/lib/zig/std/start.zig:602:28
1 reference(s) hidden; use '-freference-trace=5' to see all referencesMust fail at backend compile:
Code generation must reject the program.
Error output must contain
no field named 'fg' in structFlows
flow ~write-styled click a branch to expand · @labels scroll to their anchor
write-styled (text: "▌", style: { bold: false, dim: false, fg: 0x5A56E0 })
Test Configuration
MUST_ERROR