@lapxo/obligations 0.4.3 → 0.4.4

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 (51) hide show
  1. package/README.md +4 -0
  2. package/TARGET.bound +52 -9
  3. package/dist/measures/cofailure-pairs.d.ts +113 -0
  4. package/dist/measures/cofailure-pairs.js +129 -0
  5. package/dist/measures/index.d.ts +4 -0
  6. package/dist/measures/index.js +2 -0
  7. package/dist/measures/marginal-information.d.ts +78 -0
  8. package/dist/measures/marginal-information.js +71 -0
  9. package/docs/measures.md +16 -0
  10. package/docs/paper.md +2 -2
  11. package/docs/reference.md +6 -1
  12. package/package.json +1 -1
  13. package/proofs/cofailure-pairs.json +26 -0
  14. package/proofs/coordination.json +27 -0
  15. package/proofs/helly-comb.json +17 -0
  16. package/proofs/lean/Obligations/Cell.lean +159 -0
  17. package/proofs/lean/Obligations/HellyComb.lean +19 -0
  18. package/proofs/lineage-ceiling.json +41 -0
  19. package/proofs/marginal-information.json +30 -0
  20. package/proofs/resolution-encounters.json +23 -0
  21. package/receipts.bound +505 -288
  22. package/samples/laws/cofailure-pairs/no/sample.json +1 -0
  23. package/samples/laws/cofailure-pairs/yes/sample.json +20 -0
  24. package/samples/laws/linage-rest/no/sample.json +19 -0
  25. package/samples/laws/linage-rest/yes/sample.json +100 -0
  26. package/samples/laws/lineage-ceiling/no/sample.json +8 -0
  27. package/samples/laws/lineage-ceiling/yes/sample.json +30 -0
  28. package/samples/laws/marginal-information/no/sample.json +17 -0
  29. package/samples/laws/marginal-information/yes/sample.json +459 -0
  30. package/samples/laws/semilattice/no/sample.json +18 -0
  31. package/samples/laws/semilattice/yes/sample.json +29 -0
  32. package/samples/no/H1-uncertainty.json +24 -0
  33. package/samples/no/installed-artifact.json +24 -26
  34. package/samples/yes/H1-uncertainty.json +25 -0
  35. package/samples/yes/installed-artifact.json +23 -25
  36. package/vectors/laws/cofailure-pairs.json +2580 -0
  37. package/vectors/laws/cofailure-pairs.native.json +267 -0
  38. package/vectors/laws/coordination.json +386 -0
  39. package/vectors/laws/f1/finite-arithmetic.json +66 -0
  40. package/vectors/laws/f1/path-witness.json +242 -0
  41. package/vectors/laws/helly-comb.json +95 -0
  42. package/vectors/laws/helly-comb.lean.json +94 -0
  43. package/vectors/laws/linage-rest.native.json +335 -0
  44. package/vectors/laws/lineage-ceiling.json +790 -0
  45. package/vectors/laws/lineage-ceiling.native.json +291 -0
  46. package/vectors/laws/marginal-information.json +868 -0
  47. package/vectors/laws/marginal-information.native.json +259 -0
  48. package/vectors/laws/meet-semilattice.json +244 -0
  49. package/vectors/laws/meet-semilattice.native.json +265 -0
  50. package/vectors/laws/resolution-encounters.json +171 -0
  51. package/vectors/measures/installed-artifact.cli.json +8 -12
