coop/rose-ash
1
0
Fork 0
Code Issues Pull Requests Actions 7 Packages Projects Releases Wiki Activity

lua: break via guard+raise sentinel; auto-first multi in arith/concat +4 tests
Some checks failed
Test, Build, and Deploy / test-build-deploy (push) Has been cancelled
Details

Browse Source
This commit is contained in:
giles
2026-04-24 22:03:14 +00:00
parent 68b0a279f8
commit bac3471a1f
6 changed files with 126 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

96
lib/lua/runtime.sx
View File

@@ -59,28 +59,29 @@
(define (define
lua-arith lua-arith
(fn (fn
(mm op a b) (mm op a-in b-in)
(cond (let ((a (lua-first a-in)) (b (lua-first b-in)))
((and (= (type-of a) "number") (= (type-of b) "number")) (cond
(lua-num-op op a b)) ((and (= (type-of a) "number") (= (type-of b) "number"))
((and (lua-num-op op a b))
(or (= (type-of a) "number") (= (type-of a) "string")) ((and
(or (= (type-of b) "number") (= (type-of b) "string")) (or (= (type-of a) "number") (= (type-of a) "string"))
(not (= (lua-to-number a) nil)) (or (= (type-of b) "number") (= (type-of b) "string"))
(not (= (lua-to-number b) nil))) (not (= (lua-to-number a) nil))
(lua-num-op op a b)) (not (= (lua-to-number b) nil)))
(else (lua-num-op op a b))
(let (else
((m (lua-get-mm a mm))) (let
(cond ((m (lua-get-mm a mm)))
((not (= m nil)) (lua-first (m a b))) (cond
(else ((not (= m nil)) (lua-first (m a b)))
(let (else
((m2 (lua-get-mm b mm))) (let
(if ((m2 (lua-get-mm b mm)))
(not (= m2 nil)) (if
(lua-first (m2 a b)) (not (= m2 nil))
(error (str "lua: arith on " (type-of a) " " op " " (type-of b)))))))))))) (lua-first (m2 a b))
(error (str "lua: arith on " (type-of a) " " op " " (type-of b)))))))))))))
(define lua-add (fn (a b) (lua-arith "__add" "+" a b))) (define lua-add (fn (a b) (lua-arith "__add" "+" a b)))
@@ -116,33 +117,35 @@
(define (define
lua-concat-coerce lua-concat-coerce
(fn (fn
(v) (v-in)
(cond (let ((v (lua-first v-in)))
((= (type-of v) "string") v) (cond
((= (type-of v) "number") (str v)) ((= (type-of v) "string") v)
(else (error (str "lua: cannot concat " v)))))) ((= (type-of v) "number") (str v))
(else (error (str "lua: cannot concat " v)))))))
(define (define
lua-concat lua-concat
(fn (fn
(a b) (a-in b-in)
(cond (let ((a (lua-first a-in)) (b (lua-first b-in)))
((and (cond
(or (= (type-of a) "string") (= (type-of a) "number")) ((and
(or (= (type-of b) "string") (= (type-of b) "number"))) (or (= (type-of a) "string") (= (type-of a) "number"))
(str (lua-concat-coerce a) (lua-concat-coerce b))) (or (= (type-of b) "string") (= (type-of b) "number")))
(else (str (lua-concat-coerce a) (lua-concat-coerce b)))
(let (else
((m (lua-get-mm a "__concat"))) (let
(cond ((m (lua-get-mm a "__concat")))
((not (= m nil)) (lua-first (m a b))) (cond
(else ((not (= m nil)) (lua-first (m a b)))
(let (else
((m2 (lua-get-mm b "__concat"))) (let
(if ((m2 (lua-get-mm b "__concat")))
(not (= m2 nil)) (if
(lua-first (m2 a b)) (not (= m2 nil))
(error (str "lua: concat on " (type-of a) " and " (type-of b)))))))))))) (lua-first (m2 a b))
(error (str "lua: concat on " (type-of a) " and " (type-of b)))))))))))))
(define (define
lua-eq lua-eq
@@ -1646,3 +1649,6 @@
(define (define
lua-return-value lua-return-value
(fn (e) (if (> (len e) 1) (nth e 1) nil))) (fn (e) (if (> (len e) 1) (nth e 1) nil)))
(define lua-break-sentinel?
(fn (e) (and (= (type-of e) "list") (> (len e) 0) (= (first e) (quote lua-brk)))))

46
lib/lua/scoreboard.json
View File

@@ -1,8 +1,8 @@
{ {
"totals": { "totals": {
"pass": 0, "pass": 0,
"fail": 13, "fail": 12,
"timeout": 3, "timeout": 4,
"skip": 8, "skip": 8,
"total": 24, "total": 24,
"runnable": 16, "runnable": 16,
@@ -15,15 +15,11 @@
], ],
[ [
"timeout", "timeout",
3 4
], ],
[ [
"other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio", "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio",
2 2
],
[
"other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: concat on list and string\\\\",
1
] ]
], ],
"results": [ "results": [
@@ -43,19 +39,19 @@
"name": "attrib.lua", "name": "attrib.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 6225 "ms": 6183
}, },
{ {
"name": "big.lua", "name": "big.lua",
"status": "timeout", "status": "timeout",
"reason": "per-test timeout", "reason": "per-test timeout",
"ms": 8008 "ms": 8007
}, },
{ {
"name": "calls.lua", "name": "calls.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 5175 "ms": 4986
}, },
{ {
"name": "checktable.lua", "name": "checktable.lua",
@@ -67,7 +63,7 @@
"name": "closure.lua", "name": "closure.lua",
"status": "timeout", "status": "timeout",
"reason": "per-test timeout", "reason": "per-test timeout",
"ms": 8007 "ms": 8008
}, },
{ {
"name": "code.lua", "name": "code.lua",
@@ -77,9 +73,9 @@
}, },
{ {
"name": "constructs.lua", "name": "constructs.lua",
"status": "fail", "status": "timeout",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: concat on list and string\\\\", "reason": "per-test timeout",
"ms": 4874 "ms": 8005
}, },
{ {
"name": "db.lua", "name": "db.lua",
@@ -91,13 +87,13 @@
"name": "errors.lua", "name": "errors.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 3289 "ms": 3253
}, },
{ {
"name": "events.lua", "name": "events.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 7546 "ms": 7283
}, },
{ {
"name": "files.lua", "name": "files.lua",
@@ -115,13 +111,13 @@
"name": "literals.lua", "name": "literals.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 1888 "ms": 1857
}, },
{ {
"name": "locals.lua", "name": "locals.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio",
"ms": 1721 "ms": 1726
}, },
{ {
"name": "main.lua", "name": "main.lua",
@@ -133,43 +129,43 @@
"name": "math.lua", "name": "math.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 4231 "ms": 4173
}, },
{ {
"name": "nextvar.lua", "name": "nextvar.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 7290 "ms": 7128
}, },
{ {
"name": "pm.lua", "name": "pm.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 6155 "ms": 6098
}, },
{ {
"name": "sort.lua", "name": "sort.lua",
"status": "timeout", "status": "timeout",
"reason": "per-test timeout", "reason": "per-test timeout",
"ms": 8006 "ms": 8008
}, },
{ {
"name": "strings.lua", "name": "strings.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 4215 "ms": 4137
}, },
{ {
"name": "vararg.lua", "name": "vararg.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"assertion failed!\\\\\\\"\\",
"ms": 2288 "ms": 2264
}, },
{ {
"name": "verybig.lua", "name": "verybig.lua",
"status": "fail", "status": "fail",
"reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio", "reason": "other: Unhandled exception: \\\"Unhandled exception: \\\\\\\"lua: attempt to call non-functio",
"ms": 622 "ms": 575
} }
] ]
} }

