@almadar/std 17.0.2 → 17.1.0

package/behaviors/registry/codec/atoms/std-lolo-kotlin.orb

@@ -1 +1 @@
-{"typeContractVersion":1,"name":"std-lolo-kotlin","version":"1.0.0","description":"std-lolo-kotlin — renders .lolo source as Kotlin text, so a learner who reads an exercise written in .lolo can see the same program as Kotlin that compiles against the Android shell's generated models and gives the kernel's answers. It is std-lolo-source with the Kotlin vocabulary in config and nothing else: LOLO_TO_KOTLIN { source, path } answers KOTLIN_RENDERED { text, warnings }, or KOTLIN_RENDER_FAILED { error } when the source cannot be read or the request carries no absolute path (the types come from the kernel checker). Each trait becomes a class holding the entity (a var, rebuilt by copy on every set), state, ports and config, with one on<Event> method per event: an if / else if branch per transition (the from-state and the guard), the effects, then the new state; an emit records an Emitted(event, payload) in emitted with the payload built as the shell's generated payload type. The file is in package generated, beside the shell's Entities.kt and Events.kt (written by orb compile -s android), so the entity and payload types need no import. entityNames mirrors the Android shell's KOTLIN_RESERVED_TYPES table (orbital-shell-android backend.rs): an entity named like a Kotlin or Compose type is generated with the suffix Entity (Pair is PairEntity), and the constructor uses that name. Every number is a Double, as in the kernel; a length is a Long or a Double as the checker types it. Kernel answers that are null (a division by zero, nth past the end, a square root of a negative number) are nullable values, and default is an elvis, written once as a small helper. String length and slicing count code points. An operator with no Kotlin template is a named warning and a stub that throws when run; persist, fetch, notify, navigate and call-service are invoked on the ports function and each is listed in warnings; render-ui is a comment. See std-lolo-source for the config knobs and the type placeholders.","orbitals":[{"name":"LoloKotlinOrbital","id":"orb_0MKQAH37ZKKZSPKPD1HN8RENVV","uses":[{"from":"almadar-std/lolo-kotlin","as":"Spec"},{"from":"std/behaviors/std-lolo-source","as":"Src"}],"entity":{"name":"LoloKotlinRun","id":"ent_4X01BHC74E3J7CZ9PDQV3NXSPM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true}]},"traits":[{"ref":"Src.traits.LoloSource","id":"trt_44V49FS42PJ1BA5WC0RMNHW7CE","name":"LoloKotlin","config":{"language":{"type":"unknown","default":"Kotlin","wired":true},"requiresTypes":{"type":"unknown","default":false,"wired":true},"operators":{"type":"unknown","default":{"/":"_div({{0}}, {{1}})","%":"_mod({{0}}, {{1}})","math/mod":"_mod({{0}}, {{1}})","=":"_eq({{0}}, {{1}})","==":"_eq({{0}}, {{1}})","!=":"(!_eq({{0}}, {{1}}))","default":"_default({{0}}, {{1}})","as":"{{0}}","list":"listOf({{*}})","str/len":"_strLen({{0}}).toDouble()","str/upper":"{{0}}.uppercase()","str/lower":"{{0}}.lowercase()","str/trim":"{{0}}.trim()","str/trimStart":"{{0}}.trimStart()","str/trimEnd":"{{0}}.trimEnd()","str/capitalize":"_capitalize({{0}})","str/split":"_split({{0}}, {{1}})","str/join":"_join({{0}}, {{1}})","str/concat":"_concat({{*}})","str/includes":"{{0}}.contains({{1}})","str/startsWith":"{{0}}.startsWith({{1}})","str/endsWith":"{{0}}.endsWith({{1}})","str/replace":"{{0}}.replaceFirst({{1}}, {{2}})","str/replaceAll":"{{0}}.replace({{1}}, {{2}})","str/repeat":"{{0}}.repeat(_count({{1}}))","str/reverse":"StringBuilder({{0}}).reverse().toString()","str/slice#2":"_strSlice({{0}}, {{1}})","str/slice#3":"_strSlice({{0}}, {{1}}, {{2}})","str/padStart#2":"_padStart({{0}}, {{1}})","str/padStart#3":"_padStart({{0}}, {{1}}, {{2}})","str/padEnd#2":"_padEnd({{0}}, {{1}})","str/padEnd#3":"_padEnd({{0}}, {{1}}, {{2}})","str/truncate#2":"_truncate({{0}}, {{1}})","str/truncate#3":"_truncate({{0}}, {{1}}, {{2}})","str/to-int":"_toInt({{0}})","array/len":"{{0}}.size.toDouble()","array/avg#1":"_avg({{0}})","array/max#1":"_amax({{0}})","array/min#1":"_amin({{0}})","array/first":"_first({{0}})","array/last":"_last({{0}})","array/nth":"_nth({{0}}, {{1}})","array/range#2":"_range({{0}}, {{1}})","array/range#3":"_range({{0}}, {{1}}, {{2}})","array/slice#2":"_slice({{0}}, {{1}})","array/slice#3":"_slice({{0}}, {{1}}, {{2}})","array/take":"{{0}}.take(_count({{1}}))","array/drop":"{{0}}.drop(_count({{1}}))","array/takeLast":"{{0}}.takeLast(_count({{1}}))","array/dropLast":"{{0}}.dropLast(_count({{1}}))","array/append":"_append({{0}}, {{1}})","array/prepend":"_prepend({{0}}, {{1}})","array/includes":"{{0}}.contains({{1}})","array/indexOf":"_indexOf({{0}}, {{1}})","array/reverse":"{{0}}.reversed()","array/unique":"{{0}}.distinct()","array/flatten":"{{0}}.flatten()","array/zip":"{{0}}.zip({{1}}).map { listOf(it.first, it.second) }","array/sort#1":"_sort({{0}})","array/reduce":"{{0}}.fold({{1}}, {{2}})","array/filter":"{{0}}.filter({{1}})","array/reject":"{{0}}.filterNot({{1}})","array/find":"{{0}}.firstOrNull({{1}})","array/findIndex":"{{0}}.indexOfFirst({{1}}).toDouble()","math/abs":"Math.abs(({{0}}).toDouble())","math/max":"maxOf({{*}})","math/min":"minOf({{*}})","math/round#1":"_round({{0}})","math/round#2":"_round({{0}}, {{1}})","math/sqrt":"_sqrt({{0}})","math/ln":"_ln({{0}})","math/log10":"_log10({{0}})","math/pow":"_pow({{0}}, {{1}})","math/sign":"Math.signum(({{0}}).toDouble())","math/clamp":"Math.min(Math.max(({{0}}).toDouble(), ({{1}}).toDouble()), ({{2}}).toDouble())","math/ceil":"Math.ceil(({{0}}).toDouble())","math/floor":"Math.floor(({{0}}).toDouble())","math/sin":"Math.sin(({{0}}).toDouble())","math/cos":"Math.cos(({{0}}).toDouble())","math/tan":"Math.tan(({{0}}).toDouble())","math/atan":"Math.atan(({{0}}).toDouble())","math/atan2":"Math.atan2(({{0}}).toDouble(), ({{1}}).toDouble())","math/hypot":"Math.hypot(({{0}}).toDouble(), ({{1}}).toDouble())","validate/required":"_required({{0}})","validate/length":"(_strLen({{0}}).toDouble() == ({{1}}).toDouble())","validate/minLength":"(_strLen({{0}}).toDouble() >= ({{1}}).toDouble())","validate/maxLength":"(_strLen({{0}}).toDouble() <= ({{1}}).toDouble())","validate/min":"(({{0}}).toDouble() >= ({{1}}).toDouble())","validate/max":"(({{0}}).toDouble() <= ({{1}}).toDouble())","validate/range":"(({{0}}).toDouble() in ({{1}}).toDouble()..({{2}}).toDouble())","validate/oneOf":"{{1}}.contains({{0}})","validate/equals":"_eq({{0}}, {{1}})"},"wired":true},"unary":{"type":"unknown","default":{"-":"(-{{0}})","not":"(!{{0}})","array/range":"_range({{0}})","array/sum":"_sum({{0}})","array/count":"{{0}}.size.toDouble()","array/sort":"_sort({{0}})","math/round":"_round({{0}})","array/concat":"{{0}}"},"wired":true},"infix":{"type":"unknown","default":{"+":"+","-":"-","*":"*","<":"<","<=":"<=",">":">",">=":">=","and":"&&","or":"||","array/concat":"+"},"wired":true},"infixForm":{"type":"unknown","default":"({{*}})","wired":true},"lambdaOperators":{"type":"unknown","default":{"array/map":"{{src}}.map { {{vars}} -> {{body}} }","array/some":"{{src}}.any { {{vars}} -> {{body}} }","array/every":"{{src}}.all { {{vars}} -> {{body}} }","array/count":"{{src}}.count { {{vars}} -> {{body}} }.toDouble()"},"wired":true},"lambdaForm":{"type":"unknown","default":"{ {{params}} -> {{body}} }","wired":true},"indexedSource":{"type":"unknown","default":"{{src}}.mapIndexed { i_, x_ -> Pair(i_.toDouble(), x_) }","wired":true},"indexedVars":{"type":"unknown","default":"({{index}}, {{item}})","wired":true},"unsupportedForm":{"type":"unknown","default":"_unsupported({{op}})","wired":true},"helpers":{"type":"unknown","default":{"/":["private fun _div(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() / b.toDouble()"],"%":["private fun _mod(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() % b.toDouble()"],"math/mod":["private fun _mod(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() % b.toDouble()"],"=":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"==":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"!=":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"default":["private fun <T : Any> _default(v: T?, d: T): T = v ?: d"],"str/len":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"str/capitalize":["private fun _capitalize(s: String): String {\n    if (s.isEmpty()) return s\n    val n = s.offsetByCodePoints(0, 1)\n    return s.substring(0, n).uppercase() + s.substring(n).lowercase()\n}"],"str/split":["private fun _split(s: String, d: String): List<String> =\n    if (d == \"\") s.codePoints().toArray().map { String(Character.toChars(it)) } else s.split(d)"],"str/join":["private fun _join(a: List<Any?>, d: String): String = a.joinToString(d) { _text(it) }","private fun _text(v: Any?): String = when (v) {\n    is String -> v\n    is Boolean -> v.toString()\n    is Long -> v.toString()\n    is Int -> v.toString()\n    is Double -> if (v.isFinite() && v == Math.floor(v)) java.math.BigDecimal(v).toBigInteger().toString() else v.toString()\n    else -> throw IllegalArgumentException(\"expected string, number or boolean\")\n}"],"str/concat":["private fun _concat(vararg v: Any?): String = v.joinToString(\"\") { _text(it) }","private fun _text(v: Any?): String = when (v) {\n    is String -> v\n    is Boolean -> v.toString()\n    is Long -> v.toString()\n    is Int -> v.toString()\n    is Double -> if (v.isFinite() && v == Math.floor(v)) java.math.BigDecimal(v).toBigInteger().toString() else v.toString()\n    else -> throw IllegalArgumentException(\"expected string, number or boolean\")\n}"],"str/repeat":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"str/slice":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _strSlice(s: String, a: Number, b: Number? = null): String {\n    val n = s.codePointCount(0, s.length)\n    val x = _whole(a)\n    val y = if (b == null) n else _whole(b)\n    val from = if (x < 0) maxOf(n + x, 0) else minOf(x, n)\n    val to = if (y < 0) maxOf(n + y, 0) else minOf(y, n)\n    if (to <= from) return \"\"\n    return s.substring(s.offsetByCodePoints(0, from), s.offsetByCodePoints(0, to))\n}"],"str/padStart":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _padUnit(p: String): String {\n    if (p.codePointCount(0, p.length) != 1) throw IllegalArgumentException(\"expected a single padding character, got \" + p)\n    return p\n}","private fun _padStart(s: String, n: Number, p: String = \" \"): String {\n    val k = _count(n) - _strLen(s)\n    return if (k <= 0) s else _padUnit(p).repeat(k) + s\n}"],"str/padEnd":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _padUnit(p: String): String {\n    if (p.codePointCount(0, p.length) != 1) throw IllegalArgumentException(\"expected a single padding character, got \" + p)\n    return p\n}","private fun _padEnd(s: String, n: Number, p: String = \" \"): String {\n    val k = _count(n) - _strLen(s)\n    return if (k <= 0) s else s + _padUnit(p).repeat(k)\n}"],"str/truncate":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _strSlice(s: String, a: Number, b: Number? = null): String {\n    val n = s.codePointCount(0, s.length)\n    val x = _whole(a)\n    val y = if (b == null) n else _whole(b)\n    val from = if (x < 0) maxOf(n + x, 0) else minOf(x, n)\n    val to = if (y < 0) maxOf(n + y, 0) else minOf(y, n)\n    if (to <= from) return \"\"\n    return s.substring(s.offsetByCodePoints(0, from), s.offsetByCodePoints(0, to))\n}","private fun _truncate(s: String, n: Number, suffix: String = \"...\"): String =\n    if (_strLen(s) <= _count(n)) s else _strSlice(s, 0.0, n) + suffix"],"str/to-int":["private fun _toInt(s: String): Double? =\n    if (Regex(\"[+-]?[0-9]+\").matches(s)) s.toLongOrNull()?.toDouble() else null"],"array/avg":["private fun _avg(a: List<Number>): Double? = if (a.isEmpty()) null else a.sumOf { it.toDouble() } / a.size"],"array/max":["private fun _amax(a: List<Number>): Double? = a.maxOfOrNull { it.toDouble() }"],"array/min":["private fun _amin(a: List<Number>): Double? = a.minOfOrNull { it.toDouble() }"],"array/first":["private fun <T> _first(a: List<T>): T? = a.firstOrNull()"],"array/last":["private fun <T> _last(a: List<T>): T? = a.lastOrNull()"],"array/nth":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun <T> _nth(a: List<T>, i: Number): T? {\n    val k = _whole(i)\n    if (k < 0) throw IllegalArgumentException(\"nth: index \" + k + \" is not a whole number from 0\")\n    return a.getOrNull(k)\n}"],"array/range":["private fun _range(a: Number, b: Number? = null, step: Number = 1.0): List<Double> {\n    val from = if (b == null) 0.0 else a.toDouble()\n    val to = if (b == null) a.toDouble() else b.toDouble()\n    val st = step.toDouble()\n    if (st == 0.0 || st.isNaN() || st.isInfinite()) throw IllegalArgumentException(\"range: step 0 must be a non-zero finite number\")\n    val out = mutableListOf<Double>()\n    var x = from\n    while (if (st > 0) x < to else x > to) {\n        out.add(x)\n        x += st\n    }\n    return out\n}"],"array/slice":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun <T> _slice(a: List<T>, s: Number, e: Number? = null): List<T> {\n    val from = _whole(s)\n    val to = if (e == null) a.size else _whole(e)\n    if (from < 0 || to < 0) throw IllegalArgumentException(\"slice: not a whole number from 0\")\n    val end = minOf(to, a.size)\n    return if (from >= end) listOf() else a.subList(from, end).toList()\n}"],"array/take":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/drop":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/takeLast":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/dropLast":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/append":["private fun <T> _append(a: List<T>, x: T): List<T> = a + listOf(x)"],"array/prepend":["private fun <T> _prepend(a: List<T>, x: T): List<T> = listOf(x) + a"],"array/indexOf":["private fun <T> _indexOf(a: List<T>, x: T): Double = a.indexOf(x).toDouble()"],"array/sort":["private fun <T : Comparable<T>> _sort(a: List<T>): List<T> = a.sorted()"],"math/round":["private fun _round(x: Number, d: Number = 0.0): Double {\n    val m = Math.pow(10.0, d.toDouble())\n    return Math.copySign(Math.floor(Math.abs(x.toDouble()) * m + 0.5) / m, x.toDouble())\n}"],"math/sqrt":["private fun _sqrt(x: Number): Double? = if (x.toDouble() < 0.0) null else Math.sqrt(x.toDouble())"],"math/ln":["private fun _ln(x: Number): Double? = if (x.toDouble() <= 0.0) null else Math.log(x.toDouble())"],"math/log10":["private fun _log10(x: Number): Double? = if (x.toDouble() <= 0.0) null else Math.log10(x.toDouble())"],"math/pow":["private fun _pow(a: Number, b: Number): Double? {\n    val r = Math.pow(a.toDouble(), b.toDouble())\n    return if (r.isNaN() || r.isInfinite()) null else r\n}"],"validate/required":["private fun _required(v: Any?): Boolean = v != null && v != \"\""],"validate/length":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/minLength":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/maxLength":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/equals":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"array/sum":["private fun _sum(a: List<Number>): Double = a.sumOf { it.toDouble() }"],"unsupported":["private fun _unsupported(name: String): Nothing = throw UnsupportedOperationException(\"no native template for operator \" + name)"]},"wired":true},"helperGap":{"type":"unknown","default":"\n\n","wired":true},"portEffects":{"type":"unknown","default":["list","persist","fetch","fetch-stream","notify","navigate","navigate-back","call-service","cancel-call","send-server","spawn","despawn","log"],"wired":true},"portCall":{"type":"unknown","default":"ports?.invoke(\"{{name}}\", listOf({{*}}))","wired":true},"portCase":{"type":"unknown","default":"lower","wired":true},"attributeRoots":{"type":"unknown","default":{"entity":"entity","state":"state","payload":"payload","config":"config"},"wired":true},"itemRoots":{"type":"unknown","default":{},"wired":true},"attrAccess":{"type":"unknown","default":".{{name}}","wired":true},"indexAccess":{"type":"unknown","default":"[{{0}}]","wired":true},"entityReadDefault":{"type":"unknown","default":"({{read}} ?: {{default}})","wired":true},"numberIntForm":{"type":"unknown","default":"{{json}}.0","wired":true},"stringEscapes":{"type":"unknown","default":{"$":"\\$"},"wired":true},"fileHeader":{"type":"unknown","default":"package generated","wired":true},"listForm":{"type":"unknown","default":"listOf({{*}})","wired":true},"mapOpen":{"type":"unknown","default":"mapOf(","wired":true},"mapClose":{"type":"unknown","default":")","wired":true},"mapPair":{"type":"unknown","default":"{{key}} to {{value}}","wired":true},"letStmt":{"type":"unknown","default":"val {{name}} = {{value}}","wired":true},"letExpr":{"type":"unknown","default":"run { val {{name}} = {{value}}; {{body}} }","wired":true},"condExpr":{"type":"unknown","default":"(if ({{cond}}) {{then}} else {{else}})","wired":true},"setStyle":{"type":"unknown","default":"copy","wired":true},"fieldCase":{"type":"unknown","default":"split-camel","wired":true},"voidPayload":{"type":"unknown","default":"Unit","wired":true},"recordForm":{"type":"unknown","default":"{{type}}({{fields}})","wired":true},"recordField":{"type":"unknown","default":"{{name}} = {{value}}","wired":true},"unionArmForm":{"type":"unknown","default":"{{union}}.{{union}}{{arm}}({{inner}})","wired":true},"enumForm":{"type":"unknown","default":"{{enum}}.{{member}}","wired":true},"enumMemberCase":{"type":"unknown","default":"split-pascal","wired":true},"methodCase":{"type":"unknown","default":"pascal","wired":true},"classOpen":{"type":"unknown","default":"class {{class}}(","wired":true},"classEmpty":{"type":"unknown","default":"","wired":true},"constructor":{"type":"unknown","default":["{{i}}var entity: {{entity}},","{{i}}val ports: ((String, List<Any?>) -> Unit)? = null,","{{i}}val config: {{configType}} = {{configType}}(),",") {","{{i}}var state: String = {{initial}}","{{i}}val emitted = mutableListOf<Emitted>()","","{{i}}data class Emitted(val event: String, val payload: Any)"],"wired":true},"configType":{"type":"unknown","default":"{{trait}}Config","wired":true},"emitMethod":{"type":"unknown","default":["{{i}}fun emit(event: String, payload: Any) {","{{i}}{{i}}emitted.add(Emitted(event, payload))","{{i}}}"],"wired":true},"entityNames":{"type":"unknown","default":{"Any":"AnyEntity","Array":"ArrayEntity","Boolean":"BooleanEntity","Box":"BoxEntity","Button":"ButtonEntity","Card":"CardEntity","Char":"CharEntity","Color":"ColorEntity","Column":"ColumnEntity","Double":"DoubleEntity","Enum":"EnumEntity","Exception":"ExceptionEntity","Float":"FloatEntity","Image":"ImageEntity","Int":"IntEntity","List":"ListEntity","Long":"LongEntity","Map":"MapEntity","Modifier":"ModifierEntity","Nothing":"NothingEntity","Number":"NumberEntity","Pair":"PairEntity","Result":"ResultEntity","Row":"RowEntity","Set":"SetEntity","Short":"ShortEntity","State":"StateEntity","String":"StringEntity","Surface":"SurfaceEntity","Text":"TextEntity","Throwable":"ThrowableEntity","Triple":"TripleEntity","Unit":"UnitEntity"},"wired":true},"typeMap":{"type":"unknown","default":{},"wired":true},"indent":{"type":"unknown","default":"    ","wired":true},"sectionGap":{"type":"unknown","default":"\n\n","wired":true},"payloadField":{"type":"unknown","default":"{{name}} = {{value}}","wired":true}},"events":{"LOLO_TO_SOURCE":"LOLO_TO_KOTLIN","SOURCE_RENDERED":"KOTLIN_RENDERED","SOURCE_RENDER_FAILED":"KOTLIN_RENDER_FAILED"}}],"pages":[{"name":"LoloKotlinStart","id":"pag_CC0YKPC67933MV5ZQBZX2WJW40","path":"","protocol":"boot","traits":[{"ref":"LoloKotlin","refId":"trt_44V49FS42PJ1BA5WC0RMNHW7CE"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_4X01BHC74E3J7CZ9PDQV3NXSPM":{"id":"ent_4X01BHC74E3J7CZ9PDQV3NXSPM","kind":"entity","bakedName":"LoloKotlinRun","curName":"LoloKotlinRun","renames":[],"owner":"workspace"},"orb_0MKQAH37ZKKZSPKPD1HN8RENVV":{"id":"orb_0MKQAH37ZKKZSPKPD1HN8RENVV","kind":"orbital","bakedName":"LoloKotlinOrbital","curName":"LoloKotlinOrbital","renames":[],"owner":"workspace"},"pag_CC0YKPC67933MV5ZQBZX2WJW40":{"id":"pag_CC0YKPC67933MV5ZQBZX2WJW40","kind":"page","bakedName":"LoloKotlinStart","curName":"LoloKotlinStart","renames":[],"owner":"workspace"},"trt_44V49FS42PJ1BA5WC0RMNHW7CE":{"id":"trt_44V49FS42PJ1BA5WC0RMNHW7CE","kind":"trait","bakedName":"LoloKotlin","curName":"LoloKotlin","renames":[],"owner":"workspace"}}}}
+{"typeContractVersion":1,"name":"std-lolo-kotlin","version":"1.0.0","description":"std-lolo-kotlin — renders .lolo source as Kotlin text, so a learner who reads an exercise written in .lolo can see the same program as Kotlin that compiles against the Android shell's generated models and gives the kernel's answers. It is std-lolo-source with the Kotlin vocabulary in config and nothing else: LOLO_TO_KOTLIN { source, path } answers KOTLIN_RENDERED { text, warnings }, or KOTLIN_RENDER_FAILED { error } when the source cannot be read or the request carries no absolute path (the types come from the kernel checker). Each trait becomes a class holding the entity (a var, rebuilt by copy on every set), state, ports and config, with one on<Event> method per event: an if / else if branch per transition (the from-state and the guard), the effects, then the new state; an emit records an Emitted(event, payload) in emitted with the payload built as the shell's generated payload type. The file is in package generated, beside the shell's Entities.kt and Events.kt (written by orb compile -s android), so the entity and payload types need no import. entityNames mirrors the Android shell's KOTLIN_RESERVED_TYPES table (orbital-shell-android backend.rs): an entity named like a Kotlin or Compose type is generated with the suffix Entity (Pair is PairEntity), and the constructor uses that name. Every number is a Double, as in the kernel; a length is a Long or a Double as the checker types it. Kernel answers that are null (a division by zero, nth past the end, a square root of a negative number) are nullable values, and default is an elvis, written once as a small helper. String length and slicing count code points. An operator with no Kotlin template is a named warning and a stub that throws when run; persist, fetch, notify, navigate and call-service are invoked on the ports function and each is listed in warnings; render-ui is a comment. See std-lolo-source for the config knobs and the type placeholders.","orbitals":[{"name":"LoloKotlinOrbital","id":"orb_0MKQAH37ZKKZSPKPD1HN8RENVV","uses":[{"from":"almadar-std/lolo-kotlin","as":"Spec"},{"from":"std/behaviors/std-lolo-source","as":"Src"}],"entity":{"name":"LoloKotlinRun","id":"ent_4X01BHC74E3J7CZ9PDQV3NXSPM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true}]},"traits":[{"ref":"Src.traits.LoloSource","id":"trt_44V49FS42PJ1BA5WC0RMNHW7CE","name":"LoloKotlin","config":{"language":{"type":"unknown","default":"Kotlin","wired":true},"requiresTypes":{"type":"unknown","default":false,"wired":true},"operators":{"type":"unknown","default":{"object/get#2":"_get({{0}}, {{1}})","/":"_div({{0}}, {{1}})","%":"_mod({{0}}, {{1}})","math/mod":"_mod({{0}}, {{1}})","=":"_eq({{0}}, {{1}})","==":"_eq({{0}}, {{1}})","!=":"(!_eq({{0}}, {{1}}))","default":"_default({{0}}, {{1}})","as":"{{0}}","list":"listOf({{*}})","str/len":"_strLen({{0}}).toDouble()","str/upper":"{{0}}.uppercase()","str/lower":"{{0}}.lowercase()","str/trim":"{{0}}.trim()","str/trimStart":"{{0}}.trimStart()","str/trimEnd":"{{0}}.trimEnd()","str/capitalize":"_capitalize({{0}})","str/split":"_split({{0}}, {{1}})","str/join":"_join({{0}}, {{1}})","str/concat":"_concat({{*}})","str/includes":"{{0}}.contains({{1}})","str/startsWith":"{{0}}.startsWith({{1}})","str/endsWith":"{{0}}.endsWith({{1}})","str/replace":"{{0}}.replaceFirst({{1}}, {{2}})","str/replaceAll":"{{0}}.replace({{1}}, {{2}})","str/repeat":"{{0}}.repeat(_count({{1}}))","str/reverse":"StringBuilder({{0}}).reverse().toString()","str/slice#2":"_strSlice({{0}}, {{1}})","str/slice#3":"_strSlice({{0}}, {{1}}, {{2}})","str/padStart#2":"_padStart({{0}}, {{1}})","str/padStart#3":"_padStart({{0}}, {{1}}, {{2}})","str/padEnd#2":"_padEnd({{0}}, {{1}})","str/padEnd#3":"_padEnd({{0}}, {{1}}, {{2}})","str/truncate#2":"_truncate({{0}}, {{1}})","str/truncate#3":"_truncate({{0}}, {{1}}, {{2}})","str/to-int":"_toInt({{0}})","array/len":"{{0}}.size.toDouble()","array/avg#1":"_avg({{0}})","array/max#1":"_amax({{0}})","array/min#1":"_amin({{0}})","array/first":"_first({{0}})","array/last":"_last({{0}})","array/nth":"_nth({{0}}, {{1}})","array/range#2":"_range({{0}}, {{1}})","array/range#3":"_range({{0}}, {{1}}, {{2}})","array/slice#2":"_slice({{0}}, {{1}})","array/slice#3":"_slice({{0}}, {{1}}, {{2}})","array/take":"{{0}}.take(_count({{1}}))","array/drop":"{{0}}.drop(_count({{1}}))","array/takeLast":"{{0}}.takeLast(_count({{1}}))","array/dropLast":"{{0}}.dropLast(_count({{1}}))","array/append":"_append({{0}}, {{1}})","array/prepend":"_prepend({{0}}, {{1}})","array/includes":"{{0}}.contains({{1}})","array/indexOf":"_indexOf({{0}}, {{1}})","array/reverse":"{{0}}.reversed()","array/unique":"{{0}}.distinct()","array/flatten":"{{0}}.flatten()","array/zip":"{{0}}.zip({{1}}).map { listOf(it.first, it.second) }","array/sort#1":"_sort({{0}})","array/reduce":"{{0}}.fold({{1}}, {{2}})","array/filter":"{{0}}.filter({{1}})","array/reject":"{{0}}.filterNot({{1}})","array/find":"{{0}}.firstOrNull({{1}})","array/findIndex":"{{0}}.indexOfFirst({{1}}).toDouble()","math/abs":"Math.abs(({{0}}).toDouble())","math/max":"maxOf({{*}})","math/min":"minOf({{*}})","math/round#1":"_round({{0}})","math/round#2":"_round({{0}}, {{1}})","math/sqrt":"_sqrt({{0}})","math/ln":"_ln({{0}})","math/log10":"_log10({{0}})","math/pow":"_pow({{0}}, {{1}})","math/sign":"Math.signum(({{0}}).toDouble())","math/clamp":"Math.min(Math.max(({{0}}).toDouble(), ({{1}}).toDouble()), ({{2}}).toDouble())","math/ceil":"Math.ceil(({{0}}).toDouble())","math/floor":"Math.floor(({{0}}).toDouble())","math/sin":"Math.sin(({{0}}).toDouble())","math/cos":"Math.cos(({{0}}).toDouble())","math/tan":"Math.tan(({{0}}).toDouble())","math/atan":"Math.atan(({{0}}).toDouble())","math/atan2":"Math.atan2(({{0}}).toDouble(), ({{1}}).toDouble())","math/hypot":"Math.hypot(({{0}}).toDouble(), ({{1}}).toDouble())","validate/required":"_required({{0}})","validate/length":"(_strLen({{0}}).toDouble() == ({{1}}).toDouble())","validate/minLength":"(_strLen({{0}}).toDouble() >= ({{1}}).toDouble())","validate/maxLength":"(_strLen({{0}}).toDouble() <= ({{1}}).toDouble())","validate/min":"(({{0}}).toDouble() >= ({{1}}).toDouble())","validate/max":"(({{0}}).toDouble() <= ({{1}}).toDouble())","validate/range":"(({{0}}).toDouble() in ({{1}}).toDouble()..({{2}}).toDouble())","validate/oneOf":"{{1}}.contains({{0}})","validate/equals":"_eq({{0}}, {{1}})"},"wired":true},"unary":{"type":"unknown","default":{"-":"(-{{0}})","not":"(!{{0}})","array/range":"_range({{0}})","array/sum":"_sum({{0}})","array/count":"{{0}}.size.toDouble()","array/sort":"_sort({{0}})","math/round":"_round({{0}})","array/concat":"{{0}}"},"wired":true},"infix":{"type":"unknown","default":{"+":"+","-":"-","*":"*","<":"<","<=":"<=",">":">",">=":">=","and":"&&","or":"||","array/concat":"+"},"wired":true},"infixForm":{"type":"unknown","default":"({{*}})","wired":true},"lambdaOperators":{"type":"unknown","default":{"array/map":"{{src}}.map { {{vars}} -> {{body}} }","array/some":"{{src}}.any { {{vars}} -> {{body}} }","array/every":"{{src}}.all { {{vars}} -> {{body}} }","array/count":"{{src}}.count { {{vars}} -> {{body}} }.toDouble()"},"wired":true},"lambdaForm":{"type":"unknown","default":"{ {{params}} -> {{body}} }","wired":true},"indexedSource":{"type":"unknown","default":"{{src}}.mapIndexed { i_, x_ -> Pair(i_.toDouble(), x_) }","wired":true},"indexedVars":{"type":"unknown","default":"({{index}}, {{item}})","wired":true},"unsupportedForm":{"type":"unknown","default":"_unsupported({{op}})","wired":true},"helpers":{"type":"unknown","default":{"object/get":["private fun <V> _get(o: Map<String, V>, p: String): V? {\n    if (p.contains(\".\")) error(\"object/get: a dotted path is not supported on a typed map\")\n    return o[p]\n}"],"store":["class Answer(val ok: Boolean, val payload: Map<String, Any?>)\n\ninterface Store {\n    fun persist(op: String, entity: String, data: Any?): Answer\n    fun fetch(entity: String, keep: ((Map<String, Any?>) -> Boolean)?): Answer\n}\n\nprivate fun _codePoints(a: String, b: String): Int {\n    val x = a.codePoints().toArray()\n    val y = b.codePoints().toArray()\n    for (i in 0 until minOf(x.size, y.size)) if (x[i] != y[i]) return x[i].compareTo(y[i])\n    return x.size.compareTo(y.size)\n}\n\nprivate fun _stampOrder(a: Map<String, Any?>, b: Map<String, Any?>): Int {\n    val sa = a[\"createdAt\"]\n    val sb = b[\"createdAt\"]\n    if ((sa == null) != (sb == null)) return if (sa != null) -1 else 1\n    if (sa is Number && sb is Number && sa.toDouble() != sb.toDouble()) return sa.toDouble().compareTo(sb.toDouble())\n    if (sa is String && sb is String && sa != sb) return _codePoints(sa, sb)\n    return _codePoints(a[\"id\"].toString(), b[\"id\"].toString())\n}\n\nclass MemoryStore : Store {\n    private val tables = mutableMapOf<String, MutableList<Pair<String, MutableMap<String, Any?>>>>()\n    private var minted = 0\n\n    override fun persist(op: String, entity: String, data: Any?): Answer {\n        val rows = tables.getOrPut(entity) { mutableListOf() }\n        if (op == \"create\" && data is Map<*, *>) {\n            val row = data.entries.associate { (k, v) -> k.toString() to v }.toMutableMap()\n            val given = row[\"id\"]\n            val id = if (given is String && given.isNotEmpty()) given else {\n                minted += 1\n                entity + \"-\" + minted\n            }\n            row[\"id\"] = id\n            rows.add(id to row)\n            return Answer(true, row.toMap())\n        }\n        val key = when (data) {\n            is String -> data\n            is Map<*, *> -> data[\"id\"]?.toString() ?: \"\"\n            else -> \"\"\n        }\n        val pos = rows.indexOfFirst { it.first == key }\n        if (pos < 0) return Answer(false, mapOf(\"error\" to entity + \" \" + key + \" not found\", \"code\" to \"not-found\"))\n        if (op == \"delete\") {\n            rows.removeAt(pos)\n            return Answer(true, mapOf(\"id\" to key, \"deleted\" to true))\n        }\n        if (data is Map<*, *>) for ((k, v) in data) rows[pos].second[k.toString()] = v\n        return Answer(true, rows[pos].second.toMap())\n    }\n\n    override fun fetch(entity: String, keep: ((Map<String, Any?>) -> Boolean)?): Answer {\n        val rows = (tables[entity] ?: mutableListOf()).map { it.second.toMap() }.filter { keep?.invoke(it) ?: true }.sortedWith(::_stampOrder)\n        return Answer(true, mapOf(\"data\" to rows, \"totalCount\" to rows.size))\n    }\n}"],"router":["private val _routerJson = kotlinx.serialization.json.Json { encodeDefaults = true; ignoreUnknownKeys = true }\n\nprivate fun _json(value: Any?): kotlinx.serialization.json.JsonElement = when (value) {\n    null -> kotlinx.serialization.json.JsonNull\n    Unit -> kotlinx.serialization.json.JsonObject(emptyMap())\n    is kotlinx.serialization.json.JsonElement -> value\n    is String -> kotlinx.serialization.json.JsonPrimitive(value)\n    is Number -> kotlinx.serialization.json.JsonPrimitive(value)\n    is Boolean -> kotlinx.serialization.json.JsonPrimitive(value)\n    is Map<*, *> -> kotlinx.serialization.json.JsonObject(value.entries.associate { (k, v) -> k.toString() to _json(v) })\n    is List<*> -> kotlinx.serialization.json.JsonArray(value.map { _json(it) })\n    else -> _routerJson.encodeToJsonElement(kotlinx.serialization.serializer(value.javaClass), value)\n}\n\nprivate inline fun <reified T> _decode(value: kotlinx.serialization.json.JsonElement): T =\n    _routerJson.decodeFromJsonElement(kotlinx.serialization.serializer<T>(), value)\n\nclass _RouterEntry(\n    val key: String,\n    val trait: Any,\n    val state: () -> String,\n    val entity: () -> kotlinx.serialization.json.JsonElement,\n    val count: () -> Int,\n    val from: (Int) -> List<Triple<String, kotlinx.serialization.json.JsonElement, Boolean>>,\n)\n\nclass _RouterItem(\n    val target: String,\n    val event: String,\n    val payload: kotlinx.serialization.json.JsonElement,\n    val source: kotlinx.serialization.json.JsonElement,\n    val guard: ((kotlinx.serialization.json.JsonElement) -> Boolean)?,\n    val fans: Boolean,\n    val completion: Boolean,\n)\n\nclass _RouterRow(\n    val source: String,\n    val event: String,\n    val target: String,\n    val trigger: String,\n    val guard: ((kotlinx.serialization.json.JsonElement) -> Boolean)?,\n    val mapping: ((kotlinx.serialization.json.JsonElement) -> kotlinx.serialization.json.JsonElement)?,\n)\n\nopen class _Router {\n    val entries = mutableListOf<_RouterEntry>()\n    val handles = mutableMapOf<String, Map<String, List<String>>>()\n    val rows = mutableListOf<_RouterRow>()\n    val log = mutableListOf<Triple<String, String, kotlinx.serialization.json.JsonElement>>()\n\n    fun add(\n        key: String,\n        trait: Any,\n        state: () -> String,\n        entity: () -> kotlinx.serialization.json.JsonElement,\n        count: () -> Int,\n        from: (Int) -> List<Triple<String, kotlinx.serialization.json.JsonElement, Boolean>>,\n    ) {\n        entries.add(_RouterEntry(key, trait, state, entity, count, from))\n    }\n\n    fun row(\n        source: String,\n        event: String,\n        target: String,\n        trigger: String,\n        guard: ((kotlinx.serialization.json.JsonElement) -> Boolean)?,\n        mapping: ((kotlinx.serialization.json.JsonElement) -> kotlinx.serialization.json.JsonElement)?,\n    ) {\n        rows.add(_RouterRow(source, event, target, trigger, guard, mapping))\n    }\n\n    fun entry(key: String): _RouterEntry? = entries.firstOrNull { it.key == key }\n\n    fun trait(key: String): Any? = entry(key)?.trait\n\n    open fun deliver(target: String, event: String, payload: kotlinx.serialization.json.JsonElement) {}\n\n    private fun targets(source: String, event: String, payload: kotlinx.serialization.json.JsonElement, completion: Boolean): List<_RouterItem> =\n        rows.filter { it.source == source && it.event == event }.map {\n            _RouterItem(it.target, it.trigger, it.mapping?.invoke(payload) ?: payload, payload, it.guard, false, completion)\n        }\n\n    fun dispatch(trait: String, event: String, payload: kotlinx.serialization.json.JsonElement) {\n        val queue = ArrayDeque(listOf(_RouterItem(trait, event, payload, payload, null, true, false)))\n        val seen = mutableSetOf<String>()\n        var steps = 0\n        while (queue.isNotEmpty()) {\n            val item = queue.removeFirst()\n            val e = entry(item.target) ?: continue\n            val key = listOf(item.target, item.event, e.state(), item.payload.toString(), e.entity().toString()).joinToString(\"\\u001f\")\n            if (!item.completion && key in seen) continue\n            val g = item.guard\n            if (g != null && !g(item.source)) continue\n            if (steps >= 2000) break\n            steps += 1\n            seen.add(key)\n            val n = e.count()\n            deliver(item.target, item.event, item.payload)\n            val fanned = if (item.fans) targets(item.target, item.event, item.payload, false).toMutableList() else mutableListOf()\n            val own = mutableListOf<_RouterItem>()\n            val newState = e.state()\n            for ((ev, out, completion) in e.from(n)) {\n                log.add(Triple(item.target, ev, out))\n                if (handles[item.target]?.get(newState)?.contains(ev) == true) {\n                    own.add(_RouterItem(item.target, ev, out, out, null, false, completion))\n                }\n                fanned.addAll(targets(item.target, ev, out, completion))\n            }\n            queue.addAll(0, own)\n            queue.addAll(fanned)\n        }\n    }\n}"],"/":["private fun _div(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() / b.toDouble()"],"%":["private fun _mod(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() % b.toDouble()"],"math/mod":["private fun _mod(a: Number, b: Number): Double? = if (b.toDouble() == 0.0) null else a.toDouble() % b.toDouble()"],"=":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"==":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"!=":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"default":["private fun <T : Any> _default(v: T?, d: T): T = v ?: d"],"str/len":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"str/capitalize":["private fun _capitalize(s: String): String {\n    if (s.isEmpty()) return s\n    val n = s.offsetByCodePoints(0, 1)\n    return s.substring(0, n).uppercase() + s.substring(n).lowercase()\n}"],"str/split":["private fun _split(s: String, d: String): List<String> =\n    if (d == \"\") s.codePoints().toArray().map { String(Character.toChars(it)) } else s.split(d)"],"str/join":["private fun _join(a: List<Any?>, d: String): String = a.joinToString(d) { _text(it) }","private fun _text(v: Any?): String = when (v) {\n    is String -> v\n    is Boolean -> v.toString()\n    is Long -> v.toString()\n    is Int -> v.toString()\n    is Double -> if (v.isFinite() && v == Math.floor(v)) java.math.BigDecimal(v).toBigInteger().toString() else v.toString()\n    else -> throw IllegalArgumentException(\"expected string, number or boolean\")\n}"],"str/concat":["private fun _concat(vararg v: Any?): String = v.joinToString(\"\") { _text(it) }","private fun _text(v: Any?): String = when (v) {\n    is String -> v\n    is Boolean -> v.toString()\n    is Long -> v.toString()\n    is Int -> v.toString()\n    is Double -> if (v.isFinite() && v == Math.floor(v)) java.math.BigDecimal(v).toBigInteger().toString() else v.toString()\n    else -> throw IllegalArgumentException(\"expected string, number or boolean\")\n}"],"str/repeat":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"str/slice":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _strSlice(s: String, a: Number, b: Number? = null): String {\n    val n = s.codePointCount(0, s.length)\n    val x = _whole(a)\n    val y = if (b == null) n else _whole(b)\n    val from = if (x < 0) maxOf(n + x, 0) else minOf(x, n)\n    val to = if (y < 0) maxOf(n + y, 0) else minOf(y, n)\n    if (to <= from) return \"\"\n    return s.substring(s.offsetByCodePoints(0, from), s.offsetByCodePoints(0, to))\n}"],"str/padStart":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _padUnit(p: String): String {\n    if (p.codePointCount(0, p.length) != 1) throw IllegalArgumentException(\"expected a single padding character, got \" + p)\n    return p\n}","private fun _padStart(s: String, n: Number, p: String = \" \"): String {\n    val k = _count(n) - _strLen(s)\n    return if (k <= 0) s else _padUnit(p).repeat(k) + s\n}"],"str/padEnd":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _padUnit(p: String): String {\n    if (p.codePointCount(0, p.length) != 1) throw IllegalArgumentException(\"expected a single padding character, got \" + p)\n    return p\n}","private fun _padEnd(s: String, n: Number, p: String = \" \"): String {\n    val k = _count(n) - _strLen(s)\n    return if (k <= 0) s else s + _padUnit(p).repeat(k)\n}"],"str/truncate":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}","private fun _strLen(s: String): Int = s.codePointCount(0, s.length)","private fun _strSlice(s: String, a: Number, b: Number? = null): String {\n    val n = s.codePointCount(0, s.length)\n    val x = _whole(a)\n    val y = if (b == null) n else _whole(b)\n    val from = if (x < 0) maxOf(n + x, 0) else minOf(x, n)\n    val to = if (y < 0) maxOf(n + y, 0) else minOf(y, n)\n    if (to <= from) return \"\"\n    return s.substring(s.offsetByCodePoints(0, from), s.offsetByCodePoints(0, to))\n}","private fun _truncate(s: String, n: Number, suffix: String = \"...\"): String =\n    if (_strLen(s) <= _count(n)) s else _strSlice(s, 0.0, n) + suffix"],"str/to-int":["private fun _toInt(s: String): Double? =\n    if (Regex(\"[+-]?[0-9]+\").matches(s)) s.toLongOrNull()?.toDouble() else null"],"array/avg":["private fun _avg(a: List<Number>): Double? = if (a.isEmpty()) null else a.sumOf { it.toDouble() } / a.size"],"array/max":["private fun _amax(a: List<Number>): Double? = a.maxOfOrNull { it.toDouble() }"],"array/min":["private fun _amin(a: List<Number>): Double? = a.minOfOrNull { it.toDouble() }"],"array/first":["private fun <T> _first(a: List<T>): T? = a.firstOrNull()"],"array/last":["private fun <T> _last(a: List<T>): T? = a.lastOrNull()"],"array/nth":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun <T> _nth(a: List<T>, i: Number): T? {\n    val k = _whole(i)\n    if (k < 0) throw IllegalArgumentException(\"nth: index \" + k + \" is not a whole number from 0\")\n    return a.getOrNull(k)\n}"],"array/range":["private fun _range(a: Number, b: Number? = null, step: Number = 1.0): List<Double> {\n    val from = if (b == null) 0.0 else a.toDouble()\n    val to = if (b == null) a.toDouble() else b.toDouble()\n    val st = step.toDouble()\n    if (st == 0.0 || st.isNaN() || st.isInfinite()) throw IllegalArgumentException(\"range: step 0 must be a non-zero finite number\")\n    val out = mutableListOf<Double>()\n    var x = from\n    while (if (st > 0) x < to else x > to) {\n        out.add(x)\n        x += st\n    }\n    return out\n}"],"array/slice":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun <T> _slice(a: List<T>, s: Number, e: Number? = null): List<T> {\n    val from = _whole(s)\n    val to = if (e == null) a.size else _whole(e)\n    if (from < 0 || to < 0) throw IllegalArgumentException(\"slice: not a whole number from 0\")\n    val end = minOf(to, a.size)\n    return if (from >= end) listOf() else a.subList(from, end).toList()\n}"],"array/take":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/drop":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/takeLast":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/dropLast":["private fun _whole(n: Number): Int {\n    val d = n.toDouble()\n    if (d != Math.floor(d) || d.isInfinite() || d < -2147483648.0 || d > 2147483647.0) throw IllegalArgumentException(\"expected a whole number, got \" + d)\n    return d.toInt()\n}","private fun _count(n: Number): Int {\n    val k = _whole(n)\n    if (k < 0) throw IllegalArgumentException(\"expected a whole number from 0, got \" + k)\n    return k\n}"],"array/append":["private fun <T> _append(a: List<T>, x: T): List<T> = a + listOf(x)"],"array/prepend":["private fun <T> _prepend(a: List<T>, x: T): List<T> = listOf(x) + a"],"array/indexOf":["private fun <T> _indexOf(a: List<T>, x: T): Double = a.indexOf(x).toDouble()"],"array/sort":["private fun <T : Comparable<T>> _sort(a: List<T>): List<T> = a.sorted()"],"math/round":["private fun _round(x: Number, d: Number = 0.0): Double {\n    val m = Math.pow(10.0, d.toDouble())\n    return Math.copySign(Math.floor(Math.abs(x.toDouble()) * m + 0.5) / m, x.toDouble())\n}"],"math/sqrt":["private fun _sqrt(x: Number): Double? = if (x.toDouble() < 0.0) null else Math.sqrt(x.toDouble())"],"math/ln":["private fun _ln(x: Number): Double? = if (x.toDouble() <= 0.0) null else Math.log(x.toDouble())"],"math/log10":["private fun _log10(x: Number): Double? = if (x.toDouble() <= 0.0) null else Math.log10(x.toDouble())"],"math/pow":["private fun _pow(a: Number, b: Number): Double? {\n    val r = Math.pow(a.toDouble(), b.toDouble())\n    return if (r.isNaN() || r.isInfinite()) null else r\n}"],"validate/required":["private fun _required(v: Any?): Boolean = v != null && v != \"\""],"validate/length":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/minLength":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/maxLength":["private fun _strLen(s: String): Int = s.codePointCount(0, s.length)"],"validate/equals":["private fun _eq(a: Any?, b: Any?): Boolean = if (a is Number && b is Number) a.toDouble() == b.toDouble() else a == b"],"array/sum":["private fun _sum(a: List<Number>): Double = a.sumOf { it.toDouble() }"],"unsupported":["private fun _unsupported(name: String): Nothing = throw UnsupportedOperationException(\"no native template for operator \" + name)"]},"wired":true},"helperGap":{"type":"unknown","default":"\n\n","wired":true},"portEffects":{"type":"unknown","default":["list","persist","fetch","fetch-stream","notify","navigate","navigate-back","call-service","cancel-call","send-server","spawn","despawn","log"],"wired":true},"portCall":{"type":"unknown","default":"ports?.invoke(\"{{name}}\", listOf({{*}}))","wired":true},"portCase":{"type":"unknown","default":"lower","wired":true},"attributeRoots":{"type":"unknown","default":{"entity":"entity","state":"state","payload":"payload","config":"config"},"wired":true},"itemRoots":{"type":"unknown","default":{},"wired":true},"attrAccess":{"type":"unknown","default":".{{name}}","wired":true},"indexAccess":{"type":"unknown","default":"[{{0}}]","wired":true},"entityReadDefault":{"type":"unknown","default":"({{read}} ?: {{default}})","wired":true},"numberIntForm":{"type":"unknown","default":"{{json}}.0","wired":true},"stringEscapes":{"type":"unknown","default":{"$":"\\$"},"wired":true},"fileHeader":{"type":"unknown","default":"package generated","wired":true},"listForm":{"type":"unknown","default":"listOf({{*}})","wired":true},"mapOpen":{"type":"unknown","default":"mapOf(","wired":true},"mapClose":{"type":"unknown","default":")","wired":true},"mapPair":{"type":"unknown","default":"{{key}} to {{value}}","wired":true},"letStmt":{"type":"unknown","default":"val {{name}} = {{value}}","wired":true},"letExpr":{"type":"unknown","default":"run { val {{name}} = {{value}}; {{body}} }","wired":true},"condExpr":{"type":"unknown","default":"(if ({{cond}}) {{then}} else {{else}})","wired":true},"setStyle":{"type":"unknown","default":"copy","wired":true},"fieldCase":{"type":"unknown","default":"split-camel","wired":true},"voidPayload":{"type":"unknown","default":"Unit","wired":true},"programOpen":{"type":"unknown","default":["class Program({{entities}}{{store}}) : _Router() {","{{i}}init {"],"wired":true},"programEntity":{"type":"unknown","default":"e{{n}}: {{entity}}","wired":true},"programEntitySep":{"type":"unknown","default":", ","wired":true},"programTrait":{"type":"unknown","default":"{{i}}{{i}}val t{{n}} = {{class}}(e{{n}}); add({{key}}, t{{n}}, { t{{n}}.state }, { _json(t{{n}}.entity) }, { t{{n}}.emitted.size }, { n -> t{{n}}.emitted.drop(n).map { Triple(it.event, _json(it.payload), false) } })","wired":true},"programHandles":{"type":"unknown","default":"{{i}}{{i}}handles[{{key}}] = {{table}}","wired":true},"programRow":{"type":"unknown","default":"{{i}}{{i}}row({{source}}, {{event}}, {{target}}, {{trigger}}, {{guard}}, {{map}})","wired":true},"deliverOpen":{"type":"unknown","default":["{{i}}}","","{{i}}override fun deliver(target: String, event: String, payload: kotlinx.serialization.json.JsonElement) {"],"wired":true},"deliverCase":{"type":"unknown","default":"{{i}}{{i}}if (target == {{target}} && event == {{event}}) { (trait(target) as? {{class}})?.{{method}}({{arg}}); return }","wired":true},"deliverCasePlain":{"type":"unknown","default":"{{i}}{{i}}if (target == {{target}} && event == {{event}}) { (trait(target) as? {{class}})?.{{method}}(); return }","wired":true},"deliverClose":{"type":"unknown","default":["{{i}}}"],"wired":true},"programClose":{"type":"unknown","default":["}"],"wired":true},"payloadDecode":{"type":"unknown","default":"_decode<{{type}}>({{value}})","wired":true},"guardForm":{"type":"unknown","default":["","private fun {{name}}(payload_json: kotlinx.serialization.json.JsonElement): Boolean {","{{i}}val payload = {{decode}}","{{i}}return {{expr}}","}"],"wired":true},"mapForm":{"type":"unknown","default":["","private fun {{name}}(payload_json: kotlinx.serialization.json.JsonElement): kotlinx.serialization.json.JsonElement {","{{i}}val payload = {{decode}}","{{i}}return _json({{expr}})","}"],"wired":true},"guardName":{"type":"unknown","default":"_guard{{n}}","wired":true},"mapName":{"type":"unknown","default":"_map{{n}}","wired":true},"guardRef":{"type":"unknown","default":"::{{name}}","wired":true},"mapRef":{"type":"unknown","default":"::{{name}}","wired":true},"recordForm":{"type":"unknown","default":"{{type}}({{fields}})","wired":true},"recordField":{"type":"unknown","default":"{{name}} = {{value}}","wired":true},"unionArmForm":{"type":"unknown","default":"{{union}}.{{union}}{{arm}}({{inner}})","wired":true},"enumForm":{"type":"unknown","default":"{{enum}}.{{member}}","wired":true},"enumMemberCase":{"type":"unknown","default":"split-pascal","wired":true},"methodCase":{"type":"unknown","default":"pascal","wired":true},"classOpen":{"type":"unknown","default":"class {{class}}(","wired":true},"classEmpty":{"type":"unknown","default":"","wired":true},"constructor":{"type":"unknown","default":["{{i}}var entity: {{entity}},","{{i}}val ports: ((String, List<Any?>) -> Unit)? = null,","{{i}}val config: {{configType}} = {{configType}}(),",") {","{{i}}var state: String = {{initial}}","{{i}}val emitted = mutableListOf<Emitted>()","{{withStore}}{{i}}var store: Store? = null","{{withStore}}{{i}}val completed = mutableSetOf<Int>()","","{{i}}data class Emitted(val event: String, val payload: Any)"],"wired":true},"configType":{"type":"unknown","default":"{{trait}}Config","wired":true},"emitMethod":{"type":"unknown","default":["{{i}}fun emit(event: String, payload: Any) {","{{i}}{{i}}emitted.add(Emitted(event, payload))","{{i}}}"],"wired":true},"completeMethod":{"type":"unknown","default":["","{{i}}fun complete(answer: Answer, success: String?, failure: String?) {","{{i}}{{i}}val route = (if (answer.ok) success else failure) ?: return","{{i}}{{i}}completed.add(emitted.size)","{{i}}{{i}}emitted.add(Emitted(route, answer.payload))","{{i}}}","","{{i}}fun useStore(): Store = store ?: error(\"no store\")"],"wired":true},"routedEffects":{"type":"unknown","default":{"persist":"complete(useStore().persist({{0}}, {{1}}, {{2}}), {{success}}, {{failure}})","fetch":"complete(useStore().fetch({{entity}}, {{filter}}), {{success}}, {{failure}})"},"wired":true},"fetchAll":{"type":"unknown","default":"null","wired":true},"programStoreParam":{"type":"unknown","default":", store: Store","wired":true},"programTraitStore":{"type":"unknown","default":"{{i}}{{i}}val t{{n}} = {{class}}(e{{n}}); t{{n}}.store = store; add({{key}}, t{{n}}, { t{{n}}.state }, { _json(t{{n}}.entity) }, { t{{n}}.emitted.size }, { n -> t{{n}}.emitted.drop(n).mapIndexed { j, it -> Triple(it.event, _json(it.payload), (n + j) in t{{n}}.completed) } })","wired":true},"entityNames":{"type":"unknown","default":{"Any":"AnyEntity","Array":"ArrayEntity","Boolean":"BooleanEntity","Box":"BoxEntity","Button":"ButtonEntity","Card":"CardEntity","Char":"CharEntity","Color":"ColorEntity","Column":"ColumnEntity","Double":"DoubleEntity","Enum":"EnumEntity","Exception":"ExceptionEntity","Float":"FloatEntity","Image":"ImageEntity","Int":"IntEntity","List":"ListEntity","Long":"LongEntity","Map":"MapEntity","Modifier":"ModifierEntity","Nothing":"NothingEntity","Number":"NumberEntity","Pair":"PairEntity","Result":"ResultEntity","Row":"RowEntity","Set":"SetEntity","Short":"ShortEntity","State":"StateEntity","String":"StringEntity","Surface":"SurfaceEntity","Text":"TextEntity","Throwable":"ThrowableEntity","Triple":"TripleEntity","Unit":"UnitEntity"},"wired":true},"typeMap":{"type":"unknown","default":{},"wired":true},"indent":{"type":"unknown","default":"    ","wired":true},"sectionGap":{"type":"unknown","default":"\n\n","wired":true},"payloadField":{"type":"unknown","default":"{{name}} = {{value}}","wired":true}},"events":{"LOLO_TO_SOURCE":"LOLO_TO_KOTLIN","SOURCE_RENDERED":"KOTLIN_RENDERED","SOURCE_RENDER_FAILED":"KOTLIN_RENDER_FAILED"}}],"pages":[{"name":"LoloKotlinStart","id":"pag_CC0YKPC67933MV5ZQBZX2WJW40","path":"","protocol":"boot","traits":[{"ref":"LoloKotlin","refId":"trt_44V49FS42PJ1BA5WC0RMNHW7CE"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_4X01BHC74E3J7CZ9PDQV3NXSPM":{"id":"ent_4X01BHC74E3J7CZ9PDQV3NXSPM","kind":"entity","bakedName":"LoloKotlinRun","curName":"LoloKotlinRun","renames":[],"owner":"workspace"},"orb_0MKQAH37ZKKZSPKPD1HN8RENVV":{"id":"orb_0MKQAH37ZKKZSPKPD1HN8RENVV","kind":"orbital","bakedName":"LoloKotlinOrbital","curName":"LoloKotlinOrbital","renames":[],"owner":"workspace"},"pag_CC0YKPC67933MV5ZQBZX2WJW40":{"id":"pag_CC0YKPC67933MV5ZQBZX2WJW40","kind":"page","bakedName":"LoloKotlinStart","curName":"LoloKotlinStart","renames":[],"owner":"workspace"},"trt_44V49FS42PJ1BA5WC0RMNHW7CE":{"id":"trt_44V49FS42PJ1BA5WC0RMNHW7CE","kind":"trait","bakedName":"LoloKotlin","curName":"LoloKotlin","renames":[],"owner":"workspace"}}}}

package/behaviors/registry/codec/atoms/std-lolo-python.orb

@@ -1 +1 @@
-{"typeContractVersion":1,"name":"std-lolo-python","version":"2.0.0","description":"std-lolo-python — renders .lolo source as Python text, so a learner who reads an exercise written in .lolo can see the same program as Python that runs and gives the kernel's answers. It is std-lolo-source with the Python vocabulary in config and nothing else: LOLO_TO_PYTHON { source } answers PYTHON_RENDERED { text, warnings }, or PYTHON_RENDER_FAILED { error } when the source cannot be read. Each trait becomes a class holding state, entity, ports and config, with one on_<event> method per event: an if/elif branch per transition (the from-state and the guard), the effects, then the new state; an emit records (event, payload) in self.emitted with the payload built as the shell's generated payload type. The entity and payload types are imported from orbital_app.generated.entities and orbital_app.generated.events, the modules the Python shell generates. Kernel answers that are null (a division by zero, nth past the end, a missing key) come from small helper functions written once, and only the ones the output uses. An operator with no Python template is a named warning and a stub that raises when run. persist, fetch, notify, navigate and call-service are called on the injected ports object and each is listed in warnings; render-ui is a comment. See std-lolo-source for the config knobs and the type placeholders.","orbitals":[{"name":"LoloPythonOrbital","id":"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY","uses":[{"from":"almadar-std/lolo-python","as":"Spec"},{"from":"std/behaviors/std-lolo-source","as":"Src"}],"entity":{"name":"LoloPythonRun","id":"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true}]},"traits":[{"ref":"Src.traits.LoloSource","id":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7","name":"LoloPython","config":{"language":{"type":"unknown","default":"Python","wired":true},"requiresTypes":{"type":"unknown","default":false,"wired":true},"operators":{"type":"unknown","default":{"/":"_div({{0}}, {{1}})","%":"_mod({{0}}, {{1}})","math/mod":"_mod({{0}}, {{1}})","str/len":"len({{0}})","str/upper":"{{0}}.upper()","str/lower":"{{0}}.lower()","str/trim":"{{0}}.strip()","str/trimStart":"{{0}}.lstrip()","str/trimEnd":"{{0}}.rstrip()","str/capitalize":"{{0}}.capitalize()","str/split":"_split({{0}}, {{1}})","str/join":"_join({{0}}, {{1}})","str/concat":"\"\".join(_text(v_) for v_ in [{{*}}])","str/includes":"({{1}} in {{0}})","str/startsWith":"{{0}}.startswith({{1}})","str/endsWith":"{{0}}.endswith({{1}})","str/replace":"{{0}}.replace({{1}}, {{2}}, 1)","str/replaceAll":"{{0}}.replace({{1}}, {{2}})","str/repeat":"({{0}} * {{1}})","str/reverse":"{{0}}[::-1]","str/slice#2":"_str_slice({{0}}, {{1}})","str/slice#3":"_str_slice({{0}}, {{1}}, {{2}})","str/padStart#2":"_pad_start({{0}}, {{1}})","str/padStart#3":"_pad_start({{0}}, {{1}}, {{2}})","str/padEnd#2":"_pad_end({{0}}, {{1}})","str/padEnd#3":"_pad_end({{0}}, {{1}}, {{2}})","str/truncate#2":"_truncate({{0}}, {{1}})","str/truncate#3":"_truncate({{0}}, {{1}}, {{2}})","str/to-int":"_to_int({{0}})","array/len":"len({{0}})","array/sum#2":"_sum({{0}}, {{1}})","array/avg#1":"_avg({{0}})","array/avg#2":"_avg({{0}}, {{1}})","array/max#1":"_amax({{0}})","array/max#2":"_amax({{0}}, {{1}})","array/min#1":"_amin({{0}})","array/min#2":"_amin({{0}}, {{1}})","array/first":"_first({{0}})","array/last":"_last({{0}})","array/nth":"_nth({{0}}, {{1}})","array/range#2":"_range({{0}}, {{1}})","array/range#3":"_range({{0}}, {{1}}, {{2}})","array/slice#2":"_slice({{0}}, {{1}})","array/slice#3":"_slice({{0}}, {{1}}, {{2}})","array/take":"_take({{0}}, {{1}})","array/drop":"_drop({{0}}, {{1}})","array/takeLast":"_take_last({{0}}, {{1}})","array/dropLast":"_drop_last({{0}}, {{1}})","array/append":"({{0}} + [{{1}}])","array/prepend":"([{{1}}] + {{0}})","array/includes":"({{1}} in {{0}})","array/indexOf":"_index_of({{0}}, {{1}})","array/reverse":"list(reversed({{0}}))","array/unique":"_unique({{0}})","array/flatten":"[y_ for x_ in {{0}} for y_ in x_]","array/zip":"[list(p_) for p_ in zip({{0}}, {{1}})]","array/sort#1":"_sort({{0}})","array/sort#2":"_sort({{0}}, {{1}})","array/sort#3":"_sort({{0}}, {{1}}, {{2}})","array/reduce":"functools.reduce({{2}}, {{0}}, {{1}})","list":"[{{*}}]","object/get#2":"_get({{0}}, {{1}})","object/get#3":"_get({{0}}, {{1}}, {{2}})","object/has":"_has({{0}}, {{1}})","object/set":"_set({{0}}, {{1}}, {{2}})","object/keys":"list({{0}}.keys())","object/values":"list({{0}}.values())","object/entries":"[[k_, v_] for k_, v_ in {{0}}.items()]","object/fromEntries":"{p_[0]: p_[1] for p_ in {{0}}}","object/merge#2":"{**{{0}}, **{{1}}}","object/pick":"_pick({{0}}, {{1}})","object/omit":"_omit({{0}}, {{1}})","json/parse":"_json_parse({{0}})","json/stringify#1":"_json_dumps({{0}})","math/abs":"abs({{0}})","math/max":"max({{*}})","math/min":"min({{*}})","math/round#1":"_round({{0}})","math/round#2":"_round({{0}}, {{1}})","math/sqrt":"_sqrt({{0}})","math/ln":"_ln({{0}})","math/log10":"_log10({{0}})","math/pow":"_pow({{0}}, {{1}})","math/sign":"_sign({{0}})","math/clamp":"_clamp({{0}}, {{1}}, {{2}})","default":"_default({{0}}, {{1}})","as":"{{0}}","validate/required":"_required({{0}})","validate/string":"isinstance({{0}}, str)","validate/number":"_is_number({{0}})","validate/array":"isinstance({{0}}, list)","validate/object":"isinstance({{0}}, dict)","validate/boolean":"isinstance({{0}}, bool)","validate/length":"(len({{0}}) == {{1}})","validate/minLength":"(len({{0}}) >= {{1}})","validate/maxLength":"(len({{0}}) <= {{1}})","validate/min":"({{0}} >= {{1}})","validate/max":"({{0}} <= {{1}})","validate/range":"({{1}} <= {{0}} <= {{2}})","validate/oneOf":"({{0}} in {{1}})","validate/equals":"({{0}} == {{1}})"},"wired":true},"unary":{"type":"unknown","default":{"-":"(-{{0}})","not":"(not {{0}})","array/range":"_range({{0}})","array/sum":"_sum({{0}})","array/count":"len({{0}})","array/sort":"_sort({{0}})","json/stringify":"_json_dumps({{0}})","math/round":"_round({{0}})","array/concat":"{{0}}","object/merge":"{{0}}"},"wired":true},"infix":{"type":"unknown","default":{"+":"+","-":"-","*":"*","=":"==","==":"==","!=":"!=","<":"<","<=":"<=",">":">",">=":">=","and":"and","or":"or","array/concat":"+"},"wired":true},"infixForm":{"type":"unknown","default":"({{*}})","wired":true},"lambdaOperators":{"type":"unknown","default":{"array/map":"[{{body}} for {{vars}} in {{src}}]","array/filter":"[{{item}} for {{vars}} in {{src}} if {{body}}]","array/reject":"[{{item}} for {{vars}} in {{src}} if not ({{body}})]","array/some":"any({{body}} for {{vars}} in {{src}})","array/every":"all({{body}} for {{vars}} in {{src}})","array/count":"sum(1 for {{vars}} in {{src}} if {{body}})","array/find":"next(({{item}} for {{vars}} in {{src}} if {{body}}), None)","array/findIndex":"next((i_ for i_, {{item}} in enumerate({{src}}) if {{body}}), -1)"},"wired":true},"lambdaForm":{"type":"unknown","default":"lambda {{params}}: {{body}}","wired":true},"indexedSource":{"type":"unknown","default":"enumerate({{src}})","wired":true},"indexedVars":{"type":"unknown","default":"{{index}}, {{item}}","wired":true},"callees":{"type":"unknown","default":{"math/ceil":"math.ceil","math/floor":"math.floor","math/sin":"math.sin","math/cos":"math.cos","math/tan":"math.tan","math/atan":"math.atan","math/atan2":"math.atan2","math/hypot":"math.hypot"},"wired":true},"calleeForm":{"type":"unknown","default":"{{callee}}({{*}})","wired":true},"unsupportedForm":{"type":"unknown","default":"_unsupported({{op}})","wired":true},"unsupportedWarn":{"type":"unknown","default":"no {{language}} template for operator {{op}}","wired":true},"helpers":{"type":"unknown","default":{"/":["def _div(a, b): return None if b == 0 else a / b"],"%":["def _mod(a, b): return None if b == 0 else math.fmod(a, b)"],"math/mod":["def _mod(a, b): return None if b == 0 else math.fmod(a, b)"],"default":["def _default(v, d): return d if v is None else v"],"str/split":["def _split(s, d): return list(s) if d == '' else s.split(d)"],"str/join":["def _join(a, d): return d.join(_text(v) for v in a)","def _text(v):\n    if isinstance(v, bool): return 'true' if v else 'false'\n    if isinstance(v, float) and v - v == 0 and v == int(v): return str(int(v))\n    if isinstance(v, (int, float, str)): return str(v)\n    raise TypeError('expected string, number or boolean')"],"str/concat":["def _text(v):\n    if isinstance(v, bool): return 'true' if v else 'false'\n    if isinstance(v, float) and v - v == 0 and v == int(v): return str(int(v))\n    if isinstance(v, (int, float, str)): return str(v)\n    raise TypeError('expected string, number or boolean')"],"str/slice":["def _str_slice(s, a, b=None):\n    if a != int(a) or (b is not None and b != int(b)): raise ValueError('slice: not a whole number')\n    return s[int(a):None if b is None else int(b)]"],"str/padStart":["def _pad_start(s, n, p=' '):\n    if len(p) != 1: raise ValueError('expected a single padding character')\n    return s.rjust(int(n), p)"],"str/padEnd":["def _pad_end(s, n, p=' '):\n    if len(p) != 1: raise ValueError('expected a single padding character')\n    return s.ljust(int(n), p)"],"str/truncate":["def _truncate(s, n, suffix='...'): return s if len(s) <= n else s[:int(n)] + suffix"],"str/to-int":["def _to_int(s):\n    t = s[1:] if s[:1] in ('+', '-') else s\n    return int(s) if t.isascii() and t.isdigit() and -2 ** 63 <= int(s) < 2 ** 63 else None"],"array/sum":["def _sum(a, k=None): return sum(a) if k is None else sum(x[k] for x in a)"],"array/avg":["def _avg(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return sum(v) / len(v) if v else None"],"array/max":["def _amax(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return max(v) if v else None"],"array/min":["def _amin(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return min(v) if v else None"],"array/first":["def _first(a): return a[0] if a else None"],"array/last":["def _last(a): return a[-1] if a else None"],"array/nth":["def _nth(a, i):\n    if i != int(i) or i < 0: raise ValueError('nth: index is not a whole number from 0')\n    return a[int(i)] if i < len(a) else None"],"array/range":["def _range(a, b=None, step=1):\n    start, end = (0, a) if b is None else (a, b)\n    if step == 0: raise ValueError('range: step 0 must be a non-zero finite number')\n    out = []\n    x = start\n    while (x < end) if step > 0 else (x > end):\n        out.append(x)\n        x += step\n    return out"],"array/slice":["def _slice(a, s, e=None):\n    if s != int(s) or s < 0 or (e is not None and (e != int(e) or e < 0)): raise ValueError('slice: not a whole number from 0')\n    return a[int(s):None if e is None else int(e)]"],"array/take":["def _take(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[:int(n)]"],"array/drop":["def _drop(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[int(n):]"],"array/takeLast":["def _take_last(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[len(a) - int(n):] if n < len(a) else a[:]"],"array/dropLast":["def _drop_last(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[:len(a) - int(n)] if n < len(a) else []"],"array/indexOf":["def _index_of(a, x): return a.index(x) if x in a else -1"],"array/unique":["def _unique(a):\n    out = []\n    for x in a:\n        if x not in out: out.append(x)\n    return out"],"array/sort":["def _sort(a, k=None, o='asc'): return sorted(a, key=None if k is None else (lambda x: x[k]), reverse=(o == 'desc'))"],"object/get":["def _get(o, p, d=None):\n    for s in p.replace(chr(92) + '.', chr(0)).split('.'):\n        s = s.replace(chr(0), '.')\n        if isinstance(o, dict) and s in o: o = o[s]\n        elif isinstance(o, list) and s.isdigit() and int(s) < len(o): o = o[int(s)]\n        else: return d\n    return o"],"object/has":["def _has(o, p):\n    for s in p.replace(chr(92) + '.', chr(0)).split('.'):\n        s = s.replace(chr(0), '.')\n        if isinstance(o, dict) and s in o: o = o[s]\n        elif isinstance(o, list) and s.isdigit() and int(s) < len(o): o = o[int(s)]\n        else: return False\n    return True"],"object/set":["def _set(o, p, v):\n    out = dict(o)\n    cur = out\n    parts = [s.replace(chr(0), '.') for s in p.replace(chr(92) + '.', chr(0)).split('.')]\n    for s in parts[:-1]:\n        cur[s] = dict(cur[s]) if isinstance(cur.get(s), dict) else {}\n        cur = cur[s]\n    cur[parts[-1]] = v\n    return out"],"object/pick":["def _pick(o, ks): return {k: o[k] for k in ks if k in o}"],"object/omit":["def _omit(o, ks): return {k: v for k, v in o.items() if k not in ks}"],"json/parse":["def _json_parse(t):\n    try: return json.loads(t)\n    except ValueError: return None"],"json/stringify":["def _json_dumps(v):\n    def n(x):\n        if isinstance(x, float) and x - x == 0 and x == int(x): return int(x)\n        if isinstance(x, list): return [n(y) for y in x]\n        if isinstance(x, dict): return {k: n(y) for k, y in x.items()}\n        return x\n    return json.dumps(n(v), separators=(',', ':'), ensure_ascii=False)"],"math/round":["def _round(x, d=0):\n    m = 10 ** d\n    return math.copysign(math.floor(abs(x) * m + 0.5) / m, x)"],"math/sqrt":["def _sqrt(x): return None if x < 0 else math.sqrt(x)"],"math/ln":["def _ln(x): return None if x <= 0 else math.log(x)"],"math/log10":["def _log10(x): return None if x <= 0 else math.log10(x)"],"math/pow":["def _pow(a, b):\n    try: return math.pow(a, b)\n    except (ValueError, OverflowError, ZeroDivisionError): return None"],"math/sign":["def _sign(x): return (x > 0) - (x < 0)"],"math/clamp":["def _clamp(v, lo, hi): return min(max(v, lo), hi)"],"validate/required":["def _required(v): return v is not None and v != ''"],"validate/number":["def _is_number(v): return isinstance(v, (int, float)) and not isinstance(v, bool)"],"unsupported":["def _unsupported(name): raise NotImplementedError('no native template for operator ' + name)"]},"wired":true},"helperGap":{"type":"unknown","default":"\n","wired":true},"imports":{"type":"unknown","default":{"Literal":"from typing import Literal","Any":"from typing import Any","field":"from dataclasses import field","dataclass":"from dataclasses import dataclass","%":"import math","math/mod":"import math","math/ceil":"import math","math/floor":"import math","math/sin":"import math","math/cos":"import math","math/tan":"import math","math/atan":"import math","math/atan2":"import math","math/hypot":"import math","math/round":"import math","math/sqrt":"import math","math/ln":"import math","math/log10":"import math","math/pow":"import math","array/reduce":"import functools","json/parse":"import json","json/stringify":"import json"},"wired":true},"portEffects":{"type":"unknown","default":["list","persist","fetch","fetch-stream","notify","navigate","navigate-back","call-service","cancel-call","send-server","spawn","despawn","log"],"wired":true},"portCall":{"type":"unknown","default":"self.ports.{{name}}({{*}})","wired":true},"portCase":{"type":"unknown","default":"lower","wired":true},"portWarn":{"type":"unknown","default":"{{op}} is called on the ports object","wired":true},"attributeRoots":{"type":"unknown","default":{"entity":"self.entity","state":"self.state","user":"self.user","now":"self.now","locale":"self.locale","trait":"self.trait","event":"self.event","payload":"payload","config":"self.config"},"wired":true},"itemRoots":{"type":"unknown","default":{},"wired":true},"attrAccess":{"type":"unknown","default":".{{name}}","wired":true},"itemAccess":{"type":"unknown","default":"[{{key}}]","wired":true},"indexAccess":{"type":"unknown","default":"[{{0}}]","wired":true},"localAccess":{"type":"unknown","default":"item","wired":true},"entityReadDefault":{"type":"unknown","default":"","wired":true},"nullLit":{"type":"unknown","default":"None","wired":true},"trueLit":{"type":"unknown","default":"True","wired":true},"falseLit":{"type":"unknown","default":"False","wired":true},"stringForm":{"type":"unknown","default":"{{json}}","wired":true},"listForm":{"type":"unknown","default":"[{{*}}]","wired":true},"mapOpen":{"type":"unknown","default":"{","wired":true},"mapClose":{"type":"unknown","default":"}","wired":true},"mapPair":{"type":"unknown","default":"{{key}}: {{value}}","wired":true},"mapSep":{"type":"unknown","default":", ","wired":true},"letStmt":{"type":"unknown","default":"{{name}} = {{value}}","wired":true},"letExpr":{"type":"unknown","default":"(lambda {{name}}: {{body}})({{value}})","wired":true},"condExpr":{"type":"unknown","default":"({{then}} if {{cond}} else {{else}})","wired":true},"ifOpen":{"type":"unknown","default":"if {{cond}}:","wired":true},"elseOpen":{"type":"unknown","default":"else:","wired":true},"blockClose":{"type":"unknown","default":"","wired":true},"emptyBody":{"type":"unknown","default":"pass","wired":true},"setStyle":{"type":"unknown","default":"assign","wired":true},"setAssign":{"type":"unknown","default":"{{target}} = {{value}}","wired":true},"emitForm":{"type":"unknown","default":"self.emit({{event}}, {{payload}})","wired":true},"payloadType":{"type":"unknown","default":"{{trait}}{{event}}Payload","wired":true},"configType":{"type":"unknown","default":"{{trait}}Config","wired":true},"payloadCtor":{"type":"unknown","default":"{{type}}({{fields}})","wired":true},"payloadField":{"type":"unknown","default":"{{name}}={{value}}","wired":true},"payloadSep":{"type":"unknown","default":", ","wired":true},"commentForm":{"type":"unknown","default":"# {{text}}","wired":true},"indent":{"type":"unknown","default":"    ","wired":true},"terminator":{"type":"unknown","default":"","wired":true},"classCase":{"type":"unknown","default":"keep","wired":true},"fieldCase":{"type":"unknown","default":"keep","wired":true},"localCase":{"type":"unknown","default":"keep","wired":true},"methodCase":{"type":"unknown","default":"lower","wired":true},"methodName":{"type":"unknown","default":"on_{{event}}","wired":true},"modelImports":{"type":"unknown","default":{"entity":"from orbital_app.generated.entities import {{names}}","payload":"from orbital_app.generated.events import {{names}}"},"wired":true},"modelImportEach":{"type":"unknown","default":false,"wired":true},"modelImportSep":{"type":"unknown","default":", ","wired":true},"sectionGap":{"type":"unknown","default":"\n\n\n","wired":true},"classOpen":{"type":"unknown","default":"class {{class}}:","wired":true},"classClose":{"type":"unknown","default":"","wired":true},"classEmpty":{"type":"unknown","default":"{{i}}pass","wired":true},"constructor":{"type":"unknown","default":["{{i}}def __init__(self, entity: {{entity}}, ports=None, config: {{configType}} | None = None):","{{noConfig}}{{i}}def __init__(self, entity: {{entity}}, ports=None):","{{i}}{{i}}self.state = {{initial}}","{{i}}{{i}}self.entity = entity","{{i}}{{i}}self.ports = ports","{{i}}{{i}}self.config = config if config is not None else {{configType}}()","{{i}}{{i}}self.emitted: list[tuple[str, object]] = []"],"wired":true},"emitMethod":{"type":"unknown","default":["{{i}}def emit(self, event, payload):","{{i}}{{i}}self.emitted.append((event, payload))"],"wired":true},"methodOpen":{"type":"unknown","default":"{{i}}def {{method}}(self, payload: {{payloadType}}) -> None:","wired":true},"methodOpenPlain":{"type":"unknown","default":"{{i}}def {{method}}(self, payload=None) -> None:","wired":true},"methodClose":{"type":"unknown","default":"","wired":true},"branchFirst":{"type":"unknown","default":"{{i}}{{i}}if {{test}}:","wired":true},"branchNext":{"type":"unknown","default":"{{i}}{{i}}elif {{test}}:","wired":true},"branchClose":{"type":"unknown","default":"","wired":true},"branchTest":{"type":"unknown","default":"{{stateTest}} and {{guard}}","wired":true},"branchTestPlain":{"type":"unknown","default":"{{stateTest}}","wired":true},"stateTest":{"type":"unknown","default":"self.state == {{state}}","wired":true},"stateAssign":{"type":"unknown","default":"self.state = {{state}}","wired":true},"bodyPrefix":{"type":"unknown","default":"{{i}}{{i}}{{i}}","wired":true},"renderModels":{"type":"unknown","default":false,"wired":true},"modelAnnotation":{"type":"unknown","default":"{{at}}dataclass","wired":true},"modelClassOpen":{"type":"unknown","default":"class {{name}}:","wired":true},"modelClassClose":{"type":"unknown","default":"","wired":true},"modelField":{"type":"unknown","default":"{{i}}{{name}}: {{type}}{{default}}","wired":true},"modelDefault":{"type":"unknown","default":" = {{value}}","wired":true},"modelFactory":{"type":"unknown","default":" = field(default_factory=lambda: {{value}})","wired":true},"modelEmpty":{"type":"unknown","default":"{{i}}pass","wired":true},"modelAlias":{"type":"unknown","default":"{{name}} = {{type}}","wired":true},"typeMap":{"type":"unknown","default":{"string":"str","number":"float","float":"float","int":"int","integer":"int","boolean":"bool","bool":"bool","date":"str","datetime":"str","timestamp":"str","instant":"str","duration":"float","email":"str","url":"str","uuid":"str","bytes":"bytes"},"wired":true},"typeList":{"type":"unknown","default":"list[{{0}}]","wired":true},"typeListBare":{"type":"unknown","default":"list","wired":true},"typeDict":{"type":"unknown","default":"dict[str, {{0}}]","wired":true},"typeDictBare":{"type":"unknown","default":"dict","wired":true},"typeLiteral":{"type":"unknown","default":"Literal[{{*}}]","wired":true},"typeNullable":{"type":"unknown","default":"{{0}} | None","wired":true},"typeAny":{"type":"unknown","default":"Any","wired":true}},"events":{"LOLO_TO_SOURCE":"LOLO_TO_PYTHON","SOURCE_RENDERED":"PYTHON_RENDERED","SOURCE_RENDER_FAILED":"PYTHON_RENDER_FAILED"}}],"pages":[{"name":"LoloPythonStart","id":"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ","path":"","protocol":"boot","traits":[{"ref":"LoloPython","refId":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM":{"id":"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM","kind":"entity","bakedName":"LoloPythonRun","curName":"LoloPythonRun","renames":[],"owner":"workspace"},"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY":{"id":"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY","kind":"orbital","bakedName":"LoloPythonOrbital","curName":"LoloPythonOrbital","renames":[],"owner":"workspace"},"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ":{"id":"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ","kind":"page","bakedName":"LoloPythonStart","curName":"LoloPythonStart","renames":[],"owner":"workspace"},"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7":{"id":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7","kind":"trait","bakedName":"LoloPython","curName":"LoloPython","renames":[],"owner":"workspace"}}}}
+{"typeContractVersion":1,"name":"std-lolo-python","version":"2.0.0","description":"std-lolo-python — renders .lolo source as Python text, so a learner who reads an exercise written in .lolo can see the same program as Python that runs and gives the kernel's answers. It is std-lolo-source with the Python vocabulary in config and nothing else: LOLO_TO_PYTHON { source } answers PYTHON_RENDERED { text, warnings }, or PYTHON_RENDER_FAILED { error } when the source cannot be read. Each trait becomes a class holding state, entity, ports and config, with one on_<event> method per event: an if/elif branch per transition (the from-state and the guard), the effects, then the new state; an emit records (event, payload) in self.emitted with the payload built as the shell's generated payload type. The entity and payload types are imported from orbital_app.generated.entities and orbital_app.generated.events, the modules the Python shell generates. Kernel answers that are null (a division by zero, nth past the end, a missing key) come from small helper functions written once, and only the ones the output uses. An operator with no Python template is a named warning and a stub that raises when run. persist, fetch, notify, navigate and call-service are called on the injected ports object and each is listed in warnings; render-ui is a comment. See std-lolo-source for the config knobs and the type placeholders.","orbitals":[{"name":"LoloPythonOrbital","id":"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY","uses":[{"from":"almadar-std/lolo-python","as":"Spec"},{"from":"std/behaviors/std-lolo-source","as":"Src"}],"entity":{"name":"LoloPythonRun","id":"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM","persistence":"runtime","fields":[{"nullable":false,"name":"id","type":"string","required":true}]},"traits":[{"ref":"Src.traits.LoloSource","id":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7","name":"LoloPython","config":{"language":{"type":"unknown","default":"Python","wired":true},"requiresTypes":{"type":"unknown","default":false,"wired":true},"operators":{"type":"unknown","default":{"/":"_div({{0}}, {{1}})","%":"_mod({{0}}, {{1}})","math/mod":"_mod({{0}}, {{1}})","str/len":"len({{0}})","str/upper":"{{0}}.upper()","str/lower":"{{0}}.lower()","str/trim":"{{0}}.strip()","str/trimStart":"{{0}}.lstrip()","str/trimEnd":"{{0}}.rstrip()","str/capitalize":"{{0}}.capitalize()","str/split":"_split({{0}}, {{1}})","str/join":"_join({{0}}, {{1}})","str/concat":"\"\".join(_text(v_) for v_ in [{{*}}])","str/includes":"({{1}} in {{0}})","str/startsWith":"{{0}}.startswith({{1}})","str/endsWith":"{{0}}.endswith({{1}})","str/replace":"{{0}}.replace({{1}}, {{2}}, 1)","str/replaceAll":"{{0}}.replace({{1}}, {{2}})","str/repeat":"({{0}} * {{1}})","str/reverse":"{{0}}[::-1]","str/slice#2":"_str_slice({{0}}, {{1}})","str/slice#3":"_str_slice({{0}}, {{1}}, {{2}})","str/padStart#2":"_pad_start({{0}}, {{1}})","str/padStart#3":"_pad_start({{0}}, {{1}}, {{2}})","str/padEnd#2":"_pad_end({{0}}, {{1}})","str/padEnd#3":"_pad_end({{0}}, {{1}}, {{2}})","str/truncate#2":"_truncate({{0}}, {{1}})","str/truncate#3":"_truncate({{0}}, {{1}}, {{2}})","str/to-int":"_to_int({{0}})","array/len":"len({{0}})","array/sum#2":"_sum({{0}}, {{1}})","array/avg#1":"_avg({{0}})","array/avg#2":"_avg({{0}}, {{1}})","array/max#1":"_amax({{0}})","array/max#2":"_amax({{0}}, {{1}})","array/min#1":"_amin({{0}})","array/min#2":"_amin({{0}}, {{1}})","array/first":"_first({{0}})","array/last":"_last({{0}})","array/nth":"_nth({{0}}, {{1}})","array/range#2":"_range({{0}}, {{1}})","array/range#3":"_range({{0}}, {{1}}, {{2}})","array/slice#2":"_slice({{0}}, {{1}})","array/slice#3":"_slice({{0}}, {{1}}, {{2}})","array/take":"_take({{0}}, {{1}})","array/drop":"_drop({{0}}, {{1}})","array/takeLast":"_take_last({{0}}, {{1}})","array/dropLast":"_drop_last({{0}}, {{1}})","array/append":"({{0}} + [{{1}}])","array/prepend":"([{{1}}] + {{0}})","array/includes":"({{1}} in {{0}})","array/indexOf":"_index_of({{0}}, {{1}})","array/reverse":"list(reversed({{0}}))","array/unique":"_unique({{0}})","array/flatten":"[y_ for x_ in {{0}} for y_ in x_]","array/zip":"[list(p_) for p_ in zip({{0}}, {{1}})]","array/sort#1":"_sort({{0}})","array/sort#2":"_sort({{0}}, {{1}})","array/sort#3":"_sort({{0}}, {{1}}, {{2}})","array/reduce":"functools.reduce({{2}}, {{0}}, {{1}})","list":"[{{*}}]","object/get#2":"_get({{0}}, {{1}})","object/get#3":"_get({{0}}, {{1}}, {{2}})","object/has":"_has({{0}}, {{1}})","object/set":"_set({{0}}, {{1}}, {{2}})","object/keys":"list({{0}}.keys())","object/values":"list({{0}}.values())","object/entries":"[[k_, v_] for k_, v_ in {{0}}.items()]","object/fromEntries":"{p_[0]: p_[1] for p_ in {{0}}}","object/merge#2":"{**{{0}}, **{{1}}}","object/pick":"_pick({{0}}, {{1}})","object/omit":"_omit({{0}}, {{1}})","json/parse":"_json_parse({{0}})","json/stringify#1":"_json_dumps({{0}})","math/abs":"abs({{0}})","math/max":"max({{*}})","math/min":"min({{*}})","math/round#1":"_round({{0}})","math/round#2":"_round({{0}}, {{1}})","math/sqrt":"_sqrt({{0}})","math/ln":"_ln({{0}})","math/log10":"_log10({{0}})","math/pow":"_pow({{0}}, {{1}})","math/sign":"_sign({{0}})","math/clamp":"_clamp({{0}}, {{1}}, {{2}})","default":"_default({{0}}, {{1}})","as":"{{0}}","validate/required":"_required({{0}})","validate/string":"isinstance({{0}}, str)","validate/number":"_is_number({{0}})","validate/array":"isinstance({{0}}, list)","validate/object":"isinstance({{0}}, dict)","validate/boolean":"isinstance({{0}}, bool)","validate/length":"(len({{0}}) == {{1}})","validate/minLength":"(len({{0}}) >= {{1}})","validate/maxLength":"(len({{0}}) <= {{1}})","validate/min":"({{0}} >= {{1}})","validate/max":"({{0}} <= {{1}})","validate/range":"({{1}} <= {{0}} <= {{2}})","validate/oneOf":"({{0}} in {{1}})","validate/equals":"({{0}} == {{1}})"},"wired":true},"unary":{"type":"unknown","default":{"-":"(-{{0}})","not":"(not {{0}})","array/range":"_range({{0}})","array/sum":"_sum({{0}})","array/count":"len({{0}})","array/sort":"_sort({{0}})","json/stringify":"_json_dumps({{0}})","math/round":"_round({{0}})","array/concat":"{{0}}","object/merge":"{{0}}"},"wired":true},"infix":{"type":"unknown","default":{"+":"+","-":"-","*":"*","=":"==","==":"==","!=":"!=","<":"<","<=":"<=",">":">",">=":">=","and":"and","or":"or","array/concat":"+"},"wired":true},"infixForm":{"type":"unknown","default":"({{*}})","wired":true},"lambdaOperators":{"type":"unknown","default":{"array/map":"[{{body}} for {{vars}} in {{src}}]","array/filter":"[{{item}} for {{vars}} in {{src}} if {{body}}]","array/reject":"[{{item}} for {{vars}} in {{src}} if not ({{body}})]","array/some":"any({{body}} for {{vars}} in {{src}})","array/every":"all({{body}} for {{vars}} in {{src}})","array/count":"sum(1 for {{vars}} in {{src}} if {{body}})","array/find":"next(({{item}} for {{vars}} in {{src}} if {{body}}), None)","array/findIndex":"next((i_ for i_, {{item}} in enumerate({{src}}) if {{body}}), -1)"},"wired":true},"lambdaForm":{"type":"unknown","default":"lambda {{params}}: {{body}}","wired":true},"indexedSource":{"type":"unknown","default":"enumerate({{src}})","wired":true},"indexedVars":{"type":"unknown","default":"{{index}}, {{item}}","wired":true},"callees":{"type":"unknown","default":{"math/ceil":"math.ceil","math/floor":"math.floor","math/sin":"math.sin","math/cos":"math.cos","math/tan":"math.tan","math/atan":"math.atan","math/atan2":"math.atan2","math/hypot":"math.hypot"},"wired":true},"calleeForm":{"type":"unknown","default":"{{callee}}({{*}})","wired":true},"unsupportedForm":{"type":"unknown","default":"_unsupported({{op}})","wired":true},"unsupportedWarn":{"type":"unknown","default":"no {{language}} template for operator {{op}}","wired":true},"helpers":{"type":"unknown","default":{"store":["class MemoryStore:\n    def __init__(self):\n        self.tables = {}\n        self.minted = 0\n\n    def persist(self, op, entity, data):\n        rows = self.tables.setdefault(entity, {})\n        if op == \"create\":\n            row = dict(_plain(data))\n            if not row.get(\"id\"):\n                self.minted += 1\n                row[\"id\"] = entity + \"-\" + str(self.minted)\n            rows[row[\"id\"]] = row\n            return True, dict(row)\n        key = data if isinstance(data, str) else _plain(data).get(\"id\")\n        if key not in rows:\n            return False, {\"error\": entity + \" \" + str(key) + \" not found\", \"code\": \"not-found\"}\n        if op == \"delete\":\n            del rows[key]\n            return True, {\"id\": key, \"deleted\": True}\n        rows[key].update(_plain(data))\n        return True, dict(rows[key])\n\n    def fetch(self, entity, keep):\n        rows = [dict(r) for r in self.tables.get(entity, {}).values() if keep is None or keep(dict(r))]\n        rows.sort(key=lambda r: (0, r[\"createdAt\"], r[\"id\"]) if \"createdAt\" in r else (1, 0, r[\"id\"]))\n        return True, {\"data\": rows, \"totalCount\": len(rows)}"],"router":["def _plain(v):\n    if dataclasses.is_dataclass(v):\n        return dataclasses.asdict(v)\n    return {} if v is None else v","def _decode(cls, payload):\n    names = {f.name for f in dataclasses.fields(cls)}\n    return cls(**{k: v for k, v in (payload or {}).items() if k in names})","class _Router:\n    def __init__(self):\n        self.traits = {}\n        self.handles = {}\n        self.rows = []\n        self.log = []\n\n    def add(self, key, trait):\n        self.traits[key] = trait\n\n    def row(self, source, event, target, trigger, guard, mapping):\n        self.rows.append((source, event, target, trigger, guard, mapping))\n\n    def targets(self, source, event, payload, completion):\n        return [{\"trait\": target, \"event\": trigger, \"payload\": mapping(payload) if mapping else payload, \"source\": payload,\n                 \"guard\": guard, \"fans\": False, \"completion\": completion}\n                for (s, e, target, trigger, guard, mapping) in self.rows if s == source and e == event]\n\n    def dispatch(self, trait, event, payload):\n        queue = deque([{\"trait\": trait, \"event\": event, \"payload\": payload, \"source\": payload, \"guard\": None, \"fans\": True, \"completion\": False}])\n        seen = set()\n        steps = 0\n        while queue:\n            item = queue.popleft()\n            t = self.traits[item[\"trait\"]]\n            key = json.dumps([item[\"trait\"], item[\"event\"], t.state, item[\"payload\"], _plain(t.entity)], sort_keys=True, default=str)\n            if not item[\"completion\"] and key in seen:\n                continue\n            if item[\"guard\"] is not None and not item[\"guard\"](item[\"source\"]):\n                continue\n            if steps >= 2000:\n                break\n            steps += 1\n            seen.add(key)\n            n = len(t.emitted)\n            self.deliver(item[\"trait\"], item[\"event\"], item[\"payload\"])\n            own, fanned = [], []\n            if item[\"fans\"]:\n                fanned += self.targets(item[\"trait\"], item[\"event\"], item[\"payload\"], False)\n            for emitted in t.emitted[n:]:\n                ev, out = emitted[0], _plain(emitted[1])\n                completion = len(emitted) > 2 and emitted[2]\n                self.log.append((item[\"trait\"], ev, out))\n                if ev in self.handles[item[\"trait\"]].get(t.state, ()):\n                    own.append({\"trait\": item[\"trait\"], \"event\": ev, \"payload\": out, \"source\": out, \"guard\": None, \"fans\": False, \"completion\": completion})\n                fanned += self.targets(item[\"trait\"], ev, out, completion)\n            queue.extendleft(reversed(own))\n            queue.extend(fanned)"],"/":["def _div(a, b): return None if b == 0 else a / b"],"%":["def _mod(a, b): return None if b == 0 else math.fmod(a, b)"],"math/mod":["def _mod(a, b): return None if b == 0 else math.fmod(a, b)"],"default":["def _default(v, d): return d if v is None else v"],"str/split":["def _split(s, d): return list(s) if d == '' else s.split(d)"],"str/join":["def _join(a, d): return d.join(_text(v) for v in a)","def _text(v):\n    if isinstance(v, bool): return 'true' if v else 'false'\n    if isinstance(v, float) and v - v == 0 and v == int(v): return str(int(v))\n    if isinstance(v, (int, float, str)): return str(v)\n    raise TypeError('expected string, number or boolean')"],"str/concat":["def _text(v):\n    if isinstance(v, bool): return 'true' if v else 'false'\n    if isinstance(v, float) and v - v == 0 and v == int(v): return str(int(v))\n    if isinstance(v, (int, float, str)): return str(v)\n    raise TypeError('expected string, number or boolean')"],"str/slice":["def _str_slice(s, a, b=None):\n    if a != int(a) or (b is not None and b != int(b)): raise ValueError('slice: not a whole number')\n    return s[int(a):None if b is None else int(b)]"],"str/padStart":["def _pad_start(s, n, p=' '):\n    if len(p) != 1: raise ValueError('expected a single padding character')\n    return s.rjust(int(n), p)"],"str/padEnd":["def _pad_end(s, n, p=' '):\n    if len(p) != 1: raise ValueError('expected a single padding character')\n    return s.ljust(int(n), p)"],"str/truncate":["def _truncate(s, n, suffix='...'): return s if len(s) <= n else s[:int(n)] + suffix"],"str/to-int":["def _to_int(s):\n    t = s[1:] if s[:1] in ('+', '-') else s\n    return int(s) if t.isascii() and t.isdigit() and -2 ** 63 <= int(s) < 2 ** 63 else None"],"array/sum":["def _sum(a, k=None): return sum(a) if k is None else sum(x[k] for x in a)"],"array/avg":["def _avg(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return sum(v) / len(v) if v else None"],"array/max":["def _amax(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return max(v) if v else None"],"array/min":["def _amin(a, k=None):\n    v = a if k is None else [x[k] for x in a]\n    return min(v) if v else None"],"array/first":["def _first(a): return a[0] if a else None"],"array/last":["def _last(a): return a[-1] if a else None"],"array/nth":["def _nth(a, i):\n    if i != int(i) or i < 0: raise ValueError('nth: index is not a whole number from 0')\n    return a[int(i)] if i < len(a) else None"],"array/range":["def _range(a, b=None, step=1):\n    start, end = (0, a) if b is None else (a, b)\n    if step == 0: raise ValueError('range: step 0 must be a non-zero finite number')\n    out = []\n    x = start\n    while (x < end) if step > 0 else (x > end):\n        out.append(x)\n        x += step\n    return out"],"array/slice":["def _slice(a, s, e=None):\n    if s != int(s) or s < 0 or (e is not None and (e != int(e) or e < 0)): raise ValueError('slice: not a whole number from 0')\n    return a[int(s):None if e is None else int(e)]"],"array/take":["def _take(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[:int(n)]"],"array/drop":["def _drop(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[int(n):]"],"array/takeLast":["def _take_last(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[len(a) - int(n):] if n < len(a) else a[:]"],"array/dropLast":["def _drop_last(a, n):\n    if n != int(n) or n < 0: raise ValueError('count is not a whole number from 0')\n    return a[:len(a) - int(n)] if n < len(a) else []"],"array/indexOf":["def _index_of(a, x): return a.index(x) if x in a else -1"],"array/unique":["def _unique(a):\n    out = []\n    for x in a:\n        if x not in out: out.append(x)\n    return out"],"array/sort":["def _sort(a, k=None, o='asc'): return sorted(a, key=None if k is None else (lambda x: x[k]), reverse=(o == 'desc'))"],"object/get":["def _get(o, p, d=None):\n    for s in p.replace(chr(92) + '.', chr(0)).split('.'):\n        s = s.replace(chr(0), '.')\n        if isinstance(o, dict) and s in o: o = o[s]\n        elif isinstance(o, list) and s.isdigit() and int(s) < len(o): o = o[int(s)]\n        else: return d\n    return o"],"object/has":["def _has(o, p):\n    for s in p.replace(chr(92) + '.', chr(0)).split('.'):\n        s = s.replace(chr(0), '.')\n        if isinstance(o, dict) and s in o: o = o[s]\n        elif isinstance(o, list) and s.isdigit() and int(s) < len(o): o = o[int(s)]\n        else: return False\n    return True"],"object/set":["def _set(o, p, v):\n    out = dict(o)\n    cur = out\n    parts = [s.replace(chr(0), '.') for s in p.replace(chr(92) + '.', chr(0)).split('.')]\n    for s in parts[:-1]:\n        cur[s] = dict(cur[s]) if isinstance(cur.get(s), dict) else {}\n        cur = cur[s]\n    cur[parts[-1]] = v\n    return out"],"object/pick":["def _pick(o, ks): return {k: o[k] for k in ks if k in o}"],"object/omit":["def _omit(o, ks): return {k: v for k, v in o.items() if k not in ks}"],"json/parse":["def _json_parse(t):\n    try: return json.loads(t)\n    except ValueError: return None"],"json/stringify":["def _json_dumps(v):\n    def n(x):\n        if isinstance(x, float) and x - x == 0 and x == int(x): return int(x)\n        if isinstance(x, list): return [n(y) for y in x]\n        if isinstance(x, dict): return {k: n(y) for k, y in x.items()}\n        return x\n    return json.dumps(n(v), separators=(',', ':'), ensure_ascii=False)"],"math/round":["def _round(x, d=0):\n    m = 10 ** d\n    return math.copysign(math.floor(abs(x) * m + 0.5) / m, x)"],"math/sqrt":["def _sqrt(x): return None if x < 0 else math.sqrt(x)"],"math/ln":["def _ln(x): return None if x <= 0 else math.log(x)"],"math/log10":["def _log10(x): return None if x <= 0 else math.log10(x)"],"math/pow":["def _pow(a, b):\n    try: return math.pow(a, b)\n    except (ValueError, OverflowError, ZeroDivisionError): return None"],"math/sign":["def _sign(x): return (x > 0) - (x < 0)"],"math/clamp":["def _clamp(v, lo, hi): return min(max(v, lo), hi)"],"validate/required":["def _required(v): return v is not None and v != ''"],"validate/number":["def _is_number(v): return isinstance(v, (int, float)) and not isinstance(v, bool)"],"unsupported":["def _unsupported(name): raise NotImplementedError('no native template for operator ' + name)"]},"wired":true},"helperGap":{"type":"unknown","default":"\n","wired":true},"imports":{"type":"unknown","default":{"router":"from collections import deque\nimport dataclasses\nimport json","Literal":"from typing import Literal","Any":"from typing import Any","field":"from dataclasses import field","dataclass":"from dataclasses import dataclass","%":"import math","math/mod":"import math","math/ceil":"import math","math/floor":"import math","math/sin":"import math","math/cos":"import math","math/tan":"import math","math/atan":"import math","math/atan2":"import math","math/hypot":"import math","math/round":"import math","math/sqrt":"import math","math/ln":"import math","math/log10":"import math","math/pow":"import math","array/reduce":"import functools","json/parse":"import json","json/stringify":"import json"},"wired":true},"portEffects":{"type":"unknown","default":["list","persist","fetch","fetch-stream","notify","navigate","navigate-back","call-service","cancel-call","send-server","spawn","despawn","log"],"wired":true},"portCall":{"type":"unknown","default":"self.ports.{{name}}({{*}})","wired":true},"portCase":{"type":"unknown","default":"lower","wired":true},"portWarn":{"type":"unknown","default":"{{op}} is called on the ports object","wired":true},"attributeRoots":{"type":"unknown","default":{"entity":"self.entity","state":"self.state","user":"self.user","now":"self.now","locale":"self.locale","trait":"self.trait","event":"self.event","payload":"payload","config":"self.config"},"wired":true},"itemRoots":{"type":"unknown","default":{},"wired":true},"attrAccess":{"type":"unknown","default":".{{name}}","wired":true},"itemAccess":{"type":"unknown","default":"[{{key}}]","wired":true},"indexAccess":{"type":"unknown","default":"[{{0}}]","wired":true},"localAccess":{"type":"unknown","default":"item","wired":true},"entityReadDefault":{"type":"unknown","default":"","wired":true},"nullLit":{"type":"unknown","default":"None","wired":true},"trueLit":{"type":"unknown","default":"True","wired":true},"falseLit":{"type":"unknown","default":"False","wired":true},"stringForm":{"type":"unknown","default":"{{json}}","wired":true},"listForm":{"type":"unknown","default":"[{{*}}]","wired":true},"mapOpen":{"type":"unknown","default":"{","wired":true},"mapClose":{"type":"unknown","default":"}","wired":true},"mapPair":{"type":"unknown","default":"{{key}}: {{value}}","wired":true},"mapSep":{"type":"unknown","default":", ","wired":true},"letStmt":{"type":"unknown","default":"{{name}} = {{value}}","wired":true},"letExpr":{"type":"unknown","default":"(lambda {{name}}: {{body}})({{value}})","wired":true},"condExpr":{"type":"unknown","default":"({{then}} if {{cond}} else {{else}})","wired":true},"ifOpen":{"type":"unknown","default":"if {{cond}}:","wired":true},"elseOpen":{"type":"unknown","default":"else:","wired":true},"blockClose":{"type":"unknown","default":"","wired":true},"emptyBody":{"type":"unknown","default":"pass","wired":true},"setStyle":{"type":"unknown","default":"assign","wired":true},"setAssign":{"type":"unknown","default":"{{target}} = {{value}}","wired":true},"emitForm":{"type":"unknown","default":"self.emit({{event}}, {{payload}})","wired":true},"payloadType":{"type":"unknown","default":"{{trait}}{{event}}Payload","wired":true},"configType":{"type":"unknown","default":"{{trait}}Config","wired":true},"payloadCtor":{"type":"unknown","default":"{{type}}({{fields}})","wired":true},"payloadField":{"type":"unknown","default":"{{name}}={{value}}","wired":true},"payloadSep":{"type":"unknown","default":", ","wired":true},"commentForm":{"type":"unknown","default":"# {{text}}","wired":true},"indent":{"type":"unknown","default":"    ","wired":true},"terminator":{"type":"unknown","default":"","wired":true},"classCase":{"type":"unknown","default":"keep","wired":true},"fieldCase":{"type":"unknown","default":"keep","wired":true},"localCase":{"type":"unknown","default":"keep","wired":true},"methodCase":{"type":"unknown","default":"lower","wired":true},"methodName":{"type":"unknown","default":"on_{{event}}","wired":true},"programOpen":{"type":"unknown","default":["class Program(_Router):","{{i}}def __init__(self, entities, ports=None):","{{i}}{{i}}super().__init__()"],"wired":true},"programTrait":{"type":"unknown","default":"{{i}}{{i}}self.add({{key}}, {{class}}(entities[{{key}}], ports))","wired":true},"programHandles":{"type":"unknown","default":"{{i}}{{i}}self.handles[{{key}}] = {{table}}","wired":true},"programRow":{"type":"unknown","default":"{{i}}{{i}}self.row({{source}}, {{event}}, {{target}}, {{trigger}}, {{guard}}, {{map}})","wired":true},"deliverOpen":{"type":"unknown","default":["","{{i}}def deliver(self, target, event, payload):"],"wired":true},"deliverCase":{"type":"unknown","default":"{{i}}{{i}}if target == {{target}} and event == {{event}}:\n{{i}}{{i}}{{i}}return self.traits[target].{{method}}({{arg}})","wired":true},"deliverCasePlain":{"type":"unknown","default":"{{i}}{{i}}if target == {{target}} and event == {{event}}:\n{{i}}{{i}}{{i}}return self.traits[target].{{method}}()","wired":true},"payloadDecode":{"type":"unknown","default":"_decode({{type}}, {{value}})","wired":true},"guardForm":{"type":"unknown","default":["","","def {{name}}(payload_json):","{{i}}payload = {{decode}}","{{i}}return {{expr}}"],"wired":true},"mapForm":{"type":"unknown","default":["","","def {{name}}(payload_json):","{{i}}payload = {{decode}}","{{i}}return {{expr}}"],"wired":true},"modelImports":{"type":"unknown","default":{"entity":"from orbital_app.generated.entities import {{names}}","payload":"from orbital_app.generated.events import {{names}}"},"wired":true},"modelImportEach":{"type":"unknown","default":false,"wired":true},"modelImportSep":{"type":"unknown","default":", ","wired":true},"sectionGap":{"type":"unknown","default":"\n\n\n","wired":true},"classOpen":{"type":"unknown","default":"class {{class}}:","wired":true},"classClose":{"type":"unknown","default":"","wired":true},"classEmpty":{"type":"unknown","default":"{{i}}pass","wired":true},"constructor":{"type":"unknown","default":["{{i}}def __init__(self, entity: {{entity}}, ports=None, config: {{configType}} | None = None):","{{noConfig}}{{i}}def __init__(self, entity: {{entity}}, ports=None):","{{i}}{{i}}self.state = {{initial}}","{{i}}{{i}}self.entity = entity","{{i}}{{i}}self.ports = ports","{{i}}{{i}}self.config = config if config is not None else {{configType}}()","{{i}}{{i}}self.emitted: list[tuple[str, object]] = []"],"wired":true},"emitMethod":{"type":"unknown","default":["{{i}}def emit(self, event, payload):","{{i}}{{i}}self.emitted.append((event, payload))"],"wired":true},"completeMethod":{"type":"unknown","default":["","{{i}}def complete(self, answer, success, failure):","{{i}}{{i}}ok, payload = answer","{{i}}{{i}}route = success if ok else failure","{{i}}{{i}}if route is not None:","{{i}}{{i}}{{i}}self.emitted.append((route, payload, True))"],"wired":true},"routedEffects":{"type":"unknown","default":{"persist":"self.complete(self.ports.persist({{args}}), {{success}}, {{failure}})","fetch":"self.complete(self.ports.fetch({{entity}}, {{filter}}), {{success}}, {{failure}})"},"wired":true},"fetchAll":{"type":"unknown","default":"None","wired":true},"methodOpen":{"type":"unknown","default":"{{i}}def {{method}}(self, payload: {{payloadType}}) -> None:","wired":true},"methodOpenPlain":{"type":"unknown","default":"{{i}}def {{method}}(self, payload=None) -> None:","wired":true},"methodClose":{"type":"unknown","default":"","wired":true},"branchFirst":{"type":"unknown","default":"{{i}}{{i}}if {{test}}:","wired":true},"branchNext":{"type":"unknown","default":"{{i}}{{i}}elif {{test}}:","wired":true},"branchClose":{"type":"unknown","default":"","wired":true},"branchTest":{"type":"unknown","default":"{{stateTest}} and {{guard}}","wired":true},"branchTestPlain":{"type":"unknown","default":"{{stateTest}}","wired":true},"stateTest":{"type":"unknown","default":"self.state == {{state}}","wired":true},"stateAssign":{"type":"unknown","default":"self.state = {{state}}","wired":true},"bodyPrefix":{"type":"unknown","default":"{{i}}{{i}}{{i}}","wired":true},"renderModels":{"type":"unknown","default":false,"wired":true},"modelAnnotation":{"type":"unknown","default":"{{at}}dataclass","wired":true},"modelClassOpen":{"type":"unknown","default":"class {{name}}:","wired":true},"modelClassClose":{"type":"unknown","default":"","wired":true},"modelField":{"type":"unknown","default":"{{i}}{{name}}: {{type}}{{default}}","wired":true},"modelDefault":{"type":"unknown","default":" = {{value}}","wired":true},"modelFactory":{"type":"unknown","default":" = field(default_factory=lambda: {{value}})","wired":true},"modelEmpty":{"type":"unknown","default":"{{i}}pass","wired":true},"modelAlias":{"type":"unknown","default":"{{name}} = {{type}}","wired":true},"typeMap":{"type":"unknown","default":{"string":"str","number":"float","float":"float","int":"int","integer":"int","boolean":"bool","bool":"bool","date":"str","datetime":"str","timestamp":"str","instant":"str","duration":"float","email":"str","url":"str","uuid":"str","bytes":"bytes"},"wired":true},"typeList":{"type":"unknown","default":"list[{{0}}]","wired":true},"typeListBare":{"type":"unknown","default":"list","wired":true},"typeDict":{"type":"unknown","default":"dict[str, {{0}}]","wired":true},"typeDictBare":{"type":"unknown","default":"dict","wired":true},"typeLiteral":{"type":"unknown","default":"Literal[{{*}}]","wired":true},"typeNullable":{"type":"unknown","default":"{{0}} | None","wired":true},"typeAny":{"type":"unknown","default":"Any","wired":true}},"events":{"LOLO_TO_SOURCE":"LOLO_TO_PYTHON","SOURCE_RENDERED":"PYTHON_RENDERED","SOURCE_RENDER_FAILED":"PYTHON_RENDER_FAILED"}}],"pages":[{"name":"LoloPythonStart","id":"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ","path":"","protocol":"boot","traits":[{"ref":"LoloPython","refId":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM":{"id":"ent_VW3BJXKWXZYEZMNPR3EEHCPYQM","kind":"entity","bakedName":"LoloPythonRun","curName":"LoloPythonRun","renames":[],"owner":"workspace"},"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY":{"id":"orb_6NAGGXD5HYJRZ7KM1HT1QESHJY","kind":"orbital","bakedName":"LoloPythonOrbital","curName":"LoloPythonOrbital","renames":[],"owner":"workspace"},"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ":{"id":"pag_8GH1KYSZGRZRC2E64HMMQ13PAJ","kind":"page","bakedName":"LoloPythonStart","curName":"LoloPythonStart","renames":[],"owner":"workspace"},"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7":{"id":"trt_FEA2ASMNGVARDKPRRSAHEHYXQ7","kind":"trait","bakedName":"LoloPython","curName":"LoloPython","renames":[],"owner":"workspace"}}}}