✓
Passing This code compiles and runs correctly.
Code
// Auto-discharge (default ON) must insert the sole disposer of <!opened>.
// For a single-name disposer it does (cf. 330_025). For this DOTTED disposer
// (`dispose.file`) it currently emits a raw Zig host error instead:
// error: struct 'koru_app.koru_fsd' has no member named 'dispose'
//
// This MUST_RUN pins the DESIRED behavior: a dotted disposer auto-discharges
// exactly like a single-name one, so the program builds and runs. Currently
// RED — the pin stays red until auto-discharge resolves dotted disposer names.
import app/fsd
app/fsd:open(path: "x")
Supporting Files
// JavaScript implementation facet of module `fsd`.
// Events and types are declared in fsd.kz (merged at import); this file holds
// the |js proc bodies. What the fixture pins is the obligation lifecycle, so
// the Zig facet's page_allocator.create/destroy is modelled by a plain object
// and a no-op release.
~proc open|js {
console.log("Opening file");
return { handle: 42 };
}
~proc dispose.file|js {
console.log("Disposed file (auto-discharged)");
}
// Mock lift module reproducing a DOTTED disposer event name.
//
// Real-world source: @korulang/ai declares its obligation disposer as the
// dotted event `free.request` (obligation `<built!>`). Single-name disposers
// auto-discharge fine — see 330_025_auto_discharge_disabled's `close`. A
// DOTTED disposer name is truncated at the dot by the auto-discharge pass,
// which emits a broken host reference `koru_<module>.dispose` (dropping the
// `.file`) instead of resolving the real `dispose.file`. A raw Zig error
// leaks to the user:
// error: struct 'koru_app.koru_fsd' has no member named 'dispose'
//
// The obligation TRACKING is fine (with --auto-discharge=disable the leak is
// correctly rejected with KORU030). The defect is auto-discharge's disposer
// name resolution for dotted names.
const std = @import("std");
const File = struct { handle: i32 };
// Open a file — mints the <opened!> obligation.
~pub tor open { path: string } -> *File<opened!>
~proc open|zig {
std.debug.print("Opening file\n", .{});
const f = std.heap.page_allocator.create(File) catch unreachable;
f.* = File{ .handle = 42 };
return f;
}
// The ONLY consumer of <!opened> — but with a DOTTED event name.
~pub tor dispose.file { file: *File<!opened> }
~proc dispose.file|zig {
_ = file;
std.debug.print("Disposed file (auto-discharged)\n", .{});
}
Actual
Opening file
Disposed file (auto-discharged)
Expected output
Opening file
Disposed file (auto-discharged)
Flows
flow ~open click a branch to expand · @labels scroll to their anchor
open (path: "x")
Test Configuration
MUST_RUN