@lapxo/obligations 0.3.5 → 0.4.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 (71) hide show
  1. package/README.md +21 -126
  2. package/TARGET.bound +622 -507
  3. package/dist/measures/capacity.d.ts +302 -0
  4. package/dist/measures/capacity.js +168 -0
  5. package/dist/measures/coincidence.d.ts +111 -0
  6. package/dist/measures/coincidence.js +81 -0
  7. package/dist/measures/error-events.d.ts +27 -0
  8. package/dist/measures/error-events.js +62 -0
  9. package/dist/measures/experiments.d.ts +15 -0
  10. package/dist/measures/experiments.js +53 -0
  11. package/dist/measures/fitting.d.ts +243 -0
  12. package/dist/measures/fitting.js +115 -0
  13. package/dist/measures/identification.d.ts +156 -0
  14. package/dist/measures/identification.js +107 -0
  15. package/dist/measures/index.d.ts +24 -0
  16. package/dist/measures/index.js +12 -0
  17. package/dist/measures/m3-experiment.d.ts +69 -0
  18. package/dist/measures/m3-experiment.js +70 -0
  19. package/dist/measures/m3.d.ts +139 -0
  20. package/dist/measures/m3.js +181 -0
  21. package/dist/measures/model.d.ts +14 -0
  22. package/dist/measures/model.js +67 -0
  23. package/dist/measures/rational.d.ts +19 -0
  24. package/dist/measures/rational.js +53 -0
  25. package/dist/measures/spectrum.d.ts +22 -0
  26. package/dist/measures/spectrum.js +84 -0
  27. package/dist/measures/unanimity-fit.d.ts +156 -0
  28. package/dist/measures/unanimity-fit.js +133 -0
  29. package/docs/img/cell.svg +28 -0
  30. package/docs/img/logo-fork.svg +6 -0
  31. package/docs/img/logo.svg +6 -0
  32. package/docs/img/price.svg +28 -0
  33. package/docs/img/thermometer.svg +28 -0
  34. package/docs/img/withdrawal.svg +28 -0
  35. package/docs/learn/in-phase.md +46 -0
  36. package/docs/learn/price.md +52 -0
  37. package/docs/learn/signature.md +50 -0
  38. package/docs/learn/thermometer.md +58 -0
  39. package/docs/learn/withdrawal.md +51 -0
  40. package/docs/measures.md +197 -0
  41. package/docs/paper.md +233 -0
  42. package/docs/reference.md +495 -0
  43. package/package.json +1 -93
  44. package/receipts.bound +118 -0
  45. package/samples/measures/capacity.json +71 -0
  46. package/samples/measures/coincidence.json +624 -0
  47. package/samples/measures/decisions.json +66 -0
  48. package/samples/measures/descent.json +92 -0
  49. package/samples/measures/m3.json +3126 -0
  50. package/samples/measures/observations.json +212 -0
  51. package/samples/measures/spectrum.json +6530 -0
  52. package/samples/measures/unanimity-fit.json +166 -0
  53. package/samples/measures/unanimity.json +76 -0
  54. package/samples/no/installed-artifact.json +314 -0
  55. package/samples/yes/algebra-is-closed.json +17 -0
  56. package/samples/yes/field-uses-price-and-debit.json +9 -0
  57. package/samples/yes/installed-artifact.json +424 -0
  58. package/samples/yes/three-theories-one-algebra.json +5 -0
  59. package/src/field/motion.ts +59 -0
  60. package/src/lattice/index.ts +79 -0
  61. package/vectors/measures/capacity.cli.json +97 -0
  62. package/vectors/measures/coincidence.cli.json +97 -0
  63. package/vectors/measures/decisions.cli.json +97 -0
  64. package/vectors/measures/descent.cli.json +97 -0
  65. package/vectors/measures/implementation.json +82 -0
  66. package/vectors/measures/installed-artifact.cli.json +63 -0
  67. package/vectors/measures/m3.cli.json +97 -0
  68. package/vectors/measures/observations.cli.json +97 -0
  69. package/vectors/measures/spectrum.cli.json +97 -0
  70. package/vectors/measures/unanimity-fit.cli.json +97 -0
  71. package/vectors/measures/unanimity.cli.json +97 -0
