0f66a6c | plum | pyrossh

git clone https://git.pyrossh.dev/plum

A statically typed, imperative programming language inspired by rust, python

0f66a6c — Peter John 2026-11-04T12:24:33+05:30

docs: plan example consolidation and games/assets move (T25)

Files changed (2) hide show

docs/decisions/2026-11-language-and-scene-decisions.md +2 -0
docs/plans/2026-11-03-language-restrictions.md +111 -7

docs/decisions/2026-11-language-and-scene-decisions.md CHANGED Viewed

@@ -17,6 +17,8 @@ A record of the design decisions taken in the 2026-11-03/04 sessions, with the r
   - `plum-std/game/functional/`: Picture, Anim, Ui (state/view).
   - `plum-examples/games/imperative/`, `games/pure/` and `games/functional/` for their example games (the mutable games moved too, 2026-11-04). PureScene is imperative under an ownership discipline (`act(own n)` edits a retained tree in place); only the functional component style is functional. `plum game` finds assets in the nearest parent `assets/` folder.
+- **Examples (user, 2026-11-04):** examples consolidated from 34 files to about 20 topical ones (every test kept), the mutable `game_loop` moved to `games/imperative/`, and the shared game assets moved to `plum-examples/games/assets/`.
 ## 3. Pure scene on enums
 - **Decision (user):** the pure scene graph models sum types with enums, not a 14-field trait embedded by records.

docs/plans/2026-11-03-language-restrictions.md CHANGED Viewed

@@ -54,6 +54,8 @@ flowchart LR
   T15[delete own]
   T16[imperative games]
   T17[imperative std]
+  T23[component game]
+  T25[consolidate examples]
   %% taskgraph
   T1 --> T2
   T2 --> T3
@@ -68,7 +70,9 @@ flowchart LR
   T14 --> T9
   T9 --> T10
   T10 --> T15
