@rsconcept/rstool 0.7.2 → 0.8.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 (36) hide show
  1. package/README.md +1 -1
  2. package/docs/CONSTITUENTA.md +1 -1
  3. package/docs/DIAGNOSTICS.md +8 -5
  4. package/docs/MODEL-TESTING.md +1 -1
  5. package/docs/PORTAL-API.md +20 -0
  6. package/examples/README.md +52 -29
  7. package/examples/build-chocolate-nim-rsform.ts +311 -0
  8. package/examples/chocolate-nim/build-rsform.ts +311 -0
  9. package/examples/chocolate-nim/build-rsmodel.ts +100 -0
  10. package/examples/chocolate-nim/constants.ts +10 -0
  11. package/examples/chocolate-nim/rsform-session.json +778 -0
  12. package/examples/chocolate-nim/rsmodel-session.json +802 -0
  13. package/examples/expression-bank/bank-constituents.ts +370 -0
  14. package/examples/expression-bank/build-rsform.ts +59 -0
  15. package/examples/expression-bank/constants.ts +1 -0
  16. package/examples/expression-bank/rsform-session.json +4006 -0
  17. package/examples/{build-kinship-rsform.ts → kinship/build-rsform.ts} +276 -54
  18. package/examples/{build-kinship-rsmodel.ts → kinship/build-rsmodel.ts} +18 -7
  19. package/examples/kinship/constants.ts +5 -3
  20. package/examples/{kinship-rsmodel-session.json → kinship/rsform-session.json} +614 -92
  21. package/examples/{kinship-rsform-session.json → kinship/rsmodel-session.json} +704 -50
  22. package/examples/kinship/x1-actions.test.ts +2 -1
  23. package/examples/movd/build-rsform.ts +325 -0
  24. package/examples/movd/build-rsmodel.ts +159 -0
  25. package/examples/movd/constants.ts +18 -0
  26. package/examples/movd/rsform-session.json +738 -0
  27. package/examples/movd/rsmodel-session.json +832 -0
  28. package/examples/{build-sample-rsform.ts → sample/build-rsform.ts} +2 -2
  29. package/examples/{build-sample-rsmodel.ts → sample/build-rsmodel.ts} +3 -4
  30. package/examples/template-apply/build-rsform.ts +236 -0
  31. package/examples/template-apply/constants.ts +13 -0
  32. package/examples/template-apply/rsform-session.json +333 -0
  33. package/package.json +12 -6
  34. package/skills/rstool-helper/EXAMPLES.md +2 -2
  35. /package/examples/{sample-rsform-session.json → sample/rsform-session.json} +0 -0
  36. /package/examples/{sample-rsmodel-session.json → sample/rsmodel-session.json} +0 -0
