Guided exhibit · DD-005

Coverage and Redundancy

Compare exact, ranking, greedy, and manual portfolios on the three registered weighted-union fixtures.

Choose a registered comparison

Fixture

Portfolio rule

Showing top individual values on the duplicated-ranking witness.

Weighted union coverage3Exact: 3

Covered outcomes0, 1, 2

Selected portfolioA0, A1

Overlap3

Redundancy3

Gap from optimum1Exact: 1

Recovery budgetnot recovered at 2 actions

Outcome coverage

A0={0, 1, 2} · A1={0, 1, 2} · A2={3}

3 of exact optimum 4

Takeaway: Different action labels do not guarantee different covered outcomes; inspect the union and the gap, not the labels alone.

Lab declaration and technical details

Lab type: Guided exhibit
Supporting study: DD-005
Data source: results/verified/20260721T050706Z_DD-005_be3b544c_98698dee2f/outputs/coverage-frontiers.json
Control fields: fixture; portfolio rule; manual selection for small fixtures
Output fields: weighted union; outcomes; overlap; redundancy; optimum gap; recovery budget
Baseline: Exact optimum for the selected fixture
No-JavaScript fallback: Complete registered rows in the table below.
Claims: DD-C-0046
Runs: 20260721T050706Z_DD-005_be3b544c_98698dee2f

Complete registered table

Scroll horizontally to see every column.

Complete DD-005 registered portfolio comparisons
Fixture	Rule	Selection	Portfolio	Covered outcomes	Union value	Overlap	Redundancy	Gap
atomic-control	exact-optimum	registered	[0, 1]	[0, 1]	2	0	0	0
atomic-control	top-individual-values	registered	[0, 1]	[0, 1]	2	0	0	0
atomic-control	marginal-greedy	registered	[0, 1]	[0, 1]	2	0	0	0
atomic-control	manual-selection	0+1	[0, 1]	[0, 1]	2	0	0	0
atomic-control	manual-selection	0+2	[0, 2]	[0, 2]	2	0	0	0
atomic-control	manual-selection	0+3	[0, 3]	[0, 3]	2	0	0	0
atomic-control	manual-selection	1+2	[1, 2]	[1, 2]	2	0	0	0
atomic-control	manual-selection	1+3	[1, 3]	[1, 3]	2	0	0	0
atomic-control	manual-selection	2+3	[2, 3]	[2, 3]	2	0	0	0
duplicated-ranking-witness	exact-optimum	registered	[0, 2]	[0, 1, 2, 3]	4	0	0	0
duplicated-ranking-witness	top-individual-values	registered	[0, 1]	[0, 1, 2]	3	3	3	1
duplicated-ranking-witness	marginal-greedy	registered	[0, 2]	[0, 1, 2, 3]	4	0	0	0
duplicated-ranking-witness	manual-selection	0+1	[0, 1]	[0, 1, 2]	3	3	3	1
duplicated-ranking-witness	manual-selection	0+2	[0, 2]	[0, 1, 2, 3]	4	0	0	0
duplicated-ranking-witness	manual-selection	1+2	[1, 2]	[0, 1, 2, 3]	4	0	0	0
greedy-recovery-witness	exact-optimum	registered	[1, 2]	[0, 1, 2, 3, 4, 5]	6	0	0	0
greedy-recovery-witness	top-individual-values	registered	[0, 1]	[0, 1, 2, 3, 4]	5	2	2	1
greedy-recovery-witness	marginal-greedy	registered	[0, 1]	[0, 1, 2, 3, 4]	5	2	2	1
greedy-recovery-witness	manual-selection	0+1	[0, 1]	[0, 1, 2, 3, 4]	5	2	2	1
greedy-recovery-witness	manual-selection	0+2	[0, 2]	[0, 1, 2, 3, 5]	5	2	2	1
greedy-recovery-witness	manual-selection	1+2	[1, 2]	[0, 1, 2, 3, 4, 5]	6	0	0	0