Documentation

Protocol and specifications

Contracts, invariants and assumptions. These documents distinguish model guarantees from implementation evidence.

• Generation publication
• R1.2 grouped and serial application
• Certified image retirement
• R2 protocol, host and storage refinement
• Recovery and operator lifecycle under R4
• R5 bounded service resources
• R6 service admission batching
• Session retirement under R1.3
• Replicated SQL contract under R1.1
• R1.4 real-time read and transaction order