├── README.md
└── see.ts


/README.md:
--------------------------------------------------------------------------------
1 | https://user-images.githubusercontent.com/69170106/230778324-9e4a03f8-1ca5-4675-b874-e37c7bc8382c.mp4
2 | 


--------------------------------------------------------------------------------
/see.ts:
--------------------------------------------------------------------------------
  1 | import type { Call, Pipe, Booleans, Numbers, Objects, Strings, Tuples, Unions } from 'https://esm.sh/hotscript@1.0.11'
  2 | 
  3 | 
  4 | 
  5 | /***** MAIN *****/
  6 | 
  7 | type Image = 
  8 | [
  9 |     " ███ ",
 10 |     "   █ ",
 11 |     "  ██ ",
 12 |     "   █ ",
 13 |     " ███ "
 14 | ]
 15 | 
 16 | type Result = See<Image>
 17 | 
 18 | 
 19 | 
 20 | 
 21 | 
 22 | 
 23 | /***** NETWORK *****/
 24 | 
 25 | type ImageSerialized = Pipe<
 26 |     Image,
 27 |     [
 28 |         Tuples.Join<''>,
 29 |         Strings.Split<''>,
 30 |         Tuples.Map<Strings.Compare<' '>>,
 31 |         Tuples.Map<Numbers.Equal<1>>
 32 |     ]
 33 | >
 34 | 
 35 | type Retina = {
 36 |     1   : ImageSerialized[0]
 37 |     2   : ImageSerialized[1]
 38 |     3   : ImageSerialized[2]
 39 |     4   : ImageSerialized[3]
 40 |     5   : ImageSerialized[4]
 41 |     6   : ImageSerialized[5]
 42 |     7   : ImageSerialized[6]
 43 |     8   : ImageSerialized[7]
 44 |     9   : ImageSerialized[8]
 45 |     10  : ImageSerialized[9]
 46 |     11  : ImageSerialized[10]
 47 |     12  : ImageSerialized[11]
 48 |     13  : ImageSerialized[12]
 49 |     14  : ImageSerialized[13]
 50 |     15  : ImageSerialized[14]
 51 |     16  : ImageSerialized[15]
 52 |     17  : ImageSerialized[16]
 53 |     18  : ImageSerialized[17]
 54 |     19  : ImageSerialized[18]
 55 |     20  : ImageSerialized[19]
 56 |     21  : ImageSerialized[20]
 57 |     22  : ImageSerialized[21]
 58 |     23  : ImageSerialized[22]
 59 |     24  : ImageSerialized[23]
 60 |     25  : ImageSerialized[24]
 61 | }
 62 | 
 63 | type VisualArea1 = {
 64 |     26  : AllAreActive3<Retina, 1, 2, 3>
 65 |     27  : AllAreActive3<Retina, 2, 3, 4>
 66 |     28  : AllAreActive3<Retina, 3, 4, 5>
 67 |     29  : AllAreActive3<Retina, 6, 7, 8>
 68 |     30  : AllAreActive3<Retina, 7, 8, 9>
 69 |     31  : AllAreActive3<Retina, 8, 9, 10>
 70 |     32  : AllAreActive3<Retina, 11, 12, 13>
 71 |     33  : AllAreActive3<Retina, 12, 13, 14>
 72 |     34  : AllAreActive3<Retina, 13, 14, 15>
 73 |     35  : AllAreActive3<Retina, 16, 17, 18>
 74 |     36  : AllAreActive3<Retina, 17, 18, 19>
 75 |     37  : AllAreActive3<Retina, 18, 19, 20>
 76 |     38  : AllAreActive3<Retina, 21, 22, 23>
 77 |     39  : AllAreActive3<Retina, 22, 23, 24>
 78 |     40  : AllAreActive3<Retina, 23, 24, 25>
 79 | 
 80 |     41  : AllAreActive3<Retina, 1, 6, 11>
 81 |     42  : AllAreActive3<Retina, 6, 11, 16>
 82 |     43  : AllAreActive3<Retina, 11, 16, 21>
 83 |     44  : AllAreActive3<Retina, 2, 7, 12>
 84 |     45  : AllAreActive3<Retina, 7, 12, 17>
 85 |     46  : AllAreActive3<Retina, 12, 17, 22>
 86 |     47  : AllAreActive3<Retina, 3, 8, 13>
 87 |     48  : AllAreActive3<Retina, 8, 13, 18>
 88 |     49  : AllAreActive3<Retina, 13, 18, 23>
 89 |     50  : AllAreActive3<Retina, 4, 9, 14>
 90 |     51  : AllAreActive3<Retina, 9, 14, 19>
 91 |     52  : AllAreActive3<Retina, 14, 19, 24>
 92 |     53  : AllAreActive3<Retina, 5, 10, 15>
 93 |     54  : AllAreActive3<Retina, 10, 15, 20>
 94 |     55  : AllAreActive3<Retina, 15, 20, 25>
 95 | 
 96 |     57  : AllAreActive3<Retina, 6, 12, 18>
 97 |     60  : AllAreActive3<Retina, 7, 13, 19>
 98 |     63  : AllAreActive3<Retina, 8, 14, 20>
 99 |     65  : AllAreActive3<Retina, 15, 19, 23>
100 |     66  : AllAreActive3<Retina, 10, 14, 18>
101 |     67  : AllAreActive3<Retina, 14, 18, 22>
102 |     68  : AllAreActive3<Retina, 5, 9, 13>
103 |     69  : AllAreActive3<Retina, 9, 13, 17>
104 |     70  : AllAreActive3<Retina, 13, 17, 21>
105 |     71  : AllAreActive3<Retina, 4, 8, 12>
106 |     72  : AllAreActive3<Retina, 8, 12, 16>
107 |     73  : AllAreActive3<Retina, 3, 7, 11>
108 |     74  : AllAreActive3<Retina, 8, 12, 18>
109 |     75  : AllAreActive3<Retina, 9, 13, 19>
110 |     76  : AllAreActive3<Retina, 10, 14, 20>
111 | }
112 | 
113 | type VisualArea2 = {
114 |     77  : AllAreActive2<VisualArea1, 26, 41>
115 |     78  : AllAreActive2<VisualArea1, 26, 47>
116 |     79  : AllAreActive2<VisualArea1, 32, 41>
117 |     80  : AllAreActive2<VisualArea1, 32, 47>
118 |     81  : AllAreActive2<VisualArea1, 32, 43>
119 |     82  : AllAreActive2<VisualArea1, 32, 49>
120 |     83  : AllAreActive2<VisualArea1, 38, 43>
121 |     84  : AllAreActive2<VisualArea1, 38, 49>
122 |     85  : AllAreActive2<VisualArea1, 27, 44>
123 |     86  : AllAreActive2<VisualArea1, 27, 50>
124 |     87  : AllAreActive2<VisualArea1, 33, 44>
125 |     88  : AllAreActive2<VisualArea1, 33, 50>
126 |     89  : AllAreActive2<VisualArea1, 33, 46>
127 |     90  : AllAreActive2<VisualArea1, 33, 52>
128 |     91  : AllAreActive2<VisualArea1, 39, 46>
129 |     92  : AllAreActive2<VisualArea1, 39, 52>
130 |     93  : AllAreActive2<VisualArea1, 47, 28>
131 |     94  : AllAreActive2<VisualArea1, 53, 28>
132 |     95  : AllAreActive2<VisualArea1, 34, 47>
133 |     96  : AllAreActive2<VisualArea1, 34, 53>
134 |     97  : AllAreActive2<VisualArea1, 34, 49>
135 |     98  : AllAreActive2<VisualArea1, 34, 55>
136 |     99  : AllAreActive2<VisualArea1, 40, 49>
137 |     100 : AllAreActive2<VisualArea1, 40, 55>
138 |     111 : AllAreActive2<VisualArea1, 41, 42>
139 |     112 : AllAreActive2<VisualArea1, 42, 43>
140 |     113 : AllAreActive2<VisualArea1, 44, 45>
141 |     114 : AllAreActive2<VisualArea1, 45, 46>
142 |     115 : AllAreActive2<VisualArea1, 47, 48>
143 |     116 : AllAreActive2<VisualArea1, 48, 49>
144 |     117 : AllAreActive2<VisualArea1, 50, 51>
145 |     118 : AllAreActive2<VisualArea1, 51, 52>
146 |     119 : AllAreActive2<VisualArea1, 53, 54>
147 |     120 : AllAreActive2<VisualArea1, 54, 55>
148 |     129 : AllAreActive2<VisualArea1, 26, 57>
149 |     130 : AllAreActive2<VisualArea1, 26, 72>
150 |     131 : AllAreActive2<VisualArea1, 38, 57>
151 |     132 : AllAreActive2<VisualArea1, 38, 72>
152 |     133 : AllAreActive2<VisualArea1, 27, 60>
153 |     134 : AllAreActive2<VisualArea1, 27, 69>
154 |     135 : AllAreActive2<VisualArea1, 39, 60>
155 |     136 : AllAreActive2<VisualArea1, 39, 69>
156 |     137 : AllAreActive2<VisualArea1, 28, 63>
157 |     138 : AllAreActive2<VisualArea1, 28, 66>
158 |     139 : AllAreActive2<VisualArea1, 40, 63>
159 |     140 : AllAreActive2<VisualArea1, 40, 66>
160 |     144 : AllAreActive2<VisualArea1, 29, 70>
161 |     145 : AllAreActive2<VisualArea1, 30, 67>
162 |     146 : AllAreActive2<VisualArea1, 31, 65>
163 |     147 : AllAreActive2<VisualArea1, 32, 73>
164 |     148 : AllAreActive2<VisualArea1, 33, 71>
165 |     149 : AllAreActive2<VisualArea1, 34, 68>
166 |     153 : AllAreActive2<VisualArea1, 47, 74>
167 |     154 : AllAreActive2<VisualArea1, 50, 75>
168 |     155 : AllAreActive2<VisualArea1, 53, 76>
169 | }
170 | 
171 | type VisualArea4 = {
172 |     171 : AllAreActive3<VisualArea2, 78, 81, 83>
173 |     172 : AllAreActive3<VisualArea2, 86, 89, 91>
174 |     173 : AllAreActive3<VisualArea2, 94, 97, 99>
175 |     174 : AllAreActive2<VisualArea2, 130, 132>
176 |     175 : AllAreActive2<VisualArea2, 134, 136>
177 |     176 : AllAreActive2<VisualArea2, 138, 140>
178 |     181 : AllAreActive3<VisualArea2, 78, 82, 84>
179 |     182 : AllAreActive3<VisualArea2, 86, 90, 92>
180 |     183 : AllAreActive3<VisualArea2, 94, 98, 100>
181 |     184 : AllAreActive3<VisualArea2, 78, 84, 153>
182 |     185 : AllAreActive3<VisualArea2, 86, 92, 154>
183 |     186 : AllAreActive3<VisualArea2, 94, 100, 155>
184 |     190 : AllAreActive2<VisualArea2, 79, 116>
185 |     191 : AllAreActive2<VisualArea2, 87, 118>
186 |     192 : AllAreActive2<VisualArea2, 95, 120>
187 |     196 : AllAreActive3<VisualArea2, 77, 82, 84>
188 |     197 : AllAreActive3<VisualArea2, 85, 90, 92>
189 |     198 : AllAreActive3<VisualArea2, 93, 98, 100>
190 |     199 : AllAreActive2<VisualArea2, 129, 131>
191 |     200 : AllAreActive2<VisualArea2, 133, 135>
192 |     201 : AllAreActive2<VisualArea2, 137, 140>
193 |     203 : AllAreActive3<VisualArea2, 79, 83, 84>
194 |     204 : AllAreActive3<VisualArea2, 87, 91, 92>
195 |     205 : AllAreActive3<VisualArea2, 95, 99, 100>
196 |     206 : AllAreActive3<VisualArea2, 82, 83, 147>
197 |     207 : AllAreActive3<VisualArea2, 90, 91, 148>
198 |     208 : AllAreActive3<VisualArea2, 98, 99, 149>
199 |     216 : AllAreActive2<VisualArea2, 78, 115>
200 |     217 : AllAreActive2<VisualArea2, 86, 117>
201 |     218 : AllAreActive2<VisualArea2, 94, 119>
202 |     227 : AllAreActive2<VisualArea2, 130, 131>
203 |     228 : AllAreActive2<VisualArea2, 134, 135>
204 |     229 : AllAreActive2<VisualArea2, 138, 139>
205 |     233 : AllAreActive3<VisualArea2, 78, 79, 116>
206 |     234 : AllAreActive3<VisualArea2, 86, 87, 118>
207 |     235 : AllAreActive3<VisualArea2, 94, 95, 120>
208 |     242 : AllAreActive3<VisualArea2, 77, 88, 118>
209 |     243 : AllAreActive3<VisualArea2, 85, 96, 120>
210 |     245 : AllAreActive3<VisualArea2, 77, 83, 115>
211 |     246 : AllAreActive3<VisualArea2, 85, 91, 117>
212 |     247 : AllAreActive3<VisualArea2, 93, 99, 119>
213 | }
214 | 
215 | type Complex = {
216 |     291 : AnyAreActive<VisualArea2, [111,113,115,117,119]>
217 |     292 : AnyAreActive<VisualArea2, [112,114,116,118,120]>
218 |     293 : AnyAreActive<VisualArea2, [130,134,138,144,145,146]>
219 | }
220 | 
221 | type InferiorTemporalGyrus = {
222 |     0 : AnyAreActive<VisualArea4, [245,246,247]>
223 |     1 : AnyAreActive<Complex,     [291,292]>
224 |     2 : AnyAreActive<VisualArea4, [171,172,173,174,175,176]>
225 |     3 : AnyAreActive<VisualArea4, [181,182,183,184,185,186]>
226 |     4 : AnyAreActive<VisualArea4, [190,191,192]>
227 |     5 : AnyAreActive<VisualArea4, [196,197,198,199,200,201]>
228 |     6 : AnyAreActive<VisualArea4, [203,204,205,206,207,208]>
229 |     7 : AnyAreActive<VisualArea4 & Complex, [216,217,218,293]>
230 |     8 : AnyAreActive<VisualArea4, [227,228,229]>
231 |     9 : AnyAreActive<VisualArea4, [233,234,235,242,243]>
232 | }
233 | 
234 | type PossibleNumbers = Pipe<
235 |     InferiorTemporalGyrus,
236 |     [
237 |         Objects.PickBy<Booleans.Equals<true>>,
238 |         Objects.Keys
239 |     ]
240 | >
241 | 
242 | type InhibitionOrder = [ 8, 9, 0, 2, 3, 7, 6, 4, 5, 1 ]
243 | 
244 | type See<Image> = Call<Tuples.Find<Booleans.Extends<PossibleNumbers>>, InhibitionOrder>
245 | 
246 | 
247 | /***** UTILITY FUNCTIONS *****/
248 | 
249 | type AllAreActive2<
250 |     Network,
251 |     X extends keyof Network,
252 |     Y extends keyof Network
253 | > = Call<Booleans.And<Network[X]>, Network[Y]>
254 | 
255 | type AllAreActive3<
256 |     Network,
257 |     X extends keyof Network,
258 |     Y extends keyof Network,
259 |     Z extends keyof Network
260 | > = Call<Tuples.Every<Booleans.Equals<true>>, [Network[X], Network[Y], Network[Z]]>
261 | 
262 | type AnyAreActive<
263 |     Network,
264 |     Keys extends (keyof Network)[]
265 | > = Call<
266 |     Tuples.Some<Booleans.Equals<true>>,
267 |     KeysToValues<Network, Keys>
268 | >
269 | 
270 | type KeysToValues<T, Keys extends (keyof T)[]> = {
271 |   [Index in keyof Keys]: Keys[Index] extends keyof T ? T[Keys[Index]] : never;
272 | }
273 | 


--------------------------------------------------------------------------------