M "src/list/raxos/Abstract Paxos Diagram.canvas"

Author: drmingdrmer

src/list/raxos/Abstract Paxos Diagram.canvas

@@ -4,17 +4,13 @@
 		{"id":"3bc45c9f8426c1d7","type":"file","file":"consensus-essence/src/list/raxos/def-History.md","x":-160,"y":360,"width":380,"height":180},
 		{"id":"99e03cdec94311b1","type":"file","file":"consensus-essence/src/list/raxos/def-Time.md","x":360,"y":100,"width":400,"height":400},
 		{"id":"b553044d1b09bc14","type":"file","file":"consensus-essence/src/list/raxos/def-API-read-write.md","x":1184,"y":1432,"width":400,"height":400},
-		{"id":"cc1534fa18215622","type":"file","file":"consensus-essence/src/list/raxos/prop-Merge-Read.md","x":-160,"y":2980,"width":400,"height":400},
+		{"id":"cc1534fa18215622","type":"file","file":"consensus-essence/src/list/raxos/prop-Merge-Read.md","x":-160,"y":2980,"width":400,"height":400,"color":"1"},
 		{"id":"11ad89cd35a2b1f6","type":"file","file":"consensus-essence/src/list/raxos/def-Distributed-HA.md","x":360,"y":1720,"width":400,"height":400},
 		{"id":"6198bc316649ff03","type":"file","file":"consensus-essence/src/list/raxos/def-RW-Distributed.md","x":360,"y":2760,"width":400,"height":400},
 		{"id":"91d54de7f6bf9eda","type":"file","file":"consensus-essence/src/list/raxos/prop-Discard-Smaller.md","x":-336,"y":3562,"width":400,"height":400},
 		{"id":"97c0f9ab39142bd8","type":"file","file":"consensus-essence/src/list/raxos/prop-Write-Forbid-Smaller.md","x":-464,"y":4224,"width":400,"height":400},
-		{"id":"2de15b9927901fdf","type":"file","file":"consensus-essence/src/list/raxos/def-Read-Quorum-Set.md","x":640,"y":3778,"width":400,"height":400},
-		{"id":"75b048956a6d5a4f","type":"file","file":"consensus-essence/src/list/raxos/example-Quorum-Set.md","x":1480,"y":4260,"width":400,"height":400,"color":"5"},
-		{"id":"8e2e4bdc350b67dd","type":"file","file":"consensus-essence/src/list/raxos/example-Quorum-Set-xy.md","x":1360,"y":4760,"width":400,"height":400,"color":"5"},
 		{"id":"2aa96775efaf3504","type":"file","file":"consensus-essence/src/list/raxos/def-T-Committed.md","x":0,"y":5100,"width":400,"height":400},
 		{"id":"b33b510032aaea23","type":"file","file":"consensus-essence/src/list/raxos/def-Committed.md","x":0,"y":5660,"width":400,"height":400},
-		{"id":"4425d02ad7c436fc","type":"file","file":"consensus-essence/src/list/raxos/desc-Availability.md","x":1207,"y":5220,"width":400,"height":400,"color":"3"},
 		{"id":"4fe24a286d42d5c1","type":"file","file":"consensus-essence/src/list/raxos/protocol-Write-After-Read.md","x":0,"y":6400,"width":400,"height":400,"color":"6"},
 		{"id":"64f51b278ec2e315","type":"file","file":"consensus-essence/src/list/raxos/protocol-All.md","x":-720,"y":7800,"width":400,"height":400,"color":"6"},
 		{"id":"04445468a553ca25","type":"file","file":"consensus-essence/src/list/raxos/protocol-Write-P2.md","x":0,"y":7200,"width":400,"height":400,"color":"6"},