37
lib/lua/scoreboard.md
View File

@@ -1,14 +1,13 @@
# Lua-on-SX conformance scoreboard # Lua-on-SX conformance scoreboard
**Pass rate:** 0/16 runnable (0.0%) **Pass rate:** 0/16 runnable (0.0%)
fail=13 timeout=3 skip=8 total=24 fail=12 timeout=4 skip=8 total=24
## Top failure modes ## Top failure modes
- **10x** other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ - **10x** other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\
- **3x** timeout - **4x** timeout
- **2x** other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio - **2x** other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio
- **1x** other: Unhandled exception: \"Unhandled exception: \\\"lua: concat on list and string\\
## Per-test results ## Per-test results
@@ -16,25 +15,25 @@ fail=13 timeout=3 skip=8 total=24
|---|---|---|---:| |---|---|---|---:|
| all.lua | skip | driver uses dofile to chain other tests | 0 | | all.lua | skip | driver uses dofile to chain other tests | 0 |
| api.lua | skip | requires testC (C debug library) | 0 | | api.lua | skip | requires testC (C debug library) | 0 |
| attrib.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 6225 | | attrib.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 6183 |
| big.lua | timeout | per-test timeout | 8008 | | big.lua | timeout | per-test timeout | 8007 |
| calls.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 5175 | | calls.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 4986 |
| checktable.lua | skip | internal debug helpers | 0 | | checktable.lua | skip | internal debug helpers | 0 |
| closure.lua | timeout | per-test timeout | 8007 | | closure.lua | timeout | per-test timeout | 8008 |
| code.lua | skip | bytecode inspection via debug library | 0 | | code.lua | skip | bytecode inspection via debug library | 0 |
| constructs.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"lua: concat on list and string\\ | 4874 | | constructs.lua | timeout | per-test timeout | 8005 |
| db.lua | skip | debug library | 0 | | db.lua | skip | debug library | 0 |
| errors.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 3289 | | errors.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 3253 |
| events.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 7546 | | events.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 7283 |
| files.lua | skip | io library | 0 | | files.lua | skip | io library | 0 |
| gc.lua | skip | collectgarbage / finalisers | 0 | | gc.lua | skip | collectgarbage / finalisers | 0 |
| literals.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 1888 | | literals.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 1857 |
| locals.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio | 1721 | | locals.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio | 1726 |
| main.lua | skip | standalone interpreter driver | 0 | | main.lua | skip | standalone interpreter driver | 0 |
| math.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 4231 | | math.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 4173 |
| nextvar.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 7290 | | nextvar.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 7128 |
| pm.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 6155 | | pm.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 6098 |
| sort.lua | timeout | per-test timeout | 8006 | | sort.lua | timeout | per-test timeout | 8008 |
| strings.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 4215 | | strings.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 4137 |
| vararg.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 2288 | | vararg.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"assertion failed!\\\"\ | 2264 |
| verybig.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio | 622 | | verybig.lua | fail | other: Unhandled exception: \"Unhandled exception: \\\"lua: attempt to call non-functio | 575 |

