{
  "acceptance": {
    "fine_geodesic_delta_error_below_1e-4": true,
    "fine_horizon_change_below_1e-10": true,
    "pre_quench_source_below_2e-6": true,
    "refinement_reduces_cutoff_error": true,
    "refinement_reduces_horizon_change": true,
    "thin_shell_crossing_saturates_causal_bound": true,
    "wrong_terminal_branch_detected": true
  },
  "diagnostics": {
    "exact_late_thermal_minus_vacuum_length": 0.11859205069122285,
    "interpretive_boundary": "The event horizon is teleological; it is not a boundary equilibration time. The geodesic check fixes only static limits and the thin-shell crossing bound.",
    "reference_event_horizon_z_at_shell_center": 1.0244526567196177,
    "source_mass_at_v_minus_one": 1.6195941692220828e-06,
    "source_time_at_99_percent_final_energy": 0.3446339887600943,
    "wrong_terminal_branch_error": 0.09999999999999998
  },
  "environment": {
    "actual": {
      "floating_point": "IEEE-754 binary64",
      "numpy": "2.0.2",
      "python": "3.11.4",
      "scipy": "1.13.1"
    },
    "matches_reference": true,
    "reference": {
      "floating_point": "IEEE-754 binary64",
      "numpy": "2.0.2",
      "python": "3.11.4",
      "scipy": "1.13.1"
    }
  },
  "model": {
    "boundary_dimension": 2,
    "boundary_interval_length_ell": 1.2,
    "final_horizon_radius_z": 1.0,
    "final_state": "unit-radius planar BTZ black brane",
    "initial_state": "Poincare AdS3 vacuum",
    "integration_domain_v": [
      -2.0,
      4.0
    ],
    "metric": "ds^2=z^-2[-(1-m(v)z^2)dv^2-2dv dz+dx^2]",
    "shell_profile": "m(v)=(1+tanh(v/w))/2",
    "shell_width_w": 0.15,
    "subtraction": "subtract 2 log(1/z_cutoff) from each regulated geodesic length"
  },
  "passed": true,
  "refinements": [
    {
      "atol": 1e-10,
      "event_horizon_change_from_reference": 1.6415757642107565e-12,
      "event_horizon_z_at_shell_center": 1.0244526567212593,
      "geodesic_delta_error": 6.207891160374401e-05,
      "label": "coarse",
      "max_step": 0.04,
      "max_step_integral_defect": 4.3823334926963026e-05,
      "radial_cutoff": 0.02,
      "rtol": 1e-07,
      "thermal_geodesic_length_renormalized": 0.4837284095843879,
      "thermal_minus_vacuum": 0.1185299717796191,
      "vacuum_geodesic_length_renormalized": 0.3651984378047688
    },
    {
      "atol": 1e-12,
      "event_horizon_change_from_reference": 8.881784197001252e-15,
      "event_horizon_z_at_shell_center": 1.0244526567196266,
      "geodesic_delta_error": 1.552888255278162e-05,
      "label": "medium",
      "max_step": 0.02,
      "max_step_integral_defect": 5.5216309456521465e-06,
      "radial_cutoff": 0.01,
      "rtol": 1e-09,
      "thermal_geodesic_length_renormalized": 0.48335850982010875,
      "thermal_minus_vacuum": 0.11857652180867007,
      "vacuum_geodesic_length_renormalized": 0.3647819880114387
    },
    {
      "atol": 1e-14,
      "event_horizon_change_from_reference": 0.0,
      "event_horizon_z_at_shell_center": 1.0244526567196177,
      "geodesic_delta_error": 3.882793272277918e-06,
      "label": "fine",
      "max_step": 0.01,
      "max_step_integral_defect": 6.91894046037653e-07,
      "radial_cutoff": 0.005,
      "rtol": 1e-11,
      "thermal_geodesic_length_renormalized": 0.48326600280389265,
      "thermal_minus_vacuum": 0.11858816789795057,
      "vacuum_geodesic_length_renormalized": 0.3646778349059421
    }
  ],
  "schema_version": 1,
  "solvers": {
    "ode": "scipy.integrate.solve_ivp, DOP853, backward from z(4)=1",
    "reference_ode": {
      "atol": 5e-15,
      "max_step": 0.002,
      "rtol": 5e-13
    },
    "root": "scipy.optimize.brentq, xtol=1e-14"
  },
  "thin_shell_limit": {
    "analytic_extremal_curve": "vacuum semicircle z^2+x^2=(ell/2)^2 with v=t-z",
    "rows": [
      {
        "difference_from_thin_shell_value_one": 0.024452656719617716,
        "event_horizon_z_at_shell_center": 1.0244526567196177,
        "shell_width": 0.15
      },
      {
        "difference_from_thin_shell_value_one": 0.01259964214293352,
        "event_horizon_z_at_shell_center": 1.0125996421429335,
        "shell_width": 0.075
      },
      {
        "difference_from_thin_shell_value_one": 0.006397497215870684,
        "event_horizon_z_at_shell_center": 1.0063974972158707,
        "shell_width": 0.0375
      }
    ],
    "saturation_time": 0.6,
    "shell_crossings": [
      {
        "boundary_time": 0.2,
        "positive_half_crossing_x": 0.565685424949238,
        "shell_crossing_depth": 0.2
      },
      {
        "boundary_time": 0.4,
        "positive_half_crossing_x": 0.44721359549995787,
        "shell_crossing_depth": 0.4
      },
      {
        "boundary_time": 0.59,
        "positive_half_crossing_x": 0.10908712114635724,
        "shell_crossing_depth": 0.59
      }
    ]
  }
}