CompiledModelSession
One wired executable model, with independent check scopes and a shared reporting inventory.
Functions
Link copied to clipboard
Explicit full-model checks retain every loaded module as complete context.
Link copied to clipboard
fun connectedIndex(subjectModules: Set<String>, contextModules: Set<String> = emptySet()): ModelIndex
Context follows the subject's references, not references originating in its context.
Link copied to clipboard
A declaration-owner view for one renderer; closing it never closes the session's loader.