✓
Passing This code compiles and runs correctly.
Code
// A compound names another home's terminal by address. The entry file mints
// no Health of its own, so the bare name would be unknown here — the field
// spells `app/domain:Health`, and its successful erasure proves qualified
// resolution at the registry layer.
import app/domain
import std/io
import std/proto
std/proto(Player) {
health: app/domain:Health
}
std/io:print.ln("declared")
Supporting Files
// A terminal declared in an imported module is visible to compounds declared
// in the entry file. This is the declaration-layer half of module-spaced
// identity: the program scanner finds the terminal across the merged program
// whether it is still live or already erased to its marker.
import std/proto
std/proto:f64(Health)
Actual
declared
Expected output
declared
Flows
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Player, source: health: app/domain:Health)
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "declared")
Test Configuration
MUST_RUN