{
  "schema": "classical-reconstruction-donadi-hall-comparison/v1",
  "source": {
    "doi": "10.1103/PhysRevA.106.022212",
    "arxiv": "2010.01327",
    "model": "Donadi-Hossenfelder local deterministic collapse toy model"
  },
  "status": "REPRESENTATION_NOT_HALL_MECHANISM",
  "generated_equivalent": {
    "hidden_variable": "u uniform on [0,1)",
    "outcome_map": "deterministic cumulative selection from setting-dependent singlet Born weights",
    "N_per_setting_pair": 400000,
    "cases": [
      {
        "a": 0.0,
        "b": 0.7853981633974483,
        "correlation": -0.70711,
        "target": -0.7071067811865476,
        "Aplus": 0.5,
        "Bplus": 0.5,
        "joint": [
          0.0732225,
          0.4267775,
          0.4267775,
          0.0732225
        ]
      },
      {
        "a": 0.0,
        "b": -0.7853981633974483,
        "correlation": -0.70711,
        "target": -0.7071067811865476,
        "Aplus": 0.5,
        "Bplus": 0.5,
        "joint": [
          0.0732225,
          0.4267775,
          0.4267775,
          0.0732225
        ]
      },
      {
        "a": 1.5707963267948966,
        "b": 0.7853981633974483,
        "correlation": -0.70711,
        "target": -0.7071067811865476,
        "Aplus": 0.5,
        "Bplus": 0.5,
        "joint": [
          0.0732225,
          0.4267775,
          0.4267775,
          0.0732225
        ]
      },
      {
        "a": 1.5707963267948966,
        "b": -0.7853981633974483,
        "correlation": 0.70711,
        "target": 0.7071067811865475,
        "Aplus": 0.5,
        "Bplus": 0.5,
        "joint": [
          0.4267775,
          0.0732225,
          0.0732225,
          0.4267775
        ]
      }
    ],
    "CHSH_abs": 2.82844,
    "target_CHSH": 2.8284271247461903,
    "max_correlation_error": 3.218813452554592e-06,
    "max_marginal_error": 0.0
  },
  "hall_comparison": {
    "Hall_M_corrected": 0.2764337057326622,
    "u_source_density_M": 0.0,
    "why_not_comparable": "With u alone the source density is setting-independent, but the deterministic joint outcome map depends on both settings. This is not Bell-local factorization A(a,lambda)B(b,lambda). Repackaging the setting-dependent effective dynamics into lambda_eff makes lambda_eff setting-dependent, but the paper does not derive a unique Hall-like density or its M."
  },
  "ontology_audit": {
    "uses_Hilbert_space_amplitudes": true,
    "uses_Lindblad_form_dynamics": true,
    "uses_detector_eigenbasis_as_external_input": true,
    "satisfies_project_classical_ontology_contract": false
  },
  "mechanism_bill": [
    "Derive detector-setting dependence from explicit detector/environment dynamics rather than hard-coding the measured eigenbasis.",
    "Specify a physical lambda space whose conditional density p(lambda|x,y) follows from that dynamics.",
    "Recover singlet correlations with local factorization at the declared lambda level or state explicitly which Bell premise is relaxed.",
    "Produce a discriminating prediction not inherited from the Born weights used as input."
  ],
  "scope_exclusion": "This executable confirms the logical/statistical representation route, not a classical field mechanism and not Hall-equivalent measurement dependence."
}