@@ -23,12 +19,11 @@
 		{"id":"a74a6a5cfa5647bc","type":"file","file":"consensus-essence/src/list/raxos/2d-consensus.md","x":-492,"y":9029,"width":400,"height":400},
 		{"id":"5d01e9e3355926b6","type":"file","file":"consensus-essence/src/list/raxos/example-2d-consensus.md","x":-297,"y":9810,"width":400,"height":390,"color":"5"},
 		{"id":"877084719c0840fa","type":"file","file":"consensus-essence/src/list/raxos/def-2d-consensus-Apply.md","x":-323,"y":10613,"width":400,"height":400},
-		{"id":"24e816cf21a582e0","type":"file","file":"consensus-essence/src/list/raxos/def-RW-Necessity.md","x":1184,"y":2120,"width":400,"height":400},
-		{"id":"6f61f61fbd369e9a","type":"file","file":"consensus-essence/src/list/raxos/def-Past-Future.md","x":1720,"y":2120,"width":400,"height":400},
+		{"id":"24e816cf21a582e0","type":"file","file":"consensus-essence/src/list/raxos/def-RW-Necessity.md","x":1184,"y":2120,"width":400,"height":400,"color":"1"},
+		{"id":"6f61f61fbd369e9a","type":"file","file":"consensus-essence/src/list/raxos/def-Past-Future.md","x":1720,"y":2120,"width":400,"height":400,"color":"1"},
 		{"id":"9c32627fede27385","type":"file","file":"consensus-essence/src/list/raxos/example-RW-single-threaded.md","x":2200,"y":1832,"width":400,"height":400,"color":"5"},
 		{"id":"23b7153aa3b72e6d","type":"file","file":"consensus-essence/src/list/raxos/example-Past-Future-single-threaded.md","x":2200,"y":2760,"width":400,"height":400,"color":"5"},
 		{"id":"ebae8b958fa8ef58","type":"file","file":"consensus-essence/src/list/raxos/example-Past-Future-distributed.md","x":2200,"y":3320,"width":400,"height":400,"color":"5"},
-		{"id":"64f0cd59fe29aca7","type":"file","file":"consensus-essence/src/list/raxos/def-Write-Quorum-Set.md","x":640,"y":4460,"width":400,"height":400},
 		{"id":"eefaf5fc7ce43eba","type":"file","file":"consensus-essence/src/list/raxos/def-Observable-History.md","x":160,"y":4460,"width":400,"height":400},
 		{"id":"f001ccd718f70347","type":"file","file":"consensus-essence/src/list/raxos/desc-History Read Set.md","x":640,"y":5160,"width":400,"height":400,"color":"3"},
 		{"id":"a838cacb9e50352d","type":"file","file":"consensus-essence/src/list/raxos/example-crdt.md","x":236,"y":9019,"width":400,"height":400,"color":"5"},
@@ -48,7 +43,17 @@
 		{"id":"ad67370aed72caab","type":"file","file":"consensus-essence/src/list/raxos/def-Mergeable-History-2.md","x":-840,"y":2760,"width":400,"height":400,"color":"1"},
 		{"id":"11003bbfc4ff8328","type":"file","file":"consensus-essence/src/list/raxos/def-T-History-PartialOrd.md","x":627,"y":1361,"width":465,"height":238,"color":"1"},
 		{"id":"056ed53ecdd08e9a","type":"file","file":"consensus-essence/src/list/raxos/def-Distributed-Copies.md","x":360,"y":2232,"width":400,"height":400},
