Skip to content

Conversation

@zharinov
Copy link
Member

@zharinov zharinov commented Jan 5, 2026

Summary

  • Add bootstrap: StepId parameter to VM::execute() and VM::execute_with()
  • Caller decides which preamble to use at runtime (currently hardcoded to StepId(0))
  • Module remains preamble-agnostic

Why

Decouples VM from compile-time preamble choice. The same module can be executed with different preambles depending on the use case (e.g., root-match vs recursive deep-search). Selection logic lives in the caller, not the bytecode.

@zharinov zharinov changed the title refactor: store bootstrap address in module header refactor: VM receives bootstrap address as runtime parameter Jan 5, 2026
@zharinov zharinov force-pushed the refactor/bootstrap-header branch 3 times, most recently from 49ccd99 to a1578d8 Compare January 5, 2026 14:50
@zharinov zharinov force-pushed the refactor/bootstrap-header branch from a1578d8 to 173033c Compare January 5, 2026 14:53
@zharinov zharinov enabled auto-merge (squash) January 5, 2026 14:54
@zharinov zharinov merged commit 77b84e1 into master Jan 5, 2026
4 checks passed
@zharinov zharinov deleted the refactor/bootstrap-header branch January 5, 2026 14:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants