{ "type": "excalidraw", "version": 2, "source": "https://excalidraw.com", "elements": [ { "id": "r206399796", "type": "rectangle", "x": 20, "y": 80, "width": 1260, "height": 230, "angle": 0, "strokeColor": "#dddddd", "backgroundColor": "#fafafa", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 548796376, "versionNonce": 226464585, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1936622831", "type": "text", "x": 32, "y": 86, "width": 336.6, "height": 15.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1059127106, "versionNonce": 542804551, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Layer 1 \u2014 automated: the behavior-equivalence suite", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Layer 1 \u2014 automated: the behavior-equivalence suite", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1625673850", "type": "rectangle", "x": 20, "y": 330, "width": 1260, "height": 230, "angle": 0, "strokeColor": "#dddddd", "backgroundColor": "#eaf4ec", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 123949482, "versionNonce": 649959463, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t957229315", "type": "text", "x": 32, "y": 336, "width": 376.20000000000005, "height": 15.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 63900294, "versionNonce": 250772419, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Layer 2 \u2014 adversarial verification: the differential test", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Layer 2 \u2014 adversarial verification: the differential test", "lineHeight": 1.25, "baseline": 12 }, { "id": "r1965963085", "type": "rectangle", "x": 20, "y": 580, "width": 1260, "height": 230, "angle": 0, "strokeColor": "#dddddd", "backgroundColor": "#fafafa", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 220549395, "versionNonce": 1096775253, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1966782312", "type": "text", "x": 32, "y": 586, "width": 257.40000000000003, "height": 15.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 914002147, "versionNonce": 530348793, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Layer 3 \u2014 human judgment: the two gates", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Layer 3 \u2014 human judgment: the two gates", "lineHeight": 1.25, "baseline": 12 }, { "id": "r299321782", "type": "rectangle", "x": 60, "y": 150, "width": 520, "height": 120, "angle": 0, "strokeColor": "#3d7a4e", "backgroundColor": "#eaf4ec", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1296134948, "versionNonce": 1528091161, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t501402854", "type": "text", "x": 70, "y": 158, "width": 254.10000000000002, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 265157962, "versionNonce": 2168986, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Newman behavior-equivalence suite", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Newman behavior-equivalence suite", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1764786160", "type": "text", "x": 70, "y": 178, "width": 217.8, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1709575888, "versionNonce": 884760704, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "re-run against every candidate build", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "re-run against every candidate build", "lineHeight": 1.25, "baseline": 11 }, { "id": "t538867099", "type": "text", "x": 70, "y": 193, "width": 205.70000000000002, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1396943954, "versionNonce": 242923899, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "16/16, then 49/49 \u2014 JVM and native", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "16/16, then 49/49 \u2014 JVM and native", "lineHeight": 1.25, "baseline": 11 }, { "id": "r79438399", "type": "rectangle", "x": 660, "y": 150, "width": 580, "height": 120, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#111111", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 745436806, "versionNonce": 985334133, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t451658524", "type": "text", "x": 670, "y": 158, "width": 138.60000000000002, "height": 17.5, "angle": 0, "strokeColor": "#ffffff", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1129459174, "versionNonce": 692148753, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Remove this layer:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Remove this layer:", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1860687071", "type": "text", "x": 670, "y": 178, "width": 260.15000000000003, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 109986718, "versionNonce": 436695270, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "the native-image @RegisterForReflection gap", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the native-image @RegisterForReflection gap", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1558973177", "type": "text", "x": 670, "y": 193, "width": 344.85, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1585387479, "versionNonce": 425096651, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "ships silently \u2014 nothing re-exercises the native artifact", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "ships silently \u2014 nothing re-exercises the native artifact", "lineHeight": 1.25, "baseline": 11 }, { "id": "r670534313", "type": "rectangle", "x": 60, "y": 400, "width": 520, "height": 120, "angle": 0, "strokeColor": "#3d7a4e", "backgroundColor": "#eaf4ec", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1069014843, "versionNonce": 284847859, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1897004820", "type": "text", "x": 70, "y": 408, "width": 315.70000000000005, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1601971698, "versionNonce": 761921559, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Stop the monolith; ask a sharper question", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Stop the monolith; ask a sharper question", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1047893510", "type": "text", "x": 70, "y": 428, "width": 163.35000000000002, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 339228651, "versionNonce": 1581871497, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "than \"does the suite pass\":", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "than \"does the suite pass\":", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1642048258", "type": "text", "x": 70, "y": 443, "width": 344.85, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1163685843, "versionNonce": 1064636864, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "does the proxy's decision survive one backend being gone?", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "does the proxy's decision survive one backend being gone?", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1985402842", "type": "rectangle", "x": 660, "y": 400, "width": 580, "height": 120, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#111111", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1510369353, "versionNonce": 1139248423, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1671181929", "type": "text", "x": 670, "y": 408, "width": 138.60000000000002, "height": 17.5, "angle": 0, "strokeColor": "#ffffff", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1852872443, "versionNonce": 99549922, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Remove this layer:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Remove this layer:", "lineHeight": 1.25, "baseline": 14 }, { "id": "t496053711", "type": "text", "x": 670, "y": 428, "width": 217.8, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 60305229, "versionNonce": 1826913430, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "the routing defect ships, 49-for-49,", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the routing defect ships, 49-for-49,", "lineHeight": 1.25, "baseline": 11 }, { "id": "t744685313", "type": "text", "x": 670, "y": 443, "width": 266.20000000000005, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1351556011, "versionNonce": 1824401580, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "hidden behind two backends sharing one table", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "hidden behind two backends sharing one table", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1907338505", "type": "rectangle", "x": 60, "y": 650, "width": 290, "height": 120, "angle": 0, "strokeColor": "#2f6db5", "backgroundColor": "#eef4fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 1471241583, "versionNonce": 451796788, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t537962284", "type": "text", "x": 70, "y": 658, "width": 169.4, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1045037892, "versionNonce": 342928620, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Gate 1 \u2014 plan approval", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Gate 1 \u2014 plan approval", "lineHeight": 1.25, "baseline": 14 }, { "id": "t1174418846", "type": "text", "x": 70, "y": 678, "width": 60.50000000000001, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1864432575, "versionNonce": 1153327665, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Plan phase", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Plan phase", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1035312082", "type": "text", "x": 70, "y": 693, "width": 229.9, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 373596588, "versionNonce": 1123583431, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "a human commits before any diff exists", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "a human commits before any diff exists", "lineHeight": 1.25, "baseline": 11 }, { "id": "r1260535722", "type": "rectangle", "x": 380, "y": 650, "width": 260, "height": 120, "angle": 0, "strokeColor": "#2f6db5", "backgroundColor": "#eef4fb", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 713261876, "versionNonce": 840180481, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t592343542", "type": "text", "x": 390, "y": 658, "width": 223.3, "height": 17.5, "angle": 0, "strokeColor": "#111111", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1248231010, "versionNonce": 1834644647, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Gate 2 \u2014 equivalence sign-off", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Gate 2 \u2014 equivalence sign-off", "lineHeight": 1.25, "baseline": 14 }, { "id": "t62058259", "type": "text", "x": 390, "y": 678, "width": 72.60000000000001, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 897898365, "versionNonce": 874524816, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Verify phase", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Verify phase", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1349679602", "type": "text", "x": 390, "y": 693, "width": 284.35, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 274127470, "versionNonce": 1567869876, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "a human judges whether coverage fits the stakes", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "a human judges whether coverage fits the stakes", "lineHeight": 1.25, "baseline": 11 }, { "id": "r229465673", "type": "rectangle", "x": 690, "y": 650, "width": 550, "height": 120, "angle": 0, "strokeColor": "#111111", "backgroundColor": "#111111", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 3 }, "seed": 522988163, "versionNonce": 706511154, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false }, { "id": "t1691650950", "type": "text", "x": 700, "y": 658, "width": 138.60000000000002, "height": 17.5, "angle": 0, "strokeColor": "#ffffff", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 550897505, "versionNonce": 518598976, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Remove this layer:", "fontSize": 14, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Remove this layer:", "lineHeight": 1.25, "baseline": 14 }, { "id": "t400148743", "type": "text", "x": 700, "y": 678, "width": 296.45000000000005, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1717974127, "versionNonce": 1179180113, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "a green suite run is trusted as self-certifying \u2014", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "a green suite run is trusted as self-certifying \u2014", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1146560188", "type": "text", "x": 700, "y": 693, "width": 284.35, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1771028921, "versionNonce": 644766781, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "nobody asks what would make it pass by accident", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "nobody asks what would make it pass by accident", "lineHeight": 1.25, "baseline": 11 }, { "id": "a726697632", "type": "arrow", "x": 580.0, "y": 210.0, "width": 80.0, "height": 0.0, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 443512708, "versionNonce": 1734027609, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 80.0, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1103228401", "type": "text", "x": 620.0, "y": 196.0, "width": 290.40000000000003, "height": 13.75, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 84383657, "versionNonce": 79632547, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "catches: a structural defect no JVM run surfaces", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "catches: a structural defect no JVM run surfaces", "lineHeight": 1.25, "baseline": 11 }, { "id": "a975504083", "type": "arrow", "x": 580.0, "y": 460.0, "width": 80.0, "height": 0.0, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1158957904, "versionNonce": 1836955745, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 80.0, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1673946431", "type": "text", "x": 620.0, "y": 446.0, "width": 278.3, "height": 13.75, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1809093946, "versionNonce": 1936033977, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "catches: shared state masking a routing defect", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "catches: shared state masking a routing defect", "lineHeight": 1.25, "baseline": 11 }, { "id": "a101614339", "type": "arrow", "x": 350.0, "y": 710.0, "width": 30.0, "height": 0.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 264653538, "versionNonce": 1187364139, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 30.0, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "a208778539", "type": "arrow", "x": 640.0, "y": 710.0, "width": 50.0, "height": 0.0, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 70348273, "versionNonce": 777027222, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 50.0, 0.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t727303077", "type": "text", "x": 665.0, "y": 696.0, "width": 272.25, "height": 13.75, "angle": 0, "strokeColor": "#2f5f3d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 436225738, "versionNonce": 1766441201, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "decides: is this coverage the right coverage?", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "decides: is this coverage the right coverage?", "lineHeight": 1.25, "baseline": 11 }, { "id": "a492009752", "type": "arrow", "x": 320.0, "y": 270.0, "width": 0.0, "height": 130.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 569268828, "versionNonce": 77189701, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ 0.0, 130.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t1905995336", "type": "text", "x": 320.0, "y": 321.0, "width": 217.8, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1893982603, "versionNonce": 1603945527, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "compensates for layer 1's blind spot", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "compensates for layer 1's blind spot", "lineHeight": 1.25, "baseline": 11 }, { "id": "a1501046191", "type": "arrow", "x": 292.4, "y": 520.0, "width": 59.79999999999998, "height": 130.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 2, "strokeStyle": "dashed", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": { "type": 2 }, "seed": 1465461540, "versionNonce": 994397088, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "points": [ [ 0, 0 ], [ -59.79999999999998, 130.0 ] ], "lastCommittedPoint": null, "startBinding": null, "endBinding": null, "startArrowhead": null, "endArrowhead": "arrow" }, { "id": "t699148576", "type": "text", "x": 262.5, "y": 571.0, "width": 308.55, "height": 13.75, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 1081000170, "versionNonce": 1180685013, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "judges whether layers 1+2's coverage fit the stakes", "fontSize": 11, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "judges whether layers 1+2's coverage fit the stakes", "lineHeight": 1.25, "baseline": 11 }, { "id": "t1515152300", "type": "text", "x": 650.0, "y": 22, "width": 794.7500000000001, "height": 21.25, "angle": 0, "strokeColor": "#1d1d1d", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 833153720, "versionNonce": 89050121, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "ch.07 \u2014 the safety net has three layers; removing any one lets a specific bug through", "fontSize": 17, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "ch.07 \u2014 the safety net has three layers; removing any one lets a specific bug through", "lineHeight": 1.25, "baseline": 17 }, { "id": "t1338662039", "type": "text", "x": 650.0, "y": 46, "width": 653.4000000000001, "height": 15.0, "angle": 0, "strokeColor": "#555555", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 25382982, "versionNonce": 708993666, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "the ADLC is not safe because an agent is careful \u2014 it is safe because all three layers hold at once", "fontSize": 12, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "the ADLC is not safe because an agent is careful \u2014 it is safe because all three layers hold at once", "lineHeight": 1.25, "baseline": 12 }, { "id": "t155773438", "type": "text", "x": 40, "y": 874, "width": 803.0000000000001, "height": 12.5, "angle": 0, "strokeColor": "#777777", "backgroundColor": "transparent", "fillStyle": "solid", "strokeWidth": 1, "strokeStyle": "solid", "roughness": 1, "opacity": 100, "groupIds": [], "frameId": null, "roundness": null, "seed": 923684781, "versionNonce": 643787428, "isDeleted": false, "boundElements": [], "updated": 1, "link": null, "locked": false, "text": "Sourced from _docs/07-adlc-safety-net.md (\"The lesson: necessary, not sufficient\"; the Verify and Operate sections' bug #1 and bug #2 narratives).", "fontSize": 10, "fontFamily": 1, "textAlign": "left", "verticalAlign": "top", "containerId": null, "originalText": "Sourced from _docs/07-adlc-safety-net.md (\"The lesson: necessary, not sufficient\"; the Verify and Operate sections' bug #1 and bug #2 narratives).", "lineHeight": 1.25, "baseline": 10 } ], "appState": { "viewBackgroundColor": "#ffffff", "gridSize": null }, "files": {} }