@cssints/apg-specs 0.0.0-stage → 0.5.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (260) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +65 -2
  3. package/dist/apg/accordion.bridge.d.mts +35 -0
  4. package/dist/apg/accordion.bridge.mjs +326 -0
  5. package/dist/apg/accordion.model.json +8397 -0
  6. package/dist/apg/alert.bridge.d.mts +22 -0
  7. package/dist/apg/alert.bridge.mjs +86 -0
  8. package/dist/apg/alert.model.json +871 -0
  9. package/dist/apg/alertdialog.bridge.d.mts +21 -0
  10. package/dist/apg/alertdialog.bridge.mjs +221 -0
  11. package/dist/apg/alertdialog.model.json +5232 -0
  12. package/dist/apg/breadcrumb.bridge.d.mts +26 -0
  13. package/dist/apg/breadcrumb.bridge.mjs +120 -0
  14. package/dist/apg/breadcrumb.model.json +574 -0
  15. package/dist/apg/button.bridge.d.mts +35 -0
  16. package/dist/apg/button.bridge.mjs +208 -0
  17. package/dist/apg/button.model.json +5814 -0
  18. package/dist/apg/carousel.bridge.d.mts +44 -0
  19. package/dist/apg/carousel.bridge.mjs +262 -0
  20. package/dist/apg/carousel.model.json +8963 -0
  21. package/dist/apg/checkbox-group.bridge.d.mts +25 -0
  22. package/dist/apg/checkbox-group.bridge.mjs +276 -0
  23. package/dist/apg/checkbox-group.model.json +3863 -0
  24. package/dist/apg/checkbox.bridge.d.mts +34 -0
  25. package/dist/apg/checkbox.bridge.mjs +253 -0
  26. package/dist/apg/checkbox.model.json +3158 -0
  27. package/dist/apg/combobox-autocomplete.bridge.d.mts +14 -0
  28. package/dist/apg/combobox-autocomplete.bridge.mjs +326 -0
  29. package/dist/apg/combobox-autocomplete.model.json +11586 -0
  30. package/dist/apg/combobox-dialog.bridge.d.mts +17 -0
  31. package/dist/apg/combobox-dialog.bridge.mjs +250 -0
  32. package/dist/apg/combobox-dialog.model.json +8981 -0
  33. package/dist/apg/combobox-grid.bridge.d.mts +17 -0
  34. package/dist/apg/combobox-grid.bridge.mjs +227 -0
  35. package/dist/apg/combobox-grid.model.json +8554 -0
  36. package/dist/apg/combobox-select-only.bridge.d.mts +24 -0
  37. package/dist/apg/combobox-select-only.bridge.mjs +304 -0
  38. package/dist/apg/combobox-select-only.model.json +7846 -0
  39. package/dist/apg/combobox-tree.bridge.d.mts +17 -0
  40. package/dist/apg/combobox-tree.bridge.mjs +211 -0
  41. package/dist/apg/combobox-tree.model.json +9345 -0
  42. package/dist/apg/dialog-modal.bridge.d.mts +35 -0
  43. package/dist/apg/dialog-modal.bridge.mjs +186 -0
  44. package/dist/apg/dialog-modal.model.json +7580 -0
  45. package/dist/apg/disclosure.bridge.d.mts +25 -0
  46. package/dist/apg/disclosure.bridge.mjs +202 -0
  47. package/dist/apg/disclosure.model.json +4703 -0
  48. package/dist/apg/feed.bridge.d.mts +31 -0
  49. package/dist/apg/feed.bridge.mjs +246 -0
  50. package/dist/apg/feed.model.json +4523 -0
  51. package/dist/apg/grid-selection.bridge.d.mts +13 -0
  52. package/dist/apg/grid-selection.bridge.mjs +160 -0
  53. package/dist/apg/grid-selection.model.json +6974 -0
  54. package/dist/apg/grid-sort.bridge.d.mts +12 -0
  55. package/dist/apg/grid-sort.bridge.mjs +138 -0
  56. package/dist/apg/grid-sort.model.json +3799 -0
  57. package/dist/apg/grid.bridge.d.mts +54 -0
  58. package/dist/apg/grid.bridge.mjs +441 -0
  59. package/dist/apg/grid.model.json +3802 -0
  60. package/dist/apg/link.bridge.d.mts +24 -0
  61. package/dist/apg/link.bridge.mjs +126 -0
  62. package/dist/apg/link.model.json +694 -0
  63. package/dist/apg/listbox-multi.bridge.d.mts +10 -0
  64. package/dist/apg/listbox-multi.bridge.mjs +261 -0
  65. package/dist/apg/listbox-multi.model.json +10893 -0
  66. package/dist/apg/listbox-rearrangeable.bridge.d.mts +20 -0
  67. package/dist/apg/listbox-rearrangeable.bridge.mjs +237 -0
  68. package/dist/apg/listbox-rearrangeable.model.json +17592 -0
  69. package/dist/apg/listbox-shared.d.mts +58 -0
  70. package/dist/apg/listbox-shared.mjs +171 -0
  71. package/dist/apg/listbox-single.bridge.d.mts +10 -0
  72. package/dist/apg/listbox-single.bridge.mjs +196 -0
  73. package/dist/apg/listbox-single.model.json +8024 -0
  74. package/dist/apg/listbox-typeahead.bridge.d.mts +10 -0
  75. package/dist/apg/listbox-typeahead.bridge.mjs +153 -0
  76. package/dist/apg/listbox-typeahead.model.json +5615 -0
  77. package/dist/apg/menu-button.bridge.d.mts +29 -0
  78. package/dist/apg/menu-button.bridge.mjs +259 -0
  79. package/dist/apg/menu-button.model.json +5706 -0
  80. package/dist/apg/menu-checkable.bridge.d.mts +25 -0
  81. package/dist/apg/menu-checkable.bridge.mjs +226 -0
  82. package/dist/apg/menu-checkable.model.json +4277 -0
  83. package/dist/apg/menu-menubar.bridge.d.mts +27 -0
  84. package/dist/apg/menu-menubar.bridge.mjs +273 -0
  85. package/dist/apg/menu-menubar.model.json +9540 -0
  86. package/dist/apg/meter.bridge.d.mts +28 -0
  87. package/dist/apg/meter.bridge.mjs +159 -0
  88. package/dist/apg/meter.model.json +1185 -0
  89. package/dist/apg/player.bridge.d.mts +24 -0
  90. package/dist/apg/player.bridge.mjs +342 -0
  91. package/dist/apg/player.model.json +11013 -0
  92. package/dist/apg/radio.bridge.d.mts +35 -0
  93. package/dist/apg/radio.bridge.mjs +371 -0
  94. package/dist/apg/radio.model.json +5011 -0
  95. package/dist/apg/slider-multithumb.bridge.d.mts +34 -0
  96. package/dist/apg/slider-multithumb.bridge.mjs +365 -0
  97. package/dist/apg/slider-multithumb.model.json +5774 -0
  98. package/dist/apg/slider.bridge.d.mts +54 -0
  99. package/dist/apg/slider.bridge.mjs +359 -0
  100. package/dist/apg/slider.model.json +4881 -0
  101. package/dist/apg/spinbutton.bridge.d.mts +41 -0
  102. package/dist/apg/spinbutton.bridge.mjs +327 -0
  103. package/dist/apg/spinbutton.model.json +7571 -0
  104. package/dist/apg/switch.bridge.d.mts +30 -0
  105. package/dist/apg/switch.bridge.mjs +243 -0
  106. package/dist/apg/switch.model.json +3159 -0
  107. package/dist/apg/tabs.bridge.d.mts +41 -0
  108. package/dist/apg/tabs.bridge.mjs +294 -0
  109. package/dist/apg/tabs.model.json +7659 -0
  110. package/dist/apg/timeline.bridge.d.mts +36 -0
  111. package/dist/apg/timeline.bridge.mjs +265 -0
  112. package/dist/apg/timeline.model.json +6189 -0
  113. package/dist/apg/toolbar.bridge.d.mts +25 -0
  114. package/dist/apg/toolbar.bridge.mjs +307 -0
  115. package/dist/apg/toolbar.model.json +6616 -0
  116. package/dist/apg/tooltip.bridge.d.mts +36 -0
  117. package/dist/apg/tooltip.bridge.mjs +208 -0
  118. package/dist/apg/tooltip.model.json +8295 -0
  119. package/dist/apg/treegrid.bridge.d.mts +28 -0
  120. package/dist/apg/treegrid.bridge.mjs +311 -0
  121. package/dist/apg/treegrid.model.json +17358 -0
  122. package/dist/apg/treeview.bridge.d.mts +26 -0
  123. package/dist/apg/treeview.bridge.mjs +396 -0
  124. package/dist/apg/treeview.model.json +13745 -0
  125. package/dist/apg/windowsplitter.bridge.d.mts +36 -0
  126. package/dist/apg/windowsplitter.bridge.mjs +242 -0
  127. package/dist/apg/windowsplitter.model.json +6253 -0
  128. package/dist/canvas/camera.model.json +6568 -0
  129. package/dist/canvas/canvas.bridge.d.mts +190 -0
  130. package/dist/canvas/canvas.bridge.mjs +729 -0
  131. package/dist/canvas/pointer.model.json +17095 -0
  132. package/dist/scenario.d.mts +233 -0
  133. package/dist/scenario.mjs +313 -0
  134. package/package.json +57 -4
  135. package/scenarios/apg/README.md +221 -0
  136. package/scenarios/apg/accordion.base-ui.json +1005 -0
  137. package/scenarios/apg/accordion.react-aria.json +929 -0
  138. package/scenarios/apg/alert.base-ui.json +81 -0
  139. package/scenarios/apg/alert.react-aria.json +98 -0
  140. package/scenarios/apg/alertdialog.base-ui.json +331 -0
  141. package/scenarios/apg/alertdialog.react-aria.json +225 -0
  142. package/scenarios/apg/breadcrumb.react-aria.json +312 -0
  143. package/scenarios/apg/button.ariakit.json +136 -0
  144. package/scenarios/apg/button.base-ui.json +747 -0
  145. package/scenarios/apg/button.react-aria.json +443 -0
  146. package/scenarios/apg/carousel.apg.json +909 -0
  147. package/scenarios/apg/checkbox.ariakit.json +299 -0
  148. package/scenarios/apg/checkbox.base-ui.json +1126 -0
  149. package/scenarios/apg/checkbox.react-aria.json +518 -0
  150. package/scenarios/apg/combobox.ariakit.json +945 -0
  151. package/scenarios/apg/combobox.base-ui.json +2444 -0
  152. package/scenarios/apg/combobox.react-aria.json +845 -0
  153. package/scenarios/apg/dialog-modal.ariakit.json +1102 -0
  154. package/scenarios/apg/dialog-modal.base-ui.json +775 -0
  155. package/scenarios/apg/dialog-modal.react-aria.json +638 -0
  156. package/scenarios/apg/disclosure.apg.json +349 -0
  157. package/scenarios/apg/disclosure.ariakit.json +163 -0
  158. package/scenarios/apg/disclosure.base-ui.json +451 -0
  159. package/scenarios/apg/disclosure.react-aria.json +643 -0
  160. package/scenarios/apg/feed.apg.json +442 -0
  161. package/scenarios/apg/grid.ariakit.json +197 -0
  162. package/scenarios/apg/grid.base-ui.json +720 -0
  163. package/scenarios/apg/grid.react-aria.json +969 -0
  164. package/scenarios/apg/landmarks.ariakit.json +93 -0
  165. package/scenarios/apg/landmarks.react-aria.json +330 -0
  166. package/scenarios/apg/link.ariakit.json +83 -0
  167. package/scenarios/apg/link.base-ui.json +88 -0
  168. package/scenarios/apg/link.react-aria.json +186 -0
  169. package/scenarios/apg/listbox.ariakit.json +78 -0
  170. package/scenarios/apg/listbox.base-ui.json +163 -0
  171. package/scenarios/apg/listbox.react-aria.json +1118 -0
  172. package/scenarios/apg/menu-button.ariakit.json +924 -0
  173. package/scenarios/apg/menu-button.base-ui.json +1155 -0
  174. package/scenarios/apg/menu-button.react-aria.json +1080 -0
  175. package/scenarios/apg/menubar.ariakit.json +758 -0
  176. package/scenarios/apg/menubar.base-ui.json +673 -0
  177. package/scenarios/apg/meter.base-ui.json +243 -0
  178. package/scenarios/apg/meter.react-aria.json +201 -0
  179. package/scenarios/apg/radio.ariakit.json +459 -0
  180. package/scenarios/apg/radio.base-ui.json +581 -0
  181. package/scenarios/apg/radio.react-aria.json +576 -0
  182. package/scenarios/apg/slider-multithumb.base-ui.json +316 -0
  183. package/scenarios/apg/slider-multithumb.react-aria.json +363 -0
  184. package/scenarios/apg/slider.base-ui.json +544 -0
  185. package/scenarios/apg/slider.react-aria.json +456 -0
  186. package/scenarios/apg/spinbutton.base-ui.json +1688 -0
  187. package/scenarios/apg/spinbutton.react-aria.json +426 -0
  188. package/scenarios/apg/switch.base-ui.json +456 -0
  189. package/scenarios/apg/switch.react-aria.json +303 -0
  190. package/scenarios/apg/table.ariakit.json +65 -0
  191. package/scenarios/apg/table.react-aria.json +221 -0
  192. package/scenarios/apg/tabs.ariakit.json +329 -0
  193. package/scenarios/apg/tabs.base-ui.json +875 -0
  194. package/scenarios/apg/tabs.react-aria.json +644 -0
  195. package/scenarios/apg/toolbar.ariakit.json +595 -0
  196. package/scenarios/apg/toolbar.base-ui.json +1189 -0
  197. package/scenarios/apg/toolbar.react-aria.json +383 -0
  198. package/scenarios/apg/tooltip.ariakit.json +441 -0
  199. package/scenarios/apg/tooltip.base-ui.json +411 -0
  200. package/scenarios/apg/tooltip.react-aria.json +454 -0
  201. package/scenarios/apg/treegrid.apg.json +2558 -0
  202. package/scenarios/apg/treegrid.react-aria.json +5094 -0
  203. package/scenarios/apg/treeview.apg.json +928 -0
  204. package/scenarios/apg/windowsplitter.apg.json +557 -0
  205. package/scenarios/canvas/README.md +69 -0
  206. package/scenarios/canvas/camera.contract.json +237 -0
  207. package/scenarios/canvas/camera.excalidraw.json +57 -0
  208. package/scenarios/canvas/marquee.excalidraw.json +122 -0
  209. package/scenarios/canvas/pan.excalidraw.json +46 -0
  210. package/scenarios/canvas/pointer.contract.json +528 -0
  211. package/scenarios/parts.json +291 -0
  212. package/shared/aria.qnt +186 -0
  213. package/shared/details-group.qnt +50 -0
  214. package/shared/focusgroup.qnt +152 -0
  215. package/shared/invokers.qnt +81 -0
  216. package/shared/popover.qnt +71 -0
  217. package/specs/apg/STATIC.md +103 -0
  218. package/specs/apg/accordion.qnt +578 -0
  219. package/specs/apg/alert.qnt +131 -0
  220. package/specs/apg/alertdialog.qnt +455 -0
  221. package/specs/apg/breadcrumb.qnt +88 -0
  222. package/specs/apg/button.qnt +445 -0
  223. package/specs/apg/carousel.qnt +732 -0
  224. package/specs/apg/checkbox-group.qnt +388 -0
  225. package/specs/apg/checkbox.qnt +394 -0
  226. package/specs/apg/combobox-autocomplete.qnt +764 -0
  227. package/specs/apg/combobox-dialog.qnt +627 -0
  228. package/specs/apg/combobox-grid.qnt +632 -0
  229. package/specs/apg/combobox-select-only.qnt +626 -0
  230. package/specs/apg/combobox-tree.qnt +633 -0
  231. package/specs/apg/dialog-modal.qnt +499 -0
  232. package/specs/apg/disclosure.qnt +309 -0
  233. package/specs/apg/feed.qnt +485 -0
  234. package/specs/apg/grid-selection.qnt +512 -0
  235. package/specs/apg/grid-sort.qnt +330 -0
  236. package/specs/apg/grid.qnt +360 -0
  237. package/specs/apg/link.qnt +119 -0
  238. package/specs/apg/listbox-multi.qnt +799 -0
  239. package/specs/apg/listbox-rearrangeable.qnt +801 -0
  240. package/specs/apg/listbox-single.qnt +511 -0
  241. package/specs/apg/listbox-typeahead.qnt +396 -0
  242. package/specs/apg/menu-button.qnt +363 -0
  243. package/specs/apg/menu-checkable.qnt +304 -0
  244. package/specs/apg/menu-menubar.qnt +531 -0
  245. package/specs/apg/meter.qnt +129 -0
  246. package/specs/apg/player.qnt +1081 -0
  247. package/specs/apg/radio.qnt +394 -0
  248. package/specs/apg/slider-multithumb.qnt +441 -0
  249. package/specs/apg/slider.qnt +396 -0
  250. package/specs/apg/spinbutton.qnt +494 -0
  251. package/specs/apg/switch.qnt +389 -0
  252. package/specs/apg/tabs.qnt +412 -0
  253. package/specs/apg/timeline.qnt +612 -0
  254. package/specs/apg/toolbar.qnt +364 -0
  255. package/specs/apg/tooltip.qnt +553 -0
  256. package/specs/apg/treegrid.qnt +983 -0
  257. package/specs/apg/treeview.qnt +1004 -0
  258. package/specs/apg/windowsplitter.qnt +487 -0
  259. package/specs/canvas/camera.qnt +407 -0
  260. package/specs/canvas/pointer.qnt +841 -0
