Merge ARC branch into main#87

Merged

NiceAndPeter merged 49 commits into

mainfrom

phase1/arc-stack

Jul 5, 2026

Commits on Jun 27, 2026

moon Phase 1: ARC accounting through the VM stack, calls, and registers

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 1): fix C-side ARC acquire/release asymmetries

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 2): neuter lua_gc collection + ARC the C-API stores

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 3): fix metamethod result transfer (moonT_callTMres)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 4): ARC-wire string concatenation (VM concat)

Peter Neiss
and
claude
committed
docs: ARC Phase 1 task #8 progress (oracle method + fixed/remaining)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 5): ARC the error-propagation, pushes, and upvalues

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 6): ARC-correct string interning

Peter Neiss
and
claude
committed
docs: ARC drain-on now UAF-clean for feature smoke + stress (task #8)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 7): reclaim closures, upvalues, C-closures (hot-loop leaks)

Peter Neiss
and
claude
committed
docs: ARC reclamation now bounded for common hot-loop patterns (task #8)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 8): reclaim abandoned coroutine stacks

Peter Neiss
and
claude
committed
docs: coroutines now bounded under ARC drain-on (task #8)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 9): fix free-region pushes in close/finalizer/debug

Peter Neiss
and
claude
committed

Commits on Jun 28, 2026

moon Phase 1 (task #8, step 10): ARC-wire generic-for, next, load, setupvalue

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 11): nil C-call scratch window under drain-on

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 12): ARC-wire debug.getlocal / debug.setlocal

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 13): ARC-wire error handler + unary metamethod ops

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 14): ARC-correct GET family + finishGet metamethod path

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 15): ARC-correct OP_VARARG expansion

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 16): ARC-correct coroutine error propagation

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 17): don't ARC-free finalizable objects (drain-on)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 18): ARC-correct moon_xmove cross-stack transfer

Peter Neiss
and
claude
committed

Commits on Jun 29, 2026

moon Phase 1 (task #8, step 19): ARC-correct moon_upvaluejoin

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 20): ARC-correct table-set GC anchors (OOM path)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 21): ARC-wire userdata user-values

Peter Neiss
and
claude
committed

Commits on Jul 3, 2026

moon Phase 1 (task #8, step 22): retain in moon_pushthread (thread UAF)

Peter Neiss
and
claude
committed
moon Phase 1 (task #8, step 23): flip MOON_ARC_DRAIN on by default

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): ARC-wire the Proto graph (protos now reclaim)

Peter Neiss
and
claude
committed

Commits on Jul 4, 2026

moon Phase 1 (task #9): full string reclamation + frame-window teardown fixes

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): release dead temporaries at metamethod calls

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): coroutine open upvalues -- verify handled + unlink twups

Peter Neiss
and
claude
committed
moon Phase 1: comparison-TM results, deterministic __gc, all.lua reenablement

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): drain at every GC checkpoint; all.lua passes end-to-end

Peter Neiss
and
claude
committed

Commits on Jul 5, 2026

moon Phase 1 (task #9): moon_arith ARC accounting

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): O(1) list unlink via intrusive back-link

Peter Neiss
and
claude
committed
moon Phase 1 (task #9): plug string.dump anchor leak (moon_dump)

Peter Neiss
and
claude
committed
moon Phase 2: delete tracing GC — marking, weak, collector; write barriers

Peter Neiss
and
claude
committed
moon Phase 2: remove orphaned tracing helpers (gray lists, generational)

Peter Neiss
and
claude
committed
moon Phase 2: simplify finalizer path — drop generational remnants

Peter Neiss
and
claude
committed
moon Phase 2: drop dead GlobalState GC-control method decls

Peter Neiss
and
claude
committed
Finish ARC suite cleanup

Peter Neiss
and
Copilot
committed
Continue C++ modernization sweep

Peter Neiss
and
Copilot
committed
Convert helper functions to methods

Peter Neiss
and
Copilot
committed
Split internal parser and state headers

Peter Neiss
and
Copilot
committed
Remove MoonVector wrapper and clarify identifiers

Peter Neiss
and
Copilot
committed
Update GitHub Actions for ARC branch

Peter Neiss
and
Copilot
committed
Align moon_State declaration tags

Peter Neiss
and
Copilot
committed
Build test_arc across compilers

Peter Neiss
and
Copilot
committed