1/2Interactive exact-output model · DD-021
General Sharing Frontier Lab
Select one immutable channel scenario, a sharing step, and a centralized pooled action budget. Percentages lead; exact fractions remain attached to every probability.
The decision boundary
share one more signal iff ρs = es+1/es < 1−q
Below the threshold, aggregation outruns the independent rescue action that sharing removes. Top-L recovery assumes centralized authority to choose distinct posterior-leading targets.
Showing the exact M=4, N=3 half-accurate point scenario.
7/81/27/8-1/811/27/12Discovery Gs
The selected step is marked; every bar is an immutable exact value.
s=1—
s=2—
s=3—
s=4—
Pooled accuracy Cs and rescue threshold
The threshold is 1−q.
s=1—
s=2—
s=3—
s=4—
Centralized action-budget recovery VL
Selected budget and recovery threshold are marked.
L=1—
L=2—
L=3—
L=4—
Complete exact table — 177 scenarios
Scroll horizontally to see every column.
| Channel | Family | M | N | q | PN | CN | Sharing class | Full-sharing class | L* |
|---|---|---|---|---|---|---|---|---|---|
| point-m3-p1of3 | Symmetric noisy point | 3 | 2 | 1/3 | 5/9 | 1/3 | strict-compression-dominated | D-boundary | 2 |
| point-m3-p1of3 | Symmetric noisy point | 3 | 3 | 1/3 | 19/27 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| point-m3-p1of3 | Symmetric noisy point | 3 | 4 | 1/3 | 65/81 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| point-m3-p1of2 | Symmetric noisy point | 3 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| point-m3-p1of2 | Symmetric noisy point | 3 | 3 | 1/2 | 7/8 | 9/16 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m3-p1of2 | Symmetric noisy point | 3 | 4 | 1/2 | 15/16 | 19/32 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m3-p2of3 | Symmetric noisy point | 3 | 2 | 2/3 | 8/9 | 2/3 | strict-compression-dominated | D-boundary | 2 |
| point-m3-p2of3 | Symmetric noisy point | 3 | 3 | 2/3 | 26/27 | 7/9 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m3-p2of3 | Symmetric noisy point | 3 | 4 | 2/3 | 80/81 | 22/27 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m3-p1of1 | Symmetric noisy point | 3 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m3-p1of1 | Symmetric noisy point | 3 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m3-p1of1 | Symmetric noisy point | 3 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| shortlist-m3-k1-a1of3 | Noisy K-shortlist | 3 | 2 | 1/3 | 5/9 | 1/3 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m3-k1-a1of3 | Noisy K-shortlist | 3 | 3 | 1/3 | 19/27 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m3-k1-a1of3 | Noisy K-shortlist | 3 | 4 | 1/3 | 65/81 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m3-k1-a1of2 | Noisy K-shortlist | 3 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m3-k1-a1of2 | Noisy K-shortlist | 3 | 3 | 1/2 | 7/8 | 9/16 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m3-k1-a1of2 | Noisy K-shortlist | 3 | 4 | 1/2 | 15/16 | 19/32 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m3-k1-a3of4 | Noisy K-shortlist | 3 | 2 | 3/4 | 15/16 | 3/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m3-k1-a3of4 | Noisy K-shortlist | 3 | 3 | 3/4 | 63/64 | 111/128 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m3-k1-a3of4 | Noisy K-shortlist | 3 | 4 | 3/4 | 255/256 | 459/512 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| guaranteed-shortlist-m3-k1 | Guaranteed K-shortlist | 3 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m3-k1 | Guaranteed K-shortlist | 3 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m3-k1 | Guaranteed K-shortlist | 3 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m3-k1 | Explicit K-exclusion | 3 | 2 | 1/2 | 3/4 | 3/4 | all-neutral | D-boundary | 1 |
| exclusion-m3-k1 | Explicit K-exclusion | 3 | 3 | 1/2 | 7/8 | 7/8 | all-neutral | D-boundary | 1 |
| exclusion-m3-k1 | Explicit K-exclusion | 3 | 4 | 1/2 | 15/16 | 15/16 | all-neutral | D-boundary | 1 |
| shortlist-m3-k2-a2of3 | Noisy K-shortlist | 3 | 2 | 1/3 | 5/9 | 1/3 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m3-k2-a2of3 | Noisy K-shortlist | 3 | 3 | 1/3 | 19/27 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m3-k2-a2of3 | Noisy K-shortlist | 3 | 4 | 1/3 | 65/81 | 1/3 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m3-k2-a3of4 | Noisy K-shortlist | 3 | 2 | 3/8 | 39/64 | 27/64 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m3-k2-a3of4 | Noisy K-shortlist | 3 | 3 | 3/8 | 387/512 | 225/512 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m3-k2-a3of4 | Noisy K-shortlist | 3 | 4 | 3/8 | 3471/4096 | 1863/4096 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| guaranteed-shortlist-m3-k2 | Guaranteed K-shortlist | 3 | 2 | 1/2 | 3/4 | 3/4 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m3-k2 | Guaranteed K-shortlist | 3 | 3 | 1/2 | 7/8 | 7/8 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m3-k2 | Guaranteed K-shortlist | 3 | 4 | 1/2 | 15/16 | 15/16 | all-neutral | D-boundary | 1 |
| exclusion-m3-k2 | Explicit K-exclusion | 3 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m3-k2 | Explicit K-exclusion | 3 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m3-k2 | Explicit K-exclusion | 3 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| confidence-point-m3-low1of3-high1of2 | Confidence-augmented point | 3 | 2 | 5/12 | 95/144 | 11/24 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m3-low1of3-high1of2 | Confidence-augmented point | 3 | 3 | 5/12 | 1385/1728 | 187/384 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m3-low1of3-high1of2 | Confidence-augmented point | 3 | 4 | 5/12 | 18335/20736 | 785/1536 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m3-low1of2-high3of4 | Confidence-augmented point | 3 | 2 | 5/8 | 55/64 | 11/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m3-low1of2-high3of4 | Confidence-augmented point | 3 | 3 | 5/8 | 485/512 | 777/1024 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m3-low1of2-high3of4 | Confidence-augmented point | 3 | 4 | 5/8 | 4015/4096 | 6599/8192 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m3-low1of3-high3of4 | Confidence-augmented point | 3 | 2 | 13/24 | 455/576 | 31/48 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m3-low1of3-high3of4 | Confidence-augmented point | 3 | 3 | 13/24 | 12493/13824 | 2189/3072 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m3-low1of3-high3of4 | Confidence-augmented point | 3 | 4 | 13/24 | 317135/331776 | 18737/24576 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m4-p1of4 | Symmetric noisy point | 4 | 2 | 1/4 | 7/16 | 1/4 | strict-compression-dominated | D-boundary | 2 |
| point-m4-p1of4 | Symmetric noisy point | 4 | 3 | 1/4 | 37/64 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| point-m4-p1of4 | Symmetric noisy point | 4 | 4 | 1/4 | 175/256 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| point-m4-p1of2 | Symmetric noisy point | 4 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| point-m4-p1of2 | Symmetric noisy point | 4 | 3 | 1/2 | 7/8 | 7/12 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m4-p1of2 | Symmetric noisy point | 4 | 4 | 1/2 | 15/16 | 23/36 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m4-p2of3 | Symmetric noisy point | 4 | 2 | 2/3 | 8/9 | 2/3 | strict-compression-dominated | D-boundary | 2 |
| point-m4-p2of3 | Symmetric noisy point | 4 | 3 | 2/3 | 26/27 | 64/81 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m4-p2of3 | Symmetric noisy point | 4 | 4 | 2/3 | 80/81 | 616/729 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| point-m4-p1of1 | Symmetric noisy point | 4 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m4-p1of1 | Symmetric noisy point | 4 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m4-p1of1 | Symmetric noisy point | 4 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| shortlist-m4-k1-a1of4 | Noisy K-shortlist | 4 | 2 | 1/4 | 7/16 | 1/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m4-k1-a1of4 | Noisy K-shortlist | 4 | 3 | 1/4 | 37/64 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m4-k1-a1of4 | Noisy K-shortlist | 4 | 4 | 1/4 | 175/256 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m4-k1-a1of2 | Noisy K-shortlist | 4 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m4-k1-a1of2 | Noisy K-shortlist | 4 | 3 | 1/2 | 7/8 | 7/12 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m4-k1-a1of2 | Noisy K-shortlist | 4 | 4 | 1/2 | 15/16 | 23/36 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m4-k1-a3of4 | Noisy K-shortlist | 4 | 2 | 3/4 | 15/16 | 3/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m4-k1-a3of4 | Noisy K-shortlist | 4 | 3 | 3/4 | 63/64 | 7/8 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m4-k1-a3of4 | Noisy K-shortlist | 4 | 4 | 3/4 | 255/256 | 11/12 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| guaranteed-shortlist-m4-k1 | Guaranteed K-shortlist | 4 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m4-k1 | Guaranteed K-shortlist | 4 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m4-k1 | Guaranteed K-shortlist | 4 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m4-k1 | Explicit K-exclusion | 4 | 2 | 1/3 | 5/9 | 4/9 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m4-k1 | Explicit K-exclusion | 4 | 3 | 1/3 | 19/27 | 16/27 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m4-k1 | Explicit K-exclusion | 4 | 4 | 1/3 | 65/81 | 58/81 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m4-k2-a1of2 | Noisy K-shortlist | 4 | 2 | 1/4 | 7/16 | 1/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m4-k2-a1of2 | Noisy K-shortlist | 4 | 3 | 1/4 | 37/64 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m4-k2-a1of2 | Noisy K-shortlist | 4 | 4 | 1/4 | 175/256 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m4-k2-a3of4 | Noisy K-shortlist | 4 | 2 | 3/8 | 39/64 | 1/2 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m4-k2-a3of4 | Noisy K-shortlist | 4 | 3 | 3/8 | 387/512 | 35/64 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m4-k2-a3of4 | Noisy K-shortlist | 4 | 4 | 3/8 | 3471/4096 | 39/64 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| guaranteed-shortlist-m4-k2 | Guaranteed K-shortlist | 4 | 2 | 1/2 | 3/4 | 5/6 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| guaranteed-shortlist-m4-k2 | Guaranteed K-shortlist | 4 | 3 | 1/2 | 7/8 | 17/18 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| guaranteed-shortlist-m4-k2 | Guaranteed K-shortlist | 4 | 4 | 1/2 | 15/16 | 53/54 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m4-k2 | Explicit K-exclusion | 4 | 2 | 1/2 | 3/4 | 5/6 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m4-k2 | Explicit K-exclusion | 4 | 3 | 1/2 | 7/8 | 17/18 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m4-k2 | Explicit K-exclusion | 4 | 4 | 1/2 | 15/16 | 53/54 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| shortlist-m4-k3-a3of4 | Noisy K-shortlist | 4 | 2 | 1/4 | 7/16 | 1/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m4-k3-a3of4 | Noisy K-shortlist | 4 | 3 | 1/4 | 37/64 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m4-k3-a3of4 | Noisy K-shortlist | 4 | 4 | 1/4 | 175/256 | 1/4 | strict-compression-dominated | D-boundary | 3 |
| guaranteed-shortlist-m4-k3 | Guaranteed K-shortlist | 4 | 2 | 1/3 | 5/9 | 4/9 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| guaranteed-shortlist-m4-k3 | Guaranteed K-shortlist | 4 | 3 | 1/3 | 19/27 | 16/27 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| guaranteed-shortlist-m4-k3 | Guaranteed K-shortlist | 4 | 4 | 1/3 | 65/81 | 58/81 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m4-k3 | Explicit K-exclusion | 4 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m4-k3 | Explicit K-exclusion | 4 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m4-k3 | Explicit K-exclusion | 4 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| confidence-point-m4-low1of4-high1of2 | Confidence-augmented point | 4 | 2 | 3/8 | 39/64 | 7/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m4-low1of4-high1of2 | Confidence-augmented point | 4 | 3 | 3/8 | 387/512 | 23/48 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m4-low1of4-high1of2 | Confidence-augmented point | 4 | 4 | 3/8 | 3471/4096 | 37/72 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m4-low1of2-high3of4 | Confidence-augmented point | 4 | 2 | 5/8 | 55/64 | 11/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m4-low1of2-high3of4 | Confidence-augmented point | 4 | 3 | 5/8 | 485/512 | 295/384 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m4-low1of2-high3of4 | Confidence-augmented point | 4 | 4 | 5/8 | 4015/4096 | 119/144 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m4-low1of4-high3of4 | Confidence-augmented point | 4 | 2 | 1/2 | 3/4 | 5/8 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m4-low1of4-high3of4 | Confidence-augmented point | 4 | 3 | 1/2 | 7/8 | 45/64 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m4-low1of4-high3of4 | Confidence-augmented point | 4 | 4 | 1/2 | 15/16 | 73/96 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m5-p1of5 | Symmetric noisy point | 5 | 2 | 1/5 | 9/25 | 1/5 | strict-compression-dominated | D-boundary | 2 |
| point-m5-p1of5 | Symmetric noisy point | 5 | 3 | 1/5 | 61/125 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| point-m5-p1of5 | Symmetric noisy point | 5 | 4 | 1/5 | 369/625 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| point-m5-p1of2 | Symmetric noisy point | 5 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| point-m5-p1of2 | Symmetric noisy point | 5 | 3 | 1/2 | 7/8 | 19/32 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m5-p1of2 | Symmetric noisy point | 5 | 4 | 1/2 | 15/16 | 85/128 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| point-m5-p2of3 | Symmetric noisy point | 5 | 2 | 2/3 | 8/9 | 2/3 | strict-compression-dominated | D-boundary | 2 |
| point-m5-p2of3 | Symmetric noisy point | 5 | 3 | 2/3 | 26/27 | 43/54 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| point-m5-p2of3 | Symmetric noisy point | 5 | 4 | 2/3 | 80/81 | 31/36 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| point-m5-p1of1 | Symmetric noisy point | 5 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m5-p1of1 | Symmetric noisy point | 5 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| point-m5-p1of1 | Symmetric noisy point | 5 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| shortlist-m5-k1-a1of5 | Noisy K-shortlist | 5 | 2 | 1/5 | 9/25 | 1/5 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k1-a1of5 | Noisy K-shortlist | 5 | 3 | 1/5 | 61/125 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k1-a1of5 | Noisy K-shortlist | 5 | 4 | 1/5 | 369/625 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k1-a1of2 | Noisy K-shortlist | 5 | 2 | 1/2 | 3/4 | 1/2 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k1-a1of2 | Noisy K-shortlist | 5 | 3 | 1/2 | 7/8 | 19/32 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m5-k1-a1of2 | Noisy K-shortlist | 5 | 4 | 1/2 | 15/16 | 85/128 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| shortlist-m5-k1-a3of4 | Noisy K-shortlist | 5 | 2 | 3/4 | 15/16 | 3/4 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k1-a3of4 | Noisy K-shortlist | 5 | 3 | 3/4 | 63/64 | 225/256 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m5-k1-a3of4 | Noisy K-shortlist | 5 | 4 | 3/4 | 255/256 | 1899/2048 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| guaranteed-shortlist-m5-k1 | Guaranteed K-shortlist | 5 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m5-k1 | Guaranteed K-shortlist | 5 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m5-k1 | Guaranteed K-shortlist | 5 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m5-k1 | Explicit K-exclusion | 5 | 2 | 1/4 | 7/16 | 5/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m5-k1 | Explicit K-exclusion | 5 | 3 | 1/4 | 37/64 | 25/64 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m5-k1 | Explicit K-exclusion | 5 | 4 | 1/4 | 175/256 | 125/256 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k2-a2of5 | Noisy K-shortlist | 5 | 2 | 1/5 | 9/25 | 1/5 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k2-a2of5 | Noisy K-shortlist | 5 | 3 | 1/5 | 61/125 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k2-a2of5 | Noisy K-shortlist | 5 | 4 | 1/5 | 369/625 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k2-a1of2 | Noisy K-shortlist | 5 | 2 | 1/4 | 7/16 | 9/32 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k2-a1of2 | Noisy K-shortlist | 5 | 3 | 1/4 | 37/64 | 77/256 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m5-k2-a1of2 | Noisy K-shortlist | 5 | 4 | 1/4 | 175/256 | 1961/6144 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| shortlist-m5-k2-a3of4 | Noisy K-shortlist | 5 | 2 | 3/8 | 39/64 | 69/128 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k2-a3of4 | Noisy K-shortlist | 5 | 3 | 3/8 | 387/512 | 1251/2048 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k2-a3of4 | Noisy K-shortlist | 5 | 4 | 3/8 | 3471/4096 | 22515/32768 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| guaranteed-shortlist-m5-k2 | Guaranteed K-shortlist | 5 | 2 | 1/2 | 3/4 | 7/8 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| guaranteed-shortlist-m5-k2 | Guaranteed K-shortlist | 5 | 3 | 1/2 | 7/8 | 31/32 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| guaranteed-shortlist-m5-k2 | Guaranteed K-shortlist | 5 | 4 | 1/2 | 15/16 | 127/128 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m5-k2 | Explicit K-exclusion | 5 | 2 | 1/3 | 5/9 | 5/9 | all-neutral | D-boundary | 1 |
| exclusion-m5-k2 | Explicit K-exclusion | 5 | 3 | 1/3 | 19/27 | 41/54 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m5-k2 | Explicit K-exclusion | 5 | 4 | 1/3 | 65/81 | 71/81 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| shortlist-m5-k3-a3of5 | Noisy K-shortlist | 5 | 2 | 1/5 | 9/25 | 1/5 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k3-a3of5 | Noisy K-shortlist | 5 | 3 | 1/5 | 61/125 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k3-a3of5 | Noisy K-shortlist | 5 | 4 | 1/5 | 369/625 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k3-a3of4 | Noisy K-shortlist | 5 | 2 | 1/4 | 7/16 | 5/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k3-a3of4 | Noisy K-shortlist | 5 | 3 | 1/4 | 37/64 | 91/256 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| shortlist-m5-k3-a3of4 | Noisy K-shortlist | 5 | 4 | 1/4 | 175/256 | 49/128 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| guaranteed-shortlist-m5-k3 | Guaranteed K-shortlist | 5 | 2 | 1/3 | 5/9 | 5/9 | all-neutral | D-boundary | 1 |
| guaranteed-shortlist-m5-k3 | Guaranteed K-shortlist | 5 | 3 | 1/3 | 19/27 | 41/54 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| guaranteed-shortlist-m5-k3 | Guaranteed K-shortlist | 5 | 4 | 1/3 | 65/81 | 71/81 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m5-k3 | Explicit K-exclusion | 5 | 2 | 1/2 | 3/4 | 7/8 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m5-k3 | Explicit K-exclusion | 5 | 3 | 1/2 | 7/8 | 31/32 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| exclusion-m5-k3 | Explicit K-exclusion | 5 | 4 | 1/2 | 15/16 | 127/128 | strict-aggregation-dominated | C-strict-aggregation-dominated-consensus | 1 |
| shortlist-m5-k4-a4of5 | Noisy K-shortlist | 5 | 2 | 1/5 | 9/25 | 1/5 | strict-compression-dominated | D-boundary | 2 |
| shortlist-m5-k4-a4of5 | Noisy K-shortlist | 5 | 3 | 1/5 | 61/125 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| shortlist-m5-k4-a4of5 | Noisy K-shortlist | 5 | 4 | 1/5 | 369/625 | 1/5 | strict-compression-dominated | D-boundary | 3 |
| guaranteed-shortlist-m5-k4 | Guaranteed K-shortlist | 5 | 2 | 1/4 | 7/16 | 5/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| guaranteed-shortlist-m5-k4 | Guaranteed K-shortlist | 5 | 3 | 1/4 | 37/64 | 25/64 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| guaranteed-shortlist-m5-k4 | Guaranteed K-shortlist | 5 | 4 | 1/4 | 175/256 | 125/256 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| exclusion-m5-k4 | Explicit K-exclusion | 5 | 2 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m5-k4 | Explicit K-exclusion | 5 | 3 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| exclusion-m5-k4 | Explicit K-exclusion | 5 | 4 | 1 | 1 | 1 | all-neutral | D-boundary | 1 |
| confidence-point-m5-low1of5-high1of2 | Confidence-augmented point | 5 | 2 | 7/20 | 231/400 | 17/40 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m5-low1of5-high1of2 | Confidence-augmented point | 5 | 3 | 7/20 | 5803/8000 | 607/1280 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m5-low1of5-high1of2 | Confidence-augmented point | 5 | 4 | 7/20 | 131439/160000 | 5273/10240 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m5-low1of2-high3of4 | Confidence-augmented point | 5 | 2 | 5/8 | 55/64 | 11/16 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m5-low1of2-high3of4 | Confidence-augmented point | 5 | 3 | 5/8 | 485/512 | 1595/2048 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m5-low1of2-high3of4 | Confidence-augmented point | 5 | 4 | 5/8 | 4015/4096 | 27611/32768 | strict-compression-dominated | B-shared-discovery-paradox | 4 |
| confidence-point-m5-low1of5-high3of4 | Confidence-augmented point | 5 | 2 | 19/40 | 1159/1600 | 49/80 | strict-compression-dominated | B-shared-discovery-paradox | 2 |
| confidence-point-m5-low1of5-high3of4 | Confidence-augmented point | 5 | 3 | 19/40 | 54739/64000 | 7141/10240 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
| confidence-point-m5-low1of5-high3of4 | Confidence-augmented point | 5 | 4 | 19/40 | 2365519/2560000 | 124343/163840 | strict-compression-dominated | B-shared-discovery-paradox | 3 |
Evidence boundary and provenance
The Lab selects rows from the sole exact run; it does not simulate, interpolate, or change claim status. The absent mixed curve is a bounded null over the declared registry.
DD-C-0097 · DD-C-0098 · DD-C-0099 · DD-C-0100 · DD-C-0101 · DD-C-0102 · DD-C-0103 · 20260722T185924Z_DD-021_3cdbbc40_2fea269a9a
Download the exact registry · Download minimal witnesses · Download channel laws