package/dist/apg/disclosure.model.json ADDED
@@ -0,0 +1,4703 @@
1
+ {
2
+ "generatedFrom": "../../specs/apg/disclosure.qnt",
3
+ "specHash": "01154b5697f750117a5314384a275e3dd1e2b2a7fb97cac95a69f05f08276dfd",
4
+ "module": "apg_disclosure",
5
+ "vars": [
6
+ {
7
+ "name": "expanded",
8
+ "type": "bool"
9
+ },
10
+ {
11
+ "name": "disabled",
12
+ "type": "bool"
13
+ },
14
+ {
15
+ "name": "focus",
16
+ "type": "str"
17
+ },
18
+ {
19
+ "name": "ariaExpanded",
20
+ "type": "str"
21
+ },
22
+ {
23
+ "name": "panelHidden",
24
+ "type": "bool"
25
+ },
26
+ {
27
+ "name": "requests",
28
+ "type": "int"
29
+ },
30
+ {
31
+ "name": "controlled",
32
+ "type": "bool"
33
+ },
34
+ {
35
+ "name": "accepting",
36
+ "type": "bool"
37
+ },
38
+ {
39
+ "name": "valueProp",
40
+ "type": "bool"
41
+ },
42
+ {
43
+ "name": "requested",
44
+ "type": "bool"
45
+ },
46
+ {
47
+ "name": "outcome",
48
+ "type": "str"
49
+ },
50
+ {
51
+ "name": "base",
52
+ "type": "bool"
53
+ }
54
+ ],
55
+ "defs": {
56
+ "moved": {
57
+ "kind": "function",
58
+ "params": [
59
+ "before",
60
+ "after"
61
+ ],
62
+ "body": {
63
+ "kind": "app",
64
+ "opcode": "ite",
65
+ "args": [
66
+ {
67
+ "kind": "app",
68
+ "opcode": "eq",
69
+ "args": [
70
+ {
71
+ "kind": "name",
72
+ "name": "before"
73
+ },
74
+ {
75
+ "kind": "name",
76
+ "name": "after"
77
+ }
78
+ ]
79
+ },
80
+ {
81
+ "kind": "int",
82
+ "value": "0"
83
+ },
84
+ {
85
+ "kind": "int",
86
+ "value": "1"
87
+ }
88
+ ]
89
+ }
90
+ },
91
+ "holds": {
92
+ "kind": "function",
93
+ "params": [],
94
+ "body": {
95
+ "kind": "app",
96
+ "opcode": "and",
97
+ "args": [
98
+ {
99
+ "kind": "name",
100
+ "name": "controlled"
101
+ },
102
+ {
103
+ "kind": "app",
104
+ "opcode": "not",
105
+ "args": [
106
+ {
107
+ "kind": "name",
108
+ "name": "accepting"
109
+ }
110
+ ]
111
+ }
112
+ ]
113
+ }
114
+ },
115
+ "follows": {
116
+ "kind": "function",
117
+ "params": [],
118
+ "body": {
119
+ "kind": "app",
120
+ "opcode": "and",
121
+ "args": [
122
+ {
123
+ "kind": "name",
124
+ "name": "controlled"
125
+ },
126
+ {
127
+ "kind": "name",
128
+ "name": "accepting"
129
+ }
130
+ ]
131
+ }
132
+ },
133
+ "verdict": {
134
+ "kind": "function",
135
+ "params": [],
136
+ "body": {
137
+ "kind": "app",
138
+ "opcode": "ite",
139
+ "args": [
140
+ {
141
+ "kind": "name",
142
+ "name": "holds"
143
+ },
144
+ {
145
+ "kind": "str",
146
+ "value": "rejected"
147
+ },
148
+ {
149
+ "kind": "str",
150
+ "value": "accepted"
151
+ }
152
+ ]
153
+ }
154
+ },
155
+ "landed": {
156
+ "kind": "function",
157
+ "params": [
158
+ "h",
159
+ "e",
160
+ "want"
161
+ ],
162
+ "body": {
163
+ "kind": "app",
164
+ "opcode": "ite",
165
+ "args": [
166
+ {
167
+ "kind": "name",
168
+ "name": "h"
169
+ },
170
+ {
171
+ "kind": "name",
172
+ "name": "e"
173
+ },
174
+ {
175
+ "kind": "name",
176
+ "name": "want"
177
+ }
178
+ ]
179
+ }
180
+ },
181
+ "propAfter": {
182
+ "kind": "function",
183
+ "params": [
184
+ "f",
185
+ "p",
186
+ "want"
187
+ ],
188
+ "body": {
189
+ "kind": "app",
190
+ "opcode": "ite",
191
+ "args": [
192
+ {
193
+ "kind": "name",
194
+ "name": "f"
195
+ },
196
+ {
197
+ "kind": "name",
198
+ "name": "want"
199
+ },
200
+ {
201
+ "kind": "name",
202
+ "name": "p"
203
+ }
204
+ ]
205
+ }
206
+ },
207
+ "AriaMirrorsPanel": {
208
+ "kind": "invariant",
209
+ "params": [],
210
+ "body": {
211
+ "kind": "app",
212
+ "opcode": "eq",
213
+ "args": [
214
+ {
215
+ "kind": "app",
216
+ "opcode": "eq",
217
+ "args": [
218
+ {
219
+ "kind": "name",
220
+ "name": "ariaExpanded"
221
+ },
222
+ {
223
+ "kind": "str",
224
+ "value": "true"
225
+ }
226
+ ]
227
+ },
228
+ {
229
+ "kind": "app",
230
+ "opcode": "not",
231
+ "args": [
232
+ {
233
+ "kind": "name",
234
+ "name": "panelHidden"
235
+ }
236
+ ]
237
+ }
238
+ ]
239
+ }
240
+ },
241
+ "RenderFollowsState": {
242
+ "kind": "invariant",
243
+ "params": [],
244
+ "body": {
245
+ "kind": "app",
246
+ "opcode": "eq",
247
+ "args": [
248
+ {
249
+ "kind": "app",
250
+ "opcode": "eq",
251
+ "args": [
252
+ {
253
+ "kind": "name",
254
+ "name": "ariaExpanded"
255
+ },
256
+ {
257
+ "kind": "str",
258
+ "value": "true"
259
+ }
260
+ ]
261
+ },
262
+ {
263
+ "kind": "name",
264
+ "name": "expanded"
265
+ }
266
+ ]
267
+ }
268
+ },
269
+ "DisabledNotFocused": {
270
+ "kind": "invariant",
271
+ "params": [],
272
+ "body": {
273
+ "kind": "app",
274
+ "opcode": "or",
275
+ "args": [
276
+ {
277
+ "kind": "app",
278
+ "opcode": "not",
279
+ "args": [
280
+ {
281
+ "kind": "name",
282
+ "name": "disabled"
283
+ }
284
+ ]
285
+ },
286
+ {
287
+ "kind": "app",
288
+ "opcode": "not",
289
+ "args": [
290
+ {
291
+ "kind": "app",
292
+ "opcode": "eq",
293
+ "args": [
294
+ {
295
+ "kind": "name",
296
+ "name": "focus"
297
+ },
298
+ {
299
+ "kind": "str",
300
+ "value": "trigger"
301
+ }
302
+ ]
303
+ }
304
+ ]
305
+ }
306
+ ]
307
+ }
308
+ },
309
+ "FocusKnown": {
310
+ "kind": "invariant",
311
+ "params": [],
312
+ "body": {
313
+ "kind": "app",
314
+ "opcode": "or",
315
+ "args": [
316
+ {
317
+ "kind": "app",
318
+ "opcode": "eq",
319
+ "args": [
320
+ {
321
+ "kind": "name",
322
+ "name": "focus"
323
+ },
324
+ {
325
+ "kind": "str",
326
+ "value": "none"
327
+ }
328
+ ]
329
+ },
330
+ {
331
+ "kind": "app",
332
+ "opcode": "or",
333
+ "args": [
334
+ {
335
+ "kind": "app",
336
+ "opcode": "eq",
337
+ "args": [
338
+ {
339
+ "kind": "name",
340
+ "name": "focus"
341
+ },
342
+ {
343
+ "kind": "str",
344
+ "value": "trigger"
345
+ }
346
+ ]
347
+ },
348
+ {
349
+ "kind": "app",
350
+ "opcode": "eq",
351
+ "args": [
352
+ {
353
+ "kind": "name",
354
+ "name": "focus"
355
+ },
356
+ {
357
+ "kind": "str",
358
+ "value": "unknown"
359
+ }
360
+ ]
361
+ }
362
+ ]
363
+ }
364
+ ]
365
+ }
366
+ },
367
+ "RequestsNonNegative": {
368
+ "kind": "invariant",
369
+ "params": [],
370
+ "body": {
371
+ "kind": "app",
372
+ "opcode": "igte",
373
+ "args": [
374
+ {
375
+ "kind": "name",
376
+ "name": "requests"
377
+ },
378
+ {
379
+ "kind": "int",
380
+ "value": "0"
381
+ }
382
+ ]
383
+ }
384
+ },
385
+ "ControlledFollowsProp": {
386
+ "kind": "invariant",
387
+ "params": [],
388
+ "body": {
389
+ "kind": "app",
390
+ "opcode": "or",
391
+ "args": [
392
+ {
393
+ "kind": "app",
394
+ "opcode": "not",
395
+ "args": [
396
+ {
397
+ "kind": "name",
398
+ "name": "controlled"
399
+ }
400
+ ]
401
+ },
402
+ {
403
+ "kind": "app",
404
+ "opcode": "eq",
405
+ "args": [
406
+ {
407
+ "kind": "name",
408
+ "name": "expanded"
409
+ },
410
+ {
411
+ "kind": "name",
412
+ "name": "valueProp"
413
+ }
414
+ ]
415
+ }
416
+ ]
417
+ }
418
+ },
419
+ "RejectedRequestUntouched": {
420
+ "kind": "invariant",
421
+ "params": [],
422
+ "body": {
423
+ "kind": "app",
424
+ "opcode": "or",
425
+ "args": [
426
+ {
427
+ "kind": "app",
428
+ "opcode": "not",
429
+ "args": [
430
+ {
431
+ "kind": "app",
432
+ "opcode": "eq",
433
+ "args": [
434
+ {
435
+ "kind": "name",
436
+ "name": "outcome"
437
+ },
438
+ {
439
+ "kind": "str",
440
+ "value": "rejected"
441
+ }
442
+ ]
443
+ }
444
+ ]
445
+ },
446
+ {
447
+ "kind": "app",
448
+ "opcode": "eq",
449
+ "args": [
450
+ {
451
+ "kind": "name",
452
+ "name": "expanded"
453
+ },
454
+ {
455
+ "kind": "name",
456
+ "name": "base"
457
+ }
458
+ ]
459
+ }
460
+ ]
461
+ }
462
+ },
463
+ "AcceptedRequestCommits": {
464
+ "kind": "invariant",
465
+ "params": [],
466
+ "body": {
467
+ "kind": "app",
468
+ "opcode": "or",
469
+ "args": [
470
+ {
471
+ "kind": "app",
472
+ "opcode": "not",
473
+ "args": [
474
+ {
475
+ "kind": "app",
476
+ "opcode": "eq",
477
+ "args": [
478
+ {
479
+ "kind": "name",
480
+ "name": "outcome"
481
+ },
482
+ {
483
+ "kind": "str",
484
+ "value": "accepted"
485
+ }
486
+ ]
487
+ }
488
+ ]
489
+ },
490
+ {
491
+ "kind": "app",
492
+ "opcode": "eq",
493
+ "args": [
494
+ {
495
+ "kind": "name",
496
+ "name": "expanded"
497
+ },
498
+ {
499
+ "kind": "name",
500
+ "name": "requested"
501
+ }
502
+ ]
503
+ }
504
+ ]
505
+ }
506
+ },
507
+ "ariaCycle0": {
508
+ "kind": "function",
509
+ "params": [
510
+ "n",
511
+ "cur",
512
+ "k"
513
+ ],
514
+ "body": {
515
+ "kind": "app",
516
+ "opcode": "ite",
517
+ "args": [
518
+ {
519
+ "kind": "app",
520
+ "opcode": "ilt",
521
+ "args": [
522
+ {
523
+ "kind": "name",
524
+ "name": "n"
525
+ },
526
+ {
527
+ "kind": "int",
528
+ "value": "1"
529
+ }
530
+ ]
531
+ },
532
+ {
533
+ "kind": "name",
534
+ "name": "cur"
535
+ },
536
+ {
537
+ "kind": "app",
538
+ "opcode": "imod",
539
+ "args": [
540
+ {
541
+ "kind": "app",
542
+ "opcode": "iadd",
543
+ "args": [
544
+ {
545
+ "kind": "name",
546
+ "name": "cur"
547
+ },
548
+ {
549
+ "kind": "name",
550
+ "name": "k"
551
+ }
552
+ ]
553
+ },
554
+ {
555
+ "kind": "name",
556
+ "name": "n"
557
+ }
558
+ ]
559
+ }
560
+ ]
561
+ }
562
+ },
563
+ "ariaCycle1": {
564
+ "kind": "function",
565
+ "params": [
566
+ "n",
567
+ "cur",
568
+ "k"
569
+ ],
570
+ "body": {
571
+ "kind": "app",
572
+ "opcode": "ite",
573
+ "args": [
574
+ {
575
+ "kind": "app",
576
+ "opcode": "ilt",
577
+ "args": [
578
+ {
579
+ "kind": "name",
580
+ "name": "n"
581
+ },
582
+ {
583
+ "kind": "int",
584
+ "value": "1"
585
+ }
586
+ ]
587
+ },
588
+ {
589
+ "kind": "name",
590
+ "name": "cur"
591
+ },
592
+ {
593
+ "kind": "app",
594
+ "opcode": "iadd",
595
+ "args": [
596
+ {
597
+ "kind": "app",
598
+ "opcode": "imod",
599
+ "args": [
600
+ {
601
+ "kind": "app",
602
+ "opcode": "isub",
603
+ "args": [
604
+ {
605
+ "kind": "app",
606
+ "opcode": "iadd",
607
+ "args": [
608
+ {
609
+ "kind": "app",
610
+ "opcode": "iadd",
611
+ "args": [
612
+ {
613
+ "kind": "name",
614
+ "name": "cur"
615
+ },
616
+ {
617
+ "kind": "name",
618
+ "name": "k"
619
+ }
620
+ ]
621
+ },
622
+ {
623
+ "kind": "name",
624
+ "name": "n"
625
+ }
626
+ ]
627
+ },
628
+ {
629
+ "kind": "int",
630
+ "value": "1"
631
+ }
632
+ ]
633
+ },
634
+ {
635
+ "kind": "name",
636
+ "name": "n"
637
+ }
638
+ ]
639
+ },
640
+ {
641
+ "kind": "int",
642
+ "value": "1"
643
+ }
644
+ ]
645
+ }
646
+ ]
647
+ }
648
+ },
649
+ "ariaWrapNext1": {
650
+ "kind": "function",
651
+ "params": [
652
+ "i",
653
+ "n"
654
+ ],
655
+ "body": {
656
+ "kind": "app",
657
+ "opcode": "ite",
658
+ "args": [
659
+ {
660
+ "kind": "app",
661
+ "opcode": "igte",
662
+ "args": [
663
+ {
664
+ "kind": "name",
665
+ "name": "i"
666
+ },
667
+ {
668
+ "kind": "name",
669
+ "name": "n"
670
+ }
671
+ ]
672
+ },
673
+ {
674
+ "kind": "int",
675
+ "value": "1"
676
+ },
677
+ {
678
+ "kind": "app",
679
+ "opcode": "iadd",
680
+ "args": [
681
+ {
682
+ "kind": "name",
683
+ "name": "i"
684
+ },
685
+ {
686
+ "kind": "int",
687
+ "value": "1"
688
+ }
689
+ ]
690
+ }
691
+ ]
692
+ }
693
+ },
694
+ "ariaWrapPrev1": {
695
+ "kind": "function",
696
+ "params": [
697
+ "i",
698
+ "n"
699
+ ],
700
+ "body": {
701
+ "kind": "app",
702
+ "opcode": "ite",
703
+ "args": [
704
+ {
705
+ "kind": "app",
706
+ "opcode": "ilte",
707
+ "args": [
708
+ {
709
+ "kind": "name",
710
+ "name": "i"
711
+ },
712
+ {
713
+ "kind": "int",
714
+ "value": "1"
715
+ }
716
+ ]
717
+ },
718
+ {
719
+ "kind": "name",
720
+ "name": "n"
721
+ },
722
+ {
723
+ "kind": "app",
724
+ "opcode": "isub",
725
+ "args": [
726
+ {
727
+ "kind": "name",
728
+ "name": "i"
729
+ },
730
+ {
731
+ "kind": "int",
732
+ "value": "1"
733
+ }
734
+ ]
735
+ }
736
+ ]
737
+ }
738
+ },
739
+ "ariaTaStart0": {
740
+ "kind": "function",
741
+ "params": [
742
+ "n",
743
+ "cur",
744
+ "fresh"
745
+ ],
746
+ "body": {
747
+ "kind": "app",
748
+ "opcode": "ite",
749
+ "args": [
750
+ {
751
+ "kind": "name",
752
+ "name": "fresh"
753
+ },
754
+ {
755
+ "kind": "app",
756
+ "opcode": "ariaCycle0",
757
+ "args": [
758
+ {
759
+ "kind": "name",
760
+ "name": "n"
761
+ },
762
+ {
763
+ "kind": "name",
764
+ "name": "cur"
765
+ },
766
+ {
767
+ "kind": "int",
768
+ "value": "1"
769
+ }
770
+ ]
771
+ },
772
+ {
773
+ "kind": "name",
774
+ "name": "cur"
775
+ }
776
+ ]
777
+ }
778
+ },
779
+ "ariaTaStart1": {
780
+ "kind": "function",
781
+ "params": [
782
+ "n",
783
+ "cur",
784
+ "fresh"
785
+ ],
786
+ "body": {
787
+ "kind": "app",
788
+ "opcode": "ite",
789
+ "args": [
790
+ {
791
+ "kind": "name",
792
+ "name": "fresh"
793
+ },
794
+ {
795
+ "kind": "app",
796
+ "opcode": "ariaCycle1",
797
+ "args": [
798
+ {
799
+ "kind": "name",
800
+ "name": "n"
801
+ },
802
+ {
803
+ "kind": "name",
804
+ "name": "cur"
805
+ },
806
+ {
807
+ "kind": "int",
808
+ "value": "1"
809
+ }
810
+ ]
811
+ },
812
+ {
813
+ "kind": "name",
814
+ "name": "cur"
815
+ }
816
+ ]
817
+ }
818
+ },
819
+ "ariaTaRepeatStart0": {
820
+ "kind": "function",
821
+ "params": [
822
+ "n",
823
+ "cur",
824
+ "typedBefore",
825
+ "ch"
826
+ ],
827
+ "body": {
828
+ "kind": "app",
829
+ "opcode": "ite",
830
+ "args": [
831
+ {
832
+ "kind": "app",
833
+ "opcode": "eq",
834
+ "args": [
835
+ {
836
+ "kind": "name",
837
+ "name": "typedBefore"
838
+ },
839
+ {
840
+ "kind": "name",
841
+ "name": "ch"
842
+ }
843
+ ]
844
+ },
845
+ {
846
+ "kind": "app",
847
+ "opcode": "ariaCycle0",
848
+ "args": [
849
+ {
850
+ "kind": "name",
851
+ "name": "n"
852
+ },
853
+ {
854
+ "kind": "name",
855
+ "name": "cur"
856
+ },
857
+ {
858
+ "kind": "int",
859
+ "value": "1"
860
+ }
861
+ ]
862
+ },
863
+ {
864
+ "kind": "int",
865
+ "value": "0"
866
+ }
867
+ ]
868
+ }
869
+ },
870
+ "ariaTaFold": {
871
+ "kind": "function",
872
+ "params": [
873
+ "c"
874
+ ],
875
+ "body": {
876
+ "kind": "app",
877
+ "opcode": "ite",
878
+ "args": [
879
+ {
880
+ "kind": "app",
881
+ "opcode": "eq",
882
+ "args": [
883
+ {
884
+ "kind": "name",
885
+ "name": "c"
886
+ },
887
+ {
888
+ "kind": "str",
889
+ "value": "A"
890
+ }
891
+ ]
892
+ },
893
+ {
894
+ "kind": "str",
895
+ "value": "a"
896
+ },
897
+ {
898
+ "kind": "app",
899
+ "opcode": "ite",
900
+ "args": [
901
+ {
902
+ "kind": "app",
903
+ "opcode": "eq",
904
+ "args": [
905
+ {
906
+ "kind": "name",
907
+ "name": "c"
908
+ },
909
+ {
910
+ "kind": "str",
911
+ "value": "B"
912
+ }
913
+ ]
914
+ },
915
+ {
916
+ "kind": "str",
917
+ "value": "b"
918
+ },
919
+ {
920
+ "kind": "app",
921
+ "opcode": "ite",
922
+ "args": [
923
+ {
924
+ "kind": "app",
925
+ "opcode": "eq",
926
+ "args": [
927
+ {
928
+ "kind": "name",
929
+ "name": "c"
930
+ },
931
+ {
932
+ "kind": "str",
933
+ "value": "C"
934
+ }
935
+ ]
936
+ },
937
+ {
938
+ "kind": "str",
939
+ "value": "c"
940
+ },
941
+ {
942
+ "kind": "app",
943
+ "opcode": "ite",
944
+ "args": [
945
+ {
946
+ "kind": "app",
947
+ "opcode": "eq",
948
+ "args": [
949
+ {
950
+ "kind": "name",
951
+ "name": "c"
952
+ },
953
+ {
954
+ "kind": "str",
955
+ "value": "D"
956
+ }
957
+ ]
958
+ },
959
+ {
960
+ "kind": "str",
961
+ "value": "d"
962
+ },
963
+ {
964
+ "kind": "app",
965
+ "opcode": "ite",
966
+ "args": [
967
+ {
968
+ "kind": "app",
969
+ "opcode": "eq",
970
+ "args": [
971
+ {
972
+ "kind": "name",
973
+ "name": "c"
974
+ },
975
+ {
976
+ "kind": "str",
977
+ "value": "E"
978
+ }
979
+ ]
980
+ },
981
+ {
982
+ "kind": "str",
983
+ "value": "e"
984
+ },
985
+ {
986
+ "kind": "app",
987
+ "opcode": "ite",
988
+ "args": [
989
+ {
990
+ "kind": "app",
991
+ "opcode": "eq",
992
+ "args": [
993
+ {
994
+ "kind": "name",
995
+ "name": "c"
996
+ },
997
+ {
998
+ "kind": "str",
999
+ "value": "F"
1000
+ }
1001
+ ]
1002
+ },
1003
+ {
1004
+ "kind": "str",
1005
+ "value": "f"
1006
+ },
1007
+ {
1008
+ "kind": "app",
1009
+ "opcode": "ite",
1010
+ "args": [
1011
+ {
1012
+ "kind": "app",
1013
+ "opcode": "eq",
1014
+ "args": [
1015
+ {
1016
+ "kind": "name",
1017
+ "name": "c"
1018
+ },
1019
+ {
1020
+ "kind": "str",
1021
+ "value": "G"
1022
+ }
1023
+ ]
1024
+ },
1025
+ {
1026
+ "kind": "str",
1027
+ "value": "g"
1028
+ },
1029
+ {
1030
+ "kind": "app",
1031
+ "opcode": "ite",
1032
+ "args": [
1033
+ {
1034
+ "kind": "app",
1035
+ "opcode": "eq",
1036
+ "args": [
1037
+ {
1038
+ "kind": "name",
1039
+ "name": "c"
1040
+ },
1041
+ {
1042
+ "kind": "str",
1043
+ "value": "H"
1044
+ }
1045
+ ]
1046
+ },
1047
+ {
1048
+ "kind": "str",
1049
+ "value": "h"
1050
+ },
1051
+ {
1052
+ "kind": "app",
1053
+ "opcode": "ite",
1054
+ "args": [
1055
+ {
1056
+ "kind": "app",
1057
+ "opcode": "eq",
1058
+ "args": [
1059
+ {
1060
+ "kind": "name",
1061
+ "name": "c"
1062
+ },
1063
+ {
1064
+ "kind": "str",
1065
+ "value": "I"
1066
+ }
1067
+ ]
1068
+ },
1069
+ {
1070
+ "kind": "str",
1071
+ "value": "i"
1072
+ },
1073
+ {
1074
+ "kind": "app",
1075
+ "opcode": "ite",
1076
+ "args": [
1077
+ {
1078
+ "kind": "app",
1079
+ "opcode": "eq",
1080
+ "args": [
1081
+ {
1082
+ "kind": "name",
1083
+ "name": "c"
1084
+ },
1085
+ {
1086
+ "kind": "str",
1087
+ "value": "J"
1088
+ }
1089
+ ]
1090
+ },
1091
+ {
1092
+ "kind": "str",
1093
+ "value": "j"
1094
+ },
1095
+ {
1096
+ "kind": "app",
1097
+ "opcode": "ite",
1098
+ "args": [
1099
+ {
1100
+ "kind": "app",
1101
+ "opcode": "eq",
1102
+ "args": [
1103
+ {
1104
+ "kind": "name",
1105
+ "name": "c"
1106
+ },
1107
+ {
1108
+ "kind": "str",
1109
+ "value": "K"
1110
+ }
1111
+ ]
1112
+ },
1113
+ {
1114
+ "kind": "str",
1115
+ "value": "k"
1116
+ },
1117
+ {
1118
+ "kind": "app",
1119
+ "opcode": "ite",
1120
+ "args": [
1121
+ {
1122
+ "kind": "app",
1123
+ "opcode": "eq",
1124
+ "args": [
1125
+ {
1126
+ "kind": "name",
1127
+ "name": "c"
1128
+ },
1129
+ {
1130
+ "kind": "str",
1131
+ "value": "L"
1132
+ }
1133
+ ]
1134
+ },
1135
+ {
1136
+ "kind": "str",
1137
+ "value": "l"
1138
+ },
1139
+ {
1140
+ "kind": "app",
1141
+ "opcode": "ite",
1142
+ "args": [
1143
+ {
1144
+ "kind": "app",
1145
+ "opcode": "eq",
1146
+ "args": [
1147
+ {
1148
+ "kind": "name",
1149
+ "name": "c"
1150
+ },
1151
+ {
1152
+ "kind": "str",
1153
+ "value": "M"
1154
+ }
1155
+ ]
1156
+ },
1157
+ {
1158
+ "kind": "str",
1159
+ "value": "m"
1160
+ },
1161
+ {
1162
+ "kind": "app",
1163
+ "opcode": "ite",
1164
+ "args": [
1165
+ {
1166
+ "kind": "app",
1167
+ "opcode": "eq",
1168
+ "args": [
1169
+ {
1170
+ "kind": "name",
1171
+ "name": "c"
1172
+ },
1173
+ {
1174
+ "kind": "str",
1175
+ "value": "N"
1176
+ }
1177
+ ]
1178
+ },
1179
+ {
1180
+ "kind": "str",
1181
+ "value": "n"
1182
+ },
1183
+ {
1184
+ "kind": "app",
1185
+ "opcode": "ite",
1186
+ "args": [
1187
+ {
1188
+ "kind": "app",
1189
+ "opcode": "eq",
1190
+ "args": [
1191
+ {
1192
+ "kind": "name",
1193
+ "name": "c"
1194
+ },
1195
+ {
1196
+ "kind": "str",
1197
+ "value": "O"
1198
+ }
1199
+ ]
1200
+ },
1201
+ {
1202
+ "kind": "str",
1203
+ "value": "o"
1204
+ },
1205
+ {
1206
+ "kind": "app",
1207
+ "opcode": "ite",
1208
+ "args": [
1209
+ {
1210
+ "kind": "app",
1211
+ "opcode": "eq",
1212
+ "args": [
1213
+ {
1214
+ "kind": "name",
1215
+ "name": "c"
1216
+ },
1217
+ {
1218
+ "kind": "str",
1219
+ "value": "P"
1220
+ }
1221
+ ]
1222
+ },
1223
+ {
1224
+ "kind": "str",
1225
+ "value": "p"
1226
+ },
1227
+ {
1228
+ "kind": "app",
1229
+ "opcode": "ite",
1230
+ "args": [
1231
+ {
1232
+ "kind": "app",
1233
+ "opcode": "eq",
1234
+ "args": [
1235
+ {
1236
+ "kind": "name",
1237
+ "name": "c"
1238
+ },
1239
+ {
1240
+ "kind": "str",
1241
+ "value": "Q"
1242
+ }
1243
+ ]
1244
+ },
1245
+ {
1246
+ "kind": "str",
1247
+ "value": "q"
1248
+ },
1249
+ {
1250
+ "kind": "app",
1251
+ "opcode": "ite",
1252
+ "args": [
1253
+ {
1254
+ "kind": "app",
1255
+ "opcode": "eq",
1256
+ "args": [
1257
+ {
1258
+ "kind": "name",
1259
+ "name": "c"
1260
+ },
1261
+ {
1262
+ "kind": "str",
1263
+ "value": "R"
1264
+ }
1265
+ ]
1266
+ },
1267
+ {
1268
+ "kind": "str",
1269
+ "value": "r"
1270
+ },
1271
+ {
1272
+ "kind": "app",
1273
+ "opcode": "ite",
1274
+ "args": [
1275
+ {
1276
+ "kind": "app",
1277
+ "opcode": "eq",
1278
+ "args": [
1279
+ {
1280
+ "kind": "name",
1281
+ "name": "c"
1282
+ },
1283
+ {
1284
+ "kind": "str",
1285
+ "value": "S"
1286
+ }
1287
+ ]
1288
+ },
1289
+ {
1290
+ "kind": "str",
1291
+ "value": "s"
1292
+ },
1293
+ {
1294
+ "kind": "app",
1295
+ "opcode": "ite",
1296
+ "args": [
1297
+ {
1298
+ "kind": "app",
1299
+ "opcode": "eq",
1300
+ "args": [
1301
+ {
1302
+ "kind": "name",
1303
+ "name": "c"
1304
+ },
1305
+ {
1306
+ "kind": "str",
1307
+ "value": "T"
1308
+ }
1309
+ ]
1310
+ },
1311
+ {
1312
+ "kind": "str",
1313
+ "value": "t"
1314
+ },
1315
+ {
1316
+ "kind": "app",
1317
+ "opcode": "ite",
1318
+ "args": [
1319
+ {
1320
+ "kind": "app",
1321
+ "opcode": "eq",
1322
+ "args": [
1323
+ {
1324
+ "kind": "name",
1325
+ "name": "c"
1326
+ },
1327
+ {
1328
+ "kind": "str",
1329
+ "value": "U"
1330
+ }
1331
+ ]
1332
+ },
1333
+ {
1334
+ "kind": "str",
1335
+ "value": "u"
1336
+ },
1337
+ {
1338
+ "kind": "app",
1339
+ "opcode": "ite",
1340
+ "args": [
1341
+ {
1342
+ "kind": "app",
1343
+ "opcode": "eq",
1344
+ "args": [
1345
+ {
1346
+ "kind": "name",
1347
+ "name": "c"
1348
+ },
1349
+ {
1350
+ "kind": "str",
1351
+ "value": "V"
1352
+ }
1353
+ ]
1354
+ },
1355
+ {
1356
+ "kind": "str",
1357
+ "value": "v"
1358
+ },
1359
+ {
1360
+ "kind": "app",
1361
+ "opcode": "ite",
1362
+ "args": [
1363
+ {
1364
+ "kind": "app",
1365
+ "opcode": "eq",
1366
+ "args": [
1367
+ {
1368
+ "kind": "name",
1369
+ "name": "c"
1370
+ },
1371
+ {
1372
+ "kind": "str",
1373
+ "value": "W"
1374
+ }
1375
+ ]
1376
+ },
1377
+ {
1378
+ "kind": "str",
1379
+ "value": "w"
1380
+ },
1381
+ {
1382
+ "kind": "app",
1383
+ "opcode": "ite",
1384
+ "args": [
1385
+ {
1386
+ "kind": "app",
1387
+ "opcode": "eq",
1388
+ "args": [
1389
+ {
1390
+ "kind": "name",
1391
+ "name": "c"
1392
+ },
1393
+ {
1394
+ "kind": "str",
1395
+ "value": "X"
1396
+ }
1397
+ ]
1398
+ },
1399
+ {
1400
+ "kind": "str",
1401
+ "value": "x"
1402
+ },
1403
+ {
1404
+ "kind": "app",
1405
+ "opcode": "ite",
1406
+ "args": [
1407
+ {
1408
+ "kind": "app",
1409
+ "opcode": "eq",
1410
+ "args": [
1411
+ {
1412
+ "kind": "name",
1413
+ "name": "c"
1414
+ },
1415
+ {
1416
+ "kind": "str",
1417
+ "value": "Y"
1418
+ }
1419
+ ]
1420
+ },
1421
+ {
1422
+ "kind": "str",
1423
+ "value": "y"
1424
+ },
1425
+ {
1426
+ "kind": "app",
1427
+ "opcode": "ite",
1428
+ "args": [
1429
+ {
1430
+ "kind": "app",
1431
+ "opcode": "eq",
1432
+ "args": [
1433
+ {
1434
+ "kind": "name",
1435
+ "name": "c"
1436
+ },
1437
+ {
1438
+ "kind": "str",
1439
+ "value": "Z"
1440
+ }
1441
+ ]
1442
+ },
1443
+ {
1444
+ "kind": "str",
1445
+ "value": "z"
1446
+ },
1447
+ {
1448
+ "kind": "name",
1449
+ "name": "c"
1450
+ }
1451
+ ]
1452
+ }
1453
+ ]
1454
+ }
1455
+ ]
1456
+ }
1457
+ ]
1458
+ }
1459
+ ]
1460
+ }
1461
+ ]
1462
+ }
1463
+ ]
1464
+ }
1465
+ ]
1466
+ }
1467
+ ]
1468
+ }
1469
+ ]
1470
+ }
1471
+ ]
1472
+ }
1473
+ ]
1474
+ }
1475
+ ]
1476
+ }
1477
+ ]
1478
+ }
1479
+ ]
1480
+ }
1481
+ ]
1482
+ }
1483
+ ]
1484
+ }
1485
+ ]
1486
+ }
1487
+ ]
1488
+ }
1489
+ ]
1490
+ }
1491
+ ]
1492
+ }
1493
+ ]
1494
+ }
1495
+ ]
1496
+ }
1497
+ ]
1498
+ }
1499
+ ]
1500
+ }
1501
+ ]
1502
+ }
1503
+ },
1504
+ "ariaTaSameChar": {
1505
+ "kind": "function",
1506
+ "params": [
1507
+ "a",
1508
+ "b"
1509
+ ],
1510
+ "body": {
1511
+ "kind": "app",
1512
+ "opcode": "eq",
1513
+ "args": [
1514
+ {
1515
+ "kind": "app",
1516
+ "opcode": "ariaTaFold",
1517
+ "args": [
1518
+ {
1519
+ "kind": "name",
1520
+ "name": "a"
1521
+ }
1522
+ ]
1523
+ },
1524
+ {
1525
+ "kind": "app",
1526
+ "opcode": "ariaTaFold",
1527
+ "args": [
1528
+ {
1529
+ "kind": "name",
1530
+ "name": "b"
1531
+ }
1532
+ ]
1533
+ }
1534
+ ]
1535
+ }
1536
+ },
1537
+ "ariaOrientationKnown": {
1538
+ "kind": "function",
1539
+ "params": [
1540
+ "o"
1541
+ ],
1542
+ "body": {
1543
+ "kind": "app",
1544
+ "opcode": "or",
1545
+ "args": [
1546
+ {
1547
+ "kind": "app",
1548
+ "opcode": "eq",
1549
+ "args": [
1550
+ {
1551
+ "kind": "name",
1552
+ "name": "o"
1553
+ },
1554
+ {
1555
+ "kind": "str",
1556
+ "value": "horizontal"
1557
+ }
1558
+ ]
1559
+ },
1560
+ {
1561
+ "kind": "app",
1562
+ "opcode": "eq",
1563
+ "args": [
1564
+ {
1565
+ "kind": "name",
1566
+ "name": "o"
1567
+ },
1568
+ {
1569
+ "kind": "str",
1570
+ "value": "vertical"
1571
+ }
1572
+ ]
1573
+ }
1574
+ ]
1575
+ }
1576
+ },
1577
+ "ariaAxisForward": {
1578
+ "kind": "function",
1579
+ "params": [
1580
+ "o",
1581
+ "key"
1582
+ ],
1583
+ "body": {
1584
+ "kind": "app",
1585
+ "opcode": "or",
1586
+ "args": [
1587
+ {
1588
+ "kind": "app",
1589
+ "opcode": "and",
1590
+ "args": [
1591
+ {
1592
+ "kind": "app",
1593
+ "opcode": "eq",
1594
+ "args": [
1595
+ {
1596
+ "kind": "name",
1597
+ "name": "o"
1598
+ },
1599
+ {
1600
+ "kind": "str",
1601
+ "value": "horizontal"
1602
+ }
1603
+ ]
1604
+ },
1605
+ {
1606
+ "kind": "app",
1607
+ "opcode": "eq",
1608
+ "args": [
1609
+ {
1610
+ "kind": "name",
1611
+ "name": "key"
1612
+ },
1613
+ {
1614
+ "kind": "str",
1615
+ "value": "ArrowRight"
1616
+ }
1617
+ ]
1618
+ }
1619
+ ]
1620
+ },
1621
+ {
1622
+ "kind": "app",
1623
+ "opcode": "and",
1624
+ "args": [
1625
+ {
1626
+ "kind": "app",
1627
+ "opcode": "eq",
1628
+ "args": [
1629
+ {
1630
+ "kind": "name",
1631
+ "name": "o"
1632
+ },
1633
+ {
1634
+ "kind": "str",
1635
+ "value": "vertical"
1636
+ }
1637
+ ]
1638
+ },
1639
+ {
1640
+ "kind": "app",
1641
+ "opcode": "eq",
1642
+ "args": [
1643
+ {
1644
+ "kind": "name",
1645
+ "name": "key"
1646
+ },
1647
+ {
1648
+ "kind": "str",
1649
+ "value": "ArrowDown"
1650
+ }
1651
+ ]
1652
+ }
1653
+ ]
1654
+ }
1655
+ ]
1656
+ }
1657
+ },
1658
+ "ariaAxisBackward": {
1659
+ "kind": "function",
1660
+ "params": [
1661
+ "o",
1662
+ "key"
1663
+ ],
1664
+ "body": {
1665
+ "kind": "app",
1666
+ "opcode": "or",
1667
+ "args": [
1668
+ {
1669
+ "kind": "app",
1670
+ "opcode": "and",
1671
+ "args": [
1672
+ {
1673
+ "kind": "app",
1674
+ "opcode": "eq",
1675
+ "args": [
1676
+ {
1677
+ "kind": "name",
1678
+ "name": "o"
1679
+ },
1680
+ {
1681
+ "kind": "str",
1682
+ "value": "horizontal"
1683
+ }
1684
+ ]
1685
+ },
1686
+ {
1687
+ "kind": "app",
1688
+ "opcode": "eq",
1689
+ "args": [
1690
+ {
1691
+ "kind": "name",
1692
+ "name": "key"
1693
+ },
1694
+ {
1695
+ "kind": "str",
1696
+ "value": "ArrowLeft"
1697
+ }
1698
+ ]
1699
+ }
1700
+ ]
1701
+ },
1702
+ {
1703
+ "kind": "app",
1704
+ "opcode": "and",
1705
+ "args": [
1706
+ {
1707
+ "kind": "app",
1708
+ "opcode": "eq",
1709
+ "args": [
1710
+ {
1711
+ "kind": "name",
1712
+ "name": "o"
1713
+ },
1714
+ {
1715
+ "kind": "str",
1716
+ "value": "vertical"
1717
+ }
1718
+ ]
1719
+ },
1720
+ {
1721
+ "kind": "app",
1722
+ "opcode": "eq",
1723
+ "args": [
1724
+ {
1725
+ "kind": "name",
1726
+ "name": "key"
1727
+ },
1728
+ {
1729
+ "kind": "str",
1730
+ "value": "ArrowUp"
1731
+ }
1732
+ ]
1733
+ }
1734
+ ]
1735
+ }
1736
+ ]
1737
+ }
1738
+ },
1739
+ "ariaFlipped": {
1740
+ "kind": "function",
1741
+ "params": [
1742
+ "o",
1743
+ "d"
1744
+ ],
1745
+ "body": {
1746
+ "kind": "app",
1747
+ "opcode": "and",
1748
+ "args": [
1749
+ {
1750
+ "kind": "app",
1751
+ "opcode": "eq",
1752
+ "args": [
1753
+ {
1754
+ "kind": "name",
1755
+ "name": "o"
1756
+ },
1757
+ {
1758
+ "kind": "str",
1759
+ "value": "horizontal"
1760
+ }
1761
+ ]
1762
+ },
1763
+ {
1764
+ "kind": "app",
1765
+ "opcode": "eq",
1766
+ "args": [
1767
+ {
1768
+ "kind": "name",
1769
+ "name": "d"
1770
+ },
1771
+ {
1772
+ "kind": "str",
1773
+ "value": "rtl"
1774
+ }
1775
+ ]
1776
+ }
1777
+ ]
1778
+ }
1779
+ },
1780
+ "ariaValueArrow": {
1781
+ "kind": "function",
1782
+ "params": [
1783
+ "key",
1784
+ "o",
1785
+ "d"
1786
+ ],
1787
+ "body": {
1788
+ "kind": "app",
1789
+ "opcode": "ite",
1790
+ "args": [
1791
+ {
1792
+ "kind": "app",
1793
+ "opcode": "eq",
1794
+ "args": [
1795
+ {
1796
+ "kind": "name",
1797
+ "name": "key"
1798
+ },
1799
+ {
1800
+ "kind": "str",
1801
+ "value": "ArrowUp"
1802
+ }
1803
+ ]
1804
+ },
1805
+ {
1806
+ "kind": "int",
1807
+ "value": "1"
1808
+ },
1809
+ {
1810
+ "kind": "app",
1811
+ "opcode": "ite",
1812
+ "args": [
1813
+ {
1814
+ "kind": "app",
1815
+ "opcode": "eq",
1816
+ "args": [
1817
+ {
1818
+ "kind": "name",
1819
+ "name": "key"
1820
+ },
1821
+ {
1822
+ "kind": "str",
1823
+ "value": "ArrowDown"
1824
+ }
1825
+ ]
1826
+ },
1827
+ {
1828
+ "kind": "app",
1829
+ "opcode": "iuminus",
1830
+ "args": [
1831
+ {
1832
+ "kind": "int",
1833
+ "value": "1"
1834
+ }
1835
+ ]
1836
+ },
1837
+ {
1838
+ "kind": "app",
1839
+ "opcode": "ite",
1840
+ "args": [
1841
+ {
1842
+ "kind": "app",
1843
+ "opcode": "eq",
1844
+ "args": [
1845
+ {
1846
+ "kind": "name",
1847
+ "name": "key"
1848
+ },
1849
+ {
1850
+ "kind": "str",
1851
+ "value": "ArrowRight"
1852
+ }
1853
+ ]
1854
+ },
1855
+ {
1856
+ "kind": "app",
1857
+ "opcode": "ite",
1858
+ "args": [
1859
+ {
1860
+ "kind": "app",
1861
+ "opcode": "ariaFlipped",
1862
+ "args": [
1863
+ {
1864
+ "kind": "name",
1865
+ "name": "o"
1866
+ },
1867
+ {
1868
+ "kind": "name",
1869
+ "name": "d"
1870
+ }
1871
+ ]
1872
+ },
1873
+ {
1874
+ "kind": "app",
1875
+ "opcode": "iuminus",
1876
+ "args": [
1877
+ {
1878
+ "kind": "int",
1879
+ "value": "1"
1880
+ }
1881
+ ]
1882
+ },
1883
+ {
1884
+ "kind": "int",
1885
+ "value": "1"
1886
+ }
1887
+ ]
1888
+ },
1889
+ {
1890
+ "kind": "app",
1891
+ "opcode": "ite",
1892
+ "args": [
1893
+ {
1894
+ "kind": "app",
1895
+ "opcode": "eq",
1896
+ "args": [
1897
+ {
1898
+ "kind": "name",
1899
+ "name": "key"
1900
+ },
1901
+ {
1902
+ "kind": "str",
1903
+ "value": "ArrowLeft"
1904
+ }
1905
+ ]
1906
+ },
1907
+ {
1908
+ "kind": "app",
1909
+ "opcode": "ite",
1910
+ "args": [
1911
+ {
1912
+ "kind": "app",
1913
+ "opcode": "ariaFlipped",
1914
+ "args": [
1915
+ {
1916
+ "kind": "name",
1917
+ "name": "o"
1918
+ },
1919
+ {
1920
+ "kind": "name",
1921
+ "name": "d"
1922
+ }
1923
+ ]
1924
+ },
1925
+ {
1926
+ "kind": "int",
1927
+ "value": "1"
1928
+ },
1929
+ {
1930
+ "kind": "app",
1931
+ "opcode": "iuminus",
1932
+ "args": [
1933
+ {
1934
+ "kind": "int",
1935
+ "value": "1"
1936
+ }
1937
+ ]
1938
+ }
1939
+ ]
1940
+ },
1941
+ {
1942
+ "kind": "int",
1943
+ "value": "0"
1944
+ }
1945
+ ]
1946
+ }
1947
+ ]
1948
+ }
1949
+ ]
1950
+ }
1951
+ ]
1952
+ }
1953
+ },
1954
+ "ariaSelModeKnown": {
1955
+ "kind": "function",
1956
+ "params": [
1957
+ "m"
1958
+ ],
1959
+ "body": {
1960
+ "kind": "app",
1961
+ "opcode": "or",
1962
+ "args": [
1963
+ {
1964
+ "kind": "app",
1965
+ "opcode": "eq",
1966
+ "args": [
1967
+ {
1968
+ "kind": "name",
1969
+ "name": "m"
1970
+ },
1971
+ {
1972
+ "kind": "str",
1973
+ "value": "single"
1974
+ }
1975
+ ]
1976
+ },
1977
+ {
1978
+ "kind": "app",
1979
+ "opcode": "eq",
1980
+ "args": [
1981
+ {
1982
+ "kind": "name",
1983
+ "name": "m"
1984
+ },
1985
+ {
1986
+ "kind": "str",
1987
+ "value": "multi"
1988
+ }
1989
+ ]
1990
+ }
1991
+ ]
1992
+ }
1993
+ },
1994
+ "ariaSelIsMulti": {
1995
+ "kind": "function",
1996
+ "params": [
1997
+ "m"
1998
+ ],
1999
+ "body": {
2000
+ "kind": "app",
2001
+ "opcode": "eq",
2002
+ "args": [
2003
+ {
2004
+ "kind": "name",
2005
+ "name": "m"
2006
+ },
2007
+ {
2008
+ "kind": "str",
2009
+ "value": "multi"
2010
+ }
2011
+ ]
2012
+ }
2013
+ },
2014
+ "ariaSingleHoldsAtMostOne": {
2015
+ "kind": "function",
2016
+ "params": [
2017
+ "controlled",
2018
+ "multi",
2019
+ "cnt"
2020
+ ],
2021
+ "body": {
2022
+ "kind": "app",
2023
+ "opcode": "or",
2024
+ "args": [
2025
+ {
2026
+ "kind": "name",
2027
+ "name": "controlled"
2028
+ },
2029
+ {
2030
+ "kind": "name",
2031
+ "name": "multi"
2032
+ },
2033
+ {
2034
+ "kind": "app",
2035
+ "opcode": "ilte",
2036
+ "args": [
2037
+ {
2038
+ "kind": "name",
2039
+ "name": "cnt"
2040
+ },
2041
+ {
2042
+ "kind": "int",
2043
+ "value": "1"
2044
+ }
2045
+ ]
2046
+ }
2047
+ ]
2048
+ }
2049
+ },
2050
+ "ariaBoolToken": {
2051
+ "kind": "function",
2052
+ "params": [
2053
+ "b"
2054
+ ],
2055
+ "body": {
2056
+ "kind": "app",
2057
+ "opcode": "ite",
2058
+ "args": [
2059
+ {
2060
+ "kind": "name",
2061
+ "name": "b"
2062
+ },
2063
+ {
2064
+ "kind": "str",
2065
+ "value": "true"
2066
+ },
2067
+ {
2068
+ "kind": "str",
2069
+ "value": "false"
2070
+ }
2071
+ ]
2072
+ }
2073
+ }
2074
+ },
2075
+ "actions": [
2076
+ {
2077
+ "name": "init",
2078
+ "assignments": [
2079
+ {
2080
+ "field": "expanded",
2081
+ "rhs": {
2082
+ "kind": "bool",
2083
+ "value": false
2084
+ }
2085
+ },
2086
+ {
2087
+ "field": "disabled",
2088
+ "rhs": {
2089
+ "kind": "bool",
2090
+ "value": false
2091
+ }
2092
+ },
2093
+ {
2094
+ "field": "focus",
2095
+ "rhs": {
2096
+ "kind": "str",
2097
+ "value": "none"
2098
+ }
2099
+ },
2100
+ {
2101
+ "field": "ariaExpanded",
2102
+ "rhs": {
2103
+ "kind": "str",
2104
+ "value": "false"
2105
+ }
2106
+ },
2107
+ {
2108
+ "field": "panelHidden",
2109
+ "rhs": {
2110
+ "kind": "bool",
2111
+ "value": true
2112
+ }
2113
+ },
2114
+ {
2115
+ "field": "requests",
2116
+ "rhs": {
2117
+ "kind": "int",
2118
+ "value": "0"
2119
+ }
2120
+ },
2121
+ {
2122
+ "field": "controlled",
2123
+ "rhs": {
2124
+ "kind": "bool",
2125
+ "value": false
2126
+ }
2127
+ },
2128
+ {
2129
+ "field": "accepting",
2130
+ "rhs": {
2131
+ "kind": "bool",
2132
+ "value": false
2133
+ }
2134
+ },
2135
+ {
2136
+ "field": "valueProp",
2137
+ "rhs": {
2138
+ "kind": "bool",
2139
+ "value": false
2140
+ }
2141
+ },
2142
+ {
2143
+ "field": "requested",
2144
+ "rhs": {
2145
+ "kind": "bool",
2146
+ "value": false
2147
+ }
2148
+ },
2149
+ {
2150
+ "field": "outcome",
2151
+ "rhs": {
2152
+ "kind": "str",
2153
+ "value": "none"
2154
+ }
2155
+ },
2156
+ {
2157
+ "field": "base",
2158
+ "rhs": {
2159
+ "kind": "bool",
2160
+ "value": false
2161
+ }
2162
+ }
2163
+ ]
2164
+ },
2165
+ {
2166
+ "name": "focusTrigger",
2167
+ "assignments": [
2168
+ {
2169
+ "field": "expanded",
2170
+ "rhs": {
2171
+ "kind": "name",
2172
+ "name": "expanded"
2173
+ }
2174
+ },
2175
+ {
2176
+ "field": "disabled",
2177
+ "rhs": {
2178
+ "kind": "name",
2179
+ "name": "disabled"
2180
+ }
2181
+ },
2182
+ {
2183
+ "field": "focus",
2184
+ "rhs": {
2185
+ "kind": "app",
2186
+ "opcode": "ite",
2187
+ "args": [
2188
+ {
2189
+ "kind": "name",
2190
+ "name": "disabled"
2191
+ },
2192
+ {
2193
+ "kind": "name",
2194
+ "name": "focus"
2195
+ },
2196
+ {
2197
+ "kind": "str",
2198
+ "value": "trigger"
2199
+ }
2200
+ ]
2201
+ }
2202
+ },
2203
+ {
2204
+ "field": "ariaExpanded",
2205
+ "rhs": {
2206
+ "kind": "name",
2207
+ "name": "ariaExpanded"
2208
+ }
2209
+ },
2210
+ {
2211
+ "field": "panelHidden",
2212
+ "rhs": {
2213
+ "kind": "name",
2214
+ "name": "panelHidden"
2215
+ }
2216
+ },
2217
+ {
2218
+ "field": "requests",
2219
+ "rhs": {
2220
+ "kind": "name",
2221
+ "name": "requests"
2222
+ }
2223
+ },
2224
+ {
2225
+ "field": "controlled",
2226
+ "rhs": {
2227
+ "kind": "name",
2228
+ "name": "controlled"
2229
+ }
2230
+ },
2231
+ {
2232
+ "field": "accepting",
2233
+ "rhs": {
2234
+ "kind": "name",
2235
+ "name": "accepting"
2236
+ }
2237
+ },
2238
+ {
2239
+ "field": "valueProp",
2240
+ "rhs": {
2241
+ "kind": "name",
2242
+ "name": "valueProp"
2243
+ }
2244
+ },
2245
+ {
2246
+ "field": "requested",
2247
+ "rhs": {
2248
+ "kind": "name",
2249
+ "name": "requested"
2250
+ }
2251
+ },
2252
+ {
2253
+ "field": "outcome",
2254
+ "rhs": {
2255
+ "kind": "name",
2256
+ "name": "outcome"
2257
+ }
2258
+ },
2259
+ {
2260
+ "field": "base",
2261
+ "rhs": {
2262
+ "kind": "name",
2263
+ "name": "base"
2264
+ }
2265
+ }
2266
+ ]
2267
+ },
2268
+ {
2269
+ "name": "blurTrigger",
2270
+ "assignments": [
2271
+ {
2272
+ "field": "expanded",
2273
+ "rhs": {
2274
+ "kind": "name",
2275
+ "name": "expanded"
2276
+ }
2277
+ },
2278
+ {
2279
+ "field": "disabled",
2280
+ "rhs": {
2281
+ "kind": "name",
2282
+ "name": "disabled"
2283
+ }
2284
+ },
2285
+ {
2286
+ "field": "focus",
2287
+ "rhs": {
2288
+ "kind": "str",
2289
+ "value": "none"
2290
+ }
2291
+ },
2292
+ {
2293
+ "field": "ariaExpanded",
2294
+ "rhs": {
2295
+ "kind": "name",
2296
+ "name": "ariaExpanded"
2297
+ }
2298
+ },
2299
+ {
2300
+ "field": "panelHidden",
2301
+ "rhs": {
2302
+ "kind": "name",
2303
+ "name": "panelHidden"
2304
+ }
2305
+ },
2306
+ {
2307
+ "field": "requests",
2308
+ "rhs": {
2309
+ "kind": "name",
2310
+ "name": "requests"
2311
+ }
2312
+ },
2313
+ {
2314
+ "field": "controlled",
2315
+ "rhs": {
2316
+ "kind": "name",
2317
+ "name": "controlled"
2318
+ }
2319
+ },
2320
+ {
2321
+ "field": "accepting",
2322
+ "rhs": {
2323
+ "kind": "name",
2324
+ "name": "accepting"
2325
+ }
2326
+ },
2327
+ {
2328
+ "field": "valueProp",
2329
+ "rhs": {
2330
+ "kind": "name",
2331
+ "name": "valueProp"
2332
+ }
2333
+ },
2334
+ {
2335
+ "field": "requested",
2336
+ "rhs": {
2337
+ "kind": "name",
2338
+ "name": "requested"
2339
+ }
2340
+ },
2341
+ {
2342
+ "field": "outcome",
2343
+ "rhs": {
2344
+ "kind": "name",
2345
+ "name": "outcome"
2346
+ }
2347
+ },
2348
+ {
2349
+ "field": "base",
2350
+ "rhs": {
2351
+ "kind": "name",
2352
+ "name": "base"
2353
+ }
2354
+ }
2355
+ ]
2356
+ },
2357
+ {
2358
+ "name": "click",
2359
+ "assignments": [
2360
+ {
2361
+ "field": "expanded",
2362
+ "rhs": {
2363
+ "kind": "app",
2364
+ "opcode": "ite",
2365
+ "args": [
2366
+ {
2367
+ "kind": "name",
2368
+ "name": "disabled"
2369
+ },
2370
+ {
2371
+ "kind": "name",
2372
+ "name": "expanded"
2373
+ },
2374
+ {
2375
+ "kind": "app",
2376
+ "opcode": "landed",
2377
+ "args": [
2378
+ {
2379
+ "kind": "name",
2380
+ "name": "holds"
2381
+ },
2382
+ {
2383
+ "kind": "name",
2384
+ "name": "expanded"
2385
+ },
2386
+ {
2387
+ "kind": "app",
2388
+ "opcode": "not",
2389
+ "args": [
2390
+ {
2391
+ "kind": "name",
2392
+ "name": "expanded"
2393
+ }
2394
+ ]
2395
+ }
2396
+ ]
2397
+ }
2398
+ ]
2399
+ }
2400
+ },
2401
+ {
2402
+ "field": "disabled",
2403
+ "rhs": {
2404
+ "kind": "name",
2405
+ "name": "disabled"
2406
+ }
2407
+ },
2408
+ {
2409
+ "field": "focus",
2410
+ "rhs": {
2411
+ "kind": "app",
2412
+ "opcode": "ite",
2413
+ "args": [
2414
+ {
2415
+ "kind": "name",
2416
+ "name": "disabled"
2417
+ },
2418
+ {
2419
+ "kind": "name",
2420
+ "name": "focus"
2421
+ },
2422
+ {
2423
+ "kind": "str",
2424
+ "value": "trigger"
2425
+ }
2426
+ ]
2427
+ }
2428
+ },
2429
+ {
2430
+ "field": "ariaExpanded",
2431
+ "rhs": {
2432
+ "kind": "app",
2433
+ "opcode": "ite",
2434
+ "args": [
2435
+ {
2436
+ "kind": "name",
2437
+ "name": "disabled"
2438
+ },
2439
+ {
2440
+ "kind": "name",
2441
+ "name": "ariaExpanded"
2442
+ },
2443
+ {
2444
+ "kind": "app",
2445
+ "opcode": "ariaBoolToken",
2446
+ "args": [
2447
+ {
2448
+ "kind": "app",
2449
+ "opcode": "landed",
2450
+ "args": [
2451
+ {
2452
+ "kind": "name",
2453
+ "name": "holds"
2454
+ },
2455
+ {
2456
+ "kind": "name",
2457
+ "name": "expanded"
2458
+ },
2459
+ {
2460
+ "kind": "app",
2461
+ "opcode": "not",
2462
+ "args": [
2463
+ {
2464
+ "kind": "name",
2465
+ "name": "expanded"
2466
+ }
2467
+ ]
2468
+ }
2469
+ ]
2470
+ }
2471
+ ]
2472
+ }
2473
+ ]
2474
+ }
2475
+ },
2476
+ {
2477
+ "field": "panelHidden",
2478
+ "rhs": {
2479
+ "kind": "app",
2480
+ "opcode": "ite",
2481
+ "args": [
2482
+ {
2483
+ "kind": "name",
2484
+ "name": "disabled"
2485
+ },
2486
+ {
2487
+ "kind": "name",
2488
+ "name": "panelHidden"
2489
+ },
2490
+ {
2491
+ "kind": "app",
2492
+ "opcode": "not",
2493
+ "args": [
2494
+ {
2495
+ "kind": "app",
2496
+ "opcode": "landed",
2497
+ "args": [
2498
+ {
2499
+ "kind": "name",
2500
+ "name": "holds"
2501
+ },
2502
+ {
2503
+ "kind": "name",
2504
+ "name": "expanded"
2505
+ },
2506
+ {
2507
+ "kind": "app",
2508
+ "opcode": "not",
2509
+ "args": [
2510
+ {
2511
+ "kind": "name",
2512
+ "name": "expanded"
2513
+ }
2514
+ ]
2515
+ }
2516
+ ]
2517
+ }
2518
+ ]
2519
+ }
2520
+ ]
2521
+ }
2522
+ },
2523
+ {
2524
+ "field": "requests",
2525
+ "rhs": {
2526
+ "kind": "app",
2527
+ "opcode": "ite",
2528
+ "args": [
2529
+ {
2530
+ "kind": "name",
2531
+ "name": "disabled"
2532
+ },
2533
+ {
2534
+ "kind": "name",
2535
+ "name": "requests"
2536
+ },
2537
+ {
2538
+ "kind": "app",
2539
+ "opcode": "iadd",
2540
+ "args": [
2541
+ {
2542
+ "kind": "name",
2543
+ "name": "requests"
2544
+ },
2545
+ {
2546
+ "kind": "int",
2547
+ "value": "1"
2548
+ }
2549
+ ]
2550
+ }
2551
+ ]
2552
+ }
2553
+ },
2554
+ {
2555
+ "field": "controlled",
2556
+ "rhs": {
2557
+ "kind": "name",
2558
+ "name": "controlled"
2559
+ }
2560
+ },
2561
+ {
2562
+ "field": "accepting",
2563
+ "rhs": {
2564
+ "kind": "name",
2565
+ "name": "accepting"
2566
+ }
2567
+ },
2568
+ {
2569
+ "field": "valueProp",
2570
+ "rhs": {
2571
+ "kind": "app",
2572
+ "opcode": "ite",
2573
+ "args": [
2574
+ {
2575
+ "kind": "name",
2576
+ "name": "disabled"
2577
+ },
2578
+ {
2579
+ "kind": "name",
2580
+ "name": "valueProp"
2581
+ },
2582
+ {
2583
+ "kind": "app",
2584
+ "opcode": "propAfter",
2585
+ "args": [
2586
+ {
2587
+ "kind": "name",
2588
+ "name": "follows"
2589
+ },
2590
+ {
2591
+ "kind": "name",
2592
+ "name": "valueProp"
2593
+ },
2594
+ {
2595
+ "kind": "app",
2596
+ "opcode": "not",
2597
+ "args": [
2598
+ {
2599
+ "kind": "name",
2600
+ "name": "expanded"
2601
+ }
2602
+ ]
2603
+ }
2604
+ ]
2605
+ }
2606
+ ]
2607
+ }
2608
+ },
2609
+ {
2610
+ "field": "requested",
2611
+ "rhs": {
2612
+ "kind": "app",
2613
+ "opcode": "ite",
2614
+ "args": [
2615
+ {
2616
+ "kind": "name",
2617
+ "name": "disabled"
2618
+ },
2619
+ {
2620
+ "kind": "name",
2621
+ "name": "requested"
2622
+ },
2623
+ {
2624
+ "kind": "app",
2625
+ "opcode": "not",
2626
+ "args": [
2627
+ {
2628
+ "kind": "name",
2629
+ "name": "expanded"
2630
+ }
2631
+ ]
2632
+ }
2633
+ ]
2634
+ }
2635
+ },
2636
+ {
2637
+ "field": "outcome",
2638
+ "rhs": {
2639
+ "kind": "app",
2640
+ "opcode": "ite",
2641
+ "args": [
2642
+ {
2643
+ "kind": "name",
2644
+ "name": "disabled"
2645
+ },
2646
+ {
2647
+ "kind": "name",
2648
+ "name": "outcome"
2649
+ },
2650
+ {
2651
+ "kind": "name",
2652
+ "name": "verdict"
2653
+ }
2654
+ ]
2655
+ }
2656
+ },
2657
+ {
2658
+ "field": "base",
2659
+ "rhs": {
2660
+ "kind": "app",
2661
+ "opcode": "ite",
2662
+ "args": [
2663
+ {
2664
+ "kind": "name",
2665
+ "name": "disabled"
2666
+ },
2667
+ {
2668
+ "kind": "name",
2669
+ "name": "base"
2670
+ },
2671
+ {
2672
+ "kind": "name",
2673
+ "name": "expanded"
2674
+ }
2675
+ ]
2676
+ }
2677
+ }
2678
+ ]
2679
+ },
2680
+ {
2681
+ "name": "press",
2682
+ "assignments": [
2683
+ {
2684
+ "field": "expanded",
2685
+ "rhs": {
2686
+ "kind": "app",
2687
+ "opcode": "ite",
2688
+ "args": [
2689
+ {
2690
+ "kind": "app",
2691
+ "opcode": "and",
2692
+ "args": [
2693
+ {
2694
+ "kind": "app",
2695
+ "opcode": "not",
2696
+ "args": [
2697
+ {
2698
+ "kind": "name",
2699
+ "name": "disabled"
2700
+ }
2701
+ ]
2702
+ },
2703
+ {
2704
+ "kind": "app",
2705
+ "opcode": "eq",
2706
+ "args": [
2707
+ {
2708
+ "kind": "name",
2709
+ "name": "focus"
2710
+ },
2711
+ {
2712
+ "kind": "str",
2713
+ "value": "trigger"
2714
+ }
2715
+ ]
2716
+ }
2717
+ ]
2718
+ },
2719
+ {
2720
+ "kind": "app",
2721
+ "opcode": "landed",
2722
+ "args": [
2723
+ {
2724
+ "kind": "name",
2725
+ "name": "holds"
2726
+ },
2727
+ {
2728
+ "kind": "name",
2729
+ "name": "expanded"
2730
+ },
2731
+ {
2732
+ "kind": "app",
2733
+ "opcode": "not",
2734
+ "args": [
2735
+ {
2736
+ "kind": "name",
2737
+ "name": "expanded"
2738
+ }
2739
+ ]
2740
+ }
2741
+ ]
2742
+ },
2743
+ {
2744
+ "kind": "name",
2745
+ "name": "expanded"
2746
+ }
2747
+ ]
2748
+ }
2749
+ },
2750
+ {
2751
+ "field": "disabled",
2752
+ "rhs": {
2753
+ "kind": "name",
2754
+ "name": "disabled"
2755
+ }
2756
+ },
2757
+ {
2758
+ "field": "focus",
2759
+ "rhs": {
2760
+ "kind": "name",
2761
+ "name": "focus"
2762
+ }
2763
+ },
2764
+ {
2765
+ "field": "ariaExpanded",
2766
+ "rhs": {
2767
+ "kind": "app",
2768
+ "opcode": "ite",
2769
+ "args": [
2770
+ {
2771
+ "kind": "app",
2772
+ "opcode": "and",
2773
+ "args": [
2774
+ {
2775
+ "kind": "app",
2776
+ "opcode": "not",
2777
+ "args": [
2778
+ {
2779
+ "kind": "name",
2780
+ "name": "disabled"
2781
+ }
2782
+ ]
2783
+ },
2784
+ {
2785
+ "kind": "app",
2786
+ "opcode": "eq",
2787
+ "args": [
2788
+ {
2789
+ "kind": "name",
2790
+ "name": "focus"
2791
+ },
2792
+ {
2793
+ "kind": "str",
2794
+ "value": "trigger"
2795
+ }
2796
+ ]
2797
+ }
2798
+ ]
2799
+ },
2800
+ {
2801
+ "kind": "app",
2802
+ "opcode": "ariaBoolToken",
2803
+ "args": [
2804
+ {
2805
+ "kind": "app",
2806
+ "opcode": "landed",
2807
+ "args": [
2808
+ {
2809
+ "kind": "name",
2810
+ "name": "holds"
2811
+ },
2812
+ {
2813
+ "kind": "name",
2814
+ "name": "expanded"
2815
+ },
2816
+ {
2817
+ "kind": "app",
2818
+ "opcode": "not",
2819
+ "args": [
2820
+ {
2821
+ "kind": "name",
2822
+ "name": "expanded"
2823
+ }
2824
+ ]
2825
+ }
2826
+ ]
2827
+ }
2828
+ ]
2829
+ },
2830
+ {
2831
+ "kind": "name",
2832
+ "name": "ariaExpanded"
2833
+ }
2834
+ ]
2835
+ }
2836
+ },
2837
+ {
2838
+ "field": "panelHidden",
2839
+ "rhs": {
2840
+ "kind": "app",
2841
+ "opcode": "ite",
2842
+ "args": [
2843
+ {
2844
+ "kind": "app",
2845
+ "opcode": "and",
2846
+ "args": [
2847
+ {
2848
+ "kind": "app",
2849
+ "opcode": "not",
2850
+ "args": [
2851
+ {
2852
+ "kind": "name",
2853
+ "name": "disabled"
2854
+ }
2855
+ ]
2856
+ },
2857
+ {
2858
+ "kind": "app",
2859
+ "opcode": "eq",
2860
+ "args": [
2861
+ {
2862
+ "kind": "name",
2863
+ "name": "focus"
2864
+ },
2865
+ {
2866
+ "kind": "str",
2867
+ "value": "trigger"
2868
+ }
2869
+ ]
2870
+ }
2871
+ ]
2872
+ },
2873
+ {
2874
+ "kind": "app",
2875
+ "opcode": "not",
2876
+ "args": [
2877
+ {
2878
+ "kind": "app",
2879
+ "opcode": "landed",
2880
+ "args": [
2881
+ {
2882
+ "kind": "name",
2883
+ "name": "holds"
2884
+ },
2885
+ {
2886
+ "kind": "name",
2887
+ "name": "expanded"
2888
+ },
2889
+ {
2890
+ "kind": "app",
2891
+ "opcode": "not",
2892
+ "args": [
2893
+ {
2894
+ "kind": "name",
2895
+ "name": "expanded"
2896
+ }
2897
+ ]
2898
+ }
2899
+ ]
2900
+ }
2901
+ ]
2902
+ },
2903
+ {
2904
+ "kind": "name",
2905
+ "name": "panelHidden"
2906
+ }
2907
+ ]
2908
+ }
2909
+ },
2910
+ {
2911
+ "field": "requests",
2912
+ "rhs": {
2913
+ "kind": "app",
2914
+ "opcode": "ite",
2915
+ "args": [
2916
+ {
2917
+ "kind": "app",
2918
+ "opcode": "and",
2919
+ "args": [
2920
+ {
2921
+ "kind": "app",
2922
+ "opcode": "not",
2923
+ "args": [
2924
+ {
2925
+ "kind": "name",
2926
+ "name": "disabled"
2927
+ }
2928
+ ]
2929
+ },
2930
+ {
2931
+ "kind": "app",
2932
+ "opcode": "eq",
2933
+ "args": [
2934
+ {
2935
+ "kind": "name",
2936
+ "name": "focus"
2937
+ },
2938
+ {
2939
+ "kind": "str",
2940
+ "value": "trigger"
2941
+ }
2942
+ ]
2943
+ }
2944
+ ]
2945
+ },
2946
+ {
2947
+ "kind": "app",
2948
+ "opcode": "iadd",
2949
+ "args": [
2950
+ {
2951
+ "kind": "name",
2952
+ "name": "requests"
2953
+ },
2954
+ {
2955
+ "kind": "int",
2956
+ "value": "1"
2957
+ }
2958
+ ]
2959
+ },
2960
+ {
2961
+ "kind": "name",
2962
+ "name": "requests"
2963
+ }
2964
+ ]
2965
+ }
2966
+ },
2967
+ {
2968
+ "field": "controlled",
2969
+ "rhs": {
2970
+ "kind": "name",
2971
+ "name": "controlled"
2972
+ }
2973
+ },
2974
+ {
2975
+ "field": "accepting",
2976
+ "rhs": {
2977
+ "kind": "name",
2978
+ "name": "accepting"
2979
+ }
2980
+ },
2981
+ {
2982
+ "field": "valueProp",
2983
+ "rhs": {
2984
+ "kind": "app",
2985
+ "opcode": "ite",
2986
+ "args": [
2987
+ {
2988
+ "kind": "app",
2989
+ "opcode": "and",
2990
+ "args": [
2991
+ {
2992
+ "kind": "app",
2993
+ "opcode": "not",
2994
+ "args": [
2995
+ {
2996
+ "kind": "name",
2997
+ "name": "disabled"
2998
+ }
2999
+ ]
3000
+ },
3001
+ {
3002
+ "kind": "app",
3003
+ "opcode": "eq",
3004
+ "args": [
3005
+ {
3006
+ "kind": "name",
3007
+ "name": "focus"
3008
+ },
3009
+ {
3010
+ "kind": "str",
3011
+ "value": "trigger"
3012
+ }
3013
+ ]
3014
+ }
3015
+ ]
3016
+ },
3017
+ {
3018
+ "kind": "app",
3019
+ "opcode": "propAfter",
3020
+ "args": [
3021
+ {
3022
+ "kind": "name",
3023
+ "name": "follows"
3024
+ },
3025
+ {
3026
+ "kind": "name",
3027
+ "name": "valueProp"
3028
+ },
3029
+ {
3030
+ "kind": "app",
3031
+ "opcode": "not",
3032
+ "args": [
3033
+ {
3034
+ "kind": "name",
3035
+ "name": "expanded"
3036
+ }
3037
+ ]
3038
+ }
3039
+ ]
3040
+ },
3041
+ {
3042
+ "kind": "name",
3043
+ "name": "valueProp"
3044
+ }
3045
+ ]
3046
+ }
3047
+ },
3048
+ {
3049
+ "field": "requested",
3050
+ "rhs": {
3051
+ "kind": "app",
3052
+ "opcode": "ite",
3053
+ "args": [
3054
+ {
3055
+ "kind": "app",
3056
+ "opcode": "and",
3057
+ "args": [
3058
+ {
3059
+ "kind": "app",
3060
+ "opcode": "not",
3061
+ "args": [
3062
+ {
3063
+ "kind": "name",
3064
+ "name": "disabled"
3065
+ }
3066
+ ]
3067
+ },
3068
+ {
3069
+ "kind": "app",
3070
+ "opcode": "eq",
3071
+ "args": [
3072
+ {
3073
+ "kind": "name",
3074
+ "name": "focus"
3075
+ },
3076
+ {
3077
+ "kind": "str",
3078
+ "value": "trigger"
3079
+ }
3080
+ ]
3081
+ }
3082
+ ]
3083
+ },
3084
+ {
3085
+ "kind": "app",
3086
+ "opcode": "not",
3087
+ "args": [
3088
+ {
3089
+ "kind": "name",
3090
+ "name": "expanded"
3091
+ }
3092
+ ]
3093
+ },
3094
+ {
3095
+ "kind": "name",
3096
+ "name": "requested"
3097
+ }
3098
+ ]
3099
+ }
3100
+ },
3101
+ {
3102
+ "field": "outcome",
3103
+ "rhs": {
3104
+ "kind": "app",
3105
+ "opcode": "ite",
3106
+ "args": [
3107
+ {
3108
+ "kind": "app",
3109
+ "opcode": "and",
3110
+ "args": [
3111
+ {
3112
+ "kind": "app",
3113
+ "opcode": "not",
3114
+ "args": [
3115
+ {
3116
+ "kind": "name",
3117
+ "name": "disabled"
3118
+ }
3119
+ ]
3120
+ },
3121
+ {
3122
+ "kind": "app",
3123
+ "opcode": "eq",
3124
+ "args": [
3125
+ {
3126
+ "kind": "name",
3127
+ "name": "focus"
3128
+ },
3129
+ {
3130
+ "kind": "str",
3131
+ "value": "trigger"
3132
+ }
3133
+ ]
3134
+ }
3135
+ ]
3136
+ },
3137
+ {
3138
+ "kind": "name",
3139
+ "name": "verdict"
3140
+ },
3141
+ {
3142
+ "kind": "name",
3143
+ "name": "outcome"
3144
+ }
3145
+ ]
3146
+ }
3147
+ },
3148
+ {
3149
+ "field": "base",
3150
+ "rhs": {
3151
+ "kind": "app",
3152
+ "opcode": "ite",
3153
+ "args": [
3154
+ {
3155
+ "kind": "app",
3156
+ "opcode": "and",
3157
+ "args": [
3158
+ {
3159
+ "kind": "app",
3160
+ "opcode": "not",
3161
+ "args": [
3162
+ {
3163
+ "kind": "name",
3164
+ "name": "disabled"
3165
+ }
3166
+ ]
3167
+ },
3168
+ {
3169
+ "kind": "app",
3170
+ "opcode": "eq",
3171
+ "args": [
3172
+ {
3173
+ "kind": "name",
3174
+ "name": "focus"
3175
+ },
3176
+ {
3177
+ "kind": "str",
3178
+ "value": "trigger"
3179
+ }
3180
+ ]
3181
+ }
3182
+ ]
3183
+ },
3184
+ {
3185
+ "kind": "name",
3186
+ "name": "expanded"
3187
+ },
3188
+ {
3189
+ "kind": "name",
3190
+ "name": "base"
3191
+ }
3192
+ ]
3193
+ }
3194
+ }
3195
+ ]
3196
+ },
3197
+ {
3198
+ "name": "expand",
3199
+ "assignments": [
3200
+ {
3201
+ "field": "expanded",
3202
+ "rhs": {
3203
+ "kind": "app",
3204
+ "opcode": "ite",
3205
+ "args": [
3206
+ {
3207
+ "kind": "name",
3208
+ "name": "expanded"
3209
+ },
3210
+ {
3211
+ "kind": "name",
3212
+ "name": "expanded"
3213
+ },
3214
+ {
3215
+ "kind": "app",
3216
+ "opcode": "landed",
3217
+ "args": [
3218
+ {
3219
+ "kind": "name",
3220
+ "name": "holds"
3221
+ },
3222
+ {
3223
+ "kind": "name",
3224
+ "name": "expanded"
3225
+ },
3226
+ {
3227
+ "kind": "bool",
3228
+ "value": true
3229
+ }
3230
+ ]
3231
+ }
3232
+ ]
3233
+ }
3234
+ },
3235
+ {
3236
+ "field": "disabled",
3237
+ "rhs": {
3238
+ "kind": "name",
3239
+ "name": "disabled"
3240
+ }
3241
+ },
3242
+ {
3243
+ "field": "focus",
3244
+ "rhs": {
3245
+ "kind": "name",
3246
+ "name": "focus"
3247
+ }
3248
+ },
3249
+ {
3250
+ "field": "ariaExpanded",
3251
+ "rhs": {
3252
+ "kind": "app",
3253
+ "opcode": "ite",
3254
+ "args": [
3255
+ {
3256
+ "kind": "name",
3257
+ "name": "expanded"
3258
+ },
3259
+ {
3260
+ "kind": "name",
3261
+ "name": "ariaExpanded"
3262
+ },
3263
+ {
3264
+ "kind": "app",
3265
+ "opcode": "ariaBoolToken",
3266
+ "args": [
3267
+ {
3268
+ "kind": "app",
3269
+ "opcode": "landed",
3270
+ "args": [
3271
+ {
3272
+ "kind": "name",
3273
+ "name": "holds"
3274
+ },
3275
+ {
3276
+ "kind": "name",
3277
+ "name": "expanded"
3278
+ },
3279
+ {
3280
+ "kind": "bool",
3281
+ "value": true
3282
+ }
3283
+ ]
3284
+ }
3285
+ ]
3286
+ }
3287
+ ]
3288
+ }
3289
+ },
3290
+ {
3291
+ "field": "panelHidden",
3292
+ "rhs": {
3293
+ "kind": "app",
3294
+ "opcode": "ite",
3295
+ "args": [
3296
+ {
3297
+ "kind": "name",
3298
+ "name": "expanded"
3299
+ },
3300
+ {
3301
+ "kind": "name",
3302
+ "name": "panelHidden"
3303
+ },
3304
+ {
3305
+ "kind": "app",
3306
+ "opcode": "not",
3307
+ "args": [
3308
+ {
3309
+ "kind": "app",
3310
+ "opcode": "landed",
3311
+ "args": [
3312
+ {
3313
+ "kind": "name",
3314
+ "name": "holds"
3315
+ },
3316
+ {
3317
+ "kind": "name",
3318
+ "name": "expanded"
3319
+ },
3320
+ {
3321
+ "kind": "bool",
3322
+ "value": true
3323
+ }
3324
+ ]
3325
+ }
3326
+ ]
3327
+ }
3328
+ ]
3329
+ }
3330
+ },
3331
+ {
3332
+ "field": "requests",
3333
+ "rhs": {
3334
+ "kind": "app",
3335
+ "opcode": "iadd",
3336
+ "args": [
3337
+ {
3338
+ "kind": "name",
3339
+ "name": "requests"
3340
+ },
3341
+ {
3342
+ "kind": "app",
3343
+ "opcode": "moved",
3344
+ "args": [
3345
+ {
3346
+ "kind": "name",
3347
+ "name": "expanded"
3348
+ },
3349
+ {
3350
+ "kind": "bool",
3351
+ "value": true
3352
+ }
3353
+ ]
3354
+ }
3355
+ ]
3356
+ }
3357
+ },
3358
+ {
3359
+ "field": "controlled",
3360
+ "rhs": {
3361
+ "kind": "name",
3362
+ "name": "controlled"
3363
+ }
3364
+ },
3365
+ {
3366
+ "field": "accepting",
3367
+ "rhs": {
3368
+ "kind": "name",
3369
+ "name": "accepting"
3370
+ }
3371
+ },
3372
+ {
3373
+ "field": "valueProp",
3374
+ "rhs": {
3375
+ "kind": "app",
3376
+ "opcode": "ite",
3377
+ "args": [
3378
+ {
3379
+ "kind": "name",
3380
+ "name": "expanded"
3381
+ },
3382
+ {
3383
+ "kind": "name",
3384
+ "name": "valueProp"
3385
+ },
3386
+ {
3387
+ "kind": "app",
3388
+ "opcode": "propAfter",
3389
+ "args": [
3390
+ {
3391
+ "kind": "name",
3392
+ "name": "follows"
3393
+ },
3394
+ {
3395
+ "kind": "name",
3396
+ "name": "valueProp"
3397
+ },
3398
+ {
3399
+ "kind": "bool",
3400
+ "value": true
3401
+ }
3402
+ ]
3403
+ }
3404
+ ]
3405
+ }
3406
+ },
3407
+ {
3408
+ "field": "requested",
3409
+ "rhs": {
3410
+ "kind": "app",
3411
+ "opcode": "ite",
3412
+ "args": [
3413
+ {
3414
+ "kind": "name",
3415
+ "name": "expanded"
3416
+ },
3417
+ {
3418
+ "kind": "name",
3419
+ "name": "requested"
3420
+ },
3421
+ {
3422
+ "kind": "bool",
3423
+ "value": true
3424
+ }
3425
+ ]
3426
+ }
3427
+ },
3428
+ {
3429
+ "field": "outcome",
3430
+ "rhs": {
3431
+ "kind": "app",
3432
+ "opcode": "ite",
3433
+ "args": [
3434
+ {
3435
+ "kind": "name",
3436
+ "name": "expanded"
3437
+ },
3438
+ {
3439
+ "kind": "name",
3440
+ "name": "outcome"
3441
+ },
3442
+ {
3443
+ "kind": "name",
3444
+ "name": "verdict"
3445
+ }
3446
+ ]
3447
+ }
3448
+ },
3449
+ {
3450
+ "field": "base",
3451
+ "rhs": {
3452
+ "kind": "app",
3453
+ "opcode": "ite",
3454
+ "args": [
3455
+ {
3456
+ "kind": "name",
3457
+ "name": "expanded"
3458
+ },
3459
+ {
3460
+ "kind": "name",
3461
+ "name": "base"
3462
+ },
3463
+ {
3464
+ "kind": "name",
3465
+ "name": "expanded"
3466
+ }
3467
+ ]
3468
+ }
3469
+ }
3470
+ ]
3471
+ },
3472
+ {
3473
+ "name": "collapse",
3474
+ "assignments": [
3475
+ {
3476
+ "field": "expanded",
3477
+ "rhs": {
3478
+ "kind": "app",
3479
+ "opcode": "ite",
3480
+ "args": [
3481
+ {
3482
+ "kind": "name",
3483
+ "name": "expanded"
3484
+ },
3485
+ {
3486
+ "kind": "app",
3487
+ "opcode": "landed",
3488
+ "args": [
3489
+ {
3490
+ "kind": "name",
3491
+ "name": "holds"
3492
+ },
3493
+ {
3494
+ "kind": "name",
3495
+ "name": "expanded"
3496
+ },
3497
+ {
3498
+ "kind": "bool",
3499
+ "value": false
3500
+ }
3501
+ ]
3502
+ },
3503
+ {
3504
+ "kind": "name",
3505
+ "name": "expanded"
3506
+ }
3507
+ ]
3508
+ }
3509
+ },
3510
+ {
3511
+ "field": "disabled",
3512
+ "rhs": {
3513
+ "kind": "name",
3514
+ "name": "disabled"
3515
+ }
3516
+ },
3517
+ {
3518
+ "field": "focus",
3519
+ "rhs": {
3520
+ "kind": "name",
3521
+ "name": "focus"
3522
+ }
3523
+ },
3524
+ {
3525
+ "field": "ariaExpanded",
3526
+ "rhs": {
3527
+ "kind": "app",
3528
+ "opcode": "ite",
3529
+ "args": [
3530
+ {
3531
+ "kind": "name",
3532
+ "name": "expanded"
3533
+ },
3534
+ {
3535
+ "kind": "app",
3536
+ "opcode": "ariaBoolToken",
3537
+ "args": [
3538
+ {
3539
+ "kind": "app",
3540
+ "opcode": "landed",
3541
+ "args": [
3542
+ {
3543
+ "kind": "name",
3544
+ "name": "holds"
3545
+ },
3546
+ {
3547
+ "kind": "name",
3548
+ "name": "expanded"
3549
+ },
3550
+ {
3551
+ "kind": "bool",
3552
+ "value": false
3553
+ }
3554
+ ]
3555
+ }
3556
+ ]
3557
+ },
3558
+ {
3559
+ "kind": "name",
3560
+ "name": "ariaExpanded"
3561
+ }
3562
+ ]
3563
+ }
3564
+ },
3565
+ {
3566
+ "field": "panelHidden",
3567
+ "rhs": {
3568
+ "kind": "app",
3569
+ "opcode": "ite",
3570
+ "args": [
3571
+ {
3572
+ "kind": "name",
3573
+ "name": "expanded"
3574
+ },
3575
+ {
3576
+ "kind": "app",
3577
+ "opcode": "not",
3578
+ "args": [
3579
+ {
3580
+ "kind": "app",
3581
+ "opcode": "landed",
3582
+ "args": [
3583
+ {
3584
+ "kind": "name",
3585
+ "name": "holds"
3586
+ },
3587
+ {
3588
+ "kind": "name",
3589
+ "name": "expanded"
3590
+ },
3591
+ {
3592
+ "kind": "bool",
3593
+ "value": false
3594
+ }
3595
+ ]
3596
+ }
3597
+ ]
3598
+ },
3599
+ {
3600
+ "kind": "name",
3601
+ "name": "panelHidden"
3602
+ }
3603
+ ]
3604
+ }
3605
+ },
3606
+ {
3607
+ "field": "requests",
3608
+ "rhs": {
3609
+ "kind": "app",
3610
+ "opcode": "iadd",
3611
+ "args": [
3612
+ {
3613
+ "kind": "name",
3614
+ "name": "requests"
3615
+ },
3616
+ {
3617
+ "kind": "app",
3618
+ "opcode": "moved",
3619
+ "args": [
3620
+ {
3621
+ "kind": "name",
3622
+ "name": "expanded"
3623
+ },
3624
+ {
3625
+ "kind": "bool",
3626
+ "value": false
3627
+ }
3628
+ ]
3629
+ }
3630
+ ]
3631
+ }
3632
+ },
3633
+ {
3634
+ "field": "controlled",
3635
+ "rhs": {
3636
+ "kind": "name",
3637
+ "name": "controlled"
3638
+ }
3639
+ },
3640
+ {
3641
+ "field": "accepting",
3642
+ "rhs": {
3643
+ "kind": "name",
3644
+ "name": "accepting"
3645
+ }
3646
+ },
3647
+ {
3648
+ "field": "valueProp",
3649
+ "rhs": {
3650
+ "kind": "app",
3651
+ "opcode": "ite",
3652
+ "args": [
3653
+ {
3654
+ "kind": "name",
3655
+ "name": "expanded"
3656
+ },
3657
+ {
3658
+ "kind": "app",
3659
+ "opcode": "propAfter",
3660
+ "args": [
3661
+ {
3662
+ "kind": "name",
3663
+ "name": "follows"
3664
+ },
3665
+ {
3666
+ "kind": "name",
3667
+ "name": "valueProp"
3668
+ },
3669
+ {
3670
+ "kind": "bool",
3671
+ "value": false
3672
+ }
3673
+ ]
3674
+ },
3675
+ {
3676
+ "kind": "name",
3677
+ "name": "valueProp"
3678
+ }
3679
+ ]
3680
+ }
3681
+ },
3682
+ {
3683
+ "field": "requested",
3684
+ "rhs": {
3685
+ "kind": "app",
3686
+ "opcode": "ite",
3687
+ "args": [
3688
+ {
3689
+ "kind": "name",
3690
+ "name": "expanded"
3691
+ },
3692
+ {
3693
+ "kind": "bool",
3694
+ "value": false
3695
+ },
3696
+ {
3697
+ "kind": "name",
3698
+ "name": "requested"
3699
+ }
3700
+ ]
3701
+ }
3702
+ },
3703
+ {
3704
+ "field": "outcome",
3705
+ "rhs": {
3706
+ "kind": "app",
3707
+ "opcode": "ite",
3708
+ "args": [
3709
+ {
3710
+ "kind": "name",
3711
+ "name": "expanded"
3712
+ },
3713
+ {
3714
+ "kind": "name",
3715
+ "name": "verdict"
3716
+ },
3717
+ {
3718
+ "kind": "name",
3719
+ "name": "outcome"
3720
+ }
3721
+ ]
3722
+ }
3723
+ },
3724
+ {
3725
+ "field": "base",
3726
+ "rhs": {
3727
+ "kind": "app",
3728
+ "opcode": "ite",
3729
+ "args": [
3730
+ {
3731
+ "kind": "name",
3732
+ "name": "expanded"
3733
+ },
3734
+ {
3735
+ "kind": "name",
3736
+ "name": "expanded"
3737
+ },
3738
+ {
3739
+ "kind": "name",
3740
+ "name": "base"
3741
+ }
3742
+ ]
3743
+ }
3744
+ }
3745
+ ]
3746
+ },
3747
+ {
3748
+ "name": "toggle",
3749
+ "assignments": [
3750
+ {
3751
+ "field": "expanded",
3752
+ "rhs": {
3753
+ "kind": "app",
3754
+ "opcode": "landed",
3755
+ "args": [
3756
+ {
3757
+ "kind": "name",
3758
+ "name": "holds"
3759
+ },
3760
+ {
3761
+ "kind": "name",
3762
+ "name": "expanded"
3763
+ },
3764
+ {
3765
+ "kind": "app",
3766
+ "opcode": "not",
3767
+ "args": [
3768
+ {
3769
+ "kind": "name",
3770
+ "name": "expanded"
3771
+ }
3772
+ ]
3773
+ }
3774
+ ]
3775
+ }
3776
+ },
3777
+ {
3778
+ "field": "disabled",
3779
+ "rhs": {
3780
+ "kind": "name",
3781
+ "name": "disabled"
3782
+ }
3783
+ },
3784
+ {
3785
+ "field": "focus",
3786
+ "rhs": {
3787
+ "kind": "name",
3788
+ "name": "focus"
3789
+ }
3790
+ },
3791
+ {
3792
+ "field": "ariaExpanded",
3793
+ "rhs": {
3794
+ "kind": "app",
3795
+ "opcode": "ariaBoolToken",
3796
+ "args": [
3797
+ {
3798
+ "kind": "app",
3799
+ "opcode": "landed",
3800
+ "args": [
3801
+ {
3802
+ "kind": "name",
3803
+ "name": "holds"
3804
+ },
3805
+ {
3806
+ "kind": "name",
3807
+ "name": "expanded"
3808
+ },
3809
+ {
3810
+ "kind": "app",
3811
+ "opcode": "not",
3812
+ "args": [
3813
+ {
3814
+ "kind": "name",
3815
+ "name": "expanded"
3816
+ }
3817
+ ]
3818
+ }
3819
+ ]
3820
+ }
3821
+ ]
3822
+ }
3823
+ },
3824
+ {
3825
+ "field": "panelHidden",
3826
+ "rhs": {
3827
+ "kind": "app",
3828
+ "opcode": "not",
3829
+ "args": [
3830
+ {
3831
+ "kind": "app",
3832
+ "opcode": "landed",
3833
+ "args": [
3834
+ {
3835
+ "kind": "name",
3836
+ "name": "holds"
3837
+ },
3838
+ {
3839
+ "kind": "name",
3840
+ "name": "expanded"
3841
+ },
3842
+ {
3843
+ "kind": "app",
3844
+ "opcode": "not",
3845
+ "args": [
3846
+ {
3847
+ "kind": "name",
3848
+ "name": "expanded"
3849
+ }
3850
+ ]
3851
+ }
3852
+ ]
3853
+ }
3854
+ ]
3855
+ }
3856
+ },
3857
+ {
3858
+ "field": "requests",
3859
+ "rhs": {
3860
+ "kind": "app",
3861
+ "opcode": "iadd",
3862
+ "args": [
3863
+ {
3864
+ "kind": "name",
3865
+ "name": "requests"
3866
+ },
3867
+ {
3868
+ "kind": "int",
3869
+ "value": "1"
3870
+ }
3871
+ ]
3872
+ }
3873
+ },
3874
+ {
3875
+ "field": "controlled",
3876
+ "rhs": {
3877
+ "kind": "name",
3878
+ "name": "controlled"
3879
+ }
3880
+ },
3881
+ {
3882
+ "field": "accepting",
3883
+ "rhs": {
3884
+ "kind": "name",
3885
+ "name": "accepting"
3886
+ }
3887
+ },
3888
+ {
3889
+ "field": "valueProp",
3890
+ "rhs": {
3891
+ "kind": "app",
3892
+ "opcode": "propAfter",
3893
+ "args": [
3894
+ {
3895
+ "kind": "name",
3896
+ "name": "follows"
3897
+ },
3898
+ {
3899
+ "kind": "name",
3900
+ "name": "valueProp"
3901
+ },
3902
+ {
3903
+ "kind": "app",
3904
+ "opcode": "not",
3905
+ "args": [
3906
+ {
3907
+ "kind": "name",
3908
+ "name": "expanded"
3909
+ }
3910
+ ]
3911
+ }
3912
+ ]
3913
+ }
3914
+ },
3915
+ {
3916
+ "field": "requested",
3917
+ "rhs": {
3918
+ "kind": "app",
3919
+ "opcode": "not",
3920
+ "args": [
3921
+ {
3922
+ "kind": "name",
3923
+ "name": "expanded"
3924
+ }
3925
+ ]
3926
+ }
3927
+ },
3928
+ {
3929
+ "field": "outcome",
3930
+ "rhs": {
3931
+ "kind": "name",
3932
+ "name": "verdict"
3933
+ }
3934
+ },
3935
+ {
3936
+ "field": "base",
3937
+ "rhs": {
3938
+ "kind": "name",
3939
+ "name": "expanded"
3940
+ }
3941
+ }
3942
+ ]
3943
+ },
3944
+ {
3945
+ "name": "setValue",
3946
+ "nondet": {
3947
+ "name": "v",
3948
+ "kind": "bool",
3949
+ "pool": [
3950
+ true,
3951
+ false
3952
+ ]
3953
+ },
3954
+ "assignments": [
3955
+ {
3956
+ "field": "expanded",
3957
+ "rhs": {
3958
+ "kind": "app",
3959
+ "opcode": "ite",
3960
+ "args": [
3961
+ {
3962
+ "kind": "name",
3963
+ "name": "controlled"
3964
+ },
3965
+ {
3966
+ "kind": "name",
3967
+ "name": "v"
3968
+ },
3969
+ {
3970
+ "kind": "name",
3971
+ "name": "expanded"
3972
+ }
3973
+ ]
3974
+ }
3975
+ },
3976
+ {
3977
+ "field": "disabled",
3978
+ "rhs": {
3979
+ "kind": "name",
3980
+ "name": "disabled"
3981
+ }
3982
+ },
3983
+ {
3984
+ "field": "focus",
3985
+ "rhs": {
3986
+ "kind": "name",
3987
+ "name": "focus"
3988
+ }
3989
+ },
3990
+ {
3991
+ "field": "ariaExpanded",
3992
+ "rhs": {
3993
+ "kind": "app",
3994
+ "opcode": "ite",
3995
+ "args": [
3996
+ {
3997
+ "kind": "name",
3998
+ "name": "controlled"
3999
+ },
4000
+ {
4001
+ "kind": "app",
4002
+ "opcode": "ariaBoolToken",
4003
+ "args": [
4004
+ {
4005
+ "kind": "name",
4006
+ "name": "v"
4007
+ }
4008
+ ]
4009
+ },
4010
+ {
4011
+ "kind": "name",
4012
+ "name": "ariaExpanded"
4013
+ }
4014
+ ]
4015
+ }
4016
+ },
4017
+ {
4018
+ "field": "panelHidden",
4019
+ "rhs": {
4020
+ "kind": "app",
4021
+ "opcode": "ite",
4022
+ "args": [
4023
+ {
4024
+ "kind": "name",
4025
+ "name": "controlled"
4026
+ },
4027
+ {
4028
+ "kind": "app",
4029
+ "opcode": "not",
4030
+ "args": [
4031
+ {
4032
+ "kind": "name",
4033
+ "name": "v"
4034
+ }
4035
+ ]
4036
+ },
4037
+ {
4038
+ "kind": "name",
4039
+ "name": "panelHidden"
4040
+ }
4041
+ ]
4042
+ }
4043
+ },
4044
+ {
4045
+ "field": "requests",
4046
+ "rhs": {
4047
+ "kind": "name",
4048
+ "name": "requests"
4049
+ }
4050
+ },
4051
+ {
4052
+ "field": "controlled",
4053
+ "rhs": {
4054
+ "kind": "name",
4055
+ "name": "controlled"
4056
+ }
4057
+ },
4058
+ {
4059
+ "field": "accepting",
4060
+ "rhs": {
4061
+ "kind": "name",
4062
+ "name": "accepting"
4063
+ }
4064
+ },
4065
+ {
4066
+ "field": "valueProp",
4067
+ "rhs": {
4068
+ "kind": "app",
4069
+ "opcode": "ite",
4070
+ "args": [
4071
+ {
4072
+ "kind": "name",
4073
+ "name": "controlled"
4074
+ },
4075
+ {
4076
+ "kind": "name",
4077
+ "name": "v"
4078
+ },
4079
+ {
4080
+ "kind": "name",
4081
+ "name": "valueProp"
4082
+ }
4083
+ ]
4084
+ }
4085
+ },
4086
+ {
4087
+ "field": "requested",
4088
+ "rhs": {
4089
+ "kind": "name",
4090
+ "name": "requested"
4091
+ }
4092
+ },
4093
+ {
4094
+ "field": "outcome",
4095
+ "rhs": {
4096
+ "kind": "app",
4097
+ "opcode": "ite",
4098
+ "args": [
4099
+ {
4100
+ "kind": "name",
4101
+ "name": "controlled"
4102
+ },
4103
+ {
4104
+ "kind": "str",
4105
+ "value": "none"
4106
+ },
4107
+ {
4108
+ "kind": "name",
4109
+ "name": "outcome"
4110
+ }
4111
+ ]
4112
+ }
4113
+ },
4114
+ {
4115
+ "field": "base",
4116
+ "rhs": {
4117
+ "kind": "name",
4118
+ "name": "base"
4119
+ }
4120
+ }
4121
+ ]
4122
+ },
4123
+ {
4124
+ "name": "hostToggle",
4125
+ "assignments": [
4126
+ {
4127
+ "field": "expanded",
4128
+ "rhs": {
4129
+ "kind": "app",
4130
+ "opcode": "ite",
4131
+ "args": [
4132
+ {
4133
+ "kind": "name",
4134
+ "name": "controlled"
4135
+ },
4136
+ {
4137
+ "kind": "app",
4138
+ "opcode": "not",
4139
+ "args": [
4140
+ {
4141
+ "kind": "name",
4142
+ "name": "valueProp"
4143
+ }
4144
+ ]
4145
+ },
4146
+ {
4147
+ "kind": "name",
4148
+ "name": "expanded"
4149
+ }
4150
+ ]
4151
+ }
4152
+ },
4153
+ {
4154
+ "field": "disabled",
4155
+ "rhs": {
4156
+ "kind": "name",
4157
+ "name": "disabled"
4158
+ }
4159
+ },
4160
+ {
4161
+ "field": "focus",
4162
+ "rhs": {
4163
+ "kind": "name",
4164
+ "name": "focus"
4165
+ }
4166
+ },
4167
+ {
4168
+ "field": "ariaExpanded",
4169
+ "rhs": {
4170
+ "kind": "app",
4171
+ "opcode": "ite",
4172
+ "args": [
4173
+ {
4174
+ "kind": "name",
4175
+ "name": "controlled"
4176
+ },
4177
+ {
4178
+ "kind": "app",
4179
+ "opcode": "ariaBoolToken",
4180
+ "args": [
4181
+ {
4182
+ "kind": "app",
4183
+ "opcode": "not",
4184
+ "args": [
4185
+ {
4186
+ "kind": "name",
4187
+ "name": "valueProp"
4188
+ }
4189
+ ]
4190
+ }
4191
+ ]
4192
+ },
4193
+ {
4194
+ "kind": "name",
4195
+ "name": "ariaExpanded"
4196
+ }
4197
+ ]
4198
+ }
4199
+ },
4200
+ {
4201
+ "field": "panelHidden",
4202
+ "rhs": {
4203
+ "kind": "app",
4204
+ "opcode": "ite",
4205
+ "args": [
4206
+ {
4207
+ "kind": "name",
4208
+ "name": "controlled"
4209
+ },
4210
+ {
4211
+ "kind": "name",
4212
+ "name": "valueProp"
4213
+ },
4214
+ {
4215
+ "kind": "name",
4216
+ "name": "panelHidden"
4217
+ }
4218
+ ]
4219
+ }
4220
+ },
4221
+ {
4222
+ "field": "requests",
4223
+ "rhs": {
4224
+ "kind": "name",
4225
+ "name": "requests"
4226
+ }
4227
+ },
4228
+ {
4229
+ "field": "controlled",
4230
+ "rhs": {
4231
+ "kind": "name",
4232
+ "name": "controlled"
4233
+ }
4234
+ },
4235
+ {
4236
+ "field": "accepting",
4237
+ "rhs": {
4238
+ "kind": "name",
4239
+ "name": "accepting"
4240
+ }
4241
+ },
4242
+ {
4243
+ "field": "valueProp",
4244
+ "rhs": {
4245
+ "kind": "app",
4246
+ "opcode": "ite",
4247
+ "args": [
4248
+ {
4249
+ "kind": "name",
4250
+ "name": "controlled"
4251
+ },
4252
+ {
4253
+ "kind": "app",
4254
+ "opcode": "not",
4255
+ "args": [
4256
+ {
4257
+ "kind": "name",
4258
+ "name": "valueProp"
4259
+ }
4260
+ ]
4261
+ },
4262
+ {
4263
+ "kind": "name",
4264
+ "name": "valueProp"
4265
+ }
4266
+ ]
4267
+ }
4268
+ },
4269
+ {
4270
+ "field": "requested",
4271
+ "rhs": {
4272
+ "kind": "name",
4273
+ "name": "requested"
4274
+ }
4275
+ },
4276
+ {
4277
+ "field": "outcome",
4278
+ "rhs": {
4279
+ "kind": "app",
4280
+ "opcode": "ite",
4281
+ "args": [
4282
+ {
4283
+ "kind": "name",
4284
+ "name": "controlled"
4285
+ },
4286
+ {
4287
+ "kind": "str",
4288
+ "value": "none"
4289
+ },
4290
+ {
4291
+ "kind": "name",
4292
+ "name": "outcome"
4293
+ }
4294
+ ]
4295
+ }
4296
+ },
4297
+ {
4298
+ "field": "base",
4299
+ "rhs": {
4300
+ "kind": "name",
4301
+ "name": "base"
4302
+ }
4303
+ }
4304
+ ]
4305
+ },
4306
+ {
4307
+ "name": "control",
4308
+ "assignments": [
4309
+ {
4310
+ "field": "expanded",
4311
+ "rhs": {
4312
+ "kind": "name",
4313
+ "name": "expanded"
4314
+ }
4315
+ },
4316
+ {
4317
+ "field": "disabled",
4318
+ "rhs": {
4319
+ "kind": "name",
4320
+ "name": "disabled"
4321
+ }
4322
+ },
4323
+ {
4324
+ "field": "focus",
4325
+ "rhs": {
4326
+ "kind": "name",
4327
+ "name": "focus"
4328
+ }
4329
+ },
4330
+ {
4331
+ "field": "ariaExpanded",
4332
+ "rhs": {
4333
+ "kind": "name",
4334
+ "name": "ariaExpanded"
4335
+ }
4336
+ },
4337
+ {
4338
+ "field": "panelHidden",
4339
+ "rhs": {
4340
+ "kind": "name",
4341
+ "name": "panelHidden"
4342
+ }
4343
+ },
4344
+ {
4345
+ "field": "requests",
4346
+ "rhs": {
4347
+ "kind": "name",
4348
+ "name": "requests"
4349
+ }
4350
+ },
4351
+ {
4352
+ "field": "controlled",
4353
+ "rhs": {
4354
+ "kind": "bool",
4355
+ "value": true
4356
+ }
4357
+ },
4358
+ {
4359
+ "field": "accepting",
4360
+ "rhs": {
4361
+ "kind": "name",
4362
+ "name": "accepting"
4363
+ }
4364
+ },
4365
+ {
4366
+ "field": "valueProp",
4367
+ "rhs": {
4368
+ "kind": "name",
4369
+ "name": "expanded"
4370
+ }
4371
+ },
4372
+ {
4373
+ "field": "requested",
4374
+ "rhs": {
4375
+ "kind": "name",
4376
+ "name": "requested"
4377
+ }
4378
+ },
4379
+ {
4380
+ "field": "outcome",
4381
+ "rhs": {
4382
+ "kind": "name",
4383
+ "name": "outcome"
4384
+ }
4385
+ },
4386
+ {
4387
+ "field": "base",
4388
+ "rhs": {
4389
+ "kind": "name",
4390
+ "name": "base"
4391
+ }
4392
+ }
4393
+ ]
4394
+ },
4395
+ {
4396
+ "name": "acceptRequests",
4397
+ "assignments": [
4398
+ {
4399
+ "field": "expanded",
4400
+ "rhs": {
4401
+ "kind": "name",
4402
+ "name": "expanded"
4403
+ }
4404
+ },
4405
+ {
4406
+ "field": "disabled",
4407
+ "rhs": {
4408
+ "kind": "name",
4409
+ "name": "disabled"
4410
+ }
4411
+ },
4412
+ {
4413
+ "field": "focus",
4414
+ "rhs": {
4415
+ "kind": "name",
4416
+ "name": "focus"
4417
+ }
4418
+ },
4419
+ {
4420
+ "field": "ariaExpanded",
4421
+ "rhs": {
4422
+ "kind": "name",
4423
+ "name": "ariaExpanded"
4424
+ }
4425
+ },
4426
+ {
4427
+ "field": "panelHidden",
4428
+ "rhs": {
4429
+ "kind": "name",
4430
+ "name": "panelHidden"
4431
+ }
4432
+ },
4433
+ {
4434
+ "field": "requests",
4435
+ "rhs": {
4436
+ "kind": "name",
4437
+ "name": "requests"
4438
+ }
4439
+ },
4440
+ {
4441
+ "field": "controlled",
4442
+ "rhs": {
4443
+ "kind": "name",
4444
+ "name": "controlled"
4445
+ }
4446
+ },
4447
+ {
4448
+ "field": "accepting",
4449
+ "rhs": {
4450
+ "kind": "bool",
4451
+ "value": true
4452
+ }
4453
+ },
4454
+ {
4455
+ "field": "valueProp",
4456
+ "rhs": {
4457
+ "kind": "name",
4458
+ "name": "valueProp"
4459
+ }
4460
+ },
4461
+ {
4462
+ "field": "requested",
4463
+ "rhs": {
4464
+ "kind": "name",
4465
+ "name": "requested"
4466
+ }
4467
+ },
4468
+ {
4469
+ "field": "outcome",
4470
+ "rhs": {
4471
+ "kind": "name",
4472
+ "name": "outcome"
4473
+ }
4474
+ },
4475
+ {
4476
+ "field": "base",
4477
+ "rhs": {
4478
+ "kind": "name",
4479
+ "name": "base"
4480
+ }
4481
+ }
4482
+ ]
4483
+ },
4484
+ {
4485
+ "name": "disable",
4486
+ "assignments": [
4487
+ {
4488
+ "field": "expanded",
4489
+ "rhs": {
4490
+ "kind": "name",
4491
+ "name": "expanded"
4492
+ }
4493
+ },
4494
+ {
4495
+ "field": "disabled",
4496
+ "rhs": {
4497
+ "kind": "bool",
4498
+ "value": true
4499
+ }
4500
+ },
4501
+ {
4502
+ "field": "focus",
4503
+ "rhs": {
4504
+ "kind": "app",
4505
+ "opcode": "ite",
4506
+ "args": [
4507
+ {
4508
+ "kind": "app",
4509
+ "opcode": "eq",
4510
+ "args": [
4511
+ {
4512
+ "kind": "name",
4513
+ "name": "focus"
4514
+ },
4515
+ {
4516
+ "kind": "str",
4517
+ "value": "trigger"
4518
+ }
4519
+ ]
4520
+ },
4521
+ {
4522
+ "kind": "str",
4523
+ "value": "unknown"
4524
+ },
4525
+ {
4526
+ "kind": "name",
4527
+ "name": "focus"
4528
+ }
4529
+ ]
4530
+ }
4531
+ },
4532
+ {
4533
+ "field": "ariaExpanded",
4534
+ "rhs": {
4535
+ "kind": "name",
4536
+ "name": "ariaExpanded"
4537
+ }
4538
+ },
4539
+ {
4540
+ "field": "panelHidden",
4541
+ "rhs": {
4542
+ "kind": "name",
4543
+ "name": "panelHidden"
4544
+ }
4545
+ },
4546
+ {
4547
+ "field": "requests",
4548
+ "rhs": {
4549
+ "kind": "name",
4550
+ "name": "requests"
4551
+ }
4552
+ },
4553
+ {
4554
+ "field": "controlled",
4555
+ "rhs": {
4556
+ "kind": "name",
4557
+ "name": "controlled"
4558
+ }
4559
+ },
4560
+ {
4561
+ "field": "accepting",
4562
+ "rhs": {
4563
+ "kind": "name",
4564
+ "name": "accepting"
4565
+ }
4566
+ },
4567
+ {
4568
+ "field": "valueProp",
4569
+ "rhs": {
4570
+ "kind": "name",
4571
+ "name": "valueProp"
4572
+ }
4573
+ },
4574
+ {
4575
+ "field": "requested",
4576
+ "rhs": {
4577
+ "kind": "name",
4578
+ "name": "requested"
4579
+ }
4580
+ },
4581
+ {
4582
+ "field": "outcome",
4583
+ "rhs": {
4584
+ "kind": "name",
4585
+ "name": "outcome"
4586
+ }
4587
+ },
4588
+ {
4589
+ "field": "base",
4590
+ "rhs": {
4591
+ "kind": "name",
4592
+ "name": "base"
4593
+ }
4594
+ }
4595
+ ]
4596
+ },
4597
+ {
4598
+ "name": "enable",
4599
+ "assignments": [
4600
+ {
4601
+ "field": "expanded",
4602
+ "rhs": {
4603
+ "kind": "name",
4604
+ "name": "expanded"
4605
+ }
4606
+ },
4607
+ {
4608
+ "field": "disabled",
4609
+ "rhs": {
4610
+ "kind": "bool",
4611
+ "value": false
4612
+ }
4613
+ },
4614
+ {
4615
+ "field": "focus",
4616
+ "rhs": {
4617
+ "kind": "name",
4618
+ "name": "focus"
4619
+ }
4620
+ },
4621
+ {
4622
+ "field": "ariaExpanded",
4623
+ "rhs": {
4624
+ "kind": "name",
4625
+ "name": "ariaExpanded"
4626
+ }
4627
+ },
4628
+ {
4629
+ "field": "panelHidden",
4630
+ "rhs": {
4631
+ "kind": "name",
4632
+ "name": "panelHidden"
4633
+ }
4634
+ },
4635
+ {
4636
+ "field": "requests",
4637
+ "rhs": {
4638
+ "kind": "name",
4639
+ "name": "requests"
4640
+ }
4641
+ },
4642
+ {
4643
+ "field": "controlled",
4644
+ "rhs": {
4645
+ "kind": "name",
4646
+ "name": "controlled"
4647
+ }
4648
+ },
4649
+ {
4650
+ "field": "accepting",
4651
+ "rhs": {
4652
+ "kind": "name",
4653
+ "name": "accepting"
4654
+ }
4655
+ },
4656
+ {
4657
+ "field": "valueProp",
4658
+ "rhs": {
4659
+ "kind": "name",
4660
+ "name": "valueProp"
4661
+ }
4662
+ },
4663
+ {
4664
+ "field": "requested",
4665
+ "rhs": {
4666
+ "kind": "name",
4667
+ "name": "requested"
4668
+ }
4669
+ },
4670
+ {
4671
+ "field": "outcome",
4672
+ "rhs": {
4673
+ "kind": "name",
4674
+ "name": "outcome"
4675
+ }
4676
+ },
4677
+ {
4678
+ "field": "base",
4679
+ "rhs": {
4680
+ "kind": "name",
4681
+ "name": "base"
4682
+ }
4683
+ }
4684
+ ]
4685
+ }
4686
+ ],
4687
+ "step": [
4688
+ "init",
4689
+ "focusTrigger",
4690
+ "blurTrigger",
4691
+ "click",
4692
+ "press",
4693
+ "expand",
4694
+ "collapse",
4695
+ "toggle",
4696
+ "setValue",
4697
+ "hostToggle",
4698
+ "control",
4699
+ "acceptRequests",
4700
+ "disable",
4701
+ "enable"
4702
+ ]
4703
+ }