MTP-SPEC-001: Massachusetts Transaction Protocol
Travis L. Guckert
LeMay Publishing
STANDARDS
MTP-SPEC-001: Massachusetts Transaction Protocol
Protocol Specification13,479 words127 chapters
Published by LeMay Publishing. 13,479 words across 127 chapters.
About This Publication
Complete formal specification of the Massachusetts Transaction Protocol, Parts 1-3, with binding specification.
Published by LeMay Publishing, a division of LeMay. Massachusetts.
ISBN: 979-8-0000-2001-2
Chapters
1MTP-SPEC-001
2Massachusetts Transaction Protocol
3Formal Specification, Parts 1–3, with Binding Specification
4NOTICE TO IMPLEMENTORS
5TABLE OF CONTENTS
6LIST OF FIGURES AND TABLES
7FOREWORD
8SCOPE AND PURPOSE
9NORMATIVE REFERENCES
10DEFINITIONS AND ABBREVIATIONS
11PART 1: TRANSPORT AND FRAMING
12Chapter 1 — Introduction to MTP Transport
131.1 Design Philosophy
141.2 Underlying Transport Requirements
151.3 Connection Architecture
161.4 QUIC Transport Considerations
171.5 Byte Ordering
18Chapter 2 — Connection Lifecycle
192.1 Overview
202.2 Connection Initiation
212.3 Parameter Negotiation
222.4 Active State
232.5 Graceful Shutdown
242.6 Abnormal Termination
25Chapter 3 — Frame Structure and Encoding
263.1 Frame Header
273.2 Frame Types
283.3 Variable-Length Integer Encoding
293.4 Payload Encoding
303.5 Frame Flag Definitions
31Chapter 4 — Flow Control and Backpressure
324.1 Flow Control Model
334.2 WINDOW_UPDATE Semantics
344.3 Transaction-Level Fairness
354.4 Backpressure Propagation
36Chapter 5 — Error Handling at the Transport Layer
375.1 Error Classification
385.2 Transport-Layer Error Codes
395.3 Error Frame Semantics
40PART 2: TRANSACTION SEMANTICS
41Chapter 6 — Transaction Model Overview
426.1 Conceptual Foundation
436.2 Transaction Lifecycle
446.3 Transaction Identifiers
456.4 Participant Sets
46Chapter 7 — Transaction Initiation and Proposal
477.1 TX_PROPOSE Frame Format
487.2 Proposal Validation
497.3 Proposal Acknowledgment and Voting
507.4 Vote Timeout
51Chapter 8 — Consensus and Commitment
528.1 Two-Phase Commit (2PC)
538.2 TX_COMMIT Frame Format
548.3 TX_COMMIT_ACK Frame Format
558.4 Three-Phase Commit Extension (3PC)
568.5 Commitment Durability
57Chapter 9 — Rollback and Recovery
589.1 Rollback Initiation
599.2 TX_ROLLBACK Frame Format
609.3 Rollback Execution
619.4 Recovery Protocol
629.5 Heuristic Decisions
63Chapter 10 — Isolation Levels and Ordering Guarantees
6410.1 Supported Isolation Levels
6510.2 Level 0: READ_UNCOMMITTED
6610.3 Level 1: READ_COMMITTED
6710.4 Level 2: REPEATABLE_READ
6810.5 Level 3: SERIALIZABLE
6910.6 Ordering Guarantees
70PART 3: SECURITY AND AUTHENTICATION
71Chapter 11 — Threat Model
7211.1 Adversary Capabilities
7311.2 Security Objectives
74Chapter 12 — Authentication Framework
7512.1 Authentication Timing
7612.2 Authentication Mechanisms
7712.3 MTP-TLS-MUTUAL
7812.4 MTP-PSK
7912.5 MTP-SCRAM-256
8012.6 Authentication Failure Handling
81Chapter 13 — Encryption and Integrity
8213.1 Transport Encryption
8313.2 Frame-Level Encryption
8413.3 Key Derivation
8513.4 Nonce Construction
8613.5 Frame Integrity
8713.6 Re-Keying
88BINDING SPECIFICATION
89Chapter 14 — Conformance Requirements
9014.1 Conformance Levels
9114.2 Conformance Claims
9214.3 Interoperability Requirements
9314.4 Conformance Registry
9414.5 Normative Requirements Index
95Chapter 15 — Wire Format Reference
9615.1 Byte Layout Conventions
9715.2 CONNECT Frame Payload
9815.3 CONNECT_ACK Frame Payload
9915.4 SETTINGS Frame Payload
10015.5 TX_PROPOSE Frame Payload
10115.6 TX_VOTE Frame Payload
10215.7 TX_PREPARE Frame Payload
10315.8 TX_COMMIT Frame Payload
10415.9 TX_ROLLBACK Frame Payload
10515.10 TX_RECOVER Frame Payload
10615.11 TX_RECOVER_ACK Frame Payload
10715.12 AUTH_CHALLENGE Frame Payload
10815.13 AUTH_RESPONSE Frame Payload
10915.14 WINDOW_UPDATE Frame Payload
11015.15 GOAWAY Frame Payload
11115.16 ABORT Frame Payload
112Chapter 16 — State Machine Formal Definition
11316.1 Notation
11416.2 Connection State Machine
11516.3 Transaction State Machine
11616.4 Participant Transaction State Machine
11716.5 State Machine Invariants
118BACK MATTER
119Appendix A — Complete Frame Type Registry
120Appendix B — Error Code Registry
121Appendix C — Example Transaction Traces
122C.1 Successful Two-Phase Commit
123C.2 Rollback Due to Participant Refusal
124C.3 Recovery After Coordinator Failure
125Appendix D — ASN.1 Module Definition
126Bibliography and References
127Index of Normative Requirements