{
  "boundary": "50 exact rows; truthfulness is not applicable under the common-posterior input",
  "claim_ids": [
    "DD-C-0083",
    "DD-C-0084",
    "DD-C-0085",
    "DD-C-0086"
  ],
  "rows": [
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "central-assignment",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "2/3",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "random-matching",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "2/3",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "team-tokens",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "exclusive-coalition-rights",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "correlated-mediator",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "1/3",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": false,
      "mechanism": "universal-pooling",
      "obedience": true,
      "pairwise_stable": false,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "1/3",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": false,
      "mechanism": "sole-team-rescue",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "marginal-coalition-contribution",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "threshold-adjusted-equal-split",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/3",
      "equilibrium_multiplicity": 6,
      "external_subsidy": "0",
      "fixture": "uniform",
      "implements_planner": true,
      "mechanism": "pairwise-matching-market",
      "obedience": "not-applicable-binding-within-pair",
      "pairwise_stable": true,
      "planner_discovery": "2/3",
      "strict_unilateral": "not-applicable-binding-within-pair",
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "central-assignment",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "random-matching",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "team-tokens",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "exclusive-coalition-rights",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "correlated-mediator",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": false,
      "mechanism": "universal-pooling",
      "obedience": true,
      "pairwise_stable": false,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "2/5",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": false,
      "mechanism": "sole-team-rescue",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "marginal-coalition-contribution",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "threshold-adjusted-equal-split",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 2,
      "external_subsidy": "0",
      "fixture": "tied-top",
      "implements_planner": true,
      "mechanism": "pairwise-matching-market",
      "obedience": "not-applicable-binding-within-pair",
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-binding-within-pair",
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "central-assignment",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "random-matching",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "team-tokens",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "exclusive-coalition-rights",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "correlated-mediator",
      "obedience": false,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": false,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "1/2",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": false,
      "mechanism": "universal-pooling",
      "obedience": true,
      "pairwise_stable": false,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "1/2",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": false,
      "mechanism": "sole-team-rescue",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "marginal-coalition-contribution",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "threshold-adjusted-equal-split",
      "obedience": false,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": false,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 2,
      "external_subsidy": "0",
      "fixture": "moderate",
      "implements_planner": true,
      "mechanism": "pairwise-matching-market",
      "obedience": "not-applicable-binding-within-pair",
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-binding-within-pair",
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "central-assignment",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "17/20",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "random-matching",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "17/20",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "team-tokens",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "17/20",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "exclusive-coalition-rights",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "17/20",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "correlated-mediator",
      "obedience": false,
      "pairwise_stable": false,
      "planner_discovery": "17/20",
      "strict_unilateral": false,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "3/5",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": false,
      "mechanism": "universal-pooling",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "17/20",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "3/5",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": false,
      "mechanism": "sole-team-rescue",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "17/20",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "marginal-coalition-contribution",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "17/20",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "threshold-adjusted-equal-split",
      "obedience": false,
      "pairwise_stable": false,
      "planner_discovery": "17/20",
      "strict_unilateral": false,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "17/20",
      "equilibrium_multiplicity": 1,
      "external_subsidy": "0",
      "fixture": "steep",
      "implements_planner": true,
      "mechanism": "pairwise-matching-market",
      "obedience": "not-applicable-binding-within-pair",
      "pairwise_stable": false,
      "planner_discovery": "17/20",
      "strict_unilateral": "not-applicable-binding-within-pair",
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "central-assignment",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": "not-applicable-authoritative-commitment",
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "random-matching",
      "obedience": "not-applicable-authoritative-commitment",
      "pairwise_stable": "not-applicable-authoritative-commitment",
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-authoritative-commitment",
      "tau_stable": "not-applicable-authoritative-commitment",
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "team-tokens",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 25,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "exclusive-coalition-rights",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "correlated-mediator",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "9/20",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": false,
      "mechanism": "universal-pooling",
      "obedience": true,
      "pairwise_stable": false,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": false,
      "weak_budget_balance": true
    },
    {
      "discovery": "9/20",
      "equilibrium_multiplicity": 3,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": false,
      "mechanism": "sole-team-rescue",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 21,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "marginal-coalition-contribution",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 9,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "threshold-adjusted-equal-split",
      "obedience": true,
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": true,
      "tau_stable": true,
      "weak_budget_balance": true
    },
    {
      "discovery": "4/5",
      "equilibrium_multiplicity": 2,
      "external_subsidy": "0",
      "fixture": "near-tied",
      "implements_planner": true,
      "mechanism": "pairwise-matching-market",
      "obedience": "not-applicable-binding-within-pair",
      "pairwise_stable": true,
      "planner_discovery": "4/5",
      "strict_unilateral": "not-applicable-binding-within-pair",
      "tau_stable": true,
      "weak_budget_balance": true
    }
  ],
  "run_id": "20260722T051847Z_DD-018_a193f602_3b3ddac173",
  "schema_version": 1,
  "study_id": "DD-018"
}