{
  "experiment": "P-MATH-INK-06-BOUNDARY-JOINT-001",
  "generated_at": "2026-07-23T19:23:26.594967+00:00",
  "seed": 31,
  "device": "cuda",
  "cuda_device": "NVIDIA GeForce GTX 1650",
  "training_contract": {
    "layouts": [
      "same_row",
      "superscript",
      "subscript",
      "fraction_slots",
      "wide_infix_sides"
    ],
    "rehearsal_samples": 4800,
    "boundary_samples": 2400,
    "opened_modules": [
      "trajectory_encoder.blocks.3",
      "trajectory_encoder.attention",
      "exact_head",
      "family_head",
      "boundary_head"
    ]
  },
  "baseline_validation": {
    "samples": 4261,
    "exact_top1": 0.8307908941563014,
    "family_top1": 0.9002581553625909
  },
  "winner_validation": {
    "epoch": 8,
    "loss": 0.6418731910617728,
    "authentic": {
      "samples": 4261,
      "exact_top1": 0.8366580614879137,
      "family_top1": 0.9082375029335836
    },
    "boundary": {
      "threshold": 0.625,
      "accuracy": 0.9829166666666667,
      "f1": 0.9828666945257,
      "roc_auc": 0.9967486111111112,
      "single_symbol_recall": 0.9858333333333333,
      "cross_boundary_recall": 0.98,
      "recall_gate_passed": true
    },
    "eligible": true
  },
  "history": [
    {
      "epoch": 1,
      "loss": 0.8191435101785158,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8343111945552687,
        "family_top1": 0.9028397089885003
      },
      "boundary": {
        "threshold": 0.49999999999999994,
        "accuracy": 0.9745833333333334,
        "f1": 0.9745939192003332,
        "roc_auc": 0.9944472222222223,
        "single_symbol_recall": 0.9741666666666666,
        "cross_boundary_recall": 0.975,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 2,
      "loss": 0.7658535242080688,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8352499413283266,
        "family_top1": 0.9065946960807322
      },
      "boundary": {
        "threshold": 0.6,
        "accuracy": 0.9779166666666667,
        "f1": 0.9779258642232403,
        "roc_auc": 0.9949923611111111,
        "single_symbol_recall": 0.9775,
        "cross_boundary_recall": 0.9783333333333334,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 3,
      "loss": 0.7368903191466081,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8383008683407651,
        "family_top1": 0.9087068763201126
      },
      "boundary": {
        "threshold": 0.65,
        "accuracy": 0.97875,
        "f1": 0.978758850478967,
        "roc_auc": 0.9954368055555556,
        "single_symbol_recall": 0.9783333333333334,
        "cross_boundary_recall": 0.9791666666666666,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 4,
      "loss": 0.7035233778388876,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8375968082609716,
        "family_top1": 0.9105843698662286
      },
      "boundary": {
        "threshold": 0.625,
        "accuracy": 0.9804166666666667,
        "f1": 0.9803921568627451,
        "roc_auc": 0.9958270833333334,
        "single_symbol_recall": 0.9816666666666667,
        "cross_boundary_recall": 0.9791666666666666,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 5,
      "loss": 0.6846100484070025,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8399436751936166,
        "family_top1": 0.9117578033325511
      },
      "boundary": {
        "threshold": 0.65,
        "accuracy": 0.9808333333333333,
        "f1": 0.9807852965747702,
        "roc_auc": 0.9960347222222222,
        "single_symbol_recall": 0.9833333333333333,
        "cross_boundary_recall": 0.9783333333333334,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 6,
      "loss": 0.6705790460109711,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8392396151138231,
        "family_top1": 0.9110537432527576
      },
      "boundary": {
        "threshold": 0.65,
        "accuracy": 0.9825,
        "f1": 0.9824561403508771,
        "roc_auc": 0.9963055555555556,
        "single_symbol_recall": 0.985,
        "cross_boundary_recall": 0.98,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 7,
      "loss": 0.6554253430742967,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8380661816475006,
        "family_top1": 0.9091762497066417
      },
      "boundary": {
        "threshold": 0.675,
        "accuracy": 0.9820833333333333,
        "f1": 0.9820459290187892,
        "roc_auc": 0.9964909722222223,
        "single_symbol_recall": 0.9841666666666666,
        "cross_boundary_recall": 0.98,
        "recall_gate_passed": true
      },
      "eligible": true
    },
    {
      "epoch": 8,
      "loss": 0.6418731910617728,
      "authentic": {
        "samples": 4261,
        "exact_top1": 0.8366580614879137,
        "family_top1": 0.9082375029335836
      },
      "boundary": {
        "threshold": 0.625,
        "accuracy": 0.9829166666666667,
        "f1": 0.9828666945257,
        "roc_auc": 0.9967486111111112,
        "single_symbol_recall": 0.9858333333333333,
        "cross_boundary_recall": 0.98,
        "recall_gate_passed": true
      },
      "eligible": true
    }
  ],
  "baseline_test": {
    "samples": 3782,
    "exact_top1": 0.7617662612374405,
    "family_top1": 0.8416181914331041
  },
  "official_test": {
    "authentic": {
      "samples": 3782,
      "exact_top1": 0.7937599153886833,
      "family_top1": 0.8770491803278688
    },
    "boundary": {
      "threshold": 0.625,
      "accuracy": 0.9808333333333333,
      "f1": 0.9808013355592654,
      "roc_auc": 0.9979034722222222,
      "single_symbol_recall": 0.9825,
      "cross_boundary_recall": 0.9791666666666666
    },
    "deltas": {
      "exact_top1_pp": 3.199365415124278,
      "family_top1_pp": 3.5430988894764703
    }
  },
  "decision": {
    "validation_adopted": true,
    "official_gate_passed": true,
    "release_adopted": true
  },
  "checkpoint": "research\\runs\\math_ink_06_p_boundary_joint_seed31_20260724\\boundary_joint_delta.pt",
  "checkpoint_sha256": "28ea671447fe053725cc460ef93eb03e66aed69bb150a3f1516a80952b72e523",
  "track": "P_with_obligations",
  "product_validation": false,
  "interpretation_limit": "분리된 P 고립기호의 formula-layout 합성 proxy이며 실제 연속식 제품 gate가 아니다."
}