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

Commit Graph

  • 8dd3eaa1d9 CALL_PRIM: primitives first, then globals — VM for-each works! giles 2026-03-19 22:48:26 +00:00
  • e6663a74ba floor(0)=-1 bug fixed + 12/12 adapter compiles + primitives giles 2026-03-19 22:34:51 +00:00
  • 231bfbecb5 VM aser-slot routing: isolated globals, inner code extraction, debug giles 2026-03-19 22:18:21 +00:00
  • df256b5607 VM adapter: compile works, env isolation needed giles 2026-03-19 21:36:38 +00:00
  • 0ce23521b7 Aser adapter compiles + loads as VM module — first VM execution giles 2026-03-19 21:18:34 +00:00
  • c79aa880af Compiler: handle :effects annotation in define, adapter-sx.sx compiles giles 2026-03-19 21:08:01 +00:00
  • f12bbae6c9 40/40 VM tests pass, auto-compile disabled until full aser compilation giles 2026-03-19 20:57:59 +00:00
  • c8c4b322a9 All 40 VM tests pass: map/filter/for-each + mutable closures fixed giles 2026-03-19 20:47:40 +00:00
  • e7da397f8e VM upvalues + HO primitives + 40 tests (36 pass, 4 fail) giles 2026-03-19 20:41:23 +00:00
  • 1bb40415a8 VM upvalue support: closures capture variables from enclosing scopes giles 2026-03-19 20:13:17 +00:00
  • a62b7c8a5e Disable auto-compile until CEK fallback is robust giles 2026-03-19 19:37:23 +00:00
  • ceb2adfe50 Compiler: cond, case, thread-first, defcomp, quasiquote, letrec giles 2026-03-19 19:34:36 +00:00
  • 5ca2ee92bc VM auto-compile infrastructure + disable until compiler is complete giles 2026-03-19 19:30:54 +00:00
  • e14fc9b0e1 Auto-compile: lambdas → bytecode VM at load time giles 2026-03-19 19:07:42 +00:00
  • a8d1163aa6 SX bytecode VM executing: compile → run → correct results giles 2026-03-19 18:52:50 +00:00
  • c8533181ab SX bytecode compiler working: all core expressions compile correctly giles 2026-03-19 18:43:30 +00:00
  • 40d0f1a438 SX bytecode: format definition, compiler, OCaml VM (Phase 1) giles 2026-03-19 18:25:41 +00:00
  • d9e80d8544 CEK frame records: eliminate Hashtbl for all 29 frame types giles 2026-03-19 17:56:50 +00:00
  • c16142d14c CekState record optimization + profiling: 1.5x speedup, root cause found giles 2026-03-19 17:40:34 +00:00
  • 8707f21ca2 Single-pass aser_slot for HTMX path + kernel eval timing + stable hash giles 2026-03-19 17:03:47 +00:00
  • 96e7bbbac1 Non-blocking batch IO for OCaml kernel + stable component hash giles 2026-03-19 16:53:01 +00:00
  • d3b3b4b720 Fix pipe desync: async drain on _send, robust Playwright tests giles 2026-03-19 16:11:55 +00:00
  • f819fda587 aser_slot migration: single-pass expansion, pipe desync fix, _render_to_sx giles 2026-03-19 14:56:55 +00:00
  • d06de87bca Island guard in aser expansion + page helper IO tests (13 tests) giles 2026-03-19 12:48:34 +00:00
  • 109ca7c70b Fix aser server-affinity expansion: keyword values, OOB wrapper, page helpers giles 2026-03-19 12:06:24 +00:00
  • 171c18d3be Aser server-affinity component expansion + readline buffer fix giles 2026-03-18 20:46:33 +00:00
  • 1c91680e63 Mark spec explorer browser render test as xfail giles 2026-03-18 19:45:10 +00:00
  • e61dc4974b Fix readline buffer limit (10MB) and evaluator spec filename giles 2026-03-18 19:37:59 +00:00
  • 8373c6cf16 SX spec introspection: the spec examines itself via sx-parse giles 2026-03-18 17:57:19 +00:00
  • fac97883f9 Spec explorer data endpoint, spec file finder, browser render test (failing) giles 2026-03-18 17:36:21 +00:00
  • 71c2003a60 OCaml evaluator for page dispatch + handler aser, 83/83 Playwright tests giles 2026-03-18 17:22:51 +00:00
  • 5b6e883e6d Add per-example sub-nav items under Examples, fold event bridge + stores in giles 2026-03-17 18:28:54 +00:00
  • 2203f56849 Restructure reactive islands: remove Overview link, Demo → Examples, add event bridge demo giles 2026-03-17 18:16:57 +00:00
  • ecbe670a6a Rebuild sx-browser.js with named-let fix and render dispatch fix giles 2026-03-17 17:32:10 +00:00
  • f9e65e1d17 Unify CEK callable dispatch, add named-let transpiler, full stdlib giles 2026-03-17 17:11:09 +00:00
  • 4c54843542 Fix stdlib.sx: trim to safe subset, fix escape-html transpilation giles 2026-03-16 10:43:08 +00:00
  • f7e4e3d762 Rebuild sx-browser.js and OCaml sx_ref.ml giles 2026-03-16 09:45:48 +00:00
  • 4308591982 Add host FFI primitives and web/lib DOM+browser libraries giles 2026-03-16 09:22:57 +00:00
  • 4ce4762237 Add spec/stdlib.sx: 46 primitives become library functions giles 2026-03-16 08:55:57 +00:00
  • 06666ac8c4 Decouple core evaluator from web platform, extract libraries giles 2026-03-16 08:37:50 +00:00
  • 0caa965de0 OCaml CEK machine compiled to WebAssembly for browser execution wasm giles 2026-03-16 07:13:49 +00:00
  • 5ab3ecb7e0 Add OCaml SX kernel build to sx_docs Docker image and enable in production macros giles 2026-03-15 23:34:50 +00:00
  • 313f7d6be1 OCaml bootstrapper Phase 2: HTML renderer, SX server, Python bridge giles 2026-03-15 23:28:48 +00:00
  • 16fa813d6d Add hosts/ocaml/_build/ to .gitignore giles 2026-03-15 20:52:43 +00:00
  • 818e5d53f0 OCaml bootstrapper: transpiler compiles full CEK evaluator (61/61 tests) giles 2026-03-15 20:51:59 +00:00
  • 3a268e7277 Data-first HO forms, fix plan pages, aser error handling (1080/1080) giles 2026-03-15 18:05:00 +00:00
  • bdbf594bc8 Add 125 new tests: CEK-advanced, signals, integration (1063/1063) giles 2026-03-15 16:13:07 +00:00
  • a1fa1edf8a Add 68 new tests: continuations-advanced + render-advanced (938/938) giles 2026-03-15 15:32:21 +00:00
  • 2ef3f03db3 Fix eval-expr stub: define as CEK wrapper, not error stub giles 2026-03-15 15:08:02 +00:00
  • 9f32c8cf0d Frame-based dynamic scope: 870/870 — all tests passing giles 2026-03-15 14:40:14 +00:00
  • 719da7914e Multi-shot delimited continuations: 868/870 passing giles 2026-03-15 14:20:31 +00:00
  • c6a662c980 Phase 4: Eliminate nested CEK from HO form handlers giles 2026-03-15 14:10:33 +00:00
  • e475222099 Merge eval.sx + frames.sx + cek.sx into single evaluator.sx giles 2026-03-15 13:43:48 +00:00
  • b4df216fae Phase 2: Remove dead tree-walk code from eval.sx giles 2026-03-15 13:28:09 +00:00
  • 9b4f735a0e Fix edge cases: 864/870 JS full, 747/747 standard, 679/679 Python giles 2026-03-15 13:03:02 +00:00
  • 293af75821 Phase 1: CEK is now the sole evaluator on JavaScript giles 2026-03-15 12:49:08 +00:00
  • ebb3445667 Cross-host test suite: JS 870/870, Python 679/679 (100% both) giles 2026-03-15 12:23:58 +00:00
  • 8f146cc810 Add strict typing mode + 139 new tests: 749/749 passing giles 2026-03-15 12:12:48 +00:00
  • c67adaceaf All 610 spec tests passing (100%) giles 2026-03-15 12:00:29 +00:00
  • a2ab12a1d5 Fix render mode leak, defcomp tests, TCO depth: 513/516 passing (99.4%) giles 2026-03-15 11:51:24 +00:00
  • 5a03943b39 Split env-bind! from env-set!: fix lexical scoping and closures giles 2026-03-15 11:38:35 +00:00
  • c20369b766 Add comprehensive spec tests: closures, macros, TCO, defcomp, parser giles 2026-03-15 11:19:39 +00:00
  • 237ac234df Fix JS spec tests: 466/469 passing (99.4%) giles 2026-03-15 11:11:40 +00:00
  • 4b21efc43c JS test harness: 375/469 spec tests pass with full build giles 2026-03-15 10:46:50 +00:00
  • 1ea80a2b71 Add comprehensive spec tests: 132 primitives + 9 freeze/thaw giles 2026-03-15 10:37:07 +00:00
  • c3aee94c8f Revert eval.sx tree-walk removal — keep stable, pare down later giles 2026-03-15 10:33:53 +00:00
  • 1800b80316 Add Node.js test harness for spec tests giles 2026-03-15 10:22:00 +00:00
  • 1a5dbc2800 Fix test runner paths, all 203 tests pass giles 2026-03-15 10:04:01 +00:00
  • 7cde140c7e Phase 5-7: Clean up duplicates, verify end-to-end giles 2026-03-15 02:29:37 +00:00
  • 72eaefac13 Phase 4: Move web framework files to web/ and web/tests/ giles 2026-03-15 02:26:18 +00:00
  • 7036621be8 Phase 3: Move host files to hosts/python/ and hosts/javascript/ giles 2026-03-15 02:18:56 +00:00
  • 05f7b10864 Phase 2: Move core spec files to spec/ and spec/tests/ giles 2026-03-15 02:12:13 +00:00
  • 8ed8134d66 Phase 1: Create directory structure for spec/hosts/web/sx giles 2026-03-15 02:09:29 +00:00
  • f8a8e1eeb0 Add restructure plan for spec/hosts/web/sx separation giles 2026-03-15 02:08:09 +00:00
  • 1a3d7b3d77 Separate core spec from web framework giles 2026-03-15 01:42:19 +00:00
  • ab015fa2fd Remove incomplete concurrent CEK impl — spec only in plan giles 2026-03-15 00:53:02 +00:00
  • b3a7df45e6 Deep concurrent CEK spec in foundations plan giles 2026-03-15 00:50:47 +00:00
  • e2940e1c5f Add Content Addressing page under CEK Machine giles 2026-03-15 00:19:43 +00:00
  • f7debec7c6 Content-addressed computation: freeze → hash → CID → thaw giles 2026-03-15 00:17:29 +00:00
  • 488fc53fda Persist home stepper state to localStorage via freeze scope giles 2026-03-14 23:27:46 +00:00
  • cb4f4b85e5 Named freeze scopes for serializable reactive state giles 2026-03-14 22:42:21 +00:00
  • a759f4da3b Add Freeze/Thaw page under CEK Machine with live demo giles 2026-03-14 22:14:33 +00:00
  • b03c84b962 Serializable CEK state: cek-freeze and cek-thaw giles 2026-03-14 22:11:05 +00:00
  • 4dd9968264 Fix bracket highlighting: both ( and ) share open step index giles 2026-03-14 22:00:43 +00:00
  • 7cc1bffc23 Reactive code view stepper for home page giles 2026-03-14 21:58:42 +00:00
  • 169097097c Imperative code view: spans built once, classes updated on each step giles 2026-03-14 20:47:10 +00:00
  • a7638e48d5 Reactive code view with syntax colouring, fix indenting and nil refs giles 2026-03-14 20:43:57 +00:00
  • 93e140280b Add reactive render stepper to home page, fix nil→NIL in platform JS giles 2026-03-14 20:40:24 +00:00
  • 07bf5a1142 Add render stepper to home page giles 2026-03-14 20:14:00 +00:00
  • 623f947b52 Fix duplicate sx-cssx-live style tags giles 2026-03-14 17:16:13 +00:00
  • 41f4772ba7 Strip legacy CSS from SX app: no Prism, Ghost, FontAwesome extras giles 2026-03-14 16:17:27 +00:00
  • ae1ba46b44 Add live CEK stepper island — interactive stepping debugger giles 2026-03-14 13:31:52 +00:00
  • 0047757af8 Add Platonic SX essay to philosophy section giles 2026-03-14 13:25:10 +00:00
  • b3cba5e281 Update foundations plan: all five layers complete, reframe next steps giles 2026-03-14 13:20:07 +00:00
  • 48d493e9cc Fix init.sx: move out of component directory to avoid server-side eval giles 2026-03-14 11:57:40 +00:00
  • 7556cc303d Add CEK/frames specs and spec explorer to Language nav giles 2026-03-14 11:35:56 +00:00
  • 919998be1c Move SX app CSS and init behavior from Python to init.sx giles 2026-03-14 11:11:49 +00:00
  • 2211655060 CEK-native higher-order forms: map, filter, reduce, some, every?, for-each giles 2026-03-14 10:45:36 +00:00
  • d0a5ce1070 Remove invoke from platform interfaces, add cek-call integration tests giles 2026-03-14 10:29:32 +00:00
  • 6581211a10 Replace invoke with cek-call in adapters and engine giles 2026-03-14 10:16:47 +00:00