16
lib/lua/test.sh
View File

@@ -944,6 +944,16 @@ cat > "$TMPFILE" << 'EPOCHS'
(epoch 1852) (epoch 1852)
(eval "(lua-eval-ast \"function f(i) if type(i) ~= \\\"number\\\" then return i, \\\"jojo\\\" end if i > 0 then return i, f(i-1) end end local a, b = f(3) return a\")") (eval "(lua-eval-ast \"function f(i) if type(i) ~= \\\"number\\\" then return i, \\\"jojo\\\" end if i > 0 then return i, f(i-1) end end local a, b = f(3) return a\")")
;; ── break via sentinel (escapes while/for-num/for-in/repeat) ──
(epoch 1860)
(eval "(lua-eval-ast \"local i = 0 while true do i = i + 1 if i >= 5 then break end end return i\")")
(epoch 1861)
(eval "(lua-eval-ast \"local s = 0 for i = 1, 100 do if i > 10 then break end s = s + i end return s\")")
(epoch 1862)
(eval "(lua-eval-ast \"local t = {10, 20, 99, 40} local s = 0 for i, v in ipairs(t) do if v == 99 then break end s = s + v end return s\")")
(epoch 1863)
(eval "(lua-eval-ast \"local i = 0 repeat i = i + 1 if i >= 3 then break end until false return i\")")
EPOCHS EPOCHS
OUTPUT=$(timeout 60 "$SX_SERVER" < "$TMPFILE" 2>/dev/null) OUTPUT=$(timeout 60 "$SX_SERVER" < "$TMPFILE" 2>/dev/null)
@@ -1427,6 +1437,12 @@ check 1850 "early return negative path" '-1'
check 1851 "non-early return path" '14' check 1851 "non-early return path" '14'
check 1852 "nested early-return recursion" '3' check 1852 "nested early-return recursion" '3'
# ── break via sentinel ───────────────────────────────────────
check 1860 "break in while" '5'
check 1861 "break in for-num" '55'
check 1862 "break in for-in" '30'
check 1863 "break in repeat" '3'
TOTAL=$((PASS + FAIL)) TOTAL=$((PASS + FAIL))
if [ $FAIL -eq 0 ]; then if [ $FAIL -eq 0 ]; then
echo "ok $PASS/$TOTAL Lua-on-SX tests passed" echo "ok $PASS/$TOTAL Lua-on-SX tests passed"