-		{"id":"ccd61f294c90c33f","type":"file","file":"consensus-essence/src/list/raxos/desc-Time-based-RW.md","x":1960,"y":930,"width":400,"height":400,"color":"3"}
+		{"id":"ccd61f294c90c33f","type":"file","file":"consensus-essence/src/list/raxos/desc-Time-based-RW.md","x":1960,"y":930,"width":400,"height":400,"color":"3"},
+		{"id":"e62569bb96739fee","type":"file","file":"consensus-essence/src/list/raxos/def-multiverse.md","x":1384,"y":2920,"width":400,"height":400,"color":"3"},
+		{"id":"2de15b9927901fdf","type":"file","file":"consensus-essence/src/list/raxos/def-Read-Quorum-Set.md","x":720,"y":3562,"width":400,"height":400,"color":"1"},
+		{"id":"75b048956a6d5a4f","type":"file","file":"consensus-essence/src/list/raxos/example-Quorum-Set.md","x":1960,"y":4140,"width":400,"height":400,"color":"5"},
+		{"id":"8e2e4bdc350b67dd","type":"file","file":"consensus-essence/src/list/raxos/example-Quorum-Set-xy.md","x":2000,"y":4660,"width":400,"height":400,"color":"5"},
+		{"id":"64f0cd59fe29aca7","type":"file","file":"consensus-essence/src/list/raxos/def-Write-Quorum-Set.md","x":720,"y":4340,"width":400,"height":400},
+		{"id":"70ac2837fd8c0af0","type":"file","file":"consensus-essence/src/list/raxos/def-multiverse-consensus.md","x":1760,"y":5360,"width":400,"height":400},
+		{"id":"3f8c8471005eb5fb","type":"file","file":"consensus-essence/src/list/raxos/def-Generic-Commit.md","x":1384,"y":4700,"width":400,"height":400},
+		{"id":"4425d02ad7c436fc","type":"file","file":"consensus-essence/src/list/raxos/desc-Availability.md","x":1184,"y":5520,"width":400,"height":400,"color":"3"},
+		{"id":"595a84cdebe4384d","type":"file","file":"consensus-essence/src/list/raxos/def-multiverse-collapse.md","x":1760,"y":6140,"width":400,"height":400},
+		{"id":"9ad3d014b728235c","x":1834,"y":6869,"width":400,"height":400,"type":"file","file":"consensus-essence/src/list/raxos/def-universe-read.md"}
 	],
 	"edges":[
 		{"id":"ec72236e30d4ad00","fromNode":"6d2f40704a61e31b","fromSide":"bottom","toNode":"09a5660b835acde1","toSide":"top"},
@@ -108,6 +113,11 @@
 		{"id":"237bc9e387851598","fromNode":"cee5dd045baeea82","fromSide":"left","toNode":"7126f3ef8414e0fd","toSide":"top"},
 		{"id":"57ef237b9f99364b","fromNode":"7126f3ef8414e0fd","fromSide":"right","toNode":"6d2f40704a61e31b","toSide":"top"},
 		{"id":"094c018dabc57280","fromNode":"7126f3ef8414e0fd","fromSide":"bottom","toNode":"9f67b522730e7bd4","toSide":"top"},
-		{"id":"5c8f26d2a56d4609","fromNode":"ccd61f294c90c33f","fromSide":"bottom","toNode":"b553044d1b09bc14","toSide":"top"}
+		{"id":"5c8f26d2a56d4609","fromNode":"ccd61f294c90c33f","fromSide":"bottom","toNode":"b553044d1b09bc14","toSide":"top"},
+		{"id":"550e45ac7483b652","fromNode":"e62569bb96739fee","fromSide":"bottom","toNode":"70ac2837fd8c0af0","toSide":"top"},
+		{"id":"af1eedb112993aa0","fromNode":"64f0cd59fe29aca7","fromSide":"right","toNode":"3f8c8471005eb5fb","toSide":"top"},
+		{"id":"284d8a76e09643ed","fromNode":"3f8c8471005eb5fb","fromSide":"bottom","toNode":"70ac2837fd8c0af0","toSide":"top"},
+		{"id":"94296a903fcb1fe4","fromNode":"70ac2837fd8c0af0","fromSide":"bottom","toNode":"595a84cdebe4384d","toSide":"top"},
+		{"id":"9f40f928963f28bd","fromNode":"595a84cdebe4384d","fromSide":"bottom","toNode":"9ad3d014b728235c","toSide":"top"}
 	]
 }