giles 2f42e8826c Add :effects annotations to all spec files and update bootstrappers ...

Bootstrappers (bootstrap_py.py, js.sx) now skip :effects keyword in
define forms, enabling effect annotations throughout the spec without
changing generated output.

Annotated 180+ functions across 14 spec files:
- signals.sx: signal/deref [] pure, reset!/swap!/effect/batch [mutation]
- engine.sx: parse-* [] pure, morph-*/swap-* [mutation io]
- orchestration.sx: all [mutation io] (browser event binding)
- adapter-html.sx: render-* [render]
- adapter-dom.sx: render-* [render], reactive-* [render mutation]
- adapter-sx.sx: aser-* [render]
- adapter-async.sx: async-render-*/async-aser-* [render io]
- parser.sx: all [] pure
- render.sx: predicates [] pure, process-bindings [mutation]
- boot.sx: all [mutation io] (browser init)
- deps.sx: scan-*/transitive-* [] pure, compute-all-* [mutation]
- router.sx: all [] pure (URL matching)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2026-03-11 23:22:34 +00:00

..

ref

Add :effects annotations to all spec files and update bootstrappers

2026-03-11 23:22:34 +00:00

templates

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

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

tests

Add typed params to 67 primitives, implement check-primitive-call

2026-03-11 18:39:20 +00:00

__init__.py

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

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

async_eval.py

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

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

boundary.py

…

components.py

Add theorem prover docs page with Phase 2 constraint solving

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

css_registry.py

…

deps.py

Wire reactive islands end-to-end: live interactive demos on the demo page

2026-03-08 11:57:58 +00:00

env.py

Fix all 9 spec test failures: Env scope chain, IO detection, offline mutation

2026-03-11 09:42:04 +00:00

handlers.py

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

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

helpers.py

SX docs: configurable shell, SX-native event handlers, nav fixes

2026-03-10 11:00:59 +00:00

html_to_sx.py

…

html.py

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

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

jinja_bridge.py

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

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

layouts.py

…

page.py

…

pages.py

Restructure SX docs nav into 4 top-level sections with nested routing

2026-03-11 18:50:31 +00:00

parser.py

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

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

prettify.py

…

primitives_ctx.py

…

primitives_io.py

…

primitives_stdlib.py

…

primitives.py

Self-hosted z3.sx translator, prove.sx prover, parser unicode, auto reader macros

2026-03-08 22:47:53 +00:00

query_executor.py

…

query_registry.py

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

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

relations.py

Fix quasiquote flattening bug, decouple relations from evaluator

2026-03-11 04:53:34 +00:00

resolver.py

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

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

types.py

Merge branch 'main' into worktree-typed-sx

2026-03-11 17:06:30 +00:00