3 Commits

Author	SHA1	Message	Date
giles	455e48df07	Replace invoke with cek-call in reactive island primitives ... All signal operations (computed, effect, batch, etc.) now dispatch function calls through cek-call, which routes SX lambdas via cek-run and native callables via apply. This replaces the invoke shim. Key changes: - cek.sx: add cek-call (defined before reactive-shift-deref), replace invoke in subscriber disposal and ReactiveResetFrame handler - signals.sx: replace all 11 invoke calls with cek-call - js.sx: fix octal escape in js-quote-string (char-from-code 0) - platform_js.py: fix JS append to match Python (list concat semantics), add Continuation type guard in PLATFORM_CEK_JS, add scheduleIdle safety check, module ordering (cek before signals) - platform_py.py: fix ident-char regex (remove [ ] from valid chars), module ordering (cek before signals) - run_js_sx.py: emit PLATFORM_CEK_JS before transpiled spec files - page-functions.sx: add cek and provide page functions for SX URLs Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>	2026-03-14 10:11:48 +00:00
giles	203f9a49a1	Fix remaining test runners for CEK-default mode: override to tree-walk ... run_type_tests.py, run_signal_tests.py, run_continuation_tests.py all needed the same sx_ref.eval_expr/trampoline override to tree-walk that was applied to the CEK test runners. Without this, transpiled HO forms (ho_map, etc.) re-entered CEK mid-evaluation causing "Unknown frame type: map" errors. All 186 tests now pass across 5 suites. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>	2026-03-14 01:17:47 +00:00
giles	1765216335	Implement explicit CEK machine, continuations, effect signatures, fix dynamic-wind and inspect shadowing ... Three-phase foundations implementation: Phase A — Activate dormant shift/reset continuations with 24 SX-native tests covering basic semantics, predicates, stored continuations, nested reset, scope interaction, and TCO. Phase B — Bridge compile-time effect system to runtime: boundary_parser extracts 46 effect annotations, platform provides populate_effect_annotations() and check_component_effects() for static analysis. 6 new type tests. Phase C — Explicit CEK machine (frames.sx + cek.sx): evaluation state as data ({control, env, kont, phase, value}), 21 frame types, two-phase step function (step-eval/step-continue), native shift/reset via frame capture. Bootstrapper integration: --spec-modules cek transpiles to Python with iterative cek_run. 43 interpreted + 49 transpiled tests passing. Bug fixes: - inspect() shadowed by `import inspect` in PLATFORM_ASYNC_PY — renamed to `import inspect as _inspect` - dynamic-wind missing platform functions (call_thunk, push_wind!, pop_wind!) — added with try/finally error safety via dynamic_wind_call Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>	2026-03-13 22:14:55 +00:00