{
  "version": "0.1.0",
  "expression_id": "L2HL_2_0235",
  "run_id": "L2HL_2",
  "snapshot_kind": "unchanged_saved_artifacts_with_separate_current_numerical_reproduction",
  "features": [
    "mchi1",
    "mchipm1"
  ],
  "source_path_base": "repository root",
  "asset_path_base": "directory containing this manifest",
  "recorded_winner": {
    "Expression_ID": "L2HL_2_0235",
    "Complexity": "235",
    "Loss": "0.3923035167578615",
    "test_auc": "0.9442093320165948",
    "SymPy": "output/L2HL_2/L2HL_2_0235/expression_sympy.txt",
    "Lambda": "output/L2HL_2/L2HL_2_0235/expression_lambda.py",
    "TeX": "output/L2HL_2/L2HL_2_0235/expression.tex",
    "PDF": "output/L2HL_2/L2HL_2_0235/expression.pdf",
    "validation_learning_curve": "output/L2HL_2/valid-learn-curve.png"
  },
  "source_export_version_label": "5.3.1",
  "saved_configuration": {
    "model_selection": "best",
    "niterations": 100,
    "population_size": 100,
    "maxsize": 280,
    "timeout_in_seconds": 3600,
    "elementwise_loss": "L2HingeLoss()",
    "parsimony": 0.001,
    "parallelism": "multithreading",
    "random_state": null,
    "deterministic": false
  },
  "configuration_evidence": "simple literals inspected in saved pickle opcodes; checkpoint not executed",
  "source_checkpoint_sha256": "e709857fdff65f81d78fcc71c0002fc5e1b2a5eaaea8aa00c719aa58e3828edc",
  "historical_provenance": {
    "generating_commit": null,
    "original_dataset_fingerprint": null,
    "original_split_membership": null,
    "complete_selection_invocation": null
  },
  "current_reproduction": {
    "dataset_repository_path": "data/masses_exclusions.csv",
    "dataset_sha256": "c8c8063c84a10143b6369f444a037ef5695ff13f5eef6f9bf00dc86880c3937a",
    "split_seed": 42,
    "split_sizes": {
      "train": 7368,
      "validation": 1228,
      "test": 3684,
      "total": 12280
    },
    "metrics": {
      "train_auc": 0.9417812482386989,
      "val_auc": 0.9580705844947273,
      "test_auc": 0.9442093320165948,
      "total_auc": 0.9441207569756248
    },
    "split_record": "../current-runs-v0.1.0/current-reproduction-splits.json",
    "note": "Current reconstruction matches the recorded test AUC; original membership is unverified."
  },
  "selection_metric": "test_auc",
  "test_auc_role": "selection score, not independent final-test performance",
  "diagnostics": {
    "fixed_expression_subsets": {
      "refitting": false,
      "subsets": 6,
      "dataset": "validation"
    },
    "refitted_curves": {
      "available": true,
      "path": "valid-learn-curve.png",
      "historical_numeric_tables_available": false,
      "child_model_selection": "PySR model_selection='best'; separate from parent test-AUC winner",
      "split_subset_seed": 42,
      "child_runs": [
        {
          "run_id": "20261026_021555_keZmOY",
          "kind": "validation",
          "maxsize": 10,
          "training_fraction": 1.0,
          "source_path": "output/20261026_021555_keZmOY",
          "hall_of_fame_sha256": "ea44dbdc59bd302f842daeca8aeb86ae0b65dfd039013554f42dcc57dfd68755",
          "checkpoint_sha256": "573deda0f14a64936321fbf202c754876b9253c4d786e052c001fef169869a89"
        },
        {
          "run_id": "20261026_021558_Yg7HOX",
          "kind": "validation",
          "maxsize": 15,
          "training_fraction": 1.0,
          "source_path": "output/20261026_021558_Yg7HOX",
          "hall_of_fame_sha256": "1eeea7071fb5bd306d29023998d240e88e974b4d32fb6beb213fe82e58a1eafd",
          "checkpoint_sha256": "4ffd386e5edd008d750082eff032c8a6f071e49e2987d7b98f7bda7ce31d2962"
        },
        {
          "run_id": "20261026_021600_sVb8XP",
          "kind": "validation",
          "maxsize": 20,
          "training_fraction": 1.0,
          "source_path": "output/20261026_021600_sVb8XP",
          "hall_of_fame_sha256": "1c937c548a7143cf2059ae98fc0dcd9652f449222f1549ef4751f473e8603b57",
          "checkpoint_sha256": "2700a3b70317df9dc13aaab0a5243bb4b699f9bddce4f6dac9928e5cd5450b6b"
        },
        {
          "run_id": "20261026_021603_TZB3ye",
          "kind": "validation",
          "maxsize": 25,
          "training_fraction": 1.0,
          "source_path": "output/20261026_021603_TZB3ye",
          "hall_of_fame_sha256": "344db1d278c28ed97db045a616f96cd648e92d28537fccd14a18138824bba649",
          "checkpoint_sha256": "e58d28fb0dfa6e68fc754d4b56ed057718aaa2728c2a1fcbf145f0f4daef902e"
        },
        {
          "run_id": "20261026_021605_VN3CLS",
          "kind": "learning",
          "maxsize": 280,
          "training_fraction": 0.25,
          "source_path": "output/20261026_021605_VN3CLS",
          "hall_of_fame_sha256": "37845e18fc0e49e44ddd36269ac21f5828b8c77e76f00ff5d958009ea5a97605",
          "checkpoint_sha256": "24c895a5d750b785e759774c0140357d5311e4289daef6b4d94e98e49c847f3c"
        },
        {
          "run_id": "20261026_021642_nimgXY",
          "kind": "learning",
          "maxsize": 280,
          "training_fraction": 0.5,
          "source_path": "output/20261026_021642_nimgXY",
          "hall_of_fame_sha256": "45d840870dc74346c666d3bed2486dc7eebd6667050e1c5efdd559cc1803753d",
          "checkpoint_sha256": "f611417aa2b441820e852600ade9048a0b77622235ee6618ea8426b7e745d706"
        },
        {
          "run_id": "20261026_021706_hZvnnX",
          "kind": "learning",
          "maxsize": 280,
          "training_fraction": 0.75,
          "source_path": "output/20261026_021706_hZvnnX",
          "hall_of_fame_sha256": "8c915fddfc920b3230171b56218ee76a57c643828c8326a1533ea60be445c841",
          "checkpoint_sha256": "8f90bdbe83f368af712ae1d3d4a5be5f51eecb1bd8fd78bad4f00db090d2580e"
        },
        {
          "run_id": "20261026_021808_l8k4OA",
          "kind": "learning",
          "maxsize": 280,
          "training_fraction": 1.0,
          "source_path": "output/20261026_021808_l8k4OA",
          "hall_of_fame_sha256": "50c981449be347881350347e19ecdf2f8d7743df2a5d766e4fc474b39776b7c6",
          "checkpoint_sha256": "0e62879350fb6dcdb4620437f8499d8ab96121ebac841b480a9f2ee3194083b7"
        }
      ]
    }
  },
  "files": [
    {
      "source_path": "output/L2HL_2/L2HL_2_0235/expression_sympy.txt",
      "path": "expression_sympy.txt",
      "sha256": "8bcca12960addf94d679cc5fd52b536c9deb397e3f20705f9315fd821568800e",
      "bytes": 1594
    },
    {
      "source_path": "output/L2HL_2/L2HL_2_0235/expression_lambda.py",
      "path": "expression_lambda.py",
      "sha256": "b3d4674888e5fc498c6aa14fb8a1fbf52ba817a619de6d039439fd9c3c591d1a",
      "bytes": 1832
    },
    {
      "source_path": "output/L2HL_2/L2HL_2_0235/expression.tex",
      "path": "expression.tex",
      "sha256": "59123e23e730283f7d7d805400327677649f25f9d83f8b0e15f9bb45a26cb376",
      "bytes": 3227
    },
    {
      "source_path": "output/L2HL_2/L2HL_2_0235/expression.pdf",
      "path": "expression.pdf",
      "sha256": "1c15c8d84588e2a20e73e24a3ab32d22a00fa72109925654358745eb5005acb6",
      "bytes": 99461
    },
    {
      "source_path": "output/L2HL_2/hall_of_fame.csv",
      "path": "hall_of_fame.csv",
      "sha256": "d3daf39eab7290dfe497720b3bc725df808afab815d062490a80f69dc49c358b",
      "bytes": 20421
    },
    {
      "source_path": "output/L2HL_2/plots/roc_curve.pdf",
      "path": "plots/roc_curve.pdf",
      "sha256": "5f4b9176558cfd05d066716c991a8d6d22a5f71924a141cf2d590d7a6ce2ad29",
      "bytes": 37541
    },
    {
      "source_path": "output/L2HL_2/plots/roc_curve.png",
      "path": "plots/roc_curve.png",
      "sha256": "0021c389b989a46286bf4b353d28c5728d3ebf630723480dbd73a78bf480b517",
      "bytes": 562483
    },
    {
      "source_path": "output/L2HL_2/plots/mass_plane.pdf",
      "path": "plots/mass_plane.pdf",
      "sha256": "f76d4185aee2f9eeae324c150a86e596ce43629ae7c5a0314151d6aa06e9c093",
      "bytes": 554018
    },
    {
      "source_path": "output/L2HL_2/plots/mass_plane.png",
      "path": "plots/mass_plane.png",
      "sha256": "2825a05cf27b6bdecdf3a76a5ff24240205716b943a029e9b2a175a70ea61a88",
      "bytes": 3741390
    },
    {
      "source_path": "output/L2HL_2/plots/mass_scan_1d.pdf",
      "path": "plots/mass_scan_1d.pdf",
      "sha256": "b0b00cc782f4a5c4f561b84cdc15196dde07e1d1bf95e8423c06e79b5c84fab4",
      "bytes": 24035
    },
    {
      "source_path": "output/L2HL_2/plots/mass_scan_1d.png",
      "path": "plots/mass_scan_1d.png",
      "sha256": "b76949cded95a9da2fb491e11c65aea16044d2a4dbfef7073da164c3e428ac3c",
      "bytes": 252994
    },
    {
      "source_path": "output/L2HL_2/plots/subset_variability.pdf",
      "path": "plots/subset_variability.pdf",
      "sha256": "abe64d45026d1c324f4b4346b646b5ee3234fe080bccb055d563b85992d9ac88",
      "bytes": 32013
    },
    {
      "source_path": "output/L2HL_2/plots/subset_variability.png",
      "path": "plots/subset_variability.png",
      "sha256": "6e2270ab364acfb478b3c361a3110ef32b789c39c949421e58e52c59127dfbd0",
      "bytes": 516568
    },
    {
      "source_path": "output/L2HL_2/valid-learn-curve.png",
      "path": "valid-learn-curve.png",
      "sha256": "0351c890dbf5338d5c6c343e2bfa990581a3f06e6425a439812f895759f2b547",
      "bytes": 37917
    }
  ]
}