giles f1e0e0d0a3 Extract platform_py.py: single source of truth for bootstrapper platform sections ...

bootstrap_py.py (G0) and run_py_sx.py (G1) now both import static
platform sections from platform_py.py instead of duplicating them.
bootstrap_py.py shrinks from 2287 to 1176 lines — only the PyEmitter
transpiler and build orchestration remain.

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

2026-03-11 03:11:33 +00:00

..

ref

Extract platform_py.py: single source of truth for bootstrapper platform sections

2026-03-11 03:11:33 +00:00

templates

URL restructure, 404 page, trailing slash normalization, layout fixes

2026-03-10 21:30:18 +00:00

tests

Implement reader macros (#;, #|...|, #', #name) and #z3 demo

2026-03-08 20:21:40 +00:00

__init__.py

…

async_eval.py

URL restructure, 404 page, trailing slash normalization, layout fixes

2026-03-10 21:30:18 +00:00

boundary.py

Remove CSSX style dictionary infrastructure — styling is just components

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

components.py

Add theorem prover docs page with Phase 2 constraint solving

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

css_registry.py

Remove CSSX style dictionary infrastructure — styling is just components

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

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

…

evaluator.py

Level 2-3: lake morphing — server content flows through reactive islands

2026-03-10 14:29:54 +00:00

handlers.py

…

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

URL restructure, 404 page, trailing slash normalization, layout fixes

2026-03-10 21:30:18 +00:00

jinja_bridge.py

Reactive island preservation across server-driven morphs

2026-03-10 14:10:35 +00:00

layouts.py

Include layout + content component deps in streaming page scan

2026-03-07 19:02:29 +00:00

page.py

…

pages.py

Level 2-3: lake morphing — server content flows through reactive islands

2026-03-10 14:29:54 +00:00

parser.py

Add theorem prover docs page with Phase 2 constraint solving

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

prettify.py

…

primitives_ctx.py

…

primitives_io.py

Fix asset-url: use Jinja global instead of nonexistent urls.asset_url

2026-03-07 11:03:46 +00:00

primitives_stdlib.py

Remove CSSX style dictionary infrastructure — styling is just components

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

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

…

relations.py

…

resolver.py

…

types.py

Add signal test suite (17/17) and Island type to evaluator

2026-03-08 09:44:18 +00:00