bundle/v0/configs/full_matrix_analysis.schema.json

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "type": "object",
  "additionalProperties": false,
  "required": ["schema_version", "analysis_id", "required_task_count", "required_execution_config", "censoring", "uncertainty", "claims", "internal_routes", "extensions", "guardrails"],
  "properties": {
    "schema_version": {"type": "integer", "const": 2},
    "analysis_id": {"type": "string", "minLength": 1},
    "required_task_count": {"type": "integer", "const": 14000},
    "required_execution_config": {
      "type": "object", "additionalProperties": false,
      "required": ["schema_version", "execution_scale", "max_outer_iterations"],
      "properties": {"schema_version": {"type": "integer", "const": 2}, "execution_scale": {"const": "stopping_storage_sample"}, "max_outer_iterations": {"type": "integer", "const": 5000}}
    },
    "censoring": {
      "type": "object", "additionalProperties": false,
      "required": ["cap_iterations", "cap_reason", "cap_label", "worsening_reason", "tolerance_reason"],
      "properties": {"cap_iterations": {"type": "integer", "const": 5000}, "cap_reason": {"const": "maximum_outer_iterations_reached"}, "cap_label": {"const": "censored_at_5000"}, "worsening_reason": {"const": "paper_total_penalized_objective_worsened"}, "tolerance_reason": {"const": "paper_total_penalized_objective_improvement_below_tolerance"}}
    },
    "uncertainty": {
      "type": "object", "additionalProperties": false,
      "required": ["confidence_level", "bootstrap_replicates", "aggregation_unit", "within_distribution_aggregation", "interval", "seed_derivation"],
      "properties": {"confidence_level": {"type": "number", "minimum": 0.95, "exclusiveMaximum": 1.0}, "bootstrap_replicates": {"type": "integer", "minimum": 100}, "aggregation_unit": {"const": "distribution_id"}, "within_distribution_aggregation": {"const": "arithmetic_mean_over_dataset_replicates"}, "interval": {"const": "deterministic_percentile_bootstrap_linear_quantiles"}, "seed_derivation": {"const": "sha256_uint64_of_analysis_id_and_statistic_key"}}
    },
    "claims": {
      "type": "object", "additionalProperties": false,
      "required": ["A1", "A2", "A3", "A4", "A5", "A6"],
      "properties": {
        "A1": {"$ref": "#/$defs/pipelineClaim"},
        "A2": {"type": "object", "additionalProperties": false, "required": ["verification_mode", "default_without_valid_receipt"], "properties": {"verification_mode": {"const": "hard_disabled_until_independent_hash_bound_proof_receipts"}, "default_without_valid_receipt": {"const": "inconclusive"}}},
        "A3": {"type": "object", "additionalProperties": false, "required": ["required_suites", "verified_requires_external_finite_difference_receipt", "verified_requires_source_formula_audit", "verified_requires_nonsmooth_boundary_evidence", "current_maximum_verdict", "verified_requires_no_cap_censoring", "verified_requires_no_worsening_trigger"], "properties": {"required_suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}, "verified_requires_external_finite_difference_receipt": {"const": true}, "verified_requires_source_formula_audit": {"const": true}, "verified_requires_nonsmooth_boundary_evidence": {"const": true}, "current_maximum_verdict": {"const": "partially_verified"}, "verified_requires_no_cap_censoring": {"const": true}, "verified_requires_no_worsening_trigger": {"const": true}}},
        "A4": {"type": "object", "additionalProperties": false, "required": ["required_suite", "metrics", "trend", "anchored_setup", "verified_requires_exact_setup_and_paper_estimand_binding", "current_maximum_verdict", "slope_analysis_role"], "properties": {"required_suite": {"const": "portfolio_gaussian_main"}, "metrics": {"type": "array", "const": ["relative_worst_case_improvement", "relative_oos_improvement"]}, "trend": {"const": "improvement_increases_as_sample_size_decreases"}, "anchored_setup": {"type": "object", "additionalProperties": false, "required": ["k", "J", "n_b", "gamma", "beta"], "properties": {"k": {"const": 2}, "J": {"const": 30}, "n_b": {"const": 20}, "gamma": {"const": 0.05}, "beta": {"const": 0.1}}}, "verified_requires_exact_setup_and_paper_estimand_binding": {"const": true}, "current_maximum_verdict": {"const": "inconclusive"}, "slope_analysis_role": {"const": "extension_only"}}},
        "A5": {"type": "object", "additionalProperties": false, "required": ["required_suite", "coverage_target", "verified_requires_lower_ci_at_target_for_every_sample_size"], "properties": {"required_suite": {"const": "portfolio_gaussian_main"}, "coverage_target": {"type": "number", "const": 0.9}, "verified_requires_lower_ci_at_target_for_every_sample_size": {"const": true}}},
        "A6": {"type": "object", "additionalProperties": false, "required": ["required_suite", "metric", "independent_trial_count", "verified_requires_positive_lower_ci_at_every_sample_size", "verified_requires_every_distribution_mean_positive"], "properties": {"required_suite": {"const": "regression_absolute_main"}, "metric": {"const": "relative_oos_improvement"}, "independent_trial_count": {"type": "integer", "const": 10}, "verified_requires_positive_lower_ci_at_every_sample_size": {"const": true}, "verified_requires_every_distribution_mean_positive": {"const": true}}}
      }
    },
    "internal_routes": {
      "type": "object", "additionalProperties": false, "required": ["legacy_c1", "legacy_c3"],
      "properties": {
        "legacy_c1": {"type": "object", "additionalProperties": false, "required": ["required_suites"], "properties": {"required_suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}}},
        "legacy_c3": {"type": "object", "additionalProperties": false, "required": ["required_suites", "improvement_suites", "coverage_ablation_suite", "coverage_target"], "properties": {"required_suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}, "improvement_suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}, "coverage_ablation_suite": {"const": "portfolio_gaussian_coverage_ablation"}, "coverage_target": {"type": "number", "const": 0.9}}}
      }
    },
    "extensions": {"type": "object", "additionalProperties": false, "required": ["suites", "scored", "legacy_task_claim_labels_are_internal_routes_only"], "properties": {"suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}, "scored": {"const": false}, "legacy_task_claim_labels_are_internal_routes_only": {"const": true}}},
    "guardrails": {"type": "object", "additionalProperties": false, "required": ["A2", "extra_self_identified_claims"], "properties": {"A2": {"type": "string", "minLength": 1}, "extra_self_identified_claims": {"const": "extension_only"}}}
  },
  "$defs": {
    "nonemptyUniqueStrings": {"type": "array", "minItems": 1, "uniqueItems": true, "items": {"type": "string", "minLength": 1}},
    "pipelineClaim": {"type": "object", "additionalProperties": false, "required": ["required_suites", "verified_requires_no_cap_censoring", "verified_requires_no_worsening_trigger"], "properties": {"required_suites": {"$ref": "#/$defs/nonemptyUniqueStrings"}, "verified_requires_no_cap_censoring": {"const": true}, "verified_requires_no_worsening_trigger": {"const": true}}}
  }
}