{
"contextual_routes": {
"methods.html": [
"index.html",
"start-here.html",
"program.html",
"claims.html",
"evidence.html"
],
"start-here.html": [
"index.html",
"program.html",
"research.html",
"publications.html",
"methods.html"
],
"translations.html": [
"program.html",
"start-here.html",
"publications.html"
]
},
"entity_counts": {
"benchmark_tasks": 24,
"claims": 110,
"experiment_modules": 6,
"findings": 15,
"labs": 18,
"papers": 7,
"programs": 5,
"public_data": 31,
"runs": 38,
"studies": 26,
"theorem_families": 9
},
"programs": {
"foundations": {
"label": "Foundations and core architectures"
},
"program-v2": {
"label": "Program V2 \u2014 Institutions and infrastructure"
},
"program-v3": {
"label": "Program V3 \u2014 The Incentive to Ignore"
},
"program-v4": {
"label": "Program V4 \u2014 Threshold Discovery"
},
"program-v5": {
"label": "Program V5 \u2014 The Information Sharing Frontier"
}
},
"relations": [
{
"benchmark_task_ids": [
"DB-G01"
],
"claim_ids": [
"DD-C-0001",
"DD-C-0002",
"DD-C-0003",
"DD-C-0004",
"DD-C-0005",
"DD-C-0006",
"DD-C-0007",
"DD-C-0008",
"DD-C-0009",
"DD-C-0010",
"DD-C-0011",
"DD-C-0012",
"DD-C-0013",
"DD-C-0014",
"DD-C-0015",
"DD-C-0016",
"DD-C-0017",
"DD-C-0035"
],
"data_routes": [],
"experiment_routes": [],
"lab_slugs": [],
"paper_slugs": [
"foundations"
],
"program": "foundations",
"related_studies": [],
"result_ids": [
"canonical-action-portfolios"
],
"run_ids": [
"20260720T190336Z_DD-000_32dd1c32_217c602fa0",
"20260721T012208Z_DD-000_8e4b55e2_e8321d1048"
],
"study_id": "DD-000",
"theorem_family": "foundations"
},
{
"benchmark_task_ids": [
"DB-G02",
"DB-G03"
],
"claim_ids": [
"DD-C-0018",
"DD-C-0019",
"DD-C-0020",
"DD-C-0021",
"DD-C-0022",
"DD-C-0023",
"DD-C-0024",
"DD-C-0025",
"DD-C-0026",
"DD-C-0027",
"DD-C-0028",
"DD-C-0036",
"DD-C-0037",
"DD-C-0038"
],
"data_routes": [],
"experiment_routes": [],
"lab_slugs": [],
"paper_slugs": [
"three-results"
],
"program": "foundations",
"related_studies": [
"DD-002",
"DD-003"
],
"result_ids": [],
"run_ids": [
"20260720T200447Z_DD-001_6eb12861_ba766d1eba",
"20260720T221139Z_DD-001_b1d8d431_40bf5b06a5",
"20260720T223829Z_DD-001_b2cc23f4_5e16a90ad1",
"20260721T012208Z_DD-000_8e4b55e2_e8321d1048",
"20260721T022739Z_DD-001_358cb1eb_cd16846ba5"
],
"study_id": "DD-001",
"theorem_family": "roles-disclosure-sources"
},
{
"benchmark_task_ids": [
"DB-G04",
"DB-G05"
],
"claim_ids": [
"DD-C-0029",
"DD-C-0030",
"DD-C-0031",
"DD-C-0039",
"DD-C-0040",
"DD-C-0041"
],
"data_routes": [],
"experiment_routes": [],
"lab_slugs": [],
"paper_slugs": [
"three-results"
],
"program": "foundations",
"related_studies": [
"DD-001",
"DD-003"
],
"result_ids": [],
"run_ids": [
"20260720T225848Z_DD-002_94607423_e29b1460ae",
"20260721T025802Z_DD-002_73a85c71_b0e5b6dc49"
],
"study_id": "DD-002",
"theorem_family": "roles-disclosure-sources"
},
{
"benchmark_task_ids": [
"DB-G06",
"DB-G07"
],
"claim_ids": [
"DD-C-0032",
"DD-C-0033",
"DD-C-0034",
"DD-C-0042",
"DD-C-0043",
"DD-C-0044"
],
"data_routes": [],
"experiment_routes": [],
"lab_slugs": [],
"paper_slugs": [
"three-results",
"common-source-trap"
],
"program": "foundations",
"related_studies": [
"DD-001",
"DD-002"
],
"result_ids": [],
"run_ids": [
"20260720T232223Z_DD-003_2ea8dad5_ae62f6c1f1",
"20260721T032358Z_DD-003_84238b76_2cbc13e66a"
],
"study_id": "DD-003",
"theorem_family": "roles-disclosure-sources"
},
{
"benchmark_task_ids": [
"DB-G08"
],
"claim_ids": [
"DD-C-0045"
],
"data_routes": [
"data/labs/sequential.json"
],
"experiment_routes": [],
"lab_slugs": [
"sequential"
],
"paper_slugs": [],
"program": "program-v2",
"related_studies": [
"DD-005"
],
"result_ids": [],
"run_ids": [
"20260721T050038Z_DD-004_8ab02e7f_71d84de7c4"
],
"study_id": "DD-004",
"theorem_family": "portfolios-feedback"
},
{
"benchmark_task_ids": [
"DB-G09"
],
"claim_ids": [
"DD-C-0046",
"DD-C-0047"
],
"data_routes": [
"data/labs/coverage.json"
],
"experiment_routes": [],
"lab_slugs": [
"coverage"
],
"paper_slugs": [],
"program": "program-v2",
"related_studies": [
"DD-004"
],
"result_ids": [],
"run_ids": [
"20260721T050706Z_DD-005_be3b544c_98698dee2f"
],
"study_id": "DD-005",
"theorem_family": "portfolios-feedback"
},
{
"benchmark_task_ids": [
"DB-G10",
"DB-G11"
],
"claim_ids": [
"DD-C-0048",
"DD-C-0050"
],
"data_routes": [
"data/labs/mechanisms.json"
],
"experiment_routes": [],
"lab_slugs": [
"mechanisms"
],
"paper_slugs": [
"discovery-institutions"
],
"program": "program-v2",
"related_studies": [
"DD-006B"
],
"result_ids": [],
"run_ids": [
"20260721T051457Z_DD-006_d49a50ea_068bce4af3",
"20260721T140745Z_DD-006_401ad624_c942f43e42"
],
"study_id": "DD-006",
"theorem_family": "mechanisms"
},
{
"benchmark_task_ids": [
"DB-G12"
],
"claim_ids": [
"DD-C-0053"
],
"data_routes": [
"data/labs/mechanisms.json"
],
"experiment_routes": [],
"lab_slugs": [
"mechanisms"
],
"paper_slugs": [
"discovery-institutions"
],
"program": "program-v2",
"related_studies": [
"DD-006"
],
"result_ids": [
"strict-joint-mechanisms"
],
"run_ids": [
"20260721T165512Z_DD-006B_f022a1a5_3be21d0b9b"
],
"study_id": "DD-006B",
"theorem_family": "mechanisms"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0049"
],
"data_routes": [
"data/labs/audit.json"
],
"experiment_routes": [],
"lab_slugs": [
"audit"
],
"paper_slugs": [
"discovery-institutions"
],
"program": "program-v2",
"related_studies": [
"DD-009",
"DD-010",
"DD-011"
],
"result_ids": [],
"run_ids": [
"20260721T052307Z_DD-007_af4ea130_72fb89c5fc"
],
"study_id": "DD-007",
"theorem_family": "measurement"
},
{
"benchmark_task_ids": [
"DB-G13"
],
"claim_ids": [
"DD-C-0051"
],
"data_routes": [
"data/labs/evidence-acquisition.json"
],
"experiment_routes": [],
"lab_slugs": [
"evidence-acquisition"
],
"paper_slugs": [
"discovery-institutions"
],
"program": "program-v2",
"related_studies": [
"DD-008A",
"DD-008B"
],
"result_ids": [],
"run_ids": [
"20260721T141527Z_DD-008_0d11dc77_7e0c8f1d66"
],
"study_id": "DD-008",
"theorem_family": "acquisition"
},
{
"benchmark_task_ids": [
"DB-G14"
],
"claim_ids": [
"DD-C-0052"
],
"data_routes": [
"data/labs/evidence-acquisition.json"
],
"experiment_routes": [],
"lab_slugs": [
"evidence-acquisition"
],
"paper_slugs": [
"discovery-institutions"
],
"program": "program-v2",
"related_studies": [
"DD-008",
"DD-008B"
],
"result_ids": [],
"run_ids": [
"20260721T163030Z_DD-008A_8b70668b_06307caab4"
],
"study_id": "DD-008A",
"theorem_family": "acquisition"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0057",
"DD-C-0058"
],
"data_routes": [
"data/labs/evidence-acquisition.json"
],
"experiment_routes": [],
"lab_slugs": [
"evidence-acquisition"
],
"paper_slugs": [
"common-source-trap"
],
"program": "program-v2",
"related_studies": [
"DD-008",
"DD-008A"
],
"result_ids": [
"common-source-trap-width"
],
"run_ids": [
"20260721T192412Z_DD-008B_649deb08_29dbeaf3a9"
],
"study_id": "DD-008B",
"theorem_family": "acquisition"
},
{
"benchmark_task_ids": [
"DB-G15"
],
"claim_ids": [
"DD-C-0054"
],
"data_routes": [
"data/labs/atlas.json"
],
"experiment_routes": [],
"lab_slugs": [
"atlas"
],
"paper_slugs": [],
"program": "program-v2",
"related_studies": [
"DD-007",
"DD-010",
"DD-011"
],
"result_ids": [
"architecture-pareto-frontier"
],
"run_ids": [
"20260721T171249Z_DD-009_bc78d249_0c3851c41a"
],
"study_id": "DD-009",
"theorem_family": "measurement"
},
{
"benchmark_task_ids": [
"DB-G01",
"DB-G02",
"DB-G03",
"DB-G04",
"DB-G05",
"DB-G06",
"DB-G07",
"DB-G08",
"DB-G09",
"DB-G10",
"DB-G11",
"DB-G12",
"DB-G13",
"DB-G14",
"DB-G15",
"DB-G16",
"DB-G17",
"DB-G18",
"DB-G19",
"DB-G20",
"DB-G21",
"DB-G22",
"DB-G23",
"DB-G24"
],
"claim_ids": [
"DD-C-0055",
"DD-C-0069",
"DD-C-0087"
],
"data_routes": [
"data/treasurebench/tasks.json",
"data/treasurebench/results.json",
"data/treasurebench/agents-v1-registration.json",
"data/treasurebench/agents-v1-implementation.json",
"data/treasurebench/agents-v1-evaluation.json",
"data/treasure-hunt.json"
],
"experiment_routes": [],
"lab_slugs": [
"benchmark"
],
"paper_slugs": [],
"program": "program-v2",
"related_studies": [
"DD-007",
"DD-009",
"DD-011"
],
"result_ids": [],
"run_ids": [
"20260721T183014Z_DD-010_ce930050_8ec718c242",
"20260721T230249Z_DD-010_add85590_56c61a2195",
"20260722T054447Z_DD-010_d265e480_6930915b02"
],
"study_id": "DD-010",
"theorem_family": "measurement"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0056",
"DD-C-0070",
"DD-C-0088"
],
"data_routes": [
"data/experiment/design.json",
"data/experiment/hypotheses.json",
"data/experiment/power.json"
],
"experiment_routes": [
"experiment-kit.html",
"experiment-kit/hypotheses.html",
"experiment-kit/design.html",
"experiment-kit/attention.html",
"experiment-kit/threshold-dynamic.html",
"experiment-kit/power.html"
],
"lab_slugs": [
"experiment-design"
],
"paper_slugs": [],
"program": "program-v2",
"related_studies": [
"DD-007",
"DD-009",
"DD-010"
],
"result_ids": [],
"run_ids": [
"20260721T185647Z_DD-011_fa0271d9_fcaa647c55",
"20260721T232119Z_DD-011_121162f8_e454b06d2c",
"20260722T061958Z_DD-011_5743ccba_19b6517655"
],
"study_id": "DD-011",
"theorem_family": "measurement"
},
{
"benchmark_task_ids": [
"DB-G16",
"DB-G17"
],
"claim_ids": [
"DD-C-0059",
"DD-C-0060",
"DD-C-0061"
],
"data_routes": [
"data/attention/census.json"
],
"experiment_routes": [
"experiment-kit/attention.html"
],
"lab_slugs": [
"attention"
],
"paper_slugs": [
"incentive-to-ignore"
],
"program": "program-v3",
"related_studies": [
"DD-013",
"DD-014"
],
"result_ids": [
"first-reader-effect",
"excessive-attention-equilibrium"
],
"run_ids": [
"20260721T212943Z_DD-012_9ed0928e_4a3f1ba62b"
],
"study_id": "DD-012",
"theorem_family": "selective-attention"
},
{
"benchmark_task_ids": [
"DB-G18",
"DB-G19"
],
"claim_ids": [
"DD-C-0062",
"DD-C-0063",
"DD-C-0064",
"DD-C-0065"
],
"data_routes": [
"data/audience/frontier.json"
],
"experiment_routes": [
"experiment-kit/attention.html"
],
"lab_slugs": [
"audience-design"
],
"paper_slugs": [
"incentive-to-ignore"
],
"program": "program-v3",
"related_studies": [
"DD-012",
"DD-014"
],
"result_ids": [
"one-reader-audience"
],
"run_ids": [
"20260721T215811Z_DD-013_09c07448_cdac4fb512"
],
"study_id": "DD-013",
"theorem_family": "selective-attention"
},
{
"benchmark_task_ids": [
"DB-G20"
],
"claim_ids": [
"DD-C-0066",
"DD-C-0067",
"DD-C-0068"
],
"data_routes": [
"data/conditional/census.json"
],
"experiment_routes": [
"experiment-kit/attention.html"
],
"lab_slugs": [
"conditional-attention"
],
"paper_slugs": [
"incentive-to-ignore"
],
"program": "program-v3",
"related_studies": [
"DD-012",
"DD-013"
],
"result_ids": [
"conditional-policy-boundary"
],
"run_ids": [
"20260721T222047Z_DD-014_f5f099a8_ea0276dd16"
],
"study_id": "DD-014",
"theorem_family": "selective-attention"
},
{
"benchmark_task_ids": [
"DB-G23"
],
"claim_ids": [
"DD-C-0079",
"DD-C-0080",
"DD-C-0081",
"DD-C-0082"
],
"data_routes": [
"data/labs/dynamic-attention.json"
],
"experiment_routes": [
"experiment-kit/threshold-dynamic.html"
],
"lab_slugs": [
"dynamic-attention"
],
"paper_slugs": [
"threshold-discovery"
],
"program": "program-v4",
"related_studies": [
"DD-016",
"DD-017",
"DD-018"
],
"result_ids": [],
"run_ids": [
"20260722T043713Z_DD-015_92d53ac1_0e7cf1ec0a",
"20260722T044453Z_DD-015_34bc4379_33e1da478b"
],
"study_id": "DD-015",
"theorem_family": "threshold-discovery"
},
{
"benchmark_task_ids": [
"DB-G21"
],
"claim_ids": [
"DD-C-0071",
"DD-C-0072",
"DD-C-0073",
"DD-C-0074"
],
"data_routes": [
"data/labs/threshold.json"
],
"experiment_routes": [
"experiment-kit/threshold-dynamic.html"
],
"lab_slugs": [
"threshold"
],
"paper_slugs": [
"threshold-discovery"
],
"program": "program-v4",
"related_studies": [
"DD-015",
"DD-017",
"DD-018"
],
"result_ids": [],
"run_ids": [
"20260722T021526Z_DD-016_00271ff8_123b2809e3"
],
"study_id": "DD-016",
"theorem_family": "threshold-discovery"
},
{
"benchmark_task_ids": [
"DB-G22"
],
"claim_ids": [
"DD-C-0075",
"DD-C-0076",
"DD-C-0077",
"DD-C-0078"
],
"data_routes": [
"data/labs/equilibrium-selection.json"
],
"experiment_routes": [
"experiment-kit/threshold-dynamic.html"
],
"lab_slugs": [
"equilibrium-selection"
],
"paper_slugs": [
"threshold-discovery"
],
"program": "program-v4",
"related_studies": [
"DD-015",
"DD-016",
"DD-018"
],
"result_ids": [],
"run_ids": [
"20260722T024032Z_DD-017_033452f6_3d2c74fdfb"
],
"study_id": "DD-017",
"theorem_family": "threshold-discovery"
},
{
"benchmark_task_ids": [
"DB-G24"
],
"claim_ids": [
"DD-C-0083",
"DD-C-0084",
"DD-C-0085",
"DD-C-0086"
],
"data_routes": [
"data/labs/team-mechanisms.json"
],
"experiment_routes": [
"experiment-kit/threshold-dynamic.html"
],
"lab_slugs": [
"team-mechanisms"
],
"paper_slugs": [
"threshold-discovery"
],
"program": "program-v4",
"related_studies": [
"DD-015",
"DD-016",
"DD-017"
],
"result_ids": [],
"run_ids": [
"20260722T051847Z_DD-018_a193f602_3b3ddac173"
],
"study_id": "DD-018",
"theorem_family": "threshold-discovery"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0089",
"DD-C-0090",
"DD-C-0091"
],
"data_routes": [
"data/labs/incremental-sharing.json"
],
"experiment_routes": [],
"lab_slugs": [
"incremental-sharing"
],
"paper_slugs": [
"information-sharing-frontier"
],
"program": "program-v5",
"related_studies": [
"DD-020",
"DD-021",
"DD-022"
],
"result_ids": [],
"run_ids": [
"20260722T084145Z_DD-019_a77bb786_04a5e9f0c5"
],
"study_id": "DD-019",
"theorem_family": "sharing-frontier"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0092",
"DD-C-0093",
"DD-C-0094",
"DD-C-0095",
"DD-C-0096"
],
"data_routes": [
"data/labs/incremental-sharing.json",
"data/incremental-sharing/channel-profiles.json"
],
"experiment_routes": [],
"lab_slugs": [
"incremental-sharing"
],
"paper_slugs": [
"information-sharing-frontier"
],
"program": "program-v5",
"related_studies": [
"DD-019",
"DD-021",
"DD-022"
],
"result_ids": [
"incremental-point-pooling",
"same-accuracy-channel-counterexample"
],
"run_ids": [
"20260722T142551Z_DD-020_3854fff6_37c11a850a"
],
"study_id": "DD-020",
"theorem_family": "sharing-frontier"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0097",
"DD-C-0098",
"DD-C-0099",
"DD-C-0100",
"DD-C-0101",
"DD-C-0102",
"DD-C-0103"
],
"data_routes": [
"data/labs/general-sharing-frontier.json",
"data/general-sharing-frontier/registry.json",
"data/general-sharing-frontier/minimal-witnesses.json",
"data/general-sharing-frontier/channels.json"
],
"experiment_routes": [],
"lab_slugs": [
"general-sharing-frontier"
],
"paper_slugs": [
"information-sharing-frontier"
],
"program": "program-v5",
"related_studies": [
"DD-019",
"DD-020",
"DD-022"
],
"result_ids": [
"error-contraction-frontier",
"full-capacity-recovery",
"bounded-mixed-sharing-null"
],
"run_ids": [
"20260722T185924Z_DD-021_3cdbbc40_2fea269a9a"
],
"study_id": "DD-021",
"theorem_family": "sharing-frontier"
},
{
"benchmark_task_ids": [],
"claim_ids": [
"DD-C-0104",
"DD-C-0105",
"DD-C-0106",
"DD-C-0107",
"DD-C-0108",
"DD-C-0109",
"DD-C-0110"
],
"data_routes": [
"data/labs/coordination-free-positive-sharing.json",
"data/coordination-free-positive-sharing/registry.json",
"data/coordination-free-positive-sharing/threshold-certificate.json"
],
"experiment_routes": [],
"lab_slugs": [
"coordination-free-positive-sharing"
],
"paper_slugs": [
"information-sharing-frontier"
],
"program": "program-v5",
"related_studies": [
"DD-019",
"DD-020",
"DD-021"
],
"result_ids": [
"coordination-free-positive-sharing",
"coordination-free-selection-boundary"
],
"run_ids": [
"20260722T210334Z_DD-022_2376d5b7_ad67765ca8"
],
"study_id": "DD-022",
"theorem_family": "sharing-frontier"
}
],
"schema_version": 1,
"source": "site/content/relations.yml",
"theorem_families": {
"acquisition": {
"label": "Endogenous evidence acquisition"
},
"foundations": {
"label": "Information aggregation and action allocation"
},
"measurement": {
"label": "Measurement, benchmarks, and experiments"
},
"mechanisms": {
"label": "Incentives and discovery mechanisms"
},
"portfolios-feedback": {
"label": "Portfolios, coverage, and feedback"
},
"roles-disclosure-sources": {
"label": "Roles, disclosure, and source dependence"
},
"selective-attention": {
"label": "Selective attention and audience design"
},
"sharing-frontier": {
"label": "Information sharing and independent rescue",
"synthesis_anchor": "information-sharing-frontier"
},
"threshold-discovery": {
"label": "Threshold discovery and team formation"
}
}
}