+  T15 --> T25
-  T15 --> T11
+  T25 --> T11
+  T23 --> T9
   T16 --> T17
   T17 --> T6
 ```
@@ -108,7 +112,7 @@ Package: compiler; categories: deep, state.
 **Test code:** `fusion_runs_before_union_lowering` (explain note for a union-member pipeline); plum-wasm-codegen/tests/fusion_alloc_test.rs unchanged and green; LOC removed from drive/simplify reported.
 ### T3 fusion candidates must be expression-bodied · Complexity 3 (O-1) · Est. context 40k
-**Owns:** plum-core/src/drive.rs, plum-core/tests/drive_test.rs, plum-std/List.plum, plum-std/game/functional/Picture.plum
+**Owns:** plum-core/src/drive.rs, plum-core/tests/drive_test.rs, plum-std/List.plum, plum-std/game/functional/Picture.plum, plum-wasm-codegen/tests/fusion_alloc_test.rs
 **Components:** 1
 **LOC owned:** 90
 **Tests:** fast
@@ -174,7 +178,7 @@ e.g. `fun view(s: State) -> SceneNode = ...` -> pure; `fun render(io: Io, n: Sce
 **Test code:** plum-std green; `grep -rn "extern fun" plum-std` only in Io.plum.
 ### T13 migrate examples, games, fixtures, host tests to `io` · Complexity 4 (O-1) · Est. context 55k
-**Owns:** plum-examples, plum-game/web-test/fixtures, plum-game/tests/host_test.rs, README.md, plum-std/Io.plum, plum-checker/src/lib.rs
+**Owns:** plum-examples, plum-game/web-test/fixtures, plum-game/tests/host_test.rs, README.md, plum-std/Io.plum, plum-checker/src/lib.rs, plum-lsp/src/main.rs, plum-lsp/src/completion.rs, plum-std/game/Game.plum, plum-std/Os.plum, plum-std/Time.plum, plum-std/Random.plum, plum-std/Http.plum, plum-game/web-test/tests/web_check.rs
 **Components:** 2
 **LOC owned:** 100
 **Tests:** slow
@@ -191,7 +195,7 @@ e.g. `fun view(s: State) -> SceneNode = ...` -> pure; `fun render(io: Io, n: Sce
 Package: compiler + std; categories: state, deep.
 ### T7 `mut` fields grammar and the immutability rule · Complexity 5 (O-1) · Est. context 50k
-**Owns:** plum-tooling/tree-sitter-plum/grammar.js, plum-tooling/tree-sitter-plum/src, plum-tooling/tree-sitter-plum/test/corpus/mut_fields.txt, plum-core/src/ast.rs, plum-core/src/parser.rs, plum-checker/src/lib.rs, plum-checker/tests/mutability_test.rs
+**Owns:** plum-tooling/tree-sitter-plum/grammar.js, plum-tooling/tree-sitter-plum/src, plum-tooling/tree-sitter-plum/test/corpus/mut_fields.txt, plum-core/src/ast.rs, plum-core/src/parser.rs, plum-checker/src/lib.rs, plum-checker/tests/mutability_test.rs, plum-core/src/embeds.rs, plum-core/src/traits.rs, plum-core/tests/parser_test.rs, plum-checker/src/traits.rs
 **Components:** 3
 **LOC owned:** 150
 **Tests:** fast
@@ -215,7 +219,7 @@ Package: compiler + std; categories: state, deep.
 **Test code:** `plum test plum-std` green without `--allow-mutation`.
 ### T14 migrate examples and fixtures; drop the escape hatch · Complexity 4 (O-1) · Est. context 50k
-**Owns:** plum-examples, plum-game/web-test/fixtures, plum-checker/src/lib.rs
+**Owns:** plum-examples, plum-game/web-test/fixtures, plum-checker/src/lib.rs, plum-game/tests/fixtures, plum-std/game/imperative/Scene.plum (all of plum-examples except games/functional/game_state_view.plum, which T23 owns)
 **Components:** 2
 **LOC owned:** 100
 **Tests:** slow
@@ -275,7 +279,7 @@ Package: compiler + std; categories: state, deep.
 **Test code:** README snippets parse (plum-lsp test readmeSnippetsHaveNoSyntaxDiagnostics); benchmark table.
 ### T16 imperative games folder (user, 2026-11-04) · Complexity 2 (O-1) · Est. context 30k
-**Owns:** plum-examples/game.plum, plum-examples/game_scene.plum, plum-examples/scene.plum, plum-examples/games/imperative, plum-game/tests/host_test.rs, plum-game/web-test/tests/web_check.rs, plum-game/web-test/BENCHMARK.md, README.md
+**Owns:** plum-examples/games/imperative, plum-game/tests/host_test.rs, plum-game/web-test/tests/web_check.rs, plum-game/web-test/BENCHMARK.md, README.md
 **Components:** 1
 **LOC owned:** 40
 **Tests:** slow
@@ -287,7 +291,7 @@ Package: compiler + std; categories: state, deep.
 **Test code:** `run_tests --fast plum-game/tests/host_test.rs plum-game/web-test/tests/web_check.rs plum-examples` green.
 ### T17 std imperative folder (user, 2026-11-04) · Complexity 2 (O-1) · Est. context 30k
-**Owns:** plum-std/game/imperative/Scene.plum, plum-std/game/Scene.plum, plum-examples/games/imperative, plum-examples/traits.plum, plum-examples/trait_scene.plum, plum-game/web-test/fixtures/stress_scene.plum, plum-game/web-test/fixtures/stress_world.plum, README.md
+**Owns:** plum-std/game/imperative/Scene.plum, plum-examples/games/imperative, plum-examples/traits.plum, plum-examples/trait_scene.plum, plum-game/web-test/fixtures/stress_scene.plum, plum-game/web-test/fixtures/stress_world.plum, README.md, plum-game/web-test/README.md, plum-game/web-test/BENCHMARK.md, plum-lsp/src/main.rs, plum-lsp/src/completion.rs
 **Components:** 1
 **LOC owned:** 30
 **Tests:** slow
@@ -298,6 +302,106 @@ Package: compiler + std; categories: state, deep.
 **Review Focus:** protocol: host + browser checks green.
 **Test code:** run_tests --fast plum-std, plum-examples, plum-game/tests/host_test.rs, plum-game/web-test/tests/web_check.rs green.
+### T18 stale tests after T1/T2 (finding F-T1T2-2) · Complexity 1 (O-1) · Est. context 20k
+**Owns:** plum-checker/tests/checker_tests.rs, plum-wasm-codegen/tests/reuse_e2e_test.rs
+**Components:** 1
+**LOC owned:** 30
+**Tests:** fast
+**Model:** sonnet
+**Est. time:** 1.5 min
+**Consumes:** none
+**Produces:** checker_tests expectations follow T1's casing messages and `$cN` copy names; reuse A/B runs with fusion off plus `pipeline_marks_bump_reuse`
+**Review Focus:** none.
+**Test code:** both files green.
+**Steps:** done by the F-T1T2-2 fixer.
+### T19 field-less records in the grammar (gap found by T4) · Complexity 3 (O-1) · Est. context 40k
+**Owns:** plum-tooling/tree-sitter-plum/grammar.js, plum-tooling/tree-sitter-plum/src, plum-tooling/tree-sitter-plum/test/corpus/records.txt, plum-core/src/parser.rs, plum-core/tests/parser_test.rs, plum-std/Io.plum, plum-std/game/Game.plum, plum-std/Os.plum, plum-std/Time.plum, plum-std/Random.plum, plum-std/Http.plum
+**Components:** 2
+**LOC owned:** 60
+**Tests:** fast
+**Model:** sonnet
+**Est. time:** 3 min
+**Consumes:** none
+**Produces:** `record Io` (and `record X()`) parse as records with no fields, constructed as `Io()`; plum-std/Io.plum drops the `host: Int` marker field and std uses `Io()`
+**Review Focus:** none beyond grammar regressions (every std/example file still parses; regenerate with --disable-optimizations).
+**Test code:** `field_less_record_parses`; corpus records.txt; plum-std, plum-examples, io_capability_test green.
+### T20 Random without a hidden Io (finding from T13) · Complexity 4 (O-1) · Est. context 45k
+**Owns:** plum-std/Random.plum, plum-std/Slice.plum, plum-std/Uuid.plum, plum-std/Io.plum, plum-examples, plum-game/web-test/fixtures, plum-std/Os.plum, plum-game/tests/fixtures
+**Components:** 1
+**LOC owned:** 100
+**Tests:** fast
+**Model:** sonnet
+**Est. time:** 4 min
+**Consumes:** none
+**Produces:** std `Random` is a pure seeded value (`Random.seeded(seed: Int) -> Random`, methods returning the value plus the next `Random`, or a mutable-free equivalent); wall-clock seeding only via `io.randomSeed()` (an Io method); `Slice.pick/shuffle` and `Uuid.v4` take a `Random` (or `io`) explicitly; no `Io()` constructed anywhere in std except inside Io.plum
+**Review Focus:** state: determinism (same seed, same sequence).
+**Test code:** `same_seed_same_sequence`, `uuid_from_seeded_random`; plum-std, plum-examples green; `grep -n "Io()" plum-std` only in Io.plum.
+### T21 test files touched by T13 · Complexity 1 (O-1) · Est. context 20k
+**Owns:** plum-game/tests/fixtures, plum-checker/tests/io_capability_test.rs, plum-wasm-codegen/tests/examples_test.rs
+**Components:** 1
+**LOC owned:** 30
+**Tests:** fast
+**Model:** sonnet
+**Est. time:** 1.5 min
+**Consumes:** none
+**Produces:** host fixtures in the io style; io_capability_test without the removed allowRawIo option; examples_test stubs for io.plum's imports
+**Review Focus:** none.
+**Test code:** host_test, io_capability_test, examples_test green.
+**Steps:** done by T13.
+### T22 game hosts provide the random seed (gap found by T20) · Complexity 2 (O-1) · Est. context 35k
+**Owns:** plum-game/src/host.rs, plum-game/src/api.rs, plum-game/web/plum_bridge.js, plum-game/tests/host_test.rs, plum-examples/games/imperative, plum-examples/games/pure/game_pure_scene.plum, plum-examples/games/functional/game_state_view.plum
+**Components:** 1
+**LOC owned:** 40
+**Tests:** slow
+**Model:** sonnet
+**Est. time:** 3 min
+**Consumes:** none
+**Produces:** native (wasmtime) and web (JS bridge) game hosts provide the `rawRandomHalf` import; game `init(io)` seeds its Random from `io.randomSeed()` instead of the fixed 2024 (tests keep their own fixed seeds)
+**Review Focus:** protocol: host ABI; tests deterministic.
+**Test code:** host_test and web_check green; a host test that a game calling io.randomSeed() loads and runs frames.
+### T23 functional game in the component style (user, 2026-11-04) · Complexity 5 (O-1) · Est. context 55k
+**Owns:** plum-examples/games/functional/game_state_view.plum
+**Components:** 1
+**LOC owned:** 180
+**Tests:** fast
+**Model:** sonnet
+**Est. time:** 5 min
+**Consumes:** none
+**Produces:** per-kind records (Ship, Orb, Mine, Star) with `update(self, ..) -> Self` and `render(self, ..) -> SceneNode`; `State` with `update(self, msg)` and `render(self)`; `List(...)` and std List methods instead of Cons chains and mapLink/lenLink/snoc/replaceNth/nthOr/toNodes; a `Random` value in State (Random.seeded, Rolled) instead of hand-threaded seeds and OrbsMade/MinesMade/Collected; expression-bodied update/render (bindings + one tail expression, no return); no field assignment on non-mut fields (spreads only); host `draw(io, w) = Picture.draw(io, w.state.render())`
+**Review Focus:** state: rules, keys, scoring unchanged; fusion still complete.
+**Test code:** every existing game test keeps name and values; plum-wasm-codegen/tests/fusion_alloc_test.rs green (view->draw fused, no SceneNode allocation on fused fns); host_test + web_check state_view green.
+### T24 synthetic writes + stale tests (finding F-T14-1) · Complexity 3 (O-1) · Est. context 40k
+**Owns:** plum-core/src, plum-checker/src/lib.rs, plum-checker/tests, plum-core/tests, plum-wasm-codegen/tests/codegen_tests.rs, plum-game/tests/host_test.rs, plum-game/tests/fixtures, plum-cli/tests, README.md
+**Components:** 2
+**LOC owned:** 120
+**Tests:** slow
+**Model:** sonnet
+**Est. time:** 4 min
+**Consumes:** none
+**Produces:** `ast::Assign.isSynthetic` (TRMC's hole-filling write sets it; exempt from the immutability rule); stale test programs updated to `io` / `mut`; README snippets parse again (plum-lsp `readmeSnippetsHaveNoSyntaxDiagnostics`)
+**Review Focus:** state: user writes never exempt.
+**Test code:** `trmc_tail_write_not_rejected`, `user_tail_write_still_rejected`; full suite green.
+**Steps:** done by the F-T14-1 fixer, plus the README snippet fix.
+### T25 consolidate examples and move game assets (user, 2026-11-04) · Complexity 3 (O-1) · Est. context 45k
+**Owns:** plum-examples, plum-game/tests/host_test.rs, plum-game/web-test/tests/web_check.rs, plum-game/web-test/README.md, plum-wasm-codegen/tests/examples_test.rs, plum-lsp/src/main.rs, README.md
+**Components:** 1
+**LOC owned:** 120
+**Tests:** slow
+**Model:** sonnet
+**Est. time:** 5 min
+**Consumes:** none
+**Produces:** `git mv plum-examples/assets plum-examples/games/assets`; merged examples (git mv + concatenate, one file per topic, tests keep names and values): basics (basics+io+testing+functions), numbers (numbers+operators+constants), control_flow (control_flow+loops), recursion (tail_calls+cons_list+own_list remnants), structs_records (+digit_names+annotated_locals), arrays (typed_arrays+struct_arrays), sequences (forms+seq), traits (+trait_scene), errors (error_propagation+optionals); game_loop -> games/imperative/; unions, struct_union_members, unboxed_variants untouched (next plan); every path reference updated (README, host/web tests, examples_test, LSP tests); name clashes when merging resolved by renaming helpers, never tests
+**Review Focus:** state: test count per topic unchanged (report before/after totals).
+**Test code:** plum-examples total test count equal before and after; host_test + web_check + examples_test green; assets still resolve.
+**Steps:** commit the moves on the session branch before checkpointing (checkpoint can't follow renames).
 ## Review Focus
 Per package lines above.