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.
LuaExceptionProfile
Lua’s one adapter onto the shared exceptional-completion envelope.
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.