Correct errors

Author: johnsamuelwrites

docs/demos.md

@@ -1,112 +1,60 @@
 # Demos
 
-Multilingual 1.0 showcases a new kind of AI-native, reactive, multilingual
-programming platform.
+A short tour of Multilingual in the browser and in the repository.
 
-## Core 1.0 flagship demos
+## Featured demos
 
-### Multilingual AI agent (3 languages)
+### Multilingual AI agent
 
-The most compelling demo: the same agent logic written in English, French, and
-Japanese, running identically.  Proves that Multilingual is the only AI
-programming platform where agent code is idiomatic in any human language.
+The same agent logic written in three human languages with shared behavior.
 
-- `examples/agent_en.multi` — English
-- `examples/agent_fr.multi` — French
-- `examples/agent_ja.multi` — Japanese
+- `examples/agent_en.multi`
+- `examples/agent_fr.multi`
+- `examples/agent_ja.multi`
 
-### Memory Card Game (Reactive UI showcase)
+### Memory Game
 
-Interactive game demonstrating `observe var`, `async/await`, and event binding within a reactive UI. 
-Written in both English and French to prove polyglot semantics.
+Reactive UI, async handlers, and browser interaction in Multilingual.
 
-**[Play the Memory Game →](memory-game/)** (Compiled to WASM)
+**[Play the Memory Game](memory-game-demo.html)**
 
-- `examples/memory_game_en.multi` — English version
-- `examples/memory_game_fr.multi` — French version (identical logic, different syntax)
+- `examples/memory_game_en.multi`
+- `examples/memory_game_fr.multi`
 
 ### Reactive counter
 
-`observe var` + `on .change` + `canvas` — the simplest reactive web app.
+A compact reactive web app using state changes and canvas updates.
 
 - `examples/reactive_counter.multi`
 
-### Streaming chat (French)
+### Streaming chat
 
-A streaming AI response bound to a reactive view, written in French.
+French-language example of streaming output bound to a reactive view.
 
 - `examples/streaming_chat_fr.multi`
 
-### Semantic search (Japanese)
+### Semantic search
 
-`embed` + `nearest` + `~=` semantic match across Japanese user input.
+Japanese example using semantic matching concepts.
 
 - `examples/semantic_search_ja.multi`
 
-### Multilingual AI dashboard
+### Multilingual dashboard
 
-`@agent`, reactive state, streaming output, and canvas composition.
+Combines agent-style behavior, reactive state, and UI composition.
 
 - `examples/multilingual_dashboard.multi`
 
-## CLI tools for Core 1.0
+## Browser tools
 
-### Inspect the semantic IR
+- **[Open the Playground](playground.html)** for live editing and experimentation.
+- **[Open the WASM Demo Hub](browser/index.html)** for precompiled browser demos.
 
-```
-multilingual ir my_program.multi
-multilingual ir my_program.multi --format json
-```
-
-### Explain a program's structure
+## Useful CLI commands
 
-```
+```bash
+multilingual ir my_program.multi
 multilingual explain my_program.multi
-```
-
-Output: a plain-English summary of all declared functions, agents, tools,
-reactive bindings, effects, and type declarations.
-
-### Preview reactive UI output
-
-```
-multilingual ui-preview my_program.ml
 multilingual ui-preview my_program.ml --html