package/samples/measures/coincidence.json ADDED
@@ -0,0 +1,624 @@
1
+ [
2
+ {
3
+ "yes": {
4
+ "group": "coincidence",
5
+ "place": "orchard",
6
+ "rows": [
7
+ {
8
+ "event": "0",
9
+ "origin": "a",
10
+ "value": "0"
11
+ },
12
+ {
13
+ "event": "0",
14
+ "origin": "b",
15
+ "value": "0"
16
+ },
17
+ {
18
+ "event": "0",
19
+ "origin": "c",
20
+ "value": "0"
21
+ },
22
+ {
23
+ "event": "1",
24
+ "origin": "a",
25
+ "value": "0"
26
+ },
27
+ {
28
+ "event": "1",
29
+ "origin": "b",
30
+ "value": "1"
31
+ },
32
+ {
33
+ "event": "1",
34
+ "origin": "c",
35
+ "value": "1"
36
+ },
37
+ {
38
+ "event": "2",
39
+ "origin": "a",
40
+ "value": "1"
41
+ },
42
+ {
43
+ "event": "2",
44
+ "origin": "b",
45
+ "value": "0"
46
+ },
47
+ {
48
+ "event": "2",
49
+ "origin": "c",
50
+ "value": "1"
51
+ },
52
+ {
53
+ "event": "3",
54
+ "origin": "a",
55
+ "value": "1"
56
+ },
57
+ {
58
+ "event": "3",
59
+ "origin": "b",
60
+ "value": "1"
61
+ },
62
+ {
63
+ "event": "3",
64
+ "origin": "c",
65
+ "value": "0"
66
+ }
67
+ ],
68
+ "truth": [
69
+ {
70
+ "event": "0",
71
+ "value": "0",
72
+ "kind": "truth"
73
+ },
74
+ {
75
+ "event": "1",
76
+ "value": "0",
77
+ "kind": "truth"
78
+ },
79
+ {
80
+ "event": "2",
81
+ "value": "0",
82
+ "kind": "truth"
83
+ },
84
+ {
85
+ "event": "3",
86
+ "value": "0",
87
+ "kind": "truth"
88
+ }
89
+ ],
90
+ "selection": [
91
+ "a",
92
+ "b",
93
+ "c"
94
+ ],
95
+ "reference": {
96
+ "model": "independent-uniform-wrong@1",
97
+ "values": [
98
+ "0",
99
+ "1",
100
+ "2",
101
+ "3",
102
+ "4",
103
+ "5",
104
+ "6",
105
+ "7",
106
+ "8",
107
+ "9",
108
+ "10",
109
+ "11",
110
+ "12",
111
+ "13",
112
+ "14",
113
+ "15",
114
+ "16",
115
+ "17",
116
+ "18",
117
+ "19",
118
+ "20",
119
+ "21",
120
+ "22",
121
+ "23",
122
+ "24",
123
+ "25",
124
+ "26",
125
+ "27",
126
+ "28",
127
+ "29",
128
+ "30",
129
+ "31",
130
+ "32",
131
+ "33",
132
+ "34",
133
+ "35",
134
+ "36",
135
+ "37",
136
+ "38",
137
+ "39",
138
+ "40",
139
+ "41",
140
+ "42",
141
+ "43",
142
+ "44",
143
+ "45",
144
+ "46",
145
+ "47",
146
+ "48",
147
+ "49",
148
+ "50",
149
+ "51",
150
+ "52",
151
+ "53",
152
+ "54",
153
+ "55",
154
+ "56",
155
+ "57",
156
+ "58",
157
+ "59",
158
+ "60",
159
+ "61",
160
+ "62",
161
+ "63"
162
+ ],
163
+ "marginals": "handed",
164
+ "errors": [
165
+ {
166
+ "origin": "a",
167
+ "probability": "1/2"
168
+ },
169
+ {
170
+ "origin": "b",
171
+ "probability": "1/2"
172
+ },
173
+ {
174
+ "origin": "c",
175
+ "probability": "1/2"
176
+ }
177
+ ]
178
+ },
179
+ "policy": {
180
+ "minEvents": 1,
181
+ "minEventsPerTruth": 1,
182
+ "budget": "10000"
183
+ }
184
+ },
185
+ "no": {
186
+ "group": "coincidence",
187
+ "place": "orchard",
188
+ "rows": [
189
+ {
190
+ "event": "0",
191
+ "origin": "a",
192
+ "value": "0"
193
+ },
194
+ {
195
+ "event": "0",
196
+ "origin": "b",
197
+ "value": "0"
198
+ },
199
+ {
200
+ "event": "0",
201
+ "origin": "c",
202
+ "value": "0"
203
+ },
204
+ {
205
+ "event": "1",
206
+ "origin": "a",
207
+ "value": "0"
208
+ },
209
+ {
210
+ "event": "1",
211
+ "origin": "b",
212
+ "value": "1"
213
+ },
214
+ {
215
+ "event": "1",
216
+ "origin": "c",
217
+ "value": "1"
218
+ },
219
+ {
220
+ "event": "2",
221
+ "origin": "a",
222
+ "value": "1"
223
+ },
224
+ {
225
+ "event": "2",
226
+ "origin": "b",
227
+ "value": "0"
228
+ },
229
+ {
230
+ "event": "2",
231
+ "origin": "c",
232
+ "value": "1"
233
+ },
234
+ {
235
+ "event": "3",
236
+ "origin": "a",
237
+ "value": "1"
238
+ },
239
+ {
240
+ "event": "3",
241
+ "origin": "b",
242
+ "value": "1"
243
+ },
244
+ {
245
+ "event": "3",
246
+ "origin": "c",
247
+ "value": "0"
248
+ },
249
+ {
250
+ "event": "0",
251
+ "origin": "a",
252
+ "value": "2"
253
+ }
254
+ ],
255
+ "truth": [
256
+ {
257
+ "event": "0",
258
+ "value": "0",
259
+ "kind": "truth"
260
+ },
261
+ {
262
+ "event": "1",
263
+ "value": "0",
264
+ "kind": "truth"
265
+ },
266
+ {
267
+ "event": "2",
268
+ "value": "0",
269
+ "kind": "truth"
270
+ },
271
+ {
272
+ "event": "3",
273
+ "value": "0",
274
+ "kind": "truth"
275
+ }
276
+ ],
277
+ "selection": [
278
+ "a",
279
+ "b",
280
+ "c"
281
+ ],
282
+ "reference": {
283
+ "model": "independent-uniform-wrong@1",
284
+ "values": [
285
+ "0",
286
+ "1",
287
+ "2",
288
+ "3",
289
+ "4",
290
+ "5",
291
+ "6",
292
+ "7",
293
+ "8",
294
+ "9",
295
+ "10",
296
+ "11",
297
+ "12",
298
+ "13",
299
+ "14",
300
+ "15",
301
+ "16",
302
+ "17",
303
+ "18",
304
+ "19",
305
+ "20",
306
+ "21",
307
+ "22",
308
+ "23",
309
+ "24",
310
+ "25",
311
+ "26",
312
+ "27",
313
+ "28",
314
+ "29",
315
+ "30",
316
+ "31",
317
+ "32",
318
+ "33",
319
+ "34",
320
+ "35",
321
+ "36",
322
+ "37",
323
+ "38",
324
+ "39",
325
+ "40",
326
+ "41",
327
+ "42",
328
+ "43",
329
+ "44",
330
+ "45",
331
+ "46",
332
+ "47",
333
+ "48",
334
+ "49",
335
+ "50",
336
+ "51",
337
+ "52",
338
+ "53",
339
+ "54",
340
+ "55",
341
+ "56",
342
+ "57",
343
+ "58",
344
+ "59",
345
+ "60",
346
+ "61",
347
+ "62",
348
+ "63"
349
+ ],
350
+ "marginals": "handed",
351
+ "errors": [
352
+ {
353
+ "origin": "a",
354
+ "probability": "1/2"
355
+ },
356
+ {
357
+ "origin": "b",
358
+ "probability": "1/2"
359
+ },
360
+ {
361
+ "origin": "c",
362
+ "probability": "1/2"
363
+ }
364
+ ]
365
+ },
366
+ "policy": {
367
+ "minEvents": 1,
368
+ "minEventsPerTruth": 1,
369
+ "budget": "10000"
370
+ }
371
+ }
372
+ },
373
+ {
374
+ "yes": {
375
+ "group": "coincidence",
376
+ "place": "catalog",
377
+ "rows": [
378
+ {
379
+ "event": "0",
380
+ "origin": "a",
381
+ "value": "0"
382
+ },
383
+ {
384
+ "event": "0",
385
+ "origin": "b",
386
+ "value": "0"
387
+ },
388
+ {
389
+ "event": "0",
390
+ "origin": "c",
391
+ "value": "0"
392
+ },
393
+ {
394
+ "event": "1",
395
+ "origin": "a",
396
+ "value": "0"
397
+ },
398
+ {
399
+ "event": "1",
400
+ "origin": "b",
401
+ "value": "1"
402
+ },
403
+ {
404
+ "event": "1",
405
+ "origin": "c",
406
+ "value": "1"
407
+ },
408
+ {
409
+ "event": "2",
410
+ "origin": "a",
411
+ "value": "1"
412
+ },
413
+ {
414
+ "event": "2",
415
+ "origin": "b",
416
+ "value": "0"
417
+ },
418
+ {
419
+ "event": "2",
420
+ "origin": "c",
421
+ "value": "1"
422
+ },
423
+ {
424
+ "event": "3",
425
+ "origin": "a",
426
+ "value": "1"
427
+ },
428
+ {
429
+ "event": "3",
430
+ "origin": "b",
431
+ "value": "1"
432
+ },
433
+ {
434
+ "event": "3",
435
+ "origin": "c",
436
+ "value": "0"
437
+ }
438
+ ],
439
+ "truth": [
440
+ {
441
+ "event": "0",
442
+ "value": "0",
443
+ "kind": "truth"
444
+ },
445
+ {
446
+ "event": "1",
447
+ "value": "0",
448
+ "kind": "truth"
449
+ },
450
+ {
451
+ "event": "2",
452
+ "value": "0",
453
+ "kind": "truth"
454
+ },
455
+ {
456
+ "event": "3",
457
+ "value": "0",
458
+ "kind": "truth"
459
+ }
460
+ ],
461
+ "selection": [
462
+ "a",
463
+ "b",
464
+ "c"
465
+ ],
466
+ "reference": {
467
+ "model": "independent-uniform-wrong@1",
468
+ "values": [
469
+ "0",
470
+ "1",
471
+ "2",
472
+ "3"
473
+ ],
474
+ "marginals": "handed",
475
+ "errors": [
476
+ {
477
+ "origin": "a",
478
+ "probability": "1/2"
479
+ },
480
+ {
481
+ "origin": "b",
482
+ "probability": "1/2"
483
+ },
484
+ {
485
+ "origin": "c",
486
+ "probability": "1/2"
487
+ }
488
+ ]
489
+ },
490
+ "policy": {
491
+ "minEvents": 1,
492
+ "minEventsPerTruth": 1,
493
+ "budget": "10000"
494
+ }
495
+ },
496
+ "no": {
497
+ "group": "coincidence",
498
+ "place": "catalog",
499
+ "rows": [
500
+ {
501
+ "event": "0",
502
+ "origin": "a",
503
+ "value": "0"
504
+ },
505
+ {
506
+ "event": "0",
507
+ "origin": "b",
508
+ "value": "0"
509
+ },
510
+ {
511
+ "event": "0",
512
+ "origin": "c",
513
+ "value": "0"
514
+ },
515
+ {
516
+ "event": "1",
517
+ "origin": "a",
518
+ "value": "0"
519
+ },
520
+ {
521
+ "event": "1",
522
+ "origin": "b",
523
+ "value": "1"
524
+ },
525
+ {
526
+ "event": "1",
527
+ "origin": "c",
528
+ "value": "1"
529
+ },
530
+ {
531
+ "event": "2",
532
+ "origin": "a",
533
+ "value": "1"
534
+ },
535
+ {
536
+ "event": "2",
537
+ "origin": "b",
538
+ "value": "0"
539
+ },
540
+ {
541
+ "event": "2",
542
+ "origin": "c",
543
+ "value": "1"
544
+ },
545
+ {
546
+ "event": "3",
547
+ "origin": "a",
548
+ "value": "1"
549
+ },
550
+ {
551
+ "event": "3",
552
+ "origin": "b",
553
+ "value": "1"
554
+ },
555
+ {
556
+ "event": "3",
557
+ "origin": "c",
558
+ "value": "0"
559
+ },
560
+ {
561
+ "event": "0",
562
+ "origin": "a",
563
+ "value": "2"
564
+ }
565
+ ],
566
+ "truth": [
567
+ {
568
+ "event": "0",
569
+ "value": "0",
570
+ "kind": "truth"
571
+ },
572
+ {
573
+ "event": "1",
574
+ "value": "0",
575
+ "kind": "truth"
576
+ },
577
+ {
578
+ "event": "2",
579
+ "value": "0",
580
+ "kind": "truth"
581
+ },
582
+ {
583
+ "event": "3",
584
+ "value": "0",
585
+ "kind": "truth"
586
+ }
587
+ ],
588
+ "selection": [
589
+ "a",
590
+ "b",
591
+ "c"
592
+ ],
593
+ "reference": {
594
+ "model": "independent-uniform-wrong@1",
595
+ "values": [
596
+ "0",
597
+ "1",
598
+ "2",
599
+ "3"
600
+ ],
601
+ "marginals": "handed",
602
+ "errors": [
603
+ {
604
+ "origin": "a",
605
+ "probability": "1/2"
606
+ },
607
+ {
608
+ "origin": "b",
609
+ "probability": "1/2"
610
+ },
611
+ {
612
+ "origin": "c",
613
+ "probability": "1/2"
614
+ }
615
+ ]
616
+ },
617
+ "policy": {
618
+ "minEvents": 1,
619
+ "minEventsPerTruth": 1,
620
+ "budget": "10000"
621
+ }
622
+ }
623
+ }
624
+ ]
package/samples/measures/decisions.json ADDED
@@ -0,0 +1,66 @@
1
+ [
2
+ {
3
+ "yes": {
4
+ "group": "decisions",
5
+ "place": "orchard",
6
+ "k": 4,
7
+ "model": {
8
+ "n": 4,
9
+ "c": "1/5",
10
+ "p": "3/10"
11
+ },
12
+ "policy": {
13
+ "logarithm": "binary64-log2",
14
+ "budget": "100000"
15
+ },
16
+ "rule": "posterior-map-uniform-ties@1"
17
+ },
18
+ "no": {
19
+ "group": "decisions",
20
+ "place": "orchard",
21
+ "k": 4,
22
+ "model": {
23
+ "n": 4,
24
+ "c": "1/5",
25
+ "p": "3/10"
26
+ },
27
+ "policy": {
28
+ "logarithm": "binary64-log2",
29
+ "budget": "100000"
30
+ },
31
+ "rule": "undeclared"
32
+ }
33
+ },
34
+ {
35
+ "yes": {
36
+ "group": "decisions",
37
+ "place": "catalog",
38
+ "k": 1,
39
+ "model": {
40
+ "n": 2,
41
+ "c": "1/5",
42
+ "p": "1"
43
+ },
44
+ "policy": {
45
+ "logarithm": "binary64-log2",
46
+ "budget": "100000"
47
+ },
48
+ "rule": "posterior-map-uniform-ties@1"
49
+ },
50
+ "no": {
51
+ "group": "decisions",
52
+ "place": "catalog",
53
+ "k": 1,
54
+ "model": {
55
+ "n": 2,
56
+ "c": "1/5",
57
+ "p": "1"
58
+ },
59
+ "policy": {
60
+ "logarithm": "binary64-log2",
61
+ "budget": "100000"
62
+ },
63
+ "rule": "undeclared"
64
+ }
65
+ }
66
+ ]