{
  "seed": 3,
  "coupling": 0.4,
  "noise": {
    "initial": 0.03,
    "jitter": 0.002,
    "expression": 0.02,
    "voltage": 0.005
  },
  "inference": {
    "neurons": 200,
    "truth": [
      0.16822926075344705,
      0.13598974328086003,
      -1.5059462603579867
    ],
    "start": [
      0.17822926075344706,
      0.12598974328086002,
      -1.4559462603579867
    ],
    "oneshot": {
      "theta": [
        0.16799723143250628,
        0.1358960679710482,
        -1.5016432615536943
      ],
      "se": [
        0.0003274679222516575,
        0.00025667955073373244,
        0.0025456139899121
      ],
      "error_in_se": [
        -0.7085558773065268,
        -0.3649504198680978,
        1.6903579338205141
      ],
      "lm_iterations": 5,
      "network_evaluations": 7,
      "cell_evaluations": 0,
      "seconds": 0.07943520898697898,
      "final_cost": 373.56060752651956,
      "adult_state_rms_error": 0.012370284754247599
    },
    "nested": {
      "theta": [
        0.16799723143824744,
        0.1358960679680598,
        -1.5016432615507251
      ],
      "se": [
        0.00032746792225108584,
        0.0002566795507309102,
        0.002545613989913035
      ],
      "error_in_se": [
        -0.7085558597757944,
        -0.36495043151459355,
        1.690357934986284
      ],
      "lm_iterations": 5,
      "network_evaluations": 122,
      "cell_evaluations": 201,
      "seconds": 0.3635017499909736,
      "final_cost": 373.5606075258946,
      "adult_state_rms_error": 0.012370284753345185
    },
    "theta_difference": 5.741157549365994e-12,
    "adult_state_difference": 1.7618284609000057e-10,
    "adult_state_rms_error_observation_only": 0.019424033350691722,
    "certification": {
      "min_loop_gain_eig_per_neuron": 0.3147151525986344,
      "min_loop_gain_eig_network": 0.31473901326823106,
      "basin_max_abs": 6.352030013090371e-12,
      "basin_start_distance": 2.3666185101924673
    }
  },
  "violation_map": {
    "neurons": 200,
    "fraction": 0.05,
    "threshold_total": 18.46682695290317,
    "by_size": [
      {
        "violator_sd": 0.03,
        "violators": 10,
        "auc_total": 0.6526315789473685,
        "auc_sensor_only": 0.6015789473684211,
        "recall_total": 0.0,
        "false_positives_total": 0,
        "mean_total_lawful": 4.042501317827624,
        "theta_error_in_sd": [
          0.1893132031989958,
          0.03141461921503386,
          -0.038621785892178906
        ]
      },
      {
        "violator_sd": 0.06,
        "violators": 10,
        "auc_total": 0.8557894736842105,
        "auc_sensor_only": 0.7768421052631579,
        "recall_total": 0.5,
        "false_positives_total": 0,
        "mean_total_lawful": 4.0302867040717905,
        "theta_error_in_sd": [
          0.32135384796390387,
          0.20291770633502904,
          -0.07372348193227889
        ]
      },
      {
        "violator_sd": 0.1,
        "violators": 10,
        "auc_total": 0.9868421052631579,
        "auc_sensor_only": 0.9505263157894737,
        "recall_total": 0.8,
        "false_positives_total": 0,
        "mean_total_lawful": 3.9496507075208047,
        "theta_error_in_sd": [
          -0.39251209068152937,
          -0.2058908836335971,
          0.170297678754953
        ]
      }
    ]
  },
  "density": {
    "samples": 20000,
    "setpoint_jitter_sd": 0.01,
    "forward_solve_max_residual": 1.5373986805844453e-16,
    "with_det": {
      "normalization": 1.001154920927492,
      "normalization_se": 0.003998171155617024,
      "weighted_mean_minus_forward_mean_in_sd": 0.0070187050685972556,
      "effective_sample_size": 15163.527571962297
    },
    "without_det": {
      "normalization": 29.05528586718568,
      "normalization_se": 0.11461437002654105,
      "weighted_mean_minus_forward_mean_in_sd": 0.09052757524392432,
      "effective_sample_size": 15253.23209785036
    }
  },
  "gates": {
    "one-shot and nested reach the same estimate (< 1e-6)": true,
    "one-shot and nested reach the same adult states (< 1e-6)": true,
    "truth within 3 SE (one-shot)": true,
    "one-shot uses < 1/3 of nested network evaluations": true,
    "regulation prior sharpens adult states vs raw observations": true,
    "certified: every neuron's loop gain stable": true,
    "certified: coupled network loop gain stable": true,
    "certified: development from elsewhere on each slice returns (< 1e-8)": true,
    "violation map: lawful neurons' misfit near chi^2_4 mean (3-5)": true,
    "violation map: AUC grows with violation size": true,
    "violation map: AUC > 0.95 at the largest size": true,
    "violation map: at most 2 false positives per dataset at chi^2_4 0.999": true,
    "density with det normalized (within 3 SE of 1)": true,
    "density with det reproduces forward mean (< 0.05 sd)": true,
    "density without det is not normalized (> 10 SE from 1)": true
  }
}