Lexical handlers and direct compilation

symbol	meaning	boundary
symbol	meaning	boundary
$L,P$	Lexa run-time data label and static code label	labels from different cards are not identified
$M,H,K,E,t$	Lexa code memory, heap, context, environment, and current term	untyped 2024 source
$\mathsf{hdl}(L,P_o,L_{\mathrm{e}\mathrm{n}\mathrm{v}},[])$	Lexa handler frame selected by identity $L$	not name search
$L_k,\mathsf{cont}(K),\mathsf{ns}$	one-cell resumption label, captured context, and consumed marker	dynamically one-shot
$⟨M\mid H\mid R⟩$	Salt code, heap, and register configuration	2024 target only
$\mathsf{sp},\mathsf{ip},{\ell }_{\mathrm{e}\mathrm{x}\mathrm{c}\mathrm{h}}$	Salt stack pointer, instruction pointer, and exchanger location	exchanger alternates saved stack tops
${\mathcal{T}}_{\mathsf{Lexa}\to \mathsf{Salt}}(-{)}_{\mathrm{\Gamma }}$	2024 Lexa-to-Salt translation	untyped behavior theorem
$\mathrm{\Theta }\mid \mathrm{\Delta }\mid \mathrm{\Sigma }\mid \mathrm{\Gamma }⊢t:\tau ⇝\underset{―}{t}$	2025 SL typing and SL-to-TL translation	separate from Lexa/Salt
$\hat{i},\mathring{i},\mathrm{\infty }$	TL label-parameter, capability-parameter, and capture indices	components of a clue
$\mathcal{H},{\mathsf{hopper}}_{\mathcal{H}}$	call-site provenance metadata and its partial clue rewrite	consulted only during search
${\mathrm{\Lambda }}_{\mathsf{cap}}$	typed lexical-handler source translated by CPS to System F	neither Lexa nor SL
${\lambda }^{†},\delta \in \{\mathsf{deep},†\}$	row-typed source and its deep/shallow handler tag	generalised-continuation card
$⟨\theta ,⟨{\chi }_{\mathrm{r}\mathrm{e}\mathrm{t}},{\chi }_{\mathrm{o}\mathrm{p}\mathrm{s}}⟩⟩::\kappa$	pure frames, return clause, and operation dispatcher atop a continuation	untyped CPS target
$\mathcal{C}[-],\mathsf{res},{\mathsf{res}}^{†}$	named higher-order CPS map and distinct deep/shallow resumption forms	no target typing theorem

The symbols $L$ and $\ell$ must remain distinct: $L$ is a 2024 run-time identity, while $\ell$ is a 2025 source label variable. Likewise the named Lexa/Salt map and the SL/TL elaboration arrow denote translations with different domains, codomains, and theorem statements.