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.

Structs§

LuaEnv
Lexical local environment used by the Lua core eval policy.
LuaEvalPolicy
Eval policy for the Lua core profile.
LuaTable
Lua table handle backed by the mutation organ’s runtime-keyed table.
LuaTablePolicy
Lua table key policy over the shared runtime-keyed mutation table.
LuaThread
Lua coroutine handle.
ReuseLedgerEntry
One row in the Lua shared-substrate reuse ledger.

Enums§

LuaNumber
Lua numeric subtype used by the core operator layer.
LuaOp
Lua core binary and unary operators covered by the current profile.
LuaResult
Result of evaluating a Lua core form.

Constants§

REUSE_LEDGER
Lua reuse ledger for the shared language-runtime substrate.

Statics§

RECIPES
Cookbook recipes for this lib, embedded at build time.

Functions§

install_lua_core_profile
Installs the Lua core profile and its organ claims into a registry.
lua_binary
Applies a Lua binary operator using metamethods before primitive behavior.
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_coroutine_frame_value
Build a Lua coroutine handle over a shared producer/consumer frame.
lua_eval_policy_symbol
Stable symbol naming the Lua core eval policy.
lua_float_value
Builds a runtime value from a Lua float.
lua_full_runtime_fidelity_symbol
Stable symbol for the Lua full-runtime fidelity badge (limited support).
lua_get
Performs Lua indexed read with the shared metaobject protocol.
lua_get_metatable
Returns a Lua table metatable, if one is installed.
lua_index_slot
Stable Lua metatable slot for indexed reads.
lua_integer_value
Builds a runtime value from a Lua integer.
lua_len
Applies Lua length over strings and tables, with __len fallback.
lua_lowering_symbol
Stable symbol for the Lua lowering from surface forms to Expr.
lua_metamethod
Reads a raw metamethod from a value’s metatable.
lua_mutation_fidelity_symbol
Stable symbol for the Lua table-mutation fidelity badge.
lua_number_from_value
Converts a SIM value to a Lua number, including Lua string-to-number coercion.
lua_profile_symbol
Stable symbol identifying the Lua core language profile.
lua_rawdel
Deletes a raw Lua table entry without consulting __newindex.
lua_rawget
Performs a raw Lua table read without consulting __index.
lua_rawset
Performs a raw Lua table write without consulting __newindex.
lua_reader_symbol
Stable symbol for the reader codec the Lua surface decodes through.
lua_set_metatable
Installs a Lua table metatable.
lua_table
Constructs a Lua table from symbol-keyed entries.
lua_table_from_values
Constructs a Lua table from value-keyed entries.
lua_table_value
Borrows the Lua table behind 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.