package/examples/movd/rsmodel-session.json ADDED
@@ -0,0 +1,832 @@
1
+ {
2
+ "contractVersion": "1.4.0",
3
+ "state": {
4
+ "sessionId": "322363ff-2e38-4656-8b26-4238b3260a65",
5
+ "alias": "",
6
+ "title": "",
7
+ "comment": "",
8
+ "createdAt": "2026-06-22T10:30:43.022Z",
9
+ "updatedAt": "2026-06-22T10:30:44.668Z",
10
+ "revisions": [
11
+ {
12
+ "revisionId": "640a498f-ac43-40ae-b134-c81aaa5b79c7",
13
+ "at": "2026-06-22T10:30:43.053Z",
14
+ "message": "КС «МОВД» (rsforms/838): Pr1,2, Fi1,2, pr1,2 на ℬ(X3×X1×X2) и ℬ(X3×X1×X4)"
15
+ },
16
+ {
17
+ "revisionId": "6eef276f-4ef2-4f65-b777-42d6a4e969f8",
18
+ "at": "2026-06-22T10:30:44.668Z",
19
+ "message": "Модель МОВД: Алиса, переговоры, стол значим, выбор «выйти»"
20
+ }
21
+ ],
22
+ "items": [
23
+ {
24
+ "id": 1,
25
+ "alias": "X1",
26
+ "cstType": "basic",
27
+ "definitionFormal": "",
28
+ "term": "ситуации",
29
+ "convention": "Различимые ситуации, рассматриваемые как единицы анализа",
30
+ "definitionText": "",
31
+ "analysis": {
32
+ "success": true,
33
+ "type": {
34
+ "typeID": 5,
35
+ "base": {
36
+ "typeID": 3,
37
+ "baseID": "X1"
38
+ }
39
+ },
40
+ "valueClass": "value",
41
+ "diagnostics": []
42
+ }
43
+ },
44
+ {
45
+ "id": 2,
46
+ "alias": "X2",
47
+ "cstType": "basic",
48
+ "definitionFormal": "",
49
+ "term": "элементы ситуации",
50
+ "convention": "Различимые элементы, которые могут входить в состав ситуаций",
51
+ "definitionText": "",
52
+ "analysis": {
53
+ "success": true,
54
+ "type": {
55
+ "typeID": 5,
56
+ "base": {
57
+ "typeID": 3,
58
+ "baseID": "X2"
59
+ }
60
+ },
61
+ "valueClass": "value",
62
+ "diagnostics": []
63
+ }
64
+ },
65
+ {
66
+ "id": 3,
67
+ "alias": "X3",
68
+ "cstType": "basic",
69
+ "definitionFormal": "",
70
+ "term": "субъекты",
71
+ "convention": "Различимые субъекты, осуществляющие ориентировку в ситуации",
72
+ "definitionText": "",
73
+ "analysis": {
74
+ "success": true,
75
+ "type": {
76
+ "typeID": 5,
77
+ "base": {
78
+ "typeID": 3,
79
+ "baseID": "X3"
80
+ }
81
+ },
82
+ "valueClass": "value",
83
+ "diagnostics": []
84
+ }
85
+ },
86
+ {
87
+ "id": 4,
88
+ "alias": "X4",
89
+ "cstType": "basic",
90
+ "definitionFormal": "",
91
+ "term": "действия",
92
+ "convention": "Различимые действия, рассматриваемые субъектом как возможные в ситуации",
93
+ "definitionText": "",
94
+ "analysis": {
95
+ "success": true,
96
+ "type": {
97
+ "typeID": 5,
98
+ "base": {
99
+ "typeID": 3,
100
+ "baseID": "X4"
101
+ }
102
+ },
103
+ "valueClass": "value",
104
+ "diagnostics": []
105
+ }
106
+ },
107
+ {
108
+ "id": 5,
109
+ "alias": "S1",
110
+ "cstType": "structure",
111
+ "definitionFormal": "ℬ(X1×X2)",
112
+ "term": "состав ситуации",
113
+ "convention": "Соотносит ситуацию с элементами, входящими в её состав",
114
+ "definitionText": "",
115
+ "analysis": {
116
+ "success": true,
117
+ "type": {
118
+ "typeID": 5,
119
+ "base": {
120
+ "typeID": 4,
121
+ "factors": [
122
+ {
123
+ "typeID": 3,
124
+ "baseID": "X1"
125
+ },
126
+ {
127
+ "typeID": 3,
128
+ "baseID": "X2"
129
+ }
130
+ ]
131
+ }
132
+ },
133
+ "valueClass": "value",
134
+ "diagnostics": []
135
+ }
136
+ },
137
+ {
138
+ "id": 6,
139
+ "alias": "S2",
140
+ "cstType": "structure",
141
+ "definitionFormal": "ℬ(X3×X1×X2)",
142
+ "term": "выделение значимого",
143
+ "convention": "Соотносит субъекта, ситуацию и элемент ситуации, выделяемый субъектом как значимый",
144
+ "definitionText": "",
145
+ "analysis": {
146
+ "success": true,
147
+ "type": {
148
+ "typeID": 5,
149
+ "base": {
150
+ "typeID": 4,
151
+ "factors": [
152
+ {
153
+ "typeID": 3,
154
+ "baseID": "X3"
155
+ },
156
+ {
157
+ "typeID": 3,
158
+ "baseID": "X1"
159
+ },
160
+ {
161
+ "typeID": 3,
162
+ "baseID": "X2"
163
+ }
164
+ ]
165
+ }
166
+ },
167
+ "valueClass": "value",
168
+ "diagnostics": []
169
+ }
170
+ },
171
+ {
172
+ "id": 7,
173
+ "alias": "S3",
174
+ "cstType": "structure",
175
+ "definitionFormal": "ℬ(X3×X1×X4)",
176
+ "term": "рассмотрение действия",
177
+ "convention": "Соотносит субъекта, ситуацию и действие, рассматриваемое как возможное",
178
+ "definitionText": "",
179
+ "analysis": {
180
+ "success": true,
181
+ "type": {
182
+ "typeID": 5,
183
+ "base": {
184
+ "typeID": 4,
185
+ "factors": [
186
+ {
187
+ "typeID": 3,
188
+ "baseID": "X3"
189
+ },
190
+ {
191
+ "typeID": 3,
192
+ "baseID": "X1"
193
+ },
194
+ {
195
+ "typeID": 3,
196
+ "baseID": "X4"
197
+ }
198
+ ]
199
+ }
200
+ },
201
+ "valueClass": "value",
202
+ "diagnostics": []
203
+ }
204
+ },
205
+ {
206
+ "id": 8,
207
+ "alias": "S4",
208
+ "cstType": "structure",
209
+ "definitionFormal": "ℬ(X3×X1×X4)",
210
+ "term": "выбор действия",
211
+ "convention": "Соотносит субъекта, ситуацию и действие, выбранное субъектом",
212
+ "definitionText": "",
213
+ "analysis": {
214
+ "success": true,
215
+ "type": {
216
+ "typeID": 5,
217
+ "base": {
218
+ "typeID": 4,
219
+ "factors": [
220
+ {
221
+ "typeID": 3,
222
+ "baseID": "X3"
223
+ },
224
+ {
225
+ "typeID": 3,
226
+ "baseID": "X1"
227
+ },
228
+ {
229
+ "typeID": 3,
230
+ "baseID": "X4"
231
+ }
232
+ ]
233
+ }
234
+ },
235
+ "valueClass": "value",
236
+ "diagnostics": []
237
+ }
238
+ },
239
+ {
240
+ "id": 9,
241
+ "alias": "D1",
242
+ "cstType": "term",
243
+ "definitionFormal": "Pr1(S1)",
244
+ "term": "структурированные ситуации",
245
+ "definitionText": "Ситуации, для которых задан хотя бы один элемент состава",
246
+ "convention": "",
247
+ "analysis": {
248
+ "success": true,
249
+ "type": {
250
+ "typeID": 5,
251
+ "base": {
252
+ "typeID": 3,
253
+ "baseID": "X1"
254
+ }
255
+ },
256
+ "valueClass": "value",
257
+ "diagnostics": []
258
+ }
259
+ },
260
+ {
261
+ "id": 10,
262
+ "alias": "D2",
263
+ "cstType": "term",
264
+ "definitionFormal": "Pr2(S1)",
265
+ "term": "элементы состава ситуации",
266
+ "definitionText": "Элементы, входящие в состав хотя бы одной ситуации",
267
+ "convention": "",
268
+ "analysis": {
269
+ "success": true,
270
+ "type": {
271
+ "typeID": 5,
272
+ "base": {
273
+ "typeID": 3,
274
+ "baseID": "X2"
275
+ }
276
+ },
277
+ "valueClass": "value",
278
+ "diagnostics": []
279
+ }
280
+ },
281
+ {
282
+ "id": 11,
283
+ "alias": "F1",
284
+ "cstType": "function",
285
+ "definitionFormal": "[α∈X1] Pr2(Fi1[{α}](S1))",
286
+ "term": "состав заданной ситуации",
287
+ "definitionText": "Элементы, входящие в состав заданной ситуации",
288
+ "convention": "",
289
+ "analysis": {
290
+ "success": true,
291
+ "type": {
292
+ "typeID": 7,
293
+ "result": {
294
+ "typeID": 5,
295
+ "base": {
296
+ "typeID": 3,
297
+ "baseID": "X2"
298
+ }
299
+ },
300
+ "args": [
301
+ {
302
+ "alias": "α",
303
+ "type": {
304
+ "typeID": 3,
305
+ "baseID": "X1"
306
+ }
307
+ }
308
+ ]
309
+ },
310
+ "valueClass": "value",
311
+ "diagnostics": []
312
+ }
313
+ },
314
+ {
315
+ "id": 12,
316
+ "alias": "D3",
317
+ "cstType": "term",
318
+ "definitionFormal": "Pr1(S2)",
319
+ "term": "ориентирующиеся субъекты",
320
+ "definitionText": "",
321
+ "convention": "",
322
+ "analysis": {
323
+ "success": true,
324
+ "type": {
325
+ "typeID": 5,
326
+ "base": {
327
+ "typeID": 3,
328
+ "baseID": "X3"
329
+ }
330
+ },
331
+ "valueClass": "value",
332
+ "diagnostics": []
333
+ }
334
+ },
335
+ {
336
+ "id": 13,
337
+ "alias": "D4",
338
+ "cstType": "term",
339
+ "definitionFormal": "Pr2(S2)",
340
+ "term": "ситуации ориентировки",
341
+ "definitionText": "",
342
+ "convention": "",
343
+ "analysis": {
344
+ "success": true,
345
+ "type": {
346
+ "typeID": 5,
347
+ "base": {
348
+ "typeID": 3,
349
+ "baseID": "X1"
350
+ }
351
+ },
352
+ "valueClass": "value",
353
+ "diagnostics": []
354
+ }
355
+ },
356
+ {
357
+ "id": 14,
358
+ "alias": "D5",
359
+ "cstType": "term",
360
+ "definitionFormal": "Pr3(S2)",
361
+ "term": "значимые элементы",
362
+ "definitionText": "",
363
+ "convention": "",
364
+ "analysis": {
365
+ "success": true,
366
+ "type": {
367
+ "typeID": 5,
368
+ "base": {
369
+ "typeID": 3,
370
+ "baseID": "X2"
371
+ }
372
+ },
373
+ "valueClass": "value",
374
+ "diagnostics": []
375
+ }
376
+ },
377
+ {
378
+ "id": 15,
379
+ "alias": "D6",
380
+ "cstType": "term",
381
+ "definitionFormal": "Pr1,2(S2)",
382
+ "term": "эпизоды ориентировки",
383
+ "definitionText": "Пары субъект — ситуация, в которых субъект выделяет значимый элемент",
384
+ "convention": "",
385
+ "analysis": {
386
+ "success": true,
387
+ "type": {
388
+ "typeID": 5,
389
+ "base": {
390
+ "typeID": 4,
391
+ "factors": [
392
+ {
393
+ "typeID": 3,
394
+ "baseID": "X3"
395
+ },
396
+ {
397
+ "typeID": 3,
398
+ "baseID": "X1"
399
+ }
400
+ ]
401
+ }
402
+ },
403
+ "valueClass": "value",
404
+ "diagnostics": []
405
+ }
406
+ },
407
+ {
408
+ "id": 16,
409
+ "alias": "F2",
410
+ "cstType": "function",
411
+ "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2,1[{(β,α)}](S2))",
412
+ "term": "значимые элементы субъекта в ситуации",
413
+ "definitionText": "Элементы, выделяемые субъектом как значимые в заданной ситуации",
414
+ "convention": "",
415
+ "analysis": {
416
+ "success": true,
417
+ "type": {
418
+ "typeID": 7,
419
+ "result": {
420
+ "typeID": 5,
421
+ "base": {
422
+ "typeID": 3,
423
+ "baseID": "X2"
424
+ }
425
+ },
426
+ "args": [
427
+ {
428
+ "alias": "α",
429
+ "type": {
430
+ "typeID": 3,
431
+ "baseID": "X3"
432
+ }
433
+ },
434
+ {
435
+ "alias": "β",
436
+ "type": {
437
+ "typeID": 3,
438
+ "baseID": "X1"
439
+ }
440
+ }
441
+ ]
442
+ },
443
+ "valueClass": "value",
444
+ "diagnostics": []
445
+ }
446
+ },
447
+ {
448
+ "id": 17,
449
+ "alias": "A1",
450
+ "cstType": "axiom",
451
+ "definitionFormal": "∀α∈X3 ∀β∈X1 F2[α,β]⊆F1[β]",
452
+ "term": "значимые элементы входят в состав ситуации",
453
+ "definitionText": "Элементы, выделяемые субъектом как значимые, входят в состав этой ситуации",
454
+ "convention": "",
455
+ "analysis": {
456
+ "success": true,
457
+ "type": {
458
+ "typeID": 6
459
+ },
460
+ "valueClass": "value",
461
+ "diagnostics": []
462
+ }
463
+ },
464
+ {
465
+ "id": 18,
466
+ "alias": "D7",
467
+ "cstType": "term",
468
+ "definitionFormal": "Pr1(S3)",
469
+ "term": "рассматривающие субъекты",
470
+ "definitionText": "",
471
+ "convention": "",
472
+ "analysis": {
473
+ "success": true,
474
+ "type": {
475
+ "typeID": 5,
476
+ "base": {
477
+ "typeID": 3,
478
+ "baseID": "X3"
479
+ }
480
+ },
481
+ "valueClass": "value",
482
+ "diagnostics": []
483
+ }
484
+ },
485
+ {
486
+ "id": 19,
487
+ "alias": "D8",
488
+ "cstType": "term",
489
+ "definitionFormal": "Pr2(S3)",
490
+ "term": "ситуации рассмотрения действий",
491
+ "definitionText": "",
492
+ "convention": "",
493
+ "analysis": {
494
+ "success": true,
495
+ "type": {
496
+ "typeID": 5,
497
+ "base": {
498
+ "typeID": 3,
499
+ "baseID": "X1"
500
+ }
501
+ },
502
+ "valueClass": "value",
503
+ "diagnostics": []
504
+ }
505
+ },
506
+ {
507
+ "id": 20,
508
+ "alias": "D9",
509
+ "cstType": "term",
510
+ "definitionFormal": "Pr3(S3)",
511
+ "term": "рассматриваемые действия",
512
+ "definitionText": "",
513
+ "convention": "",
514
+ "analysis": {
515
+ "success": true,
516
+ "type": {
517
+ "typeID": 5,
518
+ "base": {
519
+ "typeID": 3,
520
+ "baseID": "X4"
521
+ }
522
+ },
523
+ "valueClass": "value",
524
+ "diagnostics": []
525
+ }
526
+ },
527
+ {
528
+ "id": 21,
529
+ "alias": "F3",
530
+ "cstType": "function",
531
+ "definitionFormal": "[α∈X3, β∈X1] Pr3(Fi2[{β}](Fi1[{α}](S3)))",
532
+ "term": "пространство действий субъекта в ситуации",
533
+ "definitionText": "Действия, рассматриваемые субъектом как возможные в ситуации",
534
+ "convention": "",
535
+ "analysis": {
536
+ "success": true,
537
+ "type": {
538
+ "typeID": 7,
539
+ "result": {
540
+ "typeID": 5,
541
+ "base": {
542
+ "typeID": 3,
543
+ "baseID": "X4"
544
+ }
545
+ },
546
+ "args": [
547
+ {
548
+ "alias": "α",
549
+ "type": {
550
+ "typeID": 3,
551
+ "baseID": "X3"
552
+ }
553
+ },
554
+ {
555
+ "alias": "β",
556
+ "type": {
557
+ "typeID": 3,
558
+ "baseID": "X1"
559
+ }
560
+ }
561
+ ]
562
+ },
563
+ "valueClass": "value",
564
+ "diagnostics": []
565
+ }
566
+ },
567
+ {
568
+ "id": 22,
569
+ "alias": "A2",
570
+ "cstType": "axiom",
571
+ "definitionFormal": "∀α∈X3 ∀β∈X1 (F3[α,β]≠∅ ⇒ F2[α,β]≠∅)",
572
+ "term": "пространство действий требует ориентировки",
573
+ "definitionText": "Если субъект рассматривает действия в ситуации, у него есть значимые элементы",
574
+ "convention": "",
575
+ "analysis": {
576
+ "success": true,
577
+ "type": {
578
+ "typeID": 6
579
+ },
580
+ "valueClass": "value",
581
+ "diagnostics": []
582
+ }
583
+ },
584
+ {
585
+ "id": 23,
586
+ "alias": "D10",
587
+ "cstType": "term",
588
+ "definitionFormal": "Pr1,2(S3)",
589
+ "term": "эпизоды рассмотрения",
590
+ "definitionText": "Пары субъект — ситуация, в которых рассматриваются действия",
591
+ "convention": "",
592
+ "analysis": {
593
+ "success": true,
594
+ "type": {
595
+ "typeID": 5,
596
+ "base": {
597
+ "typeID": 4,
598
+ "factors": [
599
+ {
600
+ "typeID": 3,
601
+ "baseID": "X3"
602
+ },
603
+ {
604
+ "typeID": 3,
605
+ "baseID": "X1"
606
+ }
607
+ ]
608
+ }
609
+ },
610
+ "valueClass": "value",
611
+ "diagnostics": []
612
+ }
613
+ },
614
+ {
615
+ "id": 24,
616
+ "alias": "F5",
617
+ "cstType": "function",
618
+ "definitionFormal": "[ρ∈S3] pr1,2(ρ)",
619
+ "term": "субъект и ситуация рассмотрения",
620
+ "definitionText": "Пара субъект — ситуация для эпизода рассмотрения действия",
621
+ "convention": "",
622
+ "analysis": {
623
+ "success": true,
624
+ "type": {
625
+ "typeID": 7,
626
+ "result": {
627
+ "typeID": 4,
628
+ "factors": [
629
+ {
630
+ "typeID": 3,
631
+ "baseID": "X3"
632
+ },
633
+ {
634
+ "typeID": 3,
635
+ "baseID": "X1"
636
+ }
637
+ ]
638
+ },
639
+ "args": [
640
+ {
641
+ "alias": "ρ",
642
+ "type": {
643
+ "typeID": 4,
644
+ "factors": [
645
+ {
646
+ "typeID": 3,
647
+ "baseID": "X3"
648
+ },
649
+ {
650
+ "typeID": 3,
651
+ "baseID": "X1"
652
+ },
653
+ {
654
+ "typeID": 3,
655
+ "baseID": "X4"
656
+ }
657
+ ]
658
+ }
659
+ }
660
+ ]
661
+ },
662
+ "valueClass": "value",
663
+ "diagnostics": []
664
+ }
665
+ },
666
+ {
667
+ "id": 25,
668
+ "alias": "F4",
669
+ "cstType": "function",
670
+ "definitionFormal": "[α∈X3, β∈X1] debool(Pr3(Fi2[{β}](Fi1[{α}](S4))))",
671
+ "term": "выбранное действие субъекта в ситуации",
672
+ "definitionText": "Действие, выбранное субъектом в ситуации",
673
+ "convention": "",
674
+ "analysis": {
675
+ "success": true,
676
+ "type": {
677
+ "typeID": 7,
678
+ "result": {
679
+ "typeID": 3,
680
+ "baseID": "X4"
681
+ },
682
+ "args": [
683
+ {
684
+ "alias": "α",
685
+ "type": {
686
+ "typeID": 3,
687
+ "baseID": "X3"
688
+ }
689
+ },
690
+ {
691
+ "alias": "β",
692
+ "type": {
693
+ "typeID": 3,
694
+ "baseID": "X1"
695
+ }
696
+ }
697
+ ]
698
+ },
699
+ "valueClass": "value",
700
+ "diagnostics": []
701
+ }
702
+ },
703
+ {
704
+ "id": 26,
705
+ "alias": "A3",
706
+ "cstType": "axiom",
707
+ "definitionFormal": "∀(α,β)∈Pr1,2(S4) card(Pr3(Fi2[{β}](Fi1[{α}](S4))))=1",
708
+ "term": "единственность выбранного действия",
709
+ "definitionText": "У каждой пары субъект — ситуация в структуре выбора ровно одно действие",
710
+ "convention": "",
711
+ "analysis": {
712
+ "success": true,
713
+ "type": {
714
+ "typeID": 6
715
+ },
716
+ "valueClass": "value",
717
+ "diagnostics": []
718
+ }
719
+ },
720
+ {
721
+ "id": 27,
722
+ "alias": "A4",
723
+ "cstType": "axiom",
724
+ "definitionFormal": "∀(α,β)∈Pr1,2(S4) F4[α,β]∈F3[α,β]",
725
+ "term": "выбранное действие принадлежит пространству действий",
726
+ "definitionText": "Выбранное действие входит в число рассматриваемых субъектом в этой ситуации",
727
+ "convention": "",
728
+ "analysis": {
729
+ "success": true,
730
+ "type": {
731
+ "typeID": 6
732
+ },
733
+ "valueClass": "value",
734
+ "diagnostics": []
735
+ }
736
+ }
737
+ ],
738
+ "model": {
739
+ "items": [
740
+ {
741
+ "id": 1,
742
+ "type": "basic",
743
+ "value": {
744
+ "0": "переговоры"
745
+ }
746
+ },
747
+ {
748
+ "id": 2,
749
+ "type": "basic",
750
+ "value": {
751
+ "0": "стол",
752
+ "1": "дверь"
753
+ }
754
+ },
755
+ {
756
+ "id": 3,
757
+ "type": "basic",
758
+ "value": {
759
+ "0": "Алиса"
760
+ }
761
+ },
762
+ {
763
+ "id": 4,
764
+ "type": "basic",
765
+ "value": {
766
+ "0": "выйти",
767
+ "1": "остаться"
768
+ }
769
+ },
770
+ {
771
+ "id": 5,
772
+ "type": "ℬ(X1×X1)",
773
+ "value": [
774
+ [
775
+ -111,
776
+ 0,
777
+ 0
778
+ ],
779
+ [
780
+ -111,
781
+ 0,
782
+ 1
783
+ ]
784
+ ]
785
+ },
786
+ {
787
+ "id": 6,
788
+ "type": "ℬ(X1×X1×X1)",
789
+ "value": [
790
+ [
791
+ -111,
792
+ 0,
793
+ 0,
794
+ 0
795
+ ]
796
+ ]
797
+ },
798
+ {
799
+ "id": 7,
800
+ "type": "ℬ(X1×X1×X1)",
801
+ "value": [
802
+ [
803
+ -111,
804
+ 0,
805
+ 0,
806
+ 0
807
+ ],
808
+ [
809
+ -111,
810
+ 0,
811
+ 0,
812
+ 1
813
+ ]
814
+ ]
815
+ },
816
+ {
817
+ "id": 8,
818
+ "type": "ℬ(X1×X1×X1)",
819
+ "value": [
820
+ [
821
+ -111,
822
+ 0,
823
+ 0,
824
+ 0
825
+ ]
826
+ ]
827
+ }
828
+ ]
829
+ }
830
+ },
831
+ "diagnostics": []
832
+ }