updated README and a bunch of other stuff

This commit is contained in:
Sebastian Moser
2026-11-04 20:24:14 +01:00
parent 6eedb1826a
commit 9707286375
46 changed files with 3725 additions and 172 deletions

View File

@@ -0,0 +1,14 @@
# load_part_at instances (priv.spacetime / ppc.spacetime)
Approved 2026-11-04.
## Goal
Instantiate the same `spacetime` `.so` under different part ids (`priv.spacetime`, `ppc.spacetime`), each with its own config namespace. Dependents use `Spacetime::get("priv.spacetime")` etc.
## Changes
1. Platform `load_part(part_name, path, at_id)` via `get_global_mize()`; save/restore `cur_eval_part`.
2. Rename `Mize::load_part_at` → `load_part_from_path`.
3. `config::load_part_at(at_id, part_name)` — no-op in generate mode.
4. Codegen: special SpacetimeDB client gen when `gen` contains `"spacetime"`, module at `{cwd}/spacetime` if present.
5. `sci`: `gen += spacetime`, `load_part_at("priv.spacetime", "spacetime")`.
6. New `mize/parts/ppc`: loads `ppc.spacetime`.