giles 7cde140c7e Phase 5-7: Clean up duplicates, verify end-to-end ...

Remove all duplicate .sx files from shared/sx/ref/ — originals now in
spec/, web/, hosts/. Only generated runtime (sx_ref.py), async shim,
and theorem prover tools remain in shared/sx/ref/.

Final structure:
  spec/          10 .sx files (core language)
  spec/tests/     8 .sx files (core tests)
  web/           10 .sx files (web framework)
  web/tests/      7 .sx files (web tests)
  hosts/python/   bootstrapper + platform + 5 test runners
  hosts/javascript/ bootstrapper + CLI + platform
  shared/sx/ref/  generated runtime only

All 89 tests pass. Both bootstrappers build fully.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2026-03-15 02:29:37 +00:00

..

__init__.py

Add adapter-sx.sx transpilation, async wrapper, and SX_USE_REF switching

2026-03-05 22:05:35 +00:00

async_eval_ref.py

Fix process-bindings scope loss and async-invoke arity, bootstrap async adapter

2026-03-11 16:38:47 +00:00

bootstrap_test.py

Delete evaluator.py shim: all imports go directly to bootstrapped sx_ref.py

2026-03-11 11:15:48 +00:00

BOUNDARY.md

Remove CSSX style dictionary infrastructure — styling is just components

2026-03-08 00:00:23 +00:00

demo-signals.html

Transpile signals.sx to JS and Python via bootstrappers

2026-03-08 10:17:16 +00:00

prove.sx

Add (param :as type) annotations to all fn/lambda params across SX spec

2026-03-11 20:27:36 +00:00

reader_z3.py

Delete evaluator.py shim: all imports go directly to bootstrapped sx_ref.py

2026-03-11 11:15:48 +00:00

run_py_sx.py

Delete evaluator.py shim: all imports go directly to bootstrapped sx_ref.py

2026-03-11 11:15:48 +00:00

sx_ref.py

Phase 4: Move web framework files to web/ and web/tests/

2026-03-15 02:26:18 +00:00

z3.sx

Add (param :as type) annotations to defcomp params across all services and templates

2026-03-11 21:01:02 +00:00