Design decisions and sketches for the unimplemented parts of the system. They are not open work and carry no issue header; the open work is in spec/todo/. The numbered ones moved from the main spec README and keep their old section numbers:
| Document | Topic |
|---|---|
| io-effects | §5 — I/O with effects: Effect, operations, runners |
| content-addressable-vm | §6 — content-addressable VM, hashing |
| object-identity | §7 — object identity, custom dictionaries, Map |
| mutability | §8 — mutable objects and ownership tracking |
| serialization | §9 — EDAG as data, CBOR, bytecode as VM-internal |
| vm-command-format | NPN command format of the VM |
| design-principles | design principles of the "ideal" FJS 0.* |
| function-frame | NaNVM function objects: frames and captured values, VM-internal |
| call-like-instructions | VM-internal bytecode for calls |