{
  "device": "cuda",
  "sanity": {
    "identity_max_abs_residual_n10_20_40_80": [
      0.005902234464883804,
      0.0013132132589817047,
      0.00031874701380729675,
      7.910281419754028e-05
    ],
    "observed_refinement_ratios": [
      4.494498075248289,
      4.119923331346493,
      4.029528115286804
    ],
    "prediction": "midpoint quadrature for smooth integrands has O(h^2) error, ratio 4 under grid doubling",
    "boundary_max_abs_hard_output": 0.0,
    "boundary_prediction": "bubble factor enforces exactly zero on all edges"
  },
  "hardening": {
    "sweep": [
      {
        "tau": 1.0,
        "mean_output_gap": 0.006141337100416422,
        "residual_l2_gap": 0.0023219329304993153,
        "activation_mismatch": 0.0
      },
      {
        "tau": 0.5,
        "mean_output_gap": 0.0061313677579164505,
        "residual_l2_gap": 0.0023195005487650633,
        "activation_mismatch": 0.006098533049225807
      },
      {
        "tau": 0.2,
        "mean_output_gap": 0.005648928694427013,
        "residual_l2_gap": 0.0022513167932629585,
        "activation_mismatch": 0.039421238005161285
      },
      {
        "tau": 0.1,
        "mean_output_gap": 0.004775283392518759,
        "residual_l2_gap": 0.002085533458739519,
        "activation_mismatch": 0.043885521590709686
      },
      {
        "tau": 0.05,
        "mean_output_gap": 0.003998893313109875,
        "residual_l2_gap": 0.0020195136312395334,
        "activation_mismatch": 0.054328761994838715
      },
      {
        "tau": 0.02,
        "mean_output_gap": 0.0028035263530910015,
        "residual_l2_gap": 0.0021534794941544533,
        "activation_mismatch": 0.06784119457006454
      },
      {
        "tau": 0.01,
        "mean_output_gap": 0.0018277213675901294,
        "residual_l2_gap": 0.0019788010977208614,
        "activation_mismatch": 0.07342155277729034
      },
      {
        "tau": 0.005,
        "mean_output_gap": 0.0009518691222183406,
        "residual_l2_gap": 0.0013121557421982288,
        "activation_mismatch": 0.07653061300516129
      }
    ],
    "median_logit_margin": 0.2425786256790161,
    "prediction": "for nonzero margins, sigmoid(z/tau)>=0.5 equals H(z), so mismatch is predicted 0 for every tau"
  },
  "float": {
    "loss_soft": 1.8912899690803897e-07,
    "weak_residual_rms_soft": 0.00043488963274285197,
    "hard_loss": 1.8912899690803897e-07,
    "hard_residual_rms": 0.00043488963274285197,
    "relative_L2": 0.5298621654510498,
    "params": 337,
    "float32_bytes": 1348,
    "binary_estimated_bytes": 1348,
    "storage_ratio": 1.0,
    "train_seconds": 4.050565715995617,
    "inference_ms_batch5000": 1.0086685400165152,
    "loss_trace": [
      0.00013825774658471346,
      9.603849093764438e-07,
      1.8926348843706364e-07
    ]
  },
  "binary": {
    "loss_soft": 0.000132787914481014,
    "weak_residual_rms_soft": 0.01152336411178112,
    "hard_loss": 0.0001386576914228499,
    "hard_residual_rms": 0.011775299906730652,
    "relative_L2": 0.9463884830474854,
    "params": 337,
    "float32_bytes": 1348,
    "binary_estimated_bytes": 66.125,
    "storage_ratio": 20.38563327032136,
    "train_seconds": 14.90884725599608,
    "inference_ms_batch5000": 6.362649859947851,
    "loss_trace": [
      0.001149444025941193,
      0.00015995686408132315,
      0.0001330745144514367
    ]
  }
}