@lapxo/obligations 0.4.0 → 0.4.2

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 (61) hide show
  1. package/README.md +32 -2
  2. package/TARGET.bound +151 -30
  3. package/dist/lattice/obligatory.js +29 -1
  4. package/dist/measures/capacity.d.ts +324 -0
  5. package/dist/measures/capacity.js +184 -0
  6. package/dist/measures/coincidence.d.ts +111 -0
  7. package/dist/measures/coincidence.js +81 -0
  8. package/dist/measures/confidence.d.ts +73 -0
  9. package/dist/measures/confidence.js +52 -0
  10. package/dist/measures/error-events.js +23 -4
  11. package/dist/measures/fitting.d.ts +1 -1
  12. package/dist/measures/index.d.ts +8 -0
  13. package/dist/measures/index.js +4 -0
  14. package/dist/measures/unanimity-fit.d.ts +156 -0
  15. package/dist/measures/unanimity-fit.js +133 -0
  16. package/docs/img/cell.svg +28 -0
  17. package/docs/img/logo-fork.svg +6 -0
  18. package/docs/img/logo.svg +6 -0
  19. package/docs/img/price.svg +28 -0
  20. package/docs/img/thermometer.svg +28 -0
  21. package/docs/img/withdrawal.svg +28 -0
  22. package/docs/learn/in-phase.md +46 -0
  23. package/docs/learn/price.md +52 -0
  24. package/docs/learn/signature.md +50 -0
  25. package/docs/learn/thermometer.md +58 -0
  26. package/docs/learn/withdrawal.md +51 -0
  27. package/docs/measures.md +64 -0
  28. package/docs/paper.md +233 -0
  29. package/docs/reference.md +495 -0
  30. package/package.json +1 -1
  31. package/receipts.bound +138 -70
  32. package/samples/measures/capacity.json +71 -0
  33. package/samples/measures/coincidence.json +624 -0
  34. package/samples/measures/common-cause-capacity.json +48 -0
  35. package/samples/measures/confidence/union-bound.json +54 -0
  36. package/samples/measures/confidence.json +70 -0
  37. package/samples/measures/decisions.json +66 -0
  38. package/samples/measures/t12/common-cause.json +32 -0
  39. package/samples/measures/tolerant-count.json +144 -0
  40. package/samples/measures/unanimity-fit.json +166 -0
  41. package/samples/no/installed-artifact.json +19 -3
  42. package/samples/yes/installed-artifact.json +42 -6
  43. package/vectors/measures/capacity.cli.json +97 -0
  44. package/vectors/measures/coincidence.cli.json +97 -0
  45. package/vectors/measures/common-cause-capacity.cli.json +97 -0
  46. package/vectors/measures/confidence/expected.json +26 -0
  47. package/vectors/measures/confidence.cli.json +97 -0
  48. package/vectors/measures/decisions.cli.json +97 -0
  49. package/vectors/measures/descent.cli.json +19 -70
  50. package/vectors/measures/implementation-042.json +86 -0
  51. package/vectors/measures/implementation.json +82 -0
  52. package/vectors/measures/installed-artifact.cli.json +8 -8
  53. package/vectors/measures/m3.cli.json +19 -70
  54. package/vectors/measures/observations.cli.json +19 -70
  55. package/vectors/measures/spectrum.cli.json +18 -69
  56. package/vectors/measures/t12/expected.json +35 -0
  57. package/vectors/measures/tolerant-count.cli.json +97 -0
  58. package/vectors/measures/unanimity-fit.cli.json +97 -0
  59. package/vectors/measures/unanimity.cli.json +19 -70
  60. package/samples/measures/m3-reader.mjs +0 -732
  61. package/samples/measures/reader.mjs +0 -424
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/common-cause-capacity.json ADDED
@@ -0,0 +1,48 @@
1
+ [
2
+ {
3
+ "yes": {
4
+ "group": "common-cause-capacity",
5
+ "n": 4,
6
+ "c": "1/5",
7
+ "q": "1/2",
8
+ "policy": {
9
+ "logarithm": "binary64-log2"
10
+ },
11
+ "expectedBits": 1.6415037499278844,
12
+ "place": "orchard"
13
+ },
14
+ "no": {
15
+ "group": "common-cause-capacity",
16
+ "n": 4,
17
+ "c": "1/5",
18
+ "policy": {
19
+ "logarithm": "binary64-log2"
20
+ },
21
+ "expectedRefusal": "common-cause accuracy q required",
22
+ "place": "orchard"
23
+ }
24
+ },
25
+ {
26
+ "yes": {
27
+ "group": "common-cause-capacity",
28
+ "n": 4,
29
+ "c": "1/5",
30
+ "q": "1/2",
31
+ "policy": {
32
+ "logarithm": "binary64-log2"
33
+ },
34
+ "expectedBits": 1.6415037499278844,
35
+ "place": "catalog"
36
+ },
37
+ "no": {
38
+ "group": "common-cause-capacity",
39
+ "n": 4,
40
+ "c": "1/5",
41
+ "policy": {
42
+ "logarithm": "binary64-log2"
43
+ },
44
+ "expectedRefusal": "common-cause accuracy q required",
45
+ "place": "catalog"
46
+ }
47
+ }
48
+ ]
package/samples/measures/confidence/union-bound.json ADDED
@@ -0,0 +1,54 @@
1
+ {
2
+ "yes": {
3
+ "group": "confidence",
4
+ "failures": [
5
+ {
6
+ "id": "A",
7
+ "p": "1/10",
8
+ "justification": "hypothesis:A"
9
+ },
10
+ {
11
+ "id": "B",
12
+ "p": "1/5",
13
+ "justification": "hypothesis:B"
14
+ }
15
+ ],
16
+ "expectedLowerBound": {
17
+ "numerator": "7",
18
+ "denominator": "10"
19
+ }
20
+ },
21
+ "no": {
22
+ "group": "confidence",
23
+ "failures": [
24
+ {
25
+ "id": "A",
26
+ "p": "1/10",
27
+ "justification": ""
28
+ }
29
+ ],
30
+ "expectedRefusal": "justification reference required"
31
+ },
32
+ "trivial": {
33
+ "group": "confidence",
34
+ "failures": [
35
+ {
36
+ "id": "A",
37
+ "p": "3/5",
38
+ "justification": "hypothesis:A"
39
+ },
40
+ {
41
+ "id": "B",
42
+ "p": "3/5",
43
+ "justification": "hypothesis:B"
44
+ }
45
+ ],
46
+ "expectedLowerBound": {
47
+ "numerator": "0",
48
+ "denominator": "1"
49
+ }
50
+ },
51
+ "open": [
52
+ "tolerant intersection semantics"
53
+ ]
54
+ }