# docs/formal/vol1-vm-physics/

Research volume I — *StarForth VM and Physics-Driven Adaptive Runtime*.
Scope: FORTH-79 interpreter, the 7-loop physics-driven adaptive runtime,
Isabelle/HOL formal verification, and the 90-run experimental results.

- **[main.tex](main.tex)** — Volume entry point (title/author/date still
  `%% TODO(bob)`).
- **[ch01-introduction.tex](ch01-introduction.tex)** — Introduction.
- **[ch02-interpreter.tex](ch02-interpreter.tex)** — FORTH-79 Interpreter.
- **[ch03-physics-runtime.tex](ch03-physics-runtime.tex)** —
  Physics-Driven Adaptive Runtime.
- **[ch04-formal-verification.tex](ch04-formal-verification.tex)** —
  Formal Verification.
- **[ch05-experimental-results.tex](ch05-experimental-results.tex)** —
  Experimental Results.
- **[appA-build.tex](appA-build.tex)** — Appendix: Build and Deployment.
- **[appB-acl.tex](appB-acl.tex)** — Appendix: Word-Level ACL System.

Built via `make -C docs/formal vol1`; output lands at
`docs/formal/build/vol1/main.pdf`.

## See also

- [`docs/formal/README.md`](../README.md) — the three research volumes
  this belongs to (with `vol2-kernel/` and `vol3-research/`).
- [Project root](../../../README.md)