✓
Passing This code compiles and runs correctly.
Code
// `koruc <file> explain` is a declared command (koru_std/explain.kz) whose
// module must ride along under the command — the `command=` provider atom
// (src/main.zig:7556) exists for exactly this (`~[command(explain)]import
// std/explain`), but nothing declares that gated import. On main the verb
// no longer falls through to a silent build — it refuses "'explain' is not
// a command input.kz declares" (re-measured 2026-11-03); the declared
// command still never dispatches without a user-side import. Q6's import
// half is fixed; this pins the dispatch half.
~import std/io
~tor main {}
~proc main|zig {
}
~main()
Flows
flow ~main click a branch to expand · @labels scroll to their anchor
main
Test Configuration
Post-validation Script:
#!/bin/bash
set -u
cd "$(dirname "$0")"
# `explain` is declared in std/explain and documented as running INSTEAD of
# compilation on any program (`koruc main.k explain`). This input does not
# import std/explain — the command's own gate is supposed to carry it.
OUT=$(koruc "$KORU_INPUT" explain 2>&1) || { echo "FAIL: 'explain' refused"; echo "$OUT"; exit 1; }
# The command must produce explain output — its banner or the empty-catalog
# line — not a silent build. "🔧 Running command: explain" is the dispatch
# marker real commands emit.
echo "$OUT" | grep -q "Running command: explain\|📖 explain\|explain —" || {
echo "FAIL: 'koruc $KORU_INPUT explain' produced no explain output — the verb fell through to a plain build"
echo "$OUT"
exit 1
}
echo "=== Test passed: explain dispatches without a user-side import ==="