{
  "framework": "The Alignment Constraint Framework",
  "canonical_url": "https://alignmentconstraint.org",
  "open_problems": [
    {
      "id": "OP4d",
      "name": "Exhaustiveness Obligation",
      "question": "Are PCL, AGC, and ICI exhaustive over all finite non-intrinsic objective-boundary strategies in O_OWT environments?",
      "status": "Stage 4 candidate architecture; not theorem closure",
      "would_close_if": "A formal argument shows every finite objective-boundary strategy reduces to PCL, AGC, or ICI under O_OWT conditions.",
      "would_break_if": "A fourth strategy class satisfies all three stability conditions simultaneously — policy-adequate without decoupling, no unbounded revision requirement, no load-bearing maintenance cost.",
      "specialist_types": ["formal methods", "game theory", "causal systems"],
      "entry_points": [
        "https://alignmentconstraint.org/proof-program/op4d-exhaustiveness-obligation/",
        "https://alignmentconstraint.org/proof-program/op4d-candidate-normal-form/",
        "https://alignmentconstraint.org/core/for-researchers/"
      ]
    },
    {
      "id": "DBST-M1",
      "name": "Dynamic Blanket Stress Test M1",
      "question": "Do an optimizer's own interventions in O_OWT environments generate qualitatively new causal structure faster than any bounded tracking process can absorb?",
      "status": "proposed empirical hinge; DBST-M0 did not isolate causal propagation from event-rate effects",
      "would_support_AGC_if": "Positive DBST-M1 result under stated conditions.",
      "would_weaken_AGC_if": "Clean negative DBST-M1 result under stated conditions — the most valuable possible outcome.",
      "specialist_types": ["empirical ML", "causal inference", "frontier model evaluation"],
      "entry_points": [
        "https://alignmentconstraint.org/empirical/amp/",
        "https://alignmentconstraint.org/proof-program/packet-1-immb-ns-dbst/"
      ]
    },
    {
      "id": "B1",
      "name": "Audit Regress",
      "question": "Can a prediction/action firewall keep excluded variables X out of the objective while using X deeply enough for prediction accuracy in O_OWT environments?",
      "status": "Stage 4 handoff; specialist verification required",
      "would_close_if": "Formal methods review confirms the CIT/SOMR chain — complexity of X-tracking grows without bound under OWT-2.",
      "would_break_or_scope_if": "Safe residual manifold or quiet manifold construction survives adversarial review.",
      "specialist_types": ["formal methods", "game theory", "causal systems"],
      "entry_points": [
        "https://alignmentconstraint.org/specialist-handoff/b1-audit-regress-handoff/"
      ]
    },
    {
      "id": "Vt_dissociation",
      "name": "V(t) Latent Construct Validation",
      "question": "Is V(t) a supported latent explanatory construct for the joint behavior of recovery latency, behavioral diversity, and signal sensitivity in human subjects?",
      "status": "Draft protocol; not ready to file or run; requires latent-variable specialist review",
      "note": "Do not cite as a result. Pre-registration required before data collection.",
      "specialist_types": ["latent-variable modeling", "structural equation modeling"],
      "entry_points": [
        "https://alignmentconstraint.org/empirical/vt-dissociation-study/"
      ]
    },
    {
      "id": "DRG_mechanism",
      "name": "DRG Frame Manipulation Mechanism Discrimination",
      "question": "Can frame manipulation versus matched-signal controls discriminate between policy-level gap and training-distribution explanations for completion-recognition failures in frontier models?",
      "status": "Prospective pre-registration; prior matched-signal replication null reported (criterion not met in 1 of 3 models)",
      "specialist_types": ["causal inference", "NLP evaluation", "frontier model evaluation"],
      "entry_points": [
        "https://alignmentconstraint.org/empirical/drg-frame-manipulation-preregistration/"
      ]
    }
  ]
}