PTO Virtual ISA Manual

This page is the stable entry point for the PTO Virtual Instruction Set Architecture manual. The chaptered source of truth is maintained under mkdocs/src/manual/.

Primary entry

• Preface and reading order
• Manual overview chapter
• Virtual ISA and AS contract
• Bytecode and toolchain contract
• Memory ordering and consistency
• Backend profiles and conformance

Chapter map

1. Overview
2. Execution Model
3. State and Types
4. Tiles and GlobalTensor
5. Synchronization
6. Instruction Set (overview)
7. Programming Guide
8. Virtual ISA and AS
9. Bytecode and Toolchain
10. Memory Ordering and Consistency
11. Backend Profiles and Conformance
12. Appendix A: Glossary
13. Appendix B: Instruction Contract Template
14. Appendix C: Diagnostics Taxonomy
15. Appendix D: Instruction Family Matrix