Skip to main content

Crate sim_lib_lang_lua

Crate sim_lib_lang_lua 

Source
Expand description

Lua surface profile for the SIM runtime.

The kernel defines the codec, eval-policy, and Expr contracts; this crate is a loadable language profile presenting a Lua surface syntax over the shared Expr graph, not a standalone interpreter.

Functionsยง

install_lua_core_profile
Installs the Lua core profile and its organ claims into a registry.
lua_conformance_test_symbol
Stable symbol for the Lua core control/mutation conformance test.
lua_control_fidelity_symbol
Stable symbol for the Lua coroutine-control fidelity badge.
lua_core_matrix_row
Builds the Lua core matrix row.
lua_core_profile
Builds the LanguageProfile describing the Lua core surface profile.
lua_core_source_cases
Minimal source cases for the Lua core matrix row.
lua_coroutine
Builds a Lua coroutine that alternates between two ref lanes.
lua_full_runtime_fidelity_symbol
Stable symbol for the Lua full-runtime fidelity badge (limited support).
lua_lowering_symbol
Stable symbol for the Lua lowering from surface forms to Expr.
lua_mutation_fidelity_symbol
Stable symbol for the Lua table-mutation fidelity badge.
lua_profile_symbol
Stable symbol identifying the Lua core language profile.
lua_reader_symbol
Stable symbol for the reader codec the Lua surface decodes through.
lua_table
Constructs a Lua table from keyed entries as a mutation-organ table value.
lua_table_value
Borrows the MutableTable backing a Lua table value.
run_lua_core_conformance_case
Runs one Lua core source conformance case.
run_lua_core_matrix_row
Runs the Lua core matrix row and publishes claim-backed cells.