Commit Graph

  • 7515634901 Add spec-explorer-data page helper to boundary.sx giles 2026-03-12 00:22:41 +00:00
  • c5a4340293 Fix spec-explorer-data: pass metadata from SX routing instead of env lookup giles 2026-03-12 00:22:25 +00:00
  • 365440d42f Add spec-explorer-data page helper to boundary.sx giles 2026-03-12 00:21:44 +00:00
  • fe36877c71 Merge worktree-typed into macros: spec explorer increment 1 giles 2026-03-12 00:16:37 +00:00
  • 4aa2133b39 Add spec explorer: structured interactive view of SX spec files giles 2026-03-12 00:16:33 +00:00
  • c2d9a3d2b1 Merge worktree-endpoints: migrate all ref endpoints to SX with typed handlers giles 2026-03-12 00:15:22 +00:00
  • 575d100f67 Migrate remaining 7 ref endpoints to SX, add :returns type annotations giles 2026-03-12 00:14:40 +00:00
  • 56f49f29fb Merge worktree-typed into macros: spec explorer plan giles 2026-03-12 00:05:49 +00:00
  • e046542aa0 Add spec explorer plan to sx-docs plans section giles 2026-03-12 00:05:45 +00:00
  • 89e8645d8f Merge branch 'worktree-endpoints' into macros giles 2026-03-11 23:48:30 +00:00
  • fba84540e2 Extend defhandler with :path/:method/:csrf, migrate 12 ref endpoints to SX giles 2026-03-11 23:48:05 +00:00
  • 4e96997e09 Merge worktree-typed into macros: deftype, defeffect, and effect annotations giles 2026-03-11 23:24:37 +00:00
  • 2f42e8826c Add :effects annotations to all spec files and update bootstrappers giles 2026-03-11 23:22:34 +00:00
  • 524c99e4ff Restructure specs into hierarchical sections, add "The Art Chain" essay giles 2026-03-11 23:11:24 +00:00
  • 0f9b449315 Add :effects annotations to boundary.sx IO and signal primitives giles 2026-03-11 23:02:22 +00:00
  • a69604acaf Add type annotations to remaining untyped spec params giles 2026-03-11 22:57:20 +00:00
  • ce7ad125b6 Add deftype and defeffect to SX type system (Phases 6-7) giles 2026-03-11 22:51:19 +00:00
  • 8f88e52b27 Add DOM primitives (dom-set-prop, dom-call-method, dom-post-message), bump SW cache v2, remove video demo giles 2026-03-11 21:51:05 +00:00
  • b8018ba385 Add type annotations to federation-choose-username defcomp params giles 2026-03-11 21:03:17 +00:00
  • 95ffc0ecb7 Merge worktree-typed into macros: defcomp type annotations giles 2026-03-11 21:02:12 +00:00
  • 477ce766ff Add (param :as type) annotations to defcomp params across all services and templates giles 2026-03-11 21:01:02 +00:00
  • 98c1023b81 Merge branch 'worktree-typed' into macros giles 2026-03-11 20:27:43 +00:00
  • b99e69d1bb Add (param :as type) annotations to all fn/lambda params across SX spec giles 2026-03-11 20:27:36 +00:00
  • a425ea8ed4 Marsh demo: video embed with reactive+hypermedia interplay giles 2026-03-11 20:27:04 +00:00
  • c82941d93c Merge main into macros: resolve nav restructure conflicts giles 2026-03-11 19:26:56 +00:00
  • 9b38ef2ce9 Add deftype and static effect system to typed-sx plan giles 2026-03-11 19:12:37 +00:00
  • 4d54be6b6b Restructure SX docs nav into 4 top-level sections with nested routing giles 2026-03-11 18:50:31 +00:00
  • 5d5512e74a Add typed params to 67 primitives, implement check-primitive-call giles 2026-03-11 18:39:20 +00:00
  • 8a530569a2 Add (name :as type) annotation syntax for defcomp params giles 2026-03-11 17:12:54 +00:00
  • b82fd7822d Merge branch 'main' into worktree-typed-sx giles 2026-03-11 17:06:30 +00:00
  • e5dbe9f3da Add types.sx gradual type system spec module with 44 tests giles 2026-03-11 17:06:09 +00:00
  • 0174fbfea3 Regenerate sx-browser.js — file was accidentally emptied in previous commit giles 2026-03-11 16:56:51 +00:00
  • cd7653d8c3 Fix cond ambiguity: check ALL clauses with cond-scheme?, not just first giles 2026-03-11 16:51:41 +00:00
  • ff6c1fab71 Fix process-bindings scope loss and async-invoke arity, bootstrap async adapter giles 2026-03-11 16:38:47 +00:00
  • e843602ac9 Fix aser list flattening bug, add wire format test suite (41 tests) giles 2026-03-11 14:59:31 +00:00
  • c95e19dcf2 Page helpers demo: defisland, map-in-children fix, _eval_slot ref evaluator giles 2026-03-11 14:30:12 +00:00
  • 29c90a625b Delete evaluator.py shim: all imports go directly to bootstrapped sx_ref.py giles 2026-03-11 11:15:48 +00:00
  • 4c4806c8dd Fix all 9 spec test failures: Env scope chain, IO detection, offline mutation giles 2026-03-11 09:42:04 +00:00
  • d8cddbd971 Replace hand-written evaluator with bootstrapped spec, emit flat Python giles 2026-03-11 09:18:17 +00:00
  • 3906ab3558 Fix quasiquote flattening bug, decouple relations from evaluator giles 2026-03-11 04:53:34 +00:00
  • 46cd179703 Fix multi-body lambda in evaluator, rebuild sx_ref.py with router module giles 2026-03-11 04:34:17 +00:00
  • 5d3676d751 Register component-affinity as JS primitive for runtime SX access giles 2026-03-11 03:56:18 +00:00
  • 86363d9f34 Fix browser: set render-active in DOM adapter + on adapter init giles 2026-03-11 03:51:59 +00:00
  • 8586f54dcb Add render-active? gate to JS platform, fix parity test for &rest giles 2026-03-11 03:50:13 +00:00
  • f54ebf26f8 Separate eval from render: render-active? gate in eval-list giles 2026-03-11 03:42:04 +00:00
  • 0a7a9aa5ae Add parity test suite: 116 tests comparing hand-written vs bootstrapped evaluator giles 2026-03-11 03:20:33 +00:00
  • f1e0e0d0a3 Extract platform_py.py: single source of truth for bootstrapper platform sections giles 2026-03-11 03:11:33 +00:00
  • 1341c144da URL restructure, 404 page, trailing slash normalization, layout fixes giles 2026-03-10 21:30:18 +00:00
  • e149dfe968 Fix island hydration double-render bug, add marshes plan giles 2026-03-10 15:53:44 +00:00
  • b8c5426093 Lake demo: page path in copyright updates across navigation morphs giles 2026-03-10 15:05:19 +00:00
  • 9b9fc6b6a5 Level 2-3: lake morphing — server content flows through reactive islands giles 2026-03-10 14:29:54 +00:00
  • d5e416e478 Reactive island preservation across server-driven morphs giles 2026-03-10 14:10:35 +00:00
  • 8a5c115557 SX docs: configurable shell, SX-native event handlers, nav fixes giles 2026-03-10 11:00:59 +00:00
  • 31a6e708fc more plans giles 2026-03-09 18:07:23 +00:00
  • ec1093d372 Nav redesign: embedded breadcrumb navigation with recursive depth giles 2026-03-09 14:37:37 +00:00
  • cad65bcdf1 Add js.sx bootstrapper docs page with G0 bug discovery writeup giles 2026-03-09 01:44:02 +00:00
  • e6ca1a5f44 Implement js.sx: self-hosting SX-to-JavaScript bootstrapper giles 2026-03-09 01:36:12 +00:00
  • fd4f13e571 Fix ref_dir UnboundLocalError in self-hosting bootstrapper page giles 2026-03-09 01:24:03 +00:00
  • e5acfdcd3c Add live self-hosting bootstrapper page to bootstrappers section giles 2026-03-09 01:18:20 +00:00
  • b4944aa2b6 Implement py.sx: self-hosting SX-to-Python bootstrapper giles 2026-03-09 01:12:50 +00:00
  • e4e8b45cb4 Update py.sx scope: general SX-to-Python translator, not spec-only giles 2026-03-09 00:54:20 +00:00
  • db1691d8f5 Add JS bootstrapper plan: js.sx design document giles 2026-03-09 00:52:35 +00:00
  • 192d48d0e3 Add self-hosting bootstrapper plan: py.sx design document giles 2026-03-09 00:45:07 +00:00
  • c0ced8a40f Fix production blank page: SxExpr page_sx was being parsed as AST giles 2026-03-09 00:17:01 +00:00
  • ff41fa2238 Declare prove-data page helper in boundary.sx giles 2026-03-08 23:20:11 +00:00
  • 00e7ba4650 Add theorem prover docs page with Phase 2 constraint solving giles 2026-03-08 23:17:09 +00:00
  • 7b8ae473a5 Merge macros: z3.sx, prove.sx, parser unicode, auto reader macros giles 2026-03-08 22:48:10 +00:00
  • 3ca89ef765 Self-hosted z3.sx translator, prove.sx prover, parser unicode, auto reader macros giles 2026-03-08 22:47:53 +00:00
  • 8b1333de96 Fix unterminated list in plans.sx causing sx_docs crash giles 2026-03-08 20:59:03 +00:00
  • f9939a660c Fix unterminated list in plans.sx causing sx_docs crash giles 2026-03-08 20:59:03 +00:00
  • 8be8926155 Fix z3 demo code blocks: use (highlight ... "lisp") not :lang giles 2026-03-08 20:39:41 +00:00
  • 03ba8e58e5 Implement reader macros (#;, #|...|, #', #name) and #z3 demo giles 2026-03-08 20:21:40 +00:00
  • 56589a81b2 Fix lambda multi-body, reactive island demos, and add React is Hypermedia essay giles 2026-03-08 20:00:44 +00:00
  • 06adbdcd59 Remove redundant features: ref sugar, suspense, transitions giles 2026-03-08 16:54:40 +00:00
  • 7efd1b401b Add suspense, resource, and transitions — Phase 2 complete giles 2026-03-08 16:40:13 +00:00
  • a496ee6ae6 Remove reactive class/style (CSSX covers it), add error boundaries + resource giles 2026-03-08 16:35:19 +00:00
  • 6bda2bafa2 Add Phase 2 P1 features: reactive class/style, refs, portals giles 2026-03-08 16:27:55 +00:00
  • 3103d7ff9d Add keyed list reconciliation to reactive-list giles 2026-03-08 16:15:15 +00:00
  • 8683cf24c3 Island disposal, reactive lists, input binding, and Phase 2 plan giles 2026-03-08 16:10:52 +00:00
  • efc7e340da Merge branch 'worktree-philosophy' into macros giles 2026-03-08 15:19:14 +00:00
  • 09164e32ad Add Philosophy section with Wittgenstein, Dennett, and S-Existentialism essays giles 2026-03-08 15:19:03 +00:00
  • 189a0258d9 Fix reactive islands client-side navigation and hydration giles 2026-03-08 15:18:45 +00:00
  • 9a0173419a Wire reactive islands end-to-end: live interactive demos on the demo page giles 2026-03-08 11:57:58 +00:00
  • 50a184faf2 Update reactive islands plan status — nearly all items done giles 2026-03-08 11:18:09 +00:00
  • 4709c6bf49 Wire island hydration into post-swap lifecycle giles 2026-03-08 11:17:22 +00:00
  • e15b5c9dbc Add event bindings and data-sx-emit processing giles 2026-03-08 11:15:20 +00:00
  • c55f0956bc Bootstrap stores + event bridge, add island hydration to boot.sx giles 2026-03-08 11:13:18 +00:00
  • 5b70cd5cfc Spec event bridge and named stores, move plan to reactive islands section giles 2026-03-08 10:59:58 +00:00
  • 0da5dc41e1 Add Reactive Islands as top-level section in sx-docs giles 2026-03-08 10:37:39 +00:00
  • 57ff7705c7 Merge branch 'worktree-react' into macros giles 2026-03-08 10:22:08 +00:00
  • c344b0d7b0 Regenerate sx_ref.py with deps + signals spec modules giles 2026-03-08 10:22:04 +00:00
  • baa9d66a59 Auto-include deps and signals spec modules with HTML adapter giles 2026-03-08 10:21:52 +00:00
  • cf2e386cda Merge branch 'worktree-react' into macros giles 2026-03-08 10:17:40 +00:00
  • fe289287ec Transpile signals.sx to JS and Python via bootstrappers giles 2026-03-08 10:17:16 +00:00
  • 26320abd64 Add signal test suite (17/17) and Island type to evaluator giles 2026-03-08 09:44:18 +00:00
  • a97f4c0e39 Add reactive islands spec: signals.sx + defisland across all adapters giles 2026-03-08 09:34:47 +00:00
  • 391a0c675b Merge branch 'worktree-zero-tooling-essay' into macros giles 2026-03-08 02:04:47 +00:00
  • 145028ccc0 Declare Phase 7c+7d page helpers in boundary.sx and register orchestration tests in app runner giles 2026-03-08 02:04:42 +00:00
  • c7c824c488 Merge branch 'worktree-zero-tooling-essay' into macros giles 2026-03-08 01:53:32 +00:00
  • 7f665d874c Add orchestration test suite: 17 tests for Phase 7c+7d giles 2026-03-08 01:53:27 +00:00