sim_lib_lang_lua/
symbols.rs

1use sim_kernel::Symbol;
2
3/// Stable symbol identifying the Lua core language profile.
4pub fn lua_profile_symbol() -> Symbol {
5    Symbol::qualified("lang", "lua-core/v1")
6}
7
8/// Stable symbol for the reader codec the Lua surface decodes through.
9pub fn lua_reader_symbol() -> Symbol {
10    Symbol::qualified("codec", "lua")
11}
12
13/// Stable symbol naming the Lua core eval policy.
14pub fn lua_eval_policy_symbol() -> Symbol {
15    Symbol::qualified("eval", "lua-core")
16}
17
18/// Stable symbol for the Lua lowering from surface forms to `Expr`.
19pub fn lua_lowering_symbol() -> Symbol {
20    Symbol::qualified("lua", "lowering-core")
21}
22
23/// Stable symbol for the Lua core control/mutation conformance test.
24pub fn lua_conformance_test_symbol() -> Symbol {
25    Symbol::qualified("test", "lua-core-control-mutation")
26}
27
28/// Stable symbol for the Lua coroutine-control fidelity badge.
29pub fn lua_control_fidelity_symbol() -> Symbol {
30    Symbol::qualified("standard/fidelity", "lua-control-coroutines")
31}
32
33/// Stable symbol for the Lua table-mutation fidelity badge.
34pub fn lua_mutation_fidelity_symbol() -> Symbol {
35    Symbol::qualified("standard/fidelity", "lua-mutation-tables")
36}
37
38/// Stable symbol for the Lua full-runtime fidelity badge (limited support).
39pub fn lua_full_runtime_fidelity_symbol() -> Symbol {
40    Symbol::qualified("standard/fidelity", "lua-full-runtime-limited")
41}
sim_lib_lang_lua/symbols.rs

sim_lib_lang_lua/
symbols.rs