24
lib/lua/transpile.sx
View File

@@ -1,3 +1,17 @@
(define
lua-tx-loop-guard
(fn (body-sx)
(list
(make-symbol "guard")
(list (make-symbol "e")
(list
(list (make-symbol "lua-break-sentinel?") (make-symbol "e"))
nil)
(list
(make-symbol "else")
(list (make-symbol "raise") (make-symbol "e"))))
body-sx)))
(define (define
lua-tx lua-tx
(fn (fn
@@ -36,7 +50,7 @@
((= tag (quote lua-for-num)) (lua-tx-for-num node)) ((= tag (quote lua-for-num)) (lua-tx-for-num node))
((= tag (quote lua-for-in)) (lua-tx-for-in node)) ((= tag (quote lua-for-in)) (lua-tx-for-in node))
((= tag (quote lua-do)) (lua-tx-do node)) ((= tag (quote lua-do)) (lua-tx-do node))
((= tag (quote lua-break)) (quote lua-break-marker)) ((= tag (quote lua-break)) (list (make-symbol "raise") (list (make-symbol "list") (list (make-symbol "quote") (make-symbol "lua-brk")))))
((= tag (quote lua-return)) (lua-tx-return node)) ((= tag (quote lua-return)) (lua-tx-return node))
((= tag (quote lua-call-stmt)) (lua-tx (nth node 1))) ((= tag (quote lua-call-stmt)) (lua-tx (nth node 1)))
((= tag (quote lua-local-function)) (lua-tx-local-function node)) ((= tag (quote lua-local-function)) (lua-tx-local-function node))
@@ -392,7 +406,7 @@
(make-symbol "begin") (make-symbol "begin")
body body
(list (make-symbol "_while_loop")))))) (list (make-symbol "_while_loop"))))))
(list (make-symbol "_while_loop")))))) (lua-tx-loop-guard (list (make-symbol "_while_loop")))))))
(define (define
lua-tx-repeat lua-tx-repeat
@@ -418,7 +432,7 @@
(make-symbol "not") (make-symbol "not")
(list (make-symbol "lua-truthy?") cnd)) (list (make-symbol "lua-truthy?") cnd))
(list (make-symbol "_repeat_loop")))))) (list (make-symbol "_repeat_loop"))))))
(list (make-symbol "_repeat_loop")))))) (lua-tx-loop-guard (list (make-symbol "_repeat_loop")))))))
(define (define
lua-tx-for-num lua-tx-for-num
@@ -462,7 +476,7 @@
(make-symbol name) (make-symbol name)
(make-symbol "_for_step"))) (make-symbol "_for_step")))
(list (make-symbol "_for_loop")))))) (list (make-symbol "_for_loop"))))))
(list (make-symbol "_for_loop"))))))) (lua-tx-loop-guard (list (make-symbol "_for_loop"))))))))
(define lua-tx-do (fn (node) (list (make-symbol "let") (list) (lua-tx (nth node 1))))) (define lua-tx-do (fn (node) (list (make-symbol "let") (list) (lua-tx (nth node 1)))))
@@ -704,4 +718,4 @@
(make-symbol "fn") (make-symbol "fn")
(list) (list)
(lua-tx-for-in-loop-body names body f-sym s-sym v-sym rets-sym loop-sym first-name))) (lua-tx-for-in-loop-body names body f-sym s-sym v-sym rets-sym loop-sym first-name)))
(list loop-sym)))))))))) (lua-tx-loop-guard (list loop-sym)))))))))))

