{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://artifacts.apis.io/factorguide-io/json-schema/factorguide-io-navigate-response-schema.json",
  "title": "NavigateResponse",
  "x-generated": "2026-11-07",
  "x-method": "derived",
  "x-generator": "derive-json-schema.py",
  "x-source": "openapi/factorguide-io-openapi.json#/components/schemas/NavigateResponse",
  "properties": {
    "factorguide_version": {
      "type": "string",
      "title": "Factorguide Version",
      "default": "1.2.1"
    },
    "response_tier": {
      "type": "string",
      "const": "paid",
      "title": "Response Tier",
      "default": "paid"
    },
    "tier": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "title": "Tier"
    },
    "request_hash": {
      "type": "string",
      "title": "Request Hash"
    },
    "timestamp": {
      "type": "string",
      "title": "Timestamp"
    },
    "theta_version": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "title": "Theta Version"
    },
    "input_validation": {
      "$ref": "#/$defs/InputValidation"
    },
    "coupling_diagnostics": {
      "$ref": "#/$defs/CouplingDiagnostics"
    },
    "dipole_analysis": {
      "$ref": "#/$defs/DipoleAnalysis"
    },
    "sign_detectability": {
      "anyOf": [
        {
          "$ref": "#/$defs/SignDetectability"
        },
        {
          "type": "null"
        }
      ]
    },
    "cc_asymmetry": {
      "anyOf": [
        {
          "$ref": "#/$defs/CCAsymmetry"
        },
        {
          "type": "null"
        }
      ]
    },
    "synergy": {
      "anyOf": [
        {
          "$ref": "#/$defs/SynergyAnalysis"
        },
        {
          "type": "null"
        }
      ]
    },
    "recommended_strategy": {
      "$ref": "#/$defs/RecommendedStrategy"
    },
    "what_if": {
      "anyOf": [
        {
          "$ref": "#/$defs/WhatIfAnalysis"
        },
        {
          "type": "null"
        }
      ]
    },
    "confidence": {
      "$ref": "#/$defs/Confidence"
    },
    "prediction": {
      "$ref": "#/$defs/Prediction"
    },
    "if_you_want_better": {
      "$ref": "#/$defs/IfYouWantBetter"
    },
    "spectral_summary": {
      "anyOf": [
        {
          "$ref": "#/$defs/SpectralSummary"
        },
        {
          "type": "null"
        }
      ]
    },
    "stabilizer_summary": {
      "anyOf": [
        {
          "$ref": "#/$defs/StabilizerSummary"
        },
        {
          "type": "null"
        }
      ]
    },
    "encoding_label": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "title": "Encoding Label"
    },
    "reserved_fields_noted": {
      "items": {
        "type": "string"
      },
      "type": "array",
      "title": "Reserved Fields Noted"
    },
    "outcome_callback": {
      "$ref": "#/$defs/OutcomeCallback"
    }
  },
  "type": "object",
  "required": [
    "request_hash",
    "timestamp",
    "input_validation",
    "coupling_diagnostics",
    "dipole_analysis",
    "recommended_strategy",
    "confidence",
    "prediction",
    "if_you_want_better",
    "outcome_callback"
  ],
  "$defs": {
    "Block": {
      "properties": {
        "variables": {
          "items": {
            "type": "string"
          },
          "type": "array",
          "title": "Variables"
        },
        "max_internal_ic": {
          "type": "number",
          "title": "Max Internal Ic"
        },
        "min_internal_ic": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Min Internal Ic"
        },
        "cost": {
          "type": "number",
          "title": "Cost"
        },
        "cost_model": {
          "type": "string",
          "title": "Cost Model"
        },
        "reason": {
          "type": "string",
          "title": "Reason"
        },
        "information_cost_nats": {
          "type": "number",
          "title": "Information Cost Nats"
        }
      },
      "type": "object",
      "required": [
        "variables",
        "max_internal_ic",
        "cost",
        "cost_model",
        "reason",
        "information_cost_nats"
      ],
      "title": "Block"
    },
    "CCAsymmetry": {
      "properties": {
        "status": {
          "type": "string",
          "title": "Status"
        },
        "available_in": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Available In"
        },
        "note": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Note"
        },
        "pairs": {
          "anyOf": [
            {
              "items": {
                "additionalProperties": true,
                "type": "object"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Pairs"
        }
      },
      "type": "object",
      "required": [
        "status"
      ],
      "title": "CCAsymmetry",
      "description": "CC (cross-coupling) asymmetry output for control-theory tasks.\n\nWhen ``status`` is ``reserved``, the implementation has not yet populated\nper-pair leverage; the field still exists so agents can introspect the\nfuture shape without seeing a bare ``null``. When ``status`` is\n``populated``, ``pairs`` holds per-pair CC² = IC² estimates derived from\nthe covariance input (wave-mechanics identity, v1.1 §8.3)."
    },
    "ConditionNumberAction": {
      "type": "string",
      "enum": [
        "normal",
        "caution",
        "warning",
        "reject",
        "not_applicable"
      ],
      "title": "ConditionNumberAction"
    },
    "Confidence": {
      "properties": {
        "overall": {
          "$ref": "#/$defs/ConfidenceLevel"
        },
        "coupling_quality": {
          "type": "string",
          "title": "Coupling Quality"
        },
        "calibration_match": {
          "type": "string",
          "title": "Calibration Match"
        },
        "precision_estimation": {
          "type": "string",
          "title": "Precision Estimation"
        },
        "nonlinearity_check": {
          "type": "string",
          "title": "Nonlinearity Check"
        },
        "definite_fraction": {
          "type": "number",
          "title": "Definite Fraction"
        },
        "extrapolation_distance": {
          "anyOf": [
            {
              "additionalProperties": true,
              "type": "object"
            },
            {
              "type": "null"
            }
          ],
          "title": "Extrapolation Distance"
        }
      },
      "type": "object",
      "required": [
        "overall",
        "coupling_quality",
        "calibration_match",
        "precision_estimation",
        "nonlinearity_check",
        "definite_fraction"
      ],
      "title": "Confidence"
    },
    "ConfidenceLevel": {
      "type": "string",
      "enum": [
        "high",
        "medium",
        "low",
        "extrapolated",
        "unavailable"
      ],
      "title": "ConfidenceLevel"
    },
    "CouplingDiagnostics": {
      "properties": {
        "ic_type": {
          "type": "string",
          "title": "Ic Type"
        },
        "marginal_conditional_divergence": {
          "type": "number",
          "title": "Marginal Conditional Divergence"
        },
        "divergence_interpretation": {
          "type": "string",
          "title": "Divergence Interpretation"
        },
        "pairs_with_divergence_gt_0.2": {
          "type": "integer",
          "title": "Pairs With Divergence Gt 0.2"
        },
        "conditional_independence_fraction": {
          "type": "number",
          "title": "Conditional Independence Fraction"
        },
        "ic_crit_fraction": {
          "type": "number",
          "title": "Ic Crit Fraction"
        }
      },
      "type": "object",
      "required": [
        "ic_type",
        "marginal_conditional_divergence",
        "divergence_interpretation",
        "pairs_with_divergence_gt_0.2",
        "conditional_independence_fraction",
        "ic_crit_fraction"
      ],
      "title": "CouplingDiagnostics"
    },
    "DetectionCostClass": {
      "type": "string",
      "enum": [
        "free",
        "cheap",
        "marginal",
        "expensive"
      ],
      "title": "DetectionCostClass"
    },
    "DipoleAnalysis": {
      "properties": {
        "model_class_used": {
          "type": "string",
          "title": "Model Class Used"
        },
        "role_function": {
          "type": "string",
          "title": "Role Function"
        },
        "risk_curve": {
          "type": "string",
          "title": "Risk Curve"
        },
        "equilibrium_ic": {
          "type": "number",
          "title": "Equilibrium Ic"
        },
        "equilibrium_regime": {
          "type": "string",
          "title": "Equilibrium Regime"
        },
        "equilibrium_note": {
          "type": "string",
          "title": "Equilibrium Note"
        },
        "zone_boundaries": {
          "additionalProperties": {
            "type": "number"
          },
          "type": "object",
          "title": "Zone Boundaries"
        },
        "pair_classification": {
          "items": {
            "$ref": "#/$defs/PairClassificationEntry"
          },
          "type": "array",
          "title": "Pair Classification"
        }
      },
      "type": "object",
      "required": [
        "model_class_used",
        "role_function",
        "risk_curve",
        "equilibrium_ic",
        "equilibrium_regime",
        "equilibrium_note",
        "zone_boundaries",
        "pair_classification"
      ],
      "title": "DipoleAnalysis"
    },
    "IfYouWantBetter": {
      "properties": {
        "missing": {
          "items": {
            "type": "string"
          },
          "type": "array",
          "title": "Missing"
        },
        "would_improve": {
          "items": {
            "type": "string"
          },
          "type": "array",
          "title": "Would Improve"
        },
        "observational_cost_guidance": {
          "anyOf": [
            {
              "$ref": "#/$defs/ObservationalCostGuidance"
            },
            {
              "type": "null"
            }
          ]
        }
      },
      "type": "object",
      "title": "IfYouWantBetter"
    },
    "InputValidation": {
      "properties": {
        "matrix_symmetric": {
          "type": "boolean",
          "title": "Matrix Symmetric"
        },
        "positive_definite": {
          "type": "boolean",
          "title": "Positive Definite"
        },
        "condition_number": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Condition Number"
        },
        "condition_number_action": {
          "$ref": "#/$defs/ConditionNumberAction"
        },
        "noise_floor": {
          "type": "number",
          "title": "Noise Floor"
        },
        "pairs_below_noise_floor": {
          "type": "integer",
          "title": "Pairs Below Noise Floor"
        },
        "effective_rank": {
          "type": "integer",
          "title": "Effective Rank"
        },
        "shrinkage_applied": {
          "type": "boolean",
          "title": "Shrinkage Applied"
        },
        "precision_estimation_method": {
          "type": "string",
          "title": "Precision Estimation Method"
        },
        "aspect_ratio": {
          "type": "number",
          "title": "Aspect Ratio"
        },
        "aspect_ratio_reliability": {
          "type": "string",
          "title": "Aspect Ratio Reliability"
        },
        "variance_data_available": {
          "type": "boolean",
          "title": "Variance Data Available"
        },
        "variance_ratio": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Variance Ratio"
        },
        "variance_ratio_action": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Variance Ratio Action"
        },
        "warnings": {
          "items": {
            "type": "string"
          },
          "type": "array",
          "title": "Warnings"
        }
      },
      "type": "object",
      "required": [
        "matrix_symmetric",
        "positive_definite",
        "condition_number_action",
        "noise_floor",
        "pairs_below_noise_floor",
        "effective_rank",
        "shrinkage_applied",
        "precision_estimation_method",
        "aspect_ratio",
        "aspect_ratio_reliability",
        "variance_data_available"
      ],
      "title": "InputValidation"
    },
    "ObservationalCostGuidance": {
      "properties": {
        "note": {
          "type": "string",
          "title": "Note"
        },
        "current_capability": {
          "type": "string",
          "title": "Current Capability"
        },
        "current_relative_cost": {
          "type": "number",
          "title": "Current Relative Cost"
        },
        "upgrades": {
          "items": {
            "$ref": "#/$defs/ObservationalUpgrade"
          },
          "type": "array",
          "title": "Upgrades"
        }
      },
      "type": "object",
      "required": [
        "note",
        "current_capability",
        "current_relative_cost"
      ],
      "title": "ObservationalCostGuidance"
    },
    "ObservationalUpgrade": {
      "properties": {
        "capability": {
          "type": "string",
          "title": "Capability"
        },
        "relative_cost": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "string"
            }
          ],
          "title": "Relative Cost"
        },
        "requires": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Requires"
        },
        "availability": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Availability"
        },
        "pairs_where_nearly_free": {
          "anyOf": [
            {
              "items": {
                "type": "string"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Pairs Where Nearly Free"
        },
        "pairs_with_free_sign": {
          "anyOf": [
            {
              "items": {
                "type": "string"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Pairs With Free Sign"
        },
        "note": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Note"
        }
      },
      "type": "object",
      "required": [
        "capability",
        "relative_cost"
      ],
      "title": "ObservationalUpgrade"
    },
    "OutcomeCallback": {
      "properties": {
        "prediction_hash": {
          "type": "string",
          "title": "Prediction Hash"
        },
        "report_template": {
          "$ref": "#/$defs/ReportTemplate"
        },
        "tool": {
          "type": "string",
          "title": "Tool",
          "default": "factorguide_report_outcome"
        },
        "note": {
          "type": "string",
          "title": "Note",
          "default": ""
        }
      },
      "type": "object",
      "required": [
        "prediction_hash",
        "report_template"
      ],
      "title": "OutcomeCallback"
    },
    "PairClassificationEntry": {
      "properties": {
        "i": {
          "type": "string",
          "title": "I"
        },
        "j": {
          "type": "string",
          "title": "J"
        },
        "ic": {
          "type": "number",
          "title": "Ic"
        },
        "zone": {
          "type": "integer",
          "title": "Zone"
        },
        "recommendation": {
          "type": "string",
          "title": "Recommendation"
        },
        "confidence": {
          "type": "string",
          "title": "Confidence"
        },
        "information_cost_nats": {
          "type": "number",
          "title": "Information Cost Nats",
          "default": 0.0
        },
        "mi_nats": {
          "type": "number",
          "title": "Mi Nats",
          "default": 0.0
        },
        "model_class_action": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Model Class Action"
        },
        "below_noise_floor": {
          "type": "boolean",
          "title": "Below Noise Floor",
          "default": false
        },
        "marginal_ic": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Marginal Ic"
        },
        "marginal_partial_divergence": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Marginal Partial Divergence"
        },
        "coupling_interpretation": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Coupling Interpretation"
        },
        "conditional_contribution": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Conditional Contribution"
        }
      },
      "type": "object",
      "required": [
        "i",
        "j",
        "ic",
        "zone",
        "recommendation",
        "confidence"
      ],
      "title": "PairClassificationEntry"
    },
    "Prediction": {
      "properties": {
        "predicted_mse_ratio": {
          "type": "number",
          "title": "Predicted Mse Ratio"
        },
        "confidence_interval_90": {
          "items": {
            "type": "number"
          },
          "type": "array",
          "title": "Confidence Interval 90"
        },
        "falsification_criterion": {
          "type": "string",
          "title": "Falsification Criterion"
        },
        "prediction_hash": {
          "type": "string",
          "title": "Prediction Hash"
        }
      },
      "type": "object",
      "required": [
        "predicted_mse_ratio",
        "confidence_interval_90",
        "falsification_criterion",
        "prediction_hash"
      ],
      "title": "Prediction"
    },
    "PreservedEdge": {
      "properties": {
        "i": {
          "type": "string",
          "title": "I"
        },
        "j": {
          "type": "string",
          "title": "J"
        },
        "ic": {
          "type": "number",
          "title": "Ic"
        },
        "zone": {
          "type": "integer",
          "title": "Zone"
        }
      },
      "type": "object",
      "required": [
        "i",
        "j",
        "ic",
        "zone"
      ],
      "title": "PreservedEdge"
    },
    "RecommendedStrategy": {
      "properties": {
        "blocks": {
          "items": {
            "$ref": "#/$defs/Block"
          },
          "type": "array",
          "title": "Blocks"
        },
        "independent_variables": {
          "items": {
            "type": "string"
          },
          "type": "array",
          "title": "Independent Variables"
        },
        "total_cost": {
          "type": "number",
          "title": "Total Cost"
        },
        "full_structured_cost": {
          "type": "number",
          "title": "Full Structured Cost"
        },
        "cost_ratio": {
          "type": "number",
          "title": "Cost Ratio"
        },
        "fidelity_preserved": {
          "type": "number",
          "title": "Fidelity Preserved"
        },
        "predicted_mse_overhead": {
          "type": "number",
          "title": "Predicted Mse Overhead"
        },
        "severed_pair_costs": {
          "items": {
            "$ref": "#/$defs/SeveredPairCost"
          },
          "type": "array",
          "title": "Severed Pair Costs"
        },
        "preserved_edges": {
          "items": {
            "$ref": "#/$defs/PreservedEdge"
          },
          "type": "array",
          "title": "Preserved Edges"
        },
        "severed_edges": {
          "items": {
            "$ref": "#/$defs/SeveredEdge"
          },
          "type": "array",
          "title": "Severed Edges"
        },
        "severance_priority": {
          "anyOf": [
            {
              "items": {
                "additionalProperties": true,
                "type": "object"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Severance Priority"
        },
        "zone2_triage": {
          "anyOf": [
            {
              "additionalProperties": true,
              "type": "object"
            },
            {
              "type": "null"
            }
          ],
          "title": "Zone2 Triage"
        }
      },
      "type": "object",
      "required": [
        "blocks",
        "total_cost",
        "full_structured_cost",
        "cost_ratio",
        "fidelity_preserved",
        "predicted_mse_overhead"
      ],
      "title": "RecommendedStrategy"
    },
    "ReportTemplate": {
      "properties": {
        "prediction_hash": {
          "type": "string",
          "title": "Prediction Hash"
        },
        "approach_taken": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Approach Taken"
        },
        "ess_ratio": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Ess Ratio"
        },
        "psis_khat": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Psis Khat"
        },
        "log_lik_gap": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Log Lik Gap"
        }
      },
      "type": "object",
      "required": [
        "prediction_hash"
      ],
      "title": "ReportTemplate"
    },
    "SeveredEdge": {
      "properties": {
        "i": {
          "type": "string",
          "title": "I"
        },
        "j": {
          "type": "string",
          "title": "J"
        },
        "ic": {
          "type": "number",
          "title": "Ic"
        },
        "zone": {
          "type": "integer",
          "title": "Zone"
        },
        "information_cost_nats": {
          "type": "number",
          "title": "Information Cost Nats"
        }
      },
      "type": "object",
      "required": [
        "i",
        "j",
        "ic",
        "zone",
        "information_cost_nats"
      ],
      "title": "SeveredEdge"
    },
    "SeveredPairCost": {
      "properties": {
        "i": {
          "type": "string",
          "title": "I"
        },
        "j": {
          "type": "string",
          "title": "J"
        },
        "ic": {
          "type": "number",
          "title": "Ic"
        },
        "V_ic": {
          "type": "number",
          "title": "V Ic"
        },
        "conditional_information_lost_nats": {
          "type": "number",
          "title": "Conditional Information Lost Nats"
        }
      },
      "type": "object",
      "required": [
        "i",
        "j",
        "ic",
        "V_ic",
        "conditional_information_lost_nats"
      ],
      "title": "SeveredPairCost"
    },
    "SignDetectability": {
      "properties": {
        "available": {
          "type": "boolean",
          "title": "Available"
        },
        "note": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Note"
        },
        "reason": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "type": "null"
            }
          ],
          "title": "Reason"
        },
        "pairs": {
          "items": {
            "$ref": "#/$defs/SignDetectabilityPair"
          },
          "type": "array",
          "title": "Pairs"
        }
      },
      "type": "object",
      "required": [
        "available"
      ],
      "title": "SignDetectability"
    },
    "SignDetectabilityPair": {
      "properties": {
        "i": {
          "type": "string",
          "title": "I"
        },
        "j": {
          "type": "string",
          "title": "J"
        },
        "ic": {
          "type": "number",
          "title": "Ic"
        },
        "variance_ratio": {
          "type": "number",
          "title": "Variance Ratio"
        },
        "k_eff": {
          "type": "number",
          "title": "K Eff"
        },
        "even_odd_gap": {
          "type": "number",
          "title": "Even Odd Gap"
        },
        "sign_detectable": {
          "type": "boolean",
          "title": "Sign Detectable"
        },
        "signed_ic": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Signed Ic"
        },
        "detection_cost_class": {
          "$ref": "#/$defs/DetectionCostClass"
        }
      },
      "type": "object",
      "required": [
        "i",
        "j",
        "ic",
        "variance_ratio",
        "k_eff",
        "even_odd_gap",
        "sign_detectable",
        "detection_cost_class"
      ],
      "title": "SignDetectabilityPair"
    },
    "SpectralSummary": {
      "properties": {
        "n_variables": {
          "type": "integer",
          "title": "N Variables"
        },
        "threshold_used": {
          "type": "number",
          "title": "Threshold Used"
        },
        "n_edges_above_threshold": {
          "type": "integer",
          "title": "N Edges Above Threshold"
        },
        "algebraic_connectivity": {
          "type": "number",
          "title": "Algebraic Connectivity"
        },
        "spectral_gap_ratio": {
          "type": "number",
          "title": "Spectral Gap Ratio"
        },
        "fiedler_partition": {
          "anyOf": [
            {
              "items": {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Fiedler Partition"
        },
        "connectivity_class": {
          "type": "string",
          "title": "Connectivity Class"
        },
        "note": {
          "type": "string",
          "title": "Note"
        }
      },
      "type": "object",
      "required": [
        "n_variables",
        "threshold_used",
        "n_edges_above_threshold",
        "algebraic_connectivity",
        "spectral_gap_ratio",
        "connectivity_class",
        "note"
      ],
      "title": "SpectralSummary"
    },
    "StabilizerSummary": {
      "properties": {
        "n_variables": {
          "type": "integer",
          "title": "N Variables"
        },
        "n_pairs": {
          "type": "integer",
          "title": "N Pairs"
        },
        "ic_distribution": {
          "additionalProperties": {
            "type": "number"
          },
          "type": "object",
          "title": "Ic Distribution"
        },
        "coupling_regime": {
          "type": "string",
          "title": "Coupling Regime"
        },
        "connectivity_profile": {
          "type": "string",
          "title": "Connectivity Profile"
        },
        "total_cost_nats": {
          "type": "number",
          "title": "Total Cost Nats"
        },
        "mean_cost_per_pair_nats": {
          "type": "number",
          "title": "Mean Cost Per Pair Nats"
        },
        "noise_floor": {
          "type": "number",
          "title": "Noise Floor"
        },
        "effective_rank": {
          "type": "integer",
          "title": "Effective Rank"
        },
        "zone_distribution": {
          "additionalProperties": {
            "type": "integer"
          },
          "type": "object",
          "title": "Zone Distribution"
        },
        "note": {
          "type": "string",
          "title": "Note"
        }
      },
      "type": "object",
      "required": [
        "n_variables",
        "n_pairs",
        "ic_distribution",
        "coupling_regime",
        "connectivity_profile",
        "total_cost_nats",
        "mean_cost_per_pair_nats",
        "noise_floor",
        "effective_rank",
        "zone_distribution",
        "note"
      ],
      "title": "StabilizerSummary"
    },
    "SynergyAnalysis": {
      "properties": {
        "method": {
          "type": "string",
          "title": "Method",
          "default": "two_stage_protocol"
        },
        "stage_1_ic2": {
          "$ref": "#/$defs/SynergyStage1"
        },
        "stage_2_ic_int": {
          "type": "string",
          "title": "Stage 2 Ic Int",
          "default": "deferred (requires Walsh-Hadamard over truth table)"
        },
        "synergy_candidate": {
          "type": "boolean",
          "title": "Synergy Candidate",
          "default": false
        },
        "mediation_triples": {
          "anyOf": [
            {
              "items": {
                "additionalProperties": true,
                "type": "object"
              },
              "type": "array"
            },
            {
              "type": "null"
            }
          ],
          "title": "Mediation Triples"
        }
      },
      "type": "object",
      "required": [
        "stage_1_ic2"
      ],
      "title": "SynergyAnalysis",
      "description": "Stage-1 synergy detection summary (IC₂ pairwise heuristic).\n\nFull Walsh-Hadamard IC₃ is deferred; this field surfaces candidate\ntriples from the precision matrix where every pairwise |IC| is below\nthe noise floor but the marginal-conditional divergence is high,\nflagging regions of the coupling graph that may carry higher-order\nstructure invisible to pairwise analysis."
    },
    "SynergyStage1": {
      "properties": {
        "status": {
          "type": "string",
          "title": "Status"
        },
        "note": {
          "type": "string",
          "title": "Note"
        },
        "candidate_triples": {
          "items": {
            "additionalProperties": true,
            "type": "object"
          },
          "type": "array",
          "title": "Candidate Triples"
        }
      },
      "type": "object",
      "required": [
        "status",
        "note"
      ],
      "title": "SynergyStage1"
    },
    "WhatIfAnalysis": {
      "properties": {
        "fully_independent": {
          "$ref": "#/$defs/WhatIfScenario"
        },
        "preserve_zone3_only": {
          "$ref": "#/$defs/WhatIfScenario"
        },
        "recommended": {
          "$ref": "#/$defs/WhatIfScenario"
        }
      },
      "type": "object",
      "required": [
        "fully_independent",
        "preserve_zone3_only",
        "recommended"
      ],
      "title": "WhatIfAnalysis"
    },
    "WhatIfScenario": {
      "properties": {
        "total_information_cost_nats": {
          "type": "number",
          "title": "Total Information Cost Nats"
        },
        "predicted_mse_overhead": {
          "anyOf": [
            {
              "type": "number"
            },
            {
              "type": "null"
            }
          ],
          "title": "Predicted Mse Overhead"
        },
        "pairs_severed": {
          "type": "integer",
          "title": "Pairs Severed"
        }
      },
      "type": "object",
      "required": [
        "total_information_cost_nats",
        "pairs_severed"
      ],
      "title": "WhatIfScenario"
    }
  }
}