✓
Passing This code compiles and runs correctly.
Code
// Phase 2: a `.k` file (pure Koru, no host code) is discovered and parsed
// as a sibling import. The .k file holds only an event declaration — the
// partial-program tenet means it compiles fine as long as no call site
// reaches the unimplemented event.
import app/contract
// No call site for contract.compute — partial program is valid.
Supporting Files
// Pure Koru contract: events + branch shapes, no proc body.
// The `.k` extension signals "no host code in this file."
pub tor compute { x: u32 } -> u32
Test Configuration
COMPILE_ONLY
koru.json:
{
"paths": {
"std": "../../../../../koru_std",
"app": "."
}
}