bundle/v0/configs/hypergradient_validation_v1.json

{
  "schema_version": 1,
  "validation_id": "loss-aware-dro-hypergradient-components-v1",
  "evidence_scale": "BOUNDED_COMPONENT_VALIDATION_NOT_PAPER_SCALE",
  "requires_clean_worktree": true,
  "paper_plan": "configs/paper_scale.json",
  "central_difference_steps": [0.0001, 0.00001, 0.000001],
  "primary_step": 0.00001,
  "relative_error_threshold": 0.001,
  "absolute_error_threshold": 0.000001,
  "solver_residual_max": 0.0000001,
  "transport_residual_max": 0.0000001,
  "step_pass_policy": {
    "primary_step_must_pass": true,
    "minimum_passing_steps": 2,
    "criterion": "relative_error_lte_relative_threshold_or_max_absolute_error_lte_absolute_threshold"
  },
  "routes": [
    {
      "route_id": "gaussian_portfolio_gaussian_exact",
      "route_family": "gaussian_portfolio",
      "task_selector": "portfolio_gaussian_main/d001/r00/n010",
      "source_config": "configs/cpu_canary_v14.json",
      "risk_coefficient_mode": "gaussian_exact",
      "implementation": "independent_gaussian_portfolio_socp_dual_envelope"
    },
    {
      "route_id": "gaussian_portfolio_moment_class",
      "route_family": "gaussian_portfolio",
      "task_selector": "portfolio_gaussian_main/d001/r00/n010",
      "source_config": "configs/cpu_canary_v15.json",
      "risk_coefficient_mode": "moment_class",
      "implementation": "independent_gaussian_portfolio_socp_dual_envelope"
    },
    {
      "route_id": "empirical_w1_portfolio",
      "route_family": "empirical_w1_portfolio",
      "task_selector": "portfolio_discrete/d001/r00/n010",
      "source_config": "configs/appendix_canary_v5.json",
      "source_route": "empirical_w1_portfolio",
      "wasserstein_order": 1,
      "implementation": "appendix_a2_1_type1_independent_socp"
    },
    {
      "route_id": "absolute_regression",
      "route_family": "absolute_regression",
      "task_selector": "regression_absolute_main/d001/r00/n010",
      "source_config": "configs/appendix_canary_v5.json",
      "source_route": "absolute_regression",
      "wasserstein_order": 1,
      "implementation": "appendix_a3_1_w1_absolute_independent_socp"
    },
    {
      "route_id": "squared_regression",
      "route_family": "squared_regression",
      "task_selector": "regression_squared/d001/r00/n010",
      "source_config": "configs/appendix_canary_v5.json",
      "source_route": "squared_regression",
      "wasserstein_order": 2,
      "implementation": "appendix_a3_2_w2_root_socp_postsolve_square"
    }
  ],
  "required_route_families": [
    "gaussian_portfolio",
    "empirical_w1_portfolio",
    "absolute_regression",
    "squared_regression"
  ],
  "required_components": [
    "distance",
    "lower_value",
    "active_lower_value",
    "smoothed_violation",
    "active_coverage_penalty",
    "total_hypergradient"
  ],
  "additional_required_components": {
    "squared_regression": ["root_lower_value"]
  },
  "claim_scope": {
    "C1": "component-level evidence for differentiating each implemented lower-level route and the full outer objective",
    "C2": "component-level evidence for the hypergradient oracle only; it does not establish convergence",
    "scientific_verdicts": {"C1": "HOLD", "C2": "HOLD", "C3": "HOLD"}
  },
  "authority": {
    "paid_compute": false,
    "external_inference": false,
    "remote_evaluation": false,
    "training": false,
    "push": false,
    "publish": false
  }
}