2 Commits

Author	SHA1	Message	Date
giles	fea44f9fcc	Add reactive runtime demos + sx-web federation plan ... 7 interactive island demos for the reactive runtime layers: - L0 Ref (timer + DOM handle), L1 Foreign (canvas via host-call), L2 Machine (traffic light), L3 Commands (undo/redo), L4 Loop (bouncing ball), L5 Keyed Lists, L6 App Shell Fix OCaml build: add (wrapped false) to lib/dune, remove Sx. qualifiers. Fix JS build: include dom-lib + browser-lib in adapter compilation. New plan: sx-web federated component web — browser nodes via WebTransport, server nodes via IPFS, in-browser authoring, AI composition layer. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>	2026-03-26 00:54:23 +00:00
giles	818e5d53f0	OCaml bootstrapper: transpiler compiles full CEK evaluator (61/61 tests) ... SX-to-OCaml transpiler (transpiler.sx) generates sx_ref.ml (~90KB, ~135 mutually recursive functions) from the spec evaluator. Foundation tests all pass: parser, primitives, env operations, type system. Key design decisions: - Env variant added to value type for CEK state dict storage - Continuation carries optional data dict for captured frames - Dynamic var tracking distinguishes OCaml fn calls from SX value dispatch - Single let rec...and block for forward references between all defines - Unused ref pre-declarations eliminated via let-bound name detection Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>	2026-03-15 20:51:59 +00:00