package/vectors/laws/marginal-information.json ADDED
@@ -0,0 +1,868 @@
1
+ {
2
+ "id": "marginal-information/one-joint-two-orders",
3
+ "classification": "conditional mutual-information measure under a fixed joint prior; finite chain-rule and comparison vectors, no universal lineage ranking",
4
+ "policy": "vectors/laws/policy.json",
5
+ "anchors": [
6
+ {
7
+ "path": "proofs/marginal-information.json",
8
+ "sha256": "sha256:31840e4980f332d65e576ff82bbeddcc1d28b24cb3c2a0d73c75b50f53d91a61"
9
+ },
10
+ {
11
+ "path": "samples/laws/marginal-information/yes.json",
12
+ "sha256": "sha256:94f16b7cafbf8802f5405ec16014ee0a2636b04b1bc5b94bb3548f97340d0b41"
13
+ },
14
+ {
15
+ "path": "samples/laws/marginal-information/no.json",
16
+ "sha256": "sha256:7a83d216fc21ec5da03f34e80cffb914ecc8fe6435e8782b54a4515d145f1c1d"
17
+ },
18
+ {
19
+ "path": "vectors/laws/policy.json",
20
+ "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
21
+ },
22
+ {
23
+ "path": "src/measures/marginal-information.ts",
24
+ "sha256": "sha256:b3e3b2401a427d05ef89e0ec32df10f995c721ef482ce3a22e8f1f7549d3af07"
25
+ },
26
+ {
27
+ "path": "src/measures/mix-loss.ts",
28
+ "sha256": "sha256:917ed6c0145b66cee19d31ce0ba1a42d843726530002e609529c01cc8ded7746"
29
+ },
30
+ {
31
+ "path": "src/measures/rational.ts",
32
+ "sha256": "sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
33
+ }
34
+ ],
35
+ "result": {
36
+ "classification": "conditional information under one declared joint prior; not a lineage ranking",
37
+ "cases": [
38
+ {
39
+ "id": "copy-versus-new-channel",
40
+ "jointSha256": "sha256:40a513f6de743dfe1c957d26f3aa937b098ba05e0baacabf36c29ef24358761b",
41
+ "reading": {
42
+ "status": "measured",
43
+ "model": "finite-declared-joint@1",
44
+ "unit": "bits",
45
+ "approximation": "binary64-log2",
46
+ "truthEntropy": 1,
47
+ "declaredAtoms": 8,
48
+ "computedSubsets": 6,
49
+ "policy": {
50
+ "logarithm": "binary64-log2",
51
+ "budget": "100000"
52
+ },
53
+ "workUnit": "declared-support-scans",
54
+ "required": "288",
55
+ "readings": [
56
+ {
57
+ "additionOrder": [
58
+ "a",
59
+ "copy",
60
+ "b"
61
+ ],
62
+ "steps": [
63
+ {
64
+ "source": "a",
65
+ "lineage": "L1",
66
+ "priorSources": [],
67
+ "deltaInformation": 0.18872187554086706,
68
+ "cumulativeInformation": 0.18872187554086706,
69
+ "remainingConditionalEntropy": 0.8112781244591329
70
+ },
71
+ {
72
+ "source": "copy",
73
+ "lineage": "L1",
74
+ "priorSources": [
75
+ "a"
76
+ ],
77
+ "deltaInformation": 0,
78
+ "cumulativeInformation": 0.18872187554086706,
79
+ "remainingConditionalEntropy": 0.8112781244591329
80
+ },
81
+ {
82
+ "source": "b",
83
+ "lineage": "L2",
84
+ "priorSources": [
85
+ "a",
86
+ "copy"
87
+ ],
88
+ "deltaInformation": 0.14315587846583222,
89
+ "cumulativeInformation": 0.3318777540066993,
90
+ "remainingConditionalEntropy": 0.6681222459933007
91
+ }
92
+ ],
93
+ "totalInformation": 0.3318777540066993,
94
+ "sumMarginals": 0.3318777540066993,
95
+ "telescopingResidual": 0
96
+ },
97
+ {
98
+ "additionOrder": [
99
+ "b",
100
+ "a",
101
+ "copy"
102
+ ],
103
+ "steps": [
104
+ {
105
+ "source": "b",
106
+ "lineage": "L2",
107
+ "priorSources": [],
108
+ "deltaInformation": 0.18872187554086706,
109
+ "cumulativeInformation": 0.18872187554086706,
110
+ "remainingConditionalEntropy": 0.8112781244591329
111
+ },
112
+ {
113
+ "source": "a",
114
+ "lineage": "L1",
115
+ "priorSources": [
116
+ "b"
117
+ ],
118
+ "deltaInformation": 0.14315587846583222,
119
+ "cumulativeInformation": 0.3318777540066993,
120
+ "remainingConditionalEntropy": 0.6681222459933007
121
+ },
122
+ {
123
+ "source": "copy",
124
+ "lineage": "L1",
125
+ "priorSources": [
126
+ "b",
127
+ "a"
128
+ ],
129
+ "deltaInformation": 0,
130
+ "cumulativeInformation": 0.3318777540066993,
131
+ "remainingConditionalEntropy": 0.6681222459933007
132
+ }
133
+ ],
134
+ "totalInformation": 0.3318777540066993,
135
+ "sumMarginals": 0.3318777540066993,
136
+ "telescopingResidual": 0
137
+ }
138
+ ],
139
+ "meaning": "I(truth; new source | previous sources) under one unchanged declared joint prior; lineage labels supply no ordering or independence"
140
+ },
141
+ "orderJointIdentities": [
142
+ "sha256:40a513f6de743dfe1c957d26f3aa937b098ba05e0baacabf36c29ef24358761b",
143
+ "sha256:40a513f6de743dfe1c957d26f3aa937b098ba05e0baacabf36c29ef24358761b"
144
+ ],
145
+ "qualities": [
146
+ {
147
+ "source": "a",
148
+ "declaredLineage": "L1",
149
+ "predictionAccuracy": {
150
+ "numerator": "3",
151
+ "denominator": "4"
152
+ },
153
+ "individualInformation": 0.18872187554086706
154
+ },
155
+ {
156
+ "source": "copy",
157
+ "declaredLineage": "L1",
158
+ "predictionAccuracy": {
159
+ "numerator": "3",
160
+ "denominator": "4"
161
+ },
162
+ "individualInformation": 0.18872187554086706
163
+ },
164
+ {
165
+ "source": "b",
166
+ "declaredLineage": "L2",
167
+ "predictionAccuracy": {
168
+ "numerator": "3",
169
+ "denominator": "4"
170
+ },
171
+ "individualInformation": 0.18872187554086706
172
+ }
173
+ ],
174
+ "comparison": {
175
+ "previous": [
176
+ "a"
177
+ ],
178
+ "same": "copy",
179
+ "other": "b",
180
+ "sameGain": 0,
181
+ "otherGain": 0.14315587846583222,
182
+ "otherMinusSame": 0.14315587846583222,
183
+ "conditionalGarbling": {
184
+ "holds": true,
185
+ "exactFactorizationChecks": 16
186
+ }
187
+ },
188
+ "mixCounterexample": null,
189
+ "lineageRelabelLeavesDeltasUnchanged": true
190
+ },
191
+ {
192
+ "id": "equal-quality-reverses-lineage-ranking",
193
+ "jointSha256": "sha256:8f48356ab841bec23f022ab609987eee5001397e1924b0ea99517c2ff31970a6",
194
+ "reading": {
195
+ "status": "measured",
196
+ "model": "finite-declared-joint@1",
197
+ "unit": "bits",
198
+ "approximation": "binary64-log2",
199
+ "truthEntropy": 2,
200
+ "declaredAtoms": 4,
201
+ "computedSubsets": 5,
202
+ "policy": {
203
+ "logarithm": "binary64-log2",
204
+ "budget": "100000"
205
+ },
206
+ "workUnit": "declared-support-scans",
207
+ "required": "144",
208
+ "readings": [
209
+ {
210
+ "additionOrder": [
211
+ "a",
212
+ "sibling",
213
+ "b"
214
+ ],
215
+ "steps": [
216
+ {
217
+ "source": "a",
218
+ "lineage": "L1",
219
+ "priorSources": [],
220
+ "deltaInformation": 1,
221
+ "cumulativeInformation": 1,
222
+ "remainingConditionalEntropy": 1
223
+ },
224
+ {
225
+ "source": "sibling",
226
+ "lineage": "L1",
227
+ "priorSources": [
228
+ "a"
229
+ ],
230
+ "deltaInformation": 1,
231
+ "cumulativeInformation": 2,
232
+ "remainingConditionalEntropy": 0
233
+ },
234
+ {
235
+ "source": "b",
236
+ "lineage": "L2",
237
+ "priorSources": [
238
+ "a",
239
+ "sibling"
240
+ ],
241
+ "deltaInformation": 0,
242
+ "cumulativeInformation": 2,
243
+ "remainingConditionalEntropy": 0
244
+ }
245
+ ],
246
+ "totalInformation": 2,
247
+ "sumMarginals": 2,
248
+ "telescopingResidual": 0
249
+ },
250
+ {
251
+ "additionOrder": [
252
+ "a",
253
+ "b",
254
+ "sibling"
255
+ ],
256
+ "steps": [
257
+ {
258
+ "source": "a",
259
+ "lineage": "L1",
260
+ "priorSources": [],
261
+ "deltaInformation": 1,
262
+ "cumulativeInformation": 1,
263
+ "remainingConditionalEntropy": 1
264
+ },
265
+ {
266
+ "source": "b",
267
+ "lineage": "L2",
268
+ "priorSources": [
269
+ "a"
270
+ ],
271
+ "deltaInformation": 0,
272
+ "cumulativeInformation": 1,
273
+ "remainingConditionalEntropy": 1
274
+ },
275
+ {
276
+ "source": "sibling",
277
+ "lineage": "L1",
278
+ "priorSources": [
279
+ "a",
280
+ "b"
281
+ ],
282
+ "deltaInformation": 1,
283
+ "cumulativeInformation": 2,
284
+ "remainingConditionalEntropy": 0
285
+ }
286
+ ],
287
+ "totalInformation": 2,
288
+ "sumMarginals": 2,
289
+ "telescopingResidual": 0
290
+ }
291
+ ],
292
+ "meaning": "I(truth; new source | previous sources) under one unchanged declared joint prior; lineage labels supply no ordering or independence"
293
+ },
294
+ "orderJointIdentities": [
295
+ "sha256:8f48356ab841bec23f022ab609987eee5001397e1924b0ea99517c2ff31970a6",
296
+ "sha256:8f48356ab841bec23f022ab609987eee5001397e1924b0ea99517c2ff31970a6"
297
+ ],
298
+ "qualities": [
299
+ {
300
+ "source": "a",
301
+ "declaredLineage": "L1",
302
+ "predictionAccuracy": {
303
+ "numerator": "1",
304
+ "denominator": "2"
305
+ },
306
+ "individualInformation": 1
307
+ },
308
+ {
309
+ "source": "sibling",
310
+ "declaredLineage": "L1",
311
+ "predictionAccuracy": {
312
+ "numerator": "1",
313
+ "denominator": "2"
314
+ },
315
+ "individualInformation": 1
316
+ },
317
+ {
318
+ "source": "b",
319
+ "declaredLineage": "L2",
320
+ "predictionAccuracy": {
321
+ "numerator": "1",
322
+ "denominator": "2"
323
+ },
324
+ "individualInformation": 1
325
+ }
326
+ ],
327
+ "comparison": {
328
+ "previous": [
329
+ "a"
330
+ ],
331
+ "same": "sibling",
332
+ "other": "b",
333
+ "sameGain": 1,
334
+ "otherGain": 0,
335
+ "otherMinusSame": -1,
336
+ "conditionalGarbling": {
337
+ "holds": false,
338
+ "exactFactorizationChecks": 16
339
+ }
340
+ },
341
+ "mixCounterexample": null,
342
+ "lineageRelabelLeavesDeltasUnchanged": true
343
+ },
344
+ {
345
+ "id": "xor-synergy",
346
+ "jointSha256": "sha256:d9173556a42473e199df2548a95bfc99646ad25e86e238ea18116d49023154dc",
347
+ "reading": {
348
+ "status": "measured",
349
+ "model": "finite-declared-joint@1",
350
+ "unit": "bits",
351
+ "approximation": "binary64-log2",
352
+ "truthEntropy": 1,
353
+ "declaredAtoms": 4,
354
+ "computedSubsets": 4,
355
+ "policy": {
356
+ "logarithm": "binary64-log2",
357
+ "budget": "100000"
358
+ },
359
+ "workUnit": "declared-support-scans",
360
+ "required": "84",
361
+ "readings": [
362
+ {
363
+ "additionOrder": [
364
+ "mask",
365
+ "masked"
366
+ ],
367
+ "steps": [
368
+ {
369
+ "source": "mask",
370
+ "lineage": "Lmask",
371
+ "priorSources": [],
372
+ "deltaInformation": 0,
373
+ "cumulativeInformation": 0,
374
+ "remainingConditionalEntropy": 1
375
+ },
376
+ {
377
+ "source": "masked",
378
+ "lineage": "Lmask",
379
+ "priorSources": [
380
+ "mask"
381
+ ],
382
+ "deltaInformation": 1,
383
+ "cumulativeInformation": 1,
384
+ "remainingConditionalEntropy": 0
385
+ }
386
+ ],
387
+ "totalInformation": 1,
388
+ "sumMarginals": 1,
389
+ "telescopingResidual": 0
390
+ },
391
+ {
392
+ "additionOrder": [
393
+ "masked",
394
+ "mask"
395
+ ],
396
+ "steps": [
397
+ {
398
+ "source": "masked",
399
+ "lineage": "Lmask",
400
+ "priorSources": [],
401
+ "deltaInformation": 0,
402
+ "cumulativeInformation": 0,
403
+ "remainingConditionalEntropy": 1
404
+ },
405
+ {
406
+ "source": "mask",
407
+ "lineage": "Lmask",
408
+ "priorSources": [
409
+ "masked"
410
+ ],
411
+ "deltaInformation": 1,
412
+ "cumulativeInformation": 1,
413
+ "remainingConditionalEntropy": 0
414
+ }
415
+ ],
416
+ "totalInformation": 1,
417
+ "sumMarginals": 1,
418
+ "telescopingResidual": 0
419
+ }
420
+ ],
421
+ "meaning": "I(truth; new source | previous sources) under one unchanged declared joint prior; lineage labels supply no ordering or independence"
422
+ },
423
+ "orderJointIdentities": [
424
+ "sha256:d9173556a42473e199df2548a95bfc99646ad25e86e238ea18116d49023154dc",
425
+ "sha256:d9173556a42473e199df2548a95bfc99646ad25e86e238ea18116d49023154dc"
426
+ ],
427
+ "qualities": [
428
+ {
429
+ "source": "mask",
430
+ "declaredLineage": "Lmask",
431
+ "predictionAccuracy": {
432
+ "numerator": "1",
433
+ "denominator": "2"
434
+ },
435
+ "individualInformation": 0
436
+ },
437
+ {
438
+ "source": "masked",
439
+ "declaredLineage": "Lmask",
440
+ "predictionAccuracy": {
441
+ "numerator": "1",
442
+ "denominator": "2"
443
+ },
444
+ "individualInformation": 0
445
+ }
446
+ ],
447
+ "comparison": null,
448
+ "mixCounterexample": null,
449
+ "lineageRelabelLeavesDeltasUnchanged": true
450
+ },
451
+ {
452
+ "id": "saturated-truth",
453
+ "jointSha256": "sha256:fcfa9682fa3c09442c234d1d2525a8c97c43bc89868fa53ce45989bd56e4dfd9",
454
+ "reading": {
455
+ "status": "measured",
456
+ "model": "finite-declared-joint@1",
457
+ "unit": "bits",
458
+ "approximation": "binary64-log2",
459
+ "truthEntropy": 1,
460
+ "declaredAtoms": 2,
461
+ "computedSubsets": 4,
462
+ "policy": {
463
+ "logarithm": "binary64-log2",
464
+ "budget": "100000"
465
+ },
466
+ "workUnit": "declared-support-scans",
467
+ "required": "42",
468
+ "readings": [
469
+ {
470
+ "additionOrder": [
471
+ "a",
472
+ "b"
473
+ ],
474
+ "steps": [
475
+ {
476
+ "source": "a",
477
+ "lineage": "L1",
478
+ "priorSources": [],
479
+ "deltaInformation": 1,
480
+ "cumulativeInformation": 1,
481
+ "remainingConditionalEntropy": 0
482
+ },
483
+ {
484
+ "source": "b",
485
+ "lineage": "L2",
486
+ "priorSources": [
487
+ "a"
488
+ ],
489
+ "deltaInformation": 0,
490
+ "cumulativeInformation": 1,
491
+ "remainingConditionalEntropy": 0
492
+ }
493
+ ],
494
+ "totalInformation": 1,
495
+ "sumMarginals": 1,
496
+ "telescopingResidual": 0
497
+ },
498
+ {
499
+ "additionOrder": [
500
+ "b",
501
+ "a"
502
+ ],
503
+ "steps": [
504
+ {
505
+ "source": "b",
506
+ "lineage": "L2",
507
+ "priorSources": [],
508
+ "deltaInformation": 1,
509
+ "cumulativeInformation": 1,
510
+ "remainingConditionalEntropy": 0
511
+ },
512
+ {
513
+ "source": "a",
514
+ "lineage": "L1",
515
+ "priorSources": [
516
+ "b"
517
+ ],
518
+ "deltaInformation": 0,
519
+ "cumulativeInformation": 1,
520
+ "remainingConditionalEntropy": 0
521
+ }
522
+ ],
523
+ "totalInformation": 1,
524
+ "sumMarginals": 1,
525
+ "telescopingResidual": 0
526
+ }
527
+ ],
528
+ "meaning": "I(truth; new source | previous sources) under one unchanged declared joint prior; lineage labels supply no ordering or independence"
529
+ },
530
+ "orderJointIdentities": [
531
+ "sha256:fcfa9682fa3c09442c234d1d2525a8c97c43bc89868fa53ce45989bd56e4dfd9",
532
+ "sha256:fcfa9682fa3c09442c234d1d2525a8c97c43bc89868fa53ce45989bd56e4dfd9"
533
+ ],
534
+ "qualities": [
535
+ {
536
+ "source": "a",
537
+ "declaredLineage": "L1",
538
+ "predictionAccuracy": {
539
+ "numerator": "1",
540
+ "denominator": "1"
541
+ },
542
+ "individualInformation": 1
543
+ },
544
+ {
545
+ "source": "b",
546
+ "declaredLineage": "L2",
547
+ "predictionAccuracy": {
548
+ "numerator": "1",
549
+ "denominator": "1"
550
+ },
551
+ "individualInformation": 1
552
+ }
553
+ ],
554
+ "comparison": null,
555
+ "mixCounterexample": null,
556
+ "lineageRelabelLeavesDeltasUnchanged": true
557
+ },
558
+ {
559
+ "id": "majority-is-not-the-joint-observation",
560
+ "jointSha256": "sha256:3355cd40f39dddbb2d4f58424073f43ec1f310f9f05931cb31a9b6ed311eedcd",
561
+ "reading": {
562
+ "status": "measured",
563
+ "model": "finite-declared-joint@1",
564
+ "unit": "bits",
565
+ "approximation": "binary64-log2",
566
+ "truthEntropy": 1,
567
+ "declaredAtoms": 2,
568
+ "computedSubsets": 6,
569
+ "policy": {
570
+ "logarithm": "binary64-log2",
571
+ "budget": "100000"
572
+ },
573
+ "workUnit": "declared-support-scans",
574
+ "required": "72",
575
+ "readings": [
576
+ {
577
+ "additionOrder": [
578
+ "a",
579
+ "zero1",
580
+ "zero2"
581
+ ],
582
+ "steps": [
583
+ {
584
+ "source": "a",
585
+ "lineage": "L1",
586
+ "priorSources": [],
587
+ "deltaInformation": 1,
588
+ "cumulativeInformation": 1,
589
+ "remainingConditionalEntropy": 0
590
+ },
591
+ {
592
+ "source": "zero1",
593
+ "lineage": "Lzero",
594
+ "priorSources": [
595
+ "a"
596
+ ],
597
+ "deltaInformation": 0,
598
+ "cumulativeInformation": 1,
599
+ "remainingConditionalEntropy": 0
600
+ },
601
+ {
602
+ "source": "zero2",
603
+ "lineage": "Lzero",
604
+ "priorSources": [
605
+ "a",
606
+ "zero1"
607
+ ],
608
+ "deltaInformation": 0,
609
+ "cumulativeInformation": 1,
610
+ "remainingConditionalEntropy": 0
611
+ }
612
+ ],
613
+ "totalInformation": 1,
614
+ "sumMarginals": 1,
615
+ "telescopingResidual": 0
616
+ },
617
+ {
618
+ "additionOrder": [
619
+ "zero1",
620
+ "zero2",
621
+ "a"
622
+ ],
623
+ "steps": [
624
+ {
625
+ "source": "zero1",
626
+ "lineage": "Lzero",
627
+ "priorSources": [],
628
+ "deltaInformation": 0,
629
+ "cumulativeInformation": 0,
630
+ "remainingConditionalEntropy": 1
631
+ },
632
+ {
633
+ "source": "zero2",
634
+ "lineage": "Lzero",
635
+ "priorSources": [
636
+ "zero1"
637
+ ],
638
+ "deltaInformation": 0,
639
+ "cumulativeInformation": 0,
640
+ "remainingConditionalEntropy": 1
641
+ },
642
+ {
643
+ "source": "a",
644
+ "lineage": "L1",
645
+ "priorSources": [
646
+ "zero1",
647
+ "zero2"
648
+ ],
649
+ "deltaInformation": 1,
650
+ "cumulativeInformation": 1,
651
+ "remainingConditionalEntropy": 0
652
+ }
653
+ ],
654
+ "totalInformation": 1,
655
+ "sumMarginals": 1,
656
+ "telescopingResidual": 0
657
+ }
658
+ ],
659
+ "meaning": "I(truth; new source | previous sources) under one unchanged declared joint prior; lineage labels supply no ordering or independence"
660
+ },
661
+ "orderJointIdentities": [
662
+ "sha256:3355cd40f39dddbb2d4f58424073f43ec1f310f9f05931cb31a9b6ed311eedcd",
663
+ "sha256:3355cd40f39dddbb2d4f58424073f43ec1f310f9f05931cb31a9b6ed311eedcd"
664
+ ],
665
+ "qualities": [
666
+ {
667
+ "source": "a",
668
+ "declaredLineage": "L1",
669
+ "predictionAccuracy": {
670
+ "numerator": "1",
671
+ "denominator": "1"
672
+ },
673
+ "individualInformation": 1
674
+ },
675
+ {
676
+ "source": "zero1",
677
+ "declaredLineage": "Lzero",
678
+ "predictionAccuracy": {
679
+ "numerator": "1",
680
+ "denominator": "2"
681
+ },
682
+ "individualInformation": 0
683
+ },
684
+ {
685
+ "source": "zero2",
686
+ "declaredLineage": "Lzero",
687
+ "predictionAccuracy": {
688
+ "numerator": "1",
689
+ "denominator": "2"
690
+ },
691
+ "individualInformation": 0
692
+ }
693
+ ],
694
+ "comparison": null,
695
+ "mixCounterexample": {
696
+ "meaning": "truth determines the full configuration in this fixture, so I(truth;mix)=H(mix)",
697
+ "profiles": [
698
+ {
699
+ "selected": [
700
+ "a"
701
+ ],
702
+ "mixInformation": 1,
703
+ "mixLoss": 0,
704
+ "outputs": [
705
+ {
706
+ "output": {
707
+ "kind": "value",
708
+ "value": "0"
709
+ },
710
+ "probability": {
711
+ "numerator": "1",
712
+ "denominator": "2"
713
+ },
714
+ "configurations": [
715
+ "0"
716
+ ],
717
+ "posterior": [
718
+ {
719
+ "configuration": "0",
720
+ "p": {
721
+ "numerator": "1",
722
+ "denominator": "1"
723
+ }
724
+ }
725
+ ],
726
+ "conditionalBits": 0
727
+ },
728
+ {
729
+ "output": {
730
+ "kind": "value",
731
+ "value": "1"
732
+ },
733
+ "probability": {
734
+ "numerator": "1",
735
+ "denominator": "2"
736
+ },
737
+ "configurations": [
738
+ "1"
739
+ ],
740
+ "posterior": [
741
+ {
742
+ "configuration": "1",
743
+ "p": {
744
+ "numerator": "1",
745
+ "denominator": "1"
746
+ }
747
+ }
748
+ ],
749
+ "conditionalBits": 0
750
+ }
751
+ ]
752
+ },
753
+ {
754
+ "selected": [
755
+ "a",
756
+ "zero1"
757
+ ],
758
+ "mixInformation": 1,
759
+ "mixLoss": 0,
760
+ "outputs": [
761
+ {
762
+ "output": {
763
+ "kind": "value",
764
+ "value": "0"
765
+ },
766
+ "probability": {
767
+ "numerator": "1",
768
+ "denominator": "2"
769
+ },
770
+ "configurations": [
771
+ "0"
772
+ ],
773
+ "posterior": [
774
+ {
775
+ "configuration": "0",
776
+ "p": {
777
+ "numerator": "1",
778
+ "denominator": "1"
779
+ }
780
+ }
781
+ ],
782
+ "conditionalBits": 0
783
+ },
784
+ {
785
+ "output": {
786
+ "kind": "tie"
787
+ },
788
+ "probability": {
789
+ "numerator": "1",
790
+ "denominator": "2"
791
+ },
792
+ "configurations": [
793
+ "1"
794
+ ],
795
+ "posterior": [
796
+ {
797
+ "configuration": "1",
798
+ "p": {
799
+ "numerator": "1",
800
+ "denominator": "1"
801
+ }
802
+ }
803
+ ],
804
+ "conditionalBits": 0
805
+ }
806
+ ]
807
+ },
808
+ {
809
+ "selected": [
810
+ "a",
811
+ "zero1",
812
+ "zero2"
813
+ ],
814
+ "mixInformation": 0,
815
+ "mixLoss": 1,
816
+ "outputs": [
817
+ {
818
+ "output": {
819
+ "kind": "value",
820
+ "value": "0"
821
+ },
822
+ "probability": {
823
+ "numerator": "1",
824
+ "denominator": "1"
825
+ },
826
+ "configurations": [
827
+ "0",
828
+ "1"
829
+ ],
830
+ "posterior": [
831
+ {
832
+ "configuration": "0",
833
+ "p": {
834
+ "numerator": "1",
835
+ "denominator": "2"
836
+ }
837
+ },
838
+ {
839
+ "configuration": "1",
840
+ "p": {
841
+ "numerator": "1",
842
+ "denominator": "2"
843
+ }
844
+ }
845
+ ],
846
+ "conditionalBits": 1
847
+ }
848
+ ]
849
+ }
850
+ ]
851
+ },
852
+ "lineageRelabelLeavesDeltasUnchanged": true
853
+ }
854
+ ],
855
+ "missingPrior": {
856
+ "status": "unmeasured",
857
+ "cause": "marginal/prior-required"
858
+ },
859
+ "missingModel": {
860
+ "status": "unmeasured",
861
+ "cause": "marginal/joint-model-required"
862
+ },
863
+ "publicExportAdded": false,
864
+ "empiricalOrTruthFreeEstimate": false
865
+ },
866
+ "admission": false,
867
+ "signatures": 0
868
+ }