-multilingual ui-preview my_program.ml --js
-```
-
-### Validate with Core IR before running
-
-```
 multilingual run my_program.ml --mode core
 ```
-
-Validates the semantic IR (checks capabilities, binding names, match
-statement completeness) before executing.
-
-## Browser deployment models
-
-### 1. Pyodide playground
-
-Use for live editing, full interpreter behavior, IR inspection, and teaching.
-
-**[Open the Pyodide Playground](playground.html)**
-
-### 2. Precompiled Multilingual to WASM
-
-Use for ahead-of-time compilation to `module.wasm` and minimal JavaScript host.
-
-**[Open the Browser WASM Demo Hub](browser/index.html)**
-
-## What each demo proves
-
-| Demo | Shows |
-|------|-------|
-| Multilingual agent (3 languages) | Agent logic is idiomatic in any human language |
-| Memory Card Game | `observe var`, `async/await`, event binding in reactive UI; polyglot semantics (English + French) |
-| Reactive counter | `observe var` + `on .change` + `canvas` reactive model |
-| Streaming chat (French) | AI stream bound to reactive view in French |
-| Semantic search (Japanese) | `~=` and `embed` across multilingual input |
-| Pyodide playground | Live browser compilation and IR inspection |
-| Browser WASM demo | Production-ready prebuilt artifact deployment |
-

multilingualprogramming/core/semantic_lowering.py

@@ -1290,7 +1290,13 @@ def _fix_misplaced_ui_elements(self, children: list) -> list:
 
                 while len(loop_body) > 1:
                     last = loop_body[-1]
-                    if isinstance(last, IRUIElement) or (hasattr(last, '__class__') and 'Expr' in last.__class__.__name__):
+                    if (
+                        isinstance(last, IRUIElement)
+                        or (
+                            hasattr(last, "__class__")
+                            and "Expr" in last.__class__.__name__
+                        )
+                    ):
                         extracted.insert(0, last)
                         loop_body.pop()
                     else:

tests/core1/test_ui_output_validation.py

@@ -7,16 +7,21 @@
 from multilingualprogramming.codegen.ui_lowering import lower_to_ui
 
 
-def test_memory_game_html_has_required_structure():
-    """Generated HTML has all required structural elements."""
+def _load_memory_game_ui():
+    """Compile the memory game example and return the UI lowering result."""
     game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
+    source = game_file.read_text(encoding="utf-8")
     lexer = Lexer(source, lang="en")
     tokens = lexer.tokenize()
     parser = Parser(tokens, lang="en")
     program = parser.parse()
     ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    return lower_to_ui(ir_program)
+
+
+def test_memory_game_html_has_required_structure():
+    """Generated HTML has all required structural elements."""
+    ui_result = _load_memory_game_ui()
     html = ui_result.emit_html()
 
     # Check doctype
@@ -38,14 +43,7 @@ def test_memory_game_html_has_required_structure():
 
 def test_memory_game_html_has_css_styling():
     """Generated HTML includes CSS for game styling."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     html = ui_result.emit_html()
 
     # Check for stylesheet
@@ -66,14 +64,7 @@ def test_memory_game_html_has_css_styling():
 
 def test_memory_game_js_has_required_functions():
     """Generated JS has all required signal and function declarations."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check for signal declarations
@@ -91,14 +82,7 @@ def test_memory_game_js_has_required_functions():
 
 def test_memory_game_js_no_undefined_calls():
     """Generated JS does not contain calls to undefined functions."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Should not call memory_game() as a function (it's not in JS context)
@@ -110,14 +94,7 @@ def test_memory_game_js_no_undefined_calls():
 
 def test_memory_game_js_has_render_initialization():
     """Generated JS initializes render on page load."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check for initialization
@@ -126,14 +103,7 @@ def test_memory_game_js_has_render_initialization():
 
 def test_memory_game_js_signal_change_bindings():
     """Generated JS binds signal changes to re-render."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check that signals are wired to re-render
@@ -143,14 +113,7 @@ def test_memory_game_js_signal_change_bindings():
 
 def test_memory_game_js_has_reactive_runtime():
     """Generated JS includes ReactiveSignal and ReactiveList classes."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check for reactive runtime
@@ -162,14 +125,7 @@ def test_memory_game_js_has_reactive_runtime():
 
 def test_memory_game_js_for_loop_structure():
     """Generated JS has correct for-loop structure for game board."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check for loop iterations 0-7
@@ -192,21 +148,16 @@ def test_memory_game_js_for_loop_structure():
         if 'className = \'reset-btn\'' in line:
             reset_button_line = i
 
-    if for_loop_line and status_div_line:
-        # Status div should be after for loop
+    if for_loop_line is not None and status_div_line is not None:
+        # Status div and reset button should be after the card loop.
         assert status_div_line > for_loop_line
+    if for_loop_line is not None and reset_button_line is not None:
+        assert reset_button_line > for_loop_line
 
 
 def test_memory_game_html_valid_utf8():
     """Generated HTML is valid UTF-8 and encodes properly."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     html = ui_result.emit_html()
 
     # Should be valid UTF-8 and encodable without errors
@@ -218,14 +169,7 @@ def test_memory_game_html_valid_utf8():
 
 def test_memory_game_js_event_handlers():
     """Generated JS has event handlers for card clicks."""
-    game_file = Path("examples/memory_game_en.multi")
-    source = game_file.read_text()
-    lexer = Lexer(source, lang="en")
-    tokens = lexer.tokenize()
-    parser = Parser(tokens, lang="en")
-    program = parser.parse()
-    ir_program = lower_to_semantic_ir(program, lang="en")
-    ui_result = lower_to_ui(ir_program)
+    ui_result = _load_memory_game_ui()
     js = ui_result.emit_js()
 
     # Check for event handler attachment