LithosAnanake/docs/formal/vol1-vm-physics

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 — Volume entry point (title/author/date still %% TODO(bob)).
• ch01-introduction.tex — Introduction.
• ch02-interpreter.tex — FORTH-79 Interpreter.
• ch03-physics-runtime.tex — Physics-Driven Adaptive Runtime.
• ch04-formal-verification.tex — Formal Verification.
• ch05-experimental-results.tex — Experimental Results.
• appA-build.tex — Appendix: Build and Deployment.
• 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 — the three research volumes this belongs to (with vol2-kernel/ and vol3-research/).
• Project root