obligation lost at boundary

✓ Passing This code compiles and runs correctly.

Code

// Test 518: Obligation lost at boundary
// Tests that obligations cannot disappear at flow boundaries
//
// Key points:
// - bad_subflow internally opens a file (*File[opened!])
// - bad_subflow returns 'done {}' with NO [!] in signature
// - This loses track of the obligation
// - ERROR: Obligation must either be cleaned OR returned with [!]

~import "$app/bad_subflow"

~app.bad_subflow:bad_subflow()
| done |> _

input.kz

Error Verification

Expected Error Pattern

This test must fail because bad_subflow opens a file with cleanup obligation
but returns without documenting the obligation in its return signature.
The obligation is lost at the flow boundary.

Actual Compiler Output

[PHASE 2.4] Calling run_pass for transforms\n[PHASE 2.5] Executing comptime_main() - running comptime flows
[PHASE 2.5] Comptime flows complete (26 items)
[PHASE 2.6] Rescanning transformed AST (26 items)
[PHASE 2.6] Rescan complete: 25 comptime events found
  [0] std.compiler:requires
  [1] std.compiler:flag.declare
  [2] std.compiler:command.declare
  [3] std.compiler:coordinate
  [4] std.compiler:context_create
  [5] std.testing:test
  [6] std.testing:validate_mocks
  [7] std.testing:test.with_harness
  [8] std.testing:test.harness
  [9] std.testing:assert
  [10] std.testing:test.property.equivalent
  [11] std.deps:deps
  [12] std.deps:requires.system
  [13] std.deps:requires.zig
  [14] std.control:if
  [15] std.control:for
  [16] std.control:capture
  [17] std.control:const
  [18] std.build:requires
  [19] std.build:variants
  [20] std.build:config
  [21] std.build:command.sh
  [22] std.build:command.zig
  [23] std.build:step
  [24] std.template:define

[PHANTOM-KORU] Starting phantom check proc...
[DEAD-STRIP] Removing event_decl: std.compiler:coordinate
[DEAD-STRIP] Removing event_decl: std.compiler:ast_dump
[DEAD-STRIP] Removing proc_decl: std.compiler:ast_dump
[DEAD-STRIP] Removing event_decl: std.compiler:transform_taps
[DEAD-STRIP] Removing proc_decl: std.compiler:transform_taps
[DEAD-STRIP] Removing event_decl: std.compiler:parse
[DEAD-STRIP] Removing proc_decl: std.compiler:parse
[DEAD-STRIP] Removing event_decl: std.testing:test
[DEAD-STRIP] Removing proc_decl: std.testing:test
[DEAD-STRIP] Removing event_decl: std.testing:test.with_harness
[DEAD-STRIP] Removing event_decl: std.testing:test.harness
[DEAD-STRIP] Removing event_decl: std.testing:assert
[DEAD-STRIP] Removing proc_decl: std.testing:assert
[DEAD-STRIP] Removing event_decl: std.testing:assert.ok
[DEAD-STRIP] Removing proc_decl: std.testing:assert.ok
[DEAD-STRIP] Removing event_decl: std.testing:assert.fail
[DEAD-STRIP] Removing proc_decl: std.testing:assert.fail
[DEAD-STRIP] Removing event_decl: std.testing:assert.eq
[DEAD-STRIP] Removing event_decl: std.testing:assert.contains
[DEAD-STRIP] Removing event_decl: std.testing:test.property.equivalent
[DEAD-STRIP] Removing event_decl: std.deps:deps
[DEAD-STRIP] Removing proc_decl: std.deps:deps
[DEAD-STRIP] Removing event_decl: std.deps:requires.zig
[DEAD-STRIP] Removing proc_decl: std.deps:requires.zig
[DEAD-STRIP] Removing event_decl: app.fs:open
[DEAD-STRIP] Removing proc_decl: app.fs:open
[DEAD-STRIP] Removing event_decl: std.control:if
[DEAD-STRIP] Removing proc_decl: std.control:if
[DEAD-STRIP] Removing event_decl: std.control:for
[DEAD-STRIP] Removing proc_decl: std.control:for
[DEAD-STRIP] Removing event_decl: std.control:capture
[DEAD-STRIP] Removing proc_decl: std.control:capture
[DEAD-STRIP] Removing event_decl: std.control:const
[DEAD-STRIP] Removing proc_decl: std.control:const
[DEAD-STRIP] Removing event_decl: std.build:requires
[DEAD-STRIP] Removing proc_decl: std.build:requires
[DEAD-STRIP] Removing event_decl: std.build:variants
[DEAD-STRIP] Removing proc_decl: std.build:variants
[DEAD-STRIP] Removing event_decl: std.build:config
[DEAD-STRIP] Removing proc_decl: std.build:config
[DEAD-STRIP] Removing event_decl: std.build:command.sh
[DEAD-STRIP] Removing event_decl: std.build:command.zig
[DEAD-STRIP] Removing event_decl: std.build:command
[DEAD-STRIP] Removing event_decl: std.build:collect
[DEAD-STRIP] Removing proc_decl: std.build:collect
[DEAD-STRIP] Removing event_decl: std.compiler_types:__compiler_types_marker
[DEAD-STRIP] Stripped 46 unreachable items

[BUFFER DEBUG] After CodeEmitter.init:
[BUFFER DEBUG]   code_emitter.pos = 0
[BUFFER DEBUG]   First 50 bytes: [170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170][170]

[BUFFER DEBUG] After visitor_emitter.emit:
[BUFFER DEBUG]   code_emitter.pos = 3286
[BUFFER DEBUG]   First 50 bytes of buffer: // Access compiler flags from backend.zig via root
[BUFFER DEBUG] final_code length = 3286
[BUFFER DEBUG]   First 50 bytes of final_code: // Access compiler flags from backend.zig via root


[INTER] inter:start called with 6 contexts
[INTER] --inter flag not set, skipping
🎯 Compiler coordination: Passes: 13 (flow-based: frontend, analysis, emission)

[MAIN DEBUG] Before file write:
[MAIN DEBUG]   generated_code.len = 3286
[MAIN DEBUG]   generated_code.ptr = u8@10ac94010
[MAIN DEBUG]   emitted_file = output_emitted.zig
[MAIN DEBUG]   emitted_file.ptr = u8@10483845e
[MAIN DEBUG]   First 50 bytes: // Access compiler flags from backend.zig via root

Error: output_emitted.zig:45:28: error: use of undeclared identifier '__inline_flow_1'
                    return __inline_flow_1(.{  });
                           ^~~~~~~~~~~~~~~

Imported Files

~import "$app/fs"

// BAD: Opens file but doesn't document obligation in signature
~pub event bad_subflow {}
| done {}  // NO [!] in signature - obligation disappears!

~proc bad_subflow {
    ~app.fs:open(path: "data.txt")
    | opened f |> done {}
    // ERROR: f.file has [opened!] obligation
    // but 'done' branch has no [!] in signature
    // Obligation is lost!
}

bad_subflow.kz

const std = @import("std");
const File = struct { handle: i32 };

~pub event open { path: []const u8 }
| opened { file: *File[opened!] }

~proc open {
    std.debug.print("Opening file: {s}\n", .{path});
    const allocator = std.heap.page_allocator;
    const f = allocator.create(File) catch unreachable;
    f.* = File{ .handle = 42 };
    return .{ .opened = .{ .file = f } };
}

fs.kz

Test Configuration

MUST_FAIL

← 057 auto discharge emission parity multiple cleanup paths →