# Continuation Tasks

## Mathematical formalisation

- Define the 248-dimensional state rigorously.
- Distinguish E8 metaphor, E8 root-system use, and actual E8 Lie algebra operations.
- Add reproducible tests for ternary compression and decompression.
- Define what counts as conservation, mutation, metabolism, and learning in formal terms.

## Desktop prototype

- Add `--safe-demo` mode.
- Split the monolithic file into modules.
- Remove automatic network calls from default execution.
- Add unit tests for `SymbolicCodec5` and `MetaTritEncoder`.
- Add deterministic seed control.
- Add a minimal Gradio demo.

## PS2 port

- Create a reproducible PS2SDK Docker build.
- Remove heavy STL and C++ threading from the stock PS2 target.
- Replace dynamic containers with fixed arrays and ring buffers.
- Correct module loading for USB/network support.
- Make a minimal first target: display + USB queue ingestion + keyboard/controller input + DNA snapshot.

## Documentation

- Add diagrams.
- Add a small mathematical glossary.
- Add a clear boundary between metaphor, engineering, and validated mathematics.