This library is in flux. APIs may change without notice. Generated from source with koruc 0.1.7 on 10/5/2026.
Bridge.hostverbs
~import std/bridge.hostverbsKoru Standard Library: the `hostverbs` part of bridge — the session-
bridge.hostverbs.kz · 2 tors
Koru Standard Library: the `hostverbs` part of bridge — the session- · 18 more lines
Koru Standard Library: the `hostverbs` part of bridge — the session-
level verbs the interpreter dispatches when the scope's own dispatcher
denies: `vocabulary`, `grammar`, and `bind`, plus the tor surfaces
that render the same text to host callers. Joined via `~part hostverbs`
in bridge.kz; merged into the bridge module at load.
VOCABULARY - the derived prompt, session-shaped
`std/runtime:scope-vocabulary` renders a scope's COMPILED tors — the
base vocabulary the program was built with. This tor grows that with the
session's DEFINED flows, so the prompt walks the whole environment a REPL
accumulates: compiled scopes plus the verbs the agent invented on earlier
turns. That visibility is the second half of the R1 claim — an invention
the agent never sees in its own prompt is an invention it will not use.
The same arena discipline as scope-vocabulary: the returned string is
page-backed and intentionally never freed, because it must outlive this
call and land in the caller's prompt buffer.
vocabulary
koru_std/bridge.hostverbs.kz:22// Koru Standard Library: the `hostverbs` part of bridge — the session-
// level verbs the interpreter dispatches when the scope's own dispatcher
// denies: `vocabulary`, `grammar`, and `bind`, plus the tor surfaces
// that render the same text to host callers. Joined via `~part hostverbs`
// in bridge.kz; merged into the bridge module at load.
//
// VOCABULARY - the derived prompt, session-shaped
//
// `std/runtime:scope-vocabulary` renders a scope's COMPILED tors — the
// base vocabulary the program was built with. This tor grows that with the
// session's DEFINED flows, so the prompt walks the whole environment a REPL
// accumulates: compiled scopes plus the verbs the agent invented on earlier
// turns. That visibility is the second half of the R1 claim — an invention
// the agent never sees in its own prompt is an invention it will not use.
//
// The same arena discipline as scope-vocabulary: the returned string is
// page-backed and intentionally never freed, because it must outlive this
// call and land in the caller's prompt buffer.
~pub tor vocabulary { br: *Bridge }
| ok string
| not-found stringgrammar
koru_std/bridge.hostverbs.kz:100// `appendDefinedLines` — the invented-verbs render, with each flow's
// declared outcome contract — lives in bridge.deflines.kz (the `deflines`
// part), shared with the affordances render.
//
// GRAMMAR - the derived prompt, complete: the wire's rules + the session's
// whole vocabulary
//
// `std/runtime:scope-grammar` renders the wire's shape rules above the
// scope's COMPILED verbs. The prompt an agent actually lives under needs one
// more thing: the session's DEFINED flows, the verbs it invented on earlier
// turns. This render is that whole surface — rules, compiled base, and
// inventions, one string — so the agent's prompt is the register block plus
// its own growth, and nothing hand-typed. A turn judged by the wire gate
// (parse.wire, in `run` above) and a prompt built from this render are the
// same declaration read twice.
~pub tor grammar { br: *Bridge }
| ok string
| not-found string