1
plans/lua-on-sx.md
View File

@@ -82,6 +82,7 @@ Each item: implement → tests → tick box → update progress log.
_Newest first. Agent appends on every commit._ _Newest first. Agent appends on every commit._
- 2026-04-24: lua: scoreboard iteration — **proper `break` via guard+raise sentinel** (`lua-brk`) + auto-first multi-values in arith/concat. Loop break dispatch was previously a no-op (emitted bare `'lua-break-marker` symbol that nothing caught); converted to raise+catch pattern, wrapping the OUTER invocation of `_while_loop`/`_for_loop`/`_repeat_loop`/`__for_loop` in a break-guard (wrapping body doesn't work — break would just be caught and loop keeps recursing). Also `lua-arith`/`lua-concat`/`lua-concat-coerce` now `lua-first` their operands so multi-returns auto-truncate at scalar boundaries. 372/372 green (+4 break tests). Scoreboard: 10×assert / 4×timeout / 2×call-non-fn (no more undef-symbol or compare-incompat).
- 2026-04-24: lua: scoreboard iteration — **proper early-return via guard+raise sentinel**. Fixes long-logged limitation: `if cond then return X end ...rest` now exits the enclosing function; `rest` is skipped. `lua-tx-return` raises `(list 'lua-ret value)`; every function body and the top-level chunk + loadstring'd chunks wrap in a guard that catches the sentinel and returns its value. Eliminates "compare incompatible types" from constructs.lua (past line 40). 368/368 green (+3 early-return tests). - 2026-04-24: lua: scoreboard iteration — **proper early-return via guard+raise sentinel**. Fixes long-logged limitation: `if cond then return X end ...rest` now exits the enclosing function; `rest` is skipped. `lua-tx-return` raises `(list 'lua-ret value)`; every function body and the top-level chunk + loadstring'd chunks wrap in a guard that catches the sentinel and returns its value. Eliminates "compare incompatible types" from constructs.lua (past line 40). 368/368 green (+3 early-return tests).
- 2026-04-24: lua: scoreboard iteration — **unary-minus / `^` precedence fix**. Per Lua spec, `^` binds tighter than unary `-`, so `-2^2` should parse as `-(2^2) = -4`, not `(-2)^2 = 4`. My parser recursed into `parse-unary` and then let `^` bind to the already-negated operand. Added `parse-pow-chain` helper and changed the `else` branch of `parse-unary` to parse a primary + `^`-chain before returning; unary operators now wrap the full `^`-chain. Fixed `constructs.lua` past assert #3 (moved to compare-incompatible). 365/365 green (+3 precedence tests). - 2026-04-24: lua: scoreboard iteration — **unary-minus / `^` precedence fix**. Per Lua spec, `^` binds tighter than unary `-`, so `-2^2` should parse as `-(2^2) = -4`, not `(-2)^2 = 4`. My parser recursed into `parse-unary` and then let `^` bind to the already-negated operand. Added `parse-pow-chain` helper and changed the `else` branch of `parse-unary` to parse a primary + `^`-chain before returning; unary operators now wrap the full `^`-chain. Fixed `constructs.lua` past assert #3 (moved to compare-incompatible). 365/365 green (+3 precedence tests).
- 2026-04-24: lua: scoreboard iteration — `lua-byte-to-char` regression fix. My previous change returned 2-char strings (`"\a"` etc.) for bytes that SX string literals can't express (0, 7, 8, 11, 12, 14–31, 127+), breaking `'a\0a'` length from 3 → 4. Now only 9/10/13 and printable 32-126 produce real bytes; others use a single `"?"` placeholder so `string.len` stays correct. literals.lua back to failing at assert #4 (was regressed to #2). - 2026-04-24: lua: scoreboard iteration — `lua-byte-to-char` regression fix. My previous change returned 2-char strings (`"\a"` etc.) for bytes that SX string literals can't express (0, 7, 8, 11, 12, 14–31, 127+), breaking `'a\0a'` length from 3 → 4. Now only 9/10/13 and printable 32-126 produce real bytes; others use a single `"?"` placeholder so `string.len` stays correct. literals.lua back to failing at assert #4 (was regressed to #2).