Constant STATE_SOC_SRC 

pub const STATE_SOC_SRC: &str = "## To grade (a: Int, b: Int, c: Int) -> Int:\n    Let xs be [a, b, c].\n    Let total be item 1 of xs + item 2 of xs + item 3 of xs.\n    Let result be total.\n    If total is greater than 100:\n        Set result to 100.\n    If total is less than 0:\n        Set result to 0.\n    Return result.\n";

The flashed state-plane kernel: grade(a,b,c) is a WHOLE MULTI-OP-CLASS program — it builds the list [a,b,c] on the heap (COLLECTIONS), sums its elements (ARITHMETIC), and clamps the total to [0, 100] (CONTROL FLOW — two if-converted branches). So the flashed datapath exercises three distinct op-classes at once — Mem (HeapAlloc/Write/Read) + Arith (adds) + Select (the clamps) — all in ONE sequenced datapath on silicon: the fabric running a real program, not a single op.