{
  "schema_version": 1,
  "created_utc": "2026-10-07T12:21:33.909889+00:00",
  "scope": "Synthetic mathematical demonstration; no H* verdict or organism validation",
  "model": {
    "targets": [
      0.25,
      0.3,
      0.35
    ],
    "rho": [
      0.7,
      1.0,
      1.3
    ],
    "weights": [
      [
        0.0,
        0.15,
        -0.06
      ],
      [
        -0.08,
        0.0,
        0.12
      ],
      [
        0.1,
        -0.05,
        0.0
      ]
    ],
    "sensory": [
      -0.06,
      0.04,
      -0.05
    ],
    "motor": [
      1.0,
      -0.7,
      0.5
    ],
    "drive": [
      0.03,
      0.03,
      0.03
    ],
    "rate": 0.025,
    "history_gain": 0.0,
    "tau_v": 0.08,
    "tau_s": 0.8,
    "tau_b": 2.0
  },
  "initial_state": [
    0.25,
    0.3,
    0.35,
    0.25,
    0.3,
    0.35,
    -2.5257286443082556,
    -2.5257286443082556,
    -2.5257286443082556,
    -2.995732273553991,
    -2.995732273553991,
    -2.995732273553991,
    0.21174733686352115
  ],
  "experiment": {
    "units": "dimensionless",
    "burn_times": [
      0.0,
      15.0,
      30.0,
      45.0,
      60.0,
      75.0,
      90.0,
      105.0,
      120.0,
      135.0,
      150.0,
      165.0,
      180.0,
      195.0,
      210.0,
      225.0,
      240.0,
      255.0,
      270.0,
      285.0,
      300.0,
      315.0,
      330.0,
      345.0,
      360.0,
      375.0,
      390.0,
      405.0,
      420.0,
      435.0,
      450.0,
      465.0,
      480.0,
      495.0,
      510.0,
      525.0,
      540.0,
      555.0,
      570.0,
      585.0,
      600.0,
      615.0,
      630.0,
      645.0,
      660.0,
      675.0,
      690.0,
      705.0,
      720.0,
      735.0,
      750.0,
      765.0,
      780.0,
      795.0,
      810.0,
      825.0,
      840.0,
      855.0,
      870.0,
      885.0,
      900.0,
      915.0,
      930.0,
      945.0,
      960.0,
      975.0,
      990.0,
      1005.0,
      1020.0,
      1035.0,
      1050.0,
      1065.0,
      1080.0,
      1095.0,
      1110.0,
      1125.0,
      1140.0,
      1155.0,
      1170.0,
      1185.0,
      1200.0,
      1215.0,
      1230.0,
      1245.0,
      1260.0,
      1275.0,
      1290.0,
      1305.0,
      1320.0,
      1335.0,
      1350.0,
      1365.0,
      1380.0,
      1395.0,
      1410.0,
      1425.0,
      1440.0,
      1455.0,
      1470.0,
      1485.0,
      1500.0,
      1515.0,
      1530.0,
      1545.0,
      1560.0,
      1575.0,
      1590.0,
      1605.0,
      1620.0,
      1635.0,
      1650.0,
      1665.0,
      1680.0,
      1695.0,
      1710.0,
      1725.0,
      1740.0,
      1755.0,
      1770.0,
      1785.0,
      1800.0,
      1815.0,
      1830.0,
      1845.0,
      1860.0,
      1875.0,
      1890.0,
      1905.0,
      1920.0,
      1935.0,
      1950.0,
      1965.0,
      1980.0,
      1995.0,
      2010.0,
      2025.0,
      2040.0,
      2055.0,
      2070.0,
      2085.0,
      2100.0,
      2115.0,
      2130.0,
      2145.0,
      2160.0,
      2175.0,
      2190.0,
      2205.0,
      2220.0,
      2235.0,
      2250.0,
      2265.0,
      2280.0,
      2295.0,
      2310.0,
      2325.0,
      2340.0,
      2355.0,
      2370.0,
      2385.0,
      2400.0,
      2415.0,
      2430.0,
      2445.0,
      2460.0,
      2475.0,
      2490.0,
      2505.0,
      2520.0,
      2535.0,
      2550.0,
      2565.0,
      2580.0,
      2595.0,
      2610.0,
      2625.0,
      2640.0,
      2655.0,
      2670.0,
      2685.0,
      2700.0,
      2715.0,
      2730.0,
      2745.0,
      2760.0,
      2775.0,
      2790.0,
      2805.0,
      2820.0,
      2835.0,
      2850.0,
      2865.0,
      2880.0,
      2895.0,
      2910.0,
      2925.0,
      2940.0,
      2955.0,
      2970.0,
      2985.0,
      3000.0,
      3015.0,
      3030.0,
      3045.0,
      3060.0,
      3075.0,
      3090.0,
      3105.0,
      3120.0,
      3135.0,
      3150.0,
      3165.0,
      3180.0,
      3195.0,
      3210.0,
      3225.0,
      3240.0,
      3255.0,
      3270.0,
      3285.0,
      3300.0,
      3315.0,
      3330.0,
      3345.0,
      3360.0,
      3375.0,
      3390.0,
      3405.0,
      3420.0,
      3435.0,
      3450.0,
      3465.0,
      3480.0,
      3495.0,
      3510.0,
      3525.0,
      3540.0,
      3555.0,
      3570.0,
      3585.0,
      3600.0,
      3615.0,
      3630.0,
      3645.0,
      3660.0,
      3675.0,
      3690.0,
      3705.0,
      3720.0,
      3735.0,
      3750.0,
      3765.0,
      3780.0,
      3795.0,
      3810.0,
      3825.0,
      3840.0,
      3855.0,
      3870.0,
      3885.0,
      3900.0,
      3915.0,
      3930.0,
      3945.0,
      3960.0,
      3975.0,
      3990.0,
      4005.0,
      4020.0,
      4035.0,
      4050.0,
      4065.0,
      4080.0,
      4095.0,
      4110.0,
      4125.0,
      4140.0,
      4155.0,
      4170.0,
      4185.0,
      4200.0,
      4215.0,
      4230.0,
      4245.0,
      4260.0,
      4275.0,
      4290.0,
      4305.0,
      4320.0,
      4335.0,
      4350.0,
      4365.0,
      4380.0,
      4395.0,
      4410.0,
      4425.0,
      4440.0,
      4455.0,
      4470.0,
      4485.0,
      4500.0,
      4515.0,
      4530.0,
      4545.0,
      4560.0,
      4575.0,
      4590.0,
      4605.0,
      4620.0,
      4635.0,
      4650.0,
      4665.0,
      4680.0,
      4695.0,
      4710.0,
      4725.0,
      4740.0,
      4755.0,
      4770.0,
      4785.0,
      4800.0,
      4815.0,
      4830.0,
      4845.0,
      4860.0,
      4875.0,
      4890.0,
      4905.0,
      4920.0,
      4935.0,
      4950.0,
      4965.0,
      4980.0,
      4995.0,
      5010.0,
      5025.0,
      5040.0,
      5055.0,
      5070.0,
      5085.0,
      5100.0,
      5115.0,
      5130.0,
      5145.0,
      5160.0,
      5175.0,
      5190.0,
      5205.0,
      5220.0,
      5235.0,
      5250.0,
      5265.0,
      5280.0,
      5295.0,
      5310.0,
      5325.0,
      5340.0,
      5355.0,
      5370.0,
      5385.0,
      5400.0,
      5415.0,
      5430.0,
      5445.0,
      5460.0,
      5475.0,
      5490.0,
      5505.0,
      5520.0,
      5535.0,
      5550.0,
      5565.0,
      5580.0,
      5595.0,
      5610.0,
      5625.0,
      5640.0,
      5655.0,
      5670.0,
      5685.0,
      5700.0,
      5715.0,
      5730.0,
      5745.0,
      5760.0,
      5775.0,
      5790.0,
      5805.0,
      5820.0,
      5835.0,
      5850.0,
      5865.0,
      5880.0,
      5895.0,
      5910.0,
      5925.0,
      5940.0,
      5955.0,
      5970.0,
      5985.0,
      6000.0
    ],
    "recovery_times": [
      0.0,
      0.02,
      0.022588734990541467,
      0.02551254742364562,
      0.028814808634317603,
      0.03254450380218832,
      0.03675695858931505,
      0.04151465983161721,
      0.04688818245794389,
      0.052957236386532484,
      0.0598118489283421,
      0.06755370023683106,
      0.07629763161401272,
      0.08617334904674459,
      0.09732734724321712,
      0.10992508271047187,
      0.12415342810801,
      0.14022344428495398,
      0.1583735111206891,
      0.17887286361134083,
      0.20202558565579223,
      0.22817512078438132,
      0.25770936674165895,
      0.2910664294953796,
      0.3287411220257126,
      0.37129230429660376,
      0.4193511732891731,
      0.4736306260700881,
      0.5349358347850728,
      0.6041761904452041,
      0.6823787926780812,
      0.7707036855485403,
      0.870461065454479,
      0.9831307163567796,
      1.1103839606422243,
      1.2541084512347513,
      1.416436172717009,
      1.5997750668260668,
      1.8068447514504893,
      2.040716862978292,
      2.304860620427288,
      2.60319428724835,
      2.940143294177222,
      3.3207058853193434,
      3.7505272612505016,
      4.2359833189594385,
      4.784275230816451,
      5.403536265536221,
      6.1029524356988905,
      6.892898761494089,
      7.785093172001073,
      8.792770326950304,
      9.930877937408853,
      11.21629849757718,
      12.668099716828953,
      14.30781736686013,
      16.159774739653514,
      18.251443455043972,
      20.613850970042037,
      23.282040834839787,
      26.295592522858033,
      29.69920854590516,
      33.5433775636138,
      37.88512332360733,
      42.78885054204737,
      48.32730027220973,
      54.5826289328634,
      61.647627002575625,
      69.62709545784644,
      78.63940037292133,
      88.81822874195029,
      100.31457156906042,
      113.29896364316055,
      127.9640132219173,
      144.5272591498017,
      163.234397792209,
      184.3629276534418,
      208.22626574219805,
      235.17839674602874,
      265.61912397982314,
      300.0
    ],
    "noise_seeds": [
      7,
      19,
      41
    ],
    "history_gain": 1.0,
    "history_early_drive_offset": -0.25,
    "history_early_duration": 200,
    "adult_branch": [
      -1.227722222538212,
      -0.47000362924573524,
      0.28771496404674135
    ],
    "alternate_branch_offset": 0.8
  },
  "solver": {
    "primary": "Radau",
    "rtol": 2e-09,
    "atol": 2e-11,
    "independent": "BDF",
    "tangent": "LSODA",
    "fd_step": 1e-05
  },
  "provenance": {
    "python": "3.13.14 (main, Jun 23 2026, 15:20:43) [Clang 22.1.3 ]",
    "platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
    "numpy": "2.5.3",
    "scipy": "1.18.1",
    "matplotlib": "3.11.2",
    "source_sha256": {
      "pyproject.toml": "9022f1b69dd73e71d4500c3e1e0a077a02b04a8a2070ff686b0e19c0b27b8804",
      "src/cake_a0/__init__.py": "50a2928976a39700d2c9fef9859e7a5401d8982c6c40ea8fd0c7209f54074bfc",
      "src/cake_a0/experiment.py": "c35a249e9025eba1843aa2153c32dcbb862110cf2e37b75931e92358512b8cdd",
      "src/cake_a0/model.py": "3d9bf8edbb07ac73d53dbee9ee2aaeb6b5d20f06913d68b93051526434ba8bfb",
      "tests/test_regulation.py": "e5d9212e8d6a5e7da0f9ba8824a67162b2aeb9859859c3ad6cc4156846fb5f04",
      "uv.lock": "0ad03122e25dace865ed45d20d3735003f731eccb494895a12792e2153aebb49"
    }
  },
  "metrics": {
    "branch_solver": {
      "max_ode_residual": 1.3010426069826053e-16,
      "max_direct_endpoint_error": 1.9577806043002965e-10,
      "max_branch_drift": 3.9968028886505635e-15,
      "neutral_eigenvalues": 3,
      "largest_transverse_eigenvalue_real_part": -0.0035565299272865792,
      "alternate_branch_endpoint_error": 5.480060849549773e-13,
      "alternate_branch_max_log_conductance_difference": 0.679199734369738
    },
    "history": {
      "early_stage_duration": 200,
      "adult_stage_duration": 6000,
      "max_adult_voltage_difference": 5.6736920717170847e-11,
      "max_adult_log_conductance_difference": 0.1411372023166919,
      "max_adult_conductance_relative_difference": 0.13162983887386503,
      "max_branch_difference": 0.19811562632459134,
      "naive_initial_branch_endpoint_error": 0.14920729578313097,
      "oracle_terminal_branch_endpoint_error": 3.1062485916777405e-10,
      "oracle_uses_direct_development": true
    },
    "gradients": {
      "implicit_vs_root_fd_max_error": 5.5166102796988525e-09,
      "implicit_vs_development_fd_max_error": 1.7662450169098065e-08,
      "tangent_vs_recovery_fd_max_error": 5.4653568674206676e-08,
      "tangent_solver_vs_direct_max_error": 1.8149322045246663e-09,
      "unconstrained_equilibrium_implicit_inverse_valid": false,
      "history_dependent_total_implicit_gradient_implemented": false
    },
    "numerics": {
      "radau_tolerance_and_max_step_refinement_max_error": 6.557216991609494e-10,
      "radau_vs_bdf_max_error": 1.8326620221387202e-09
    },
    "identifiability": {
      "parameter_order": [
        "target_0",
        "target_1",
        "target_2",
        "log_rate"
      ],
      "observation": "all three voltages; independent Gaussian noise, sigma=0.001",
      "known": [
        "weights",
        "body",
        "rho",
        "adult_branch",
        "depletion_fraction",
        "observation_model"
      ],
      "endpoint_singular_values": [
        9000.0,
        9000.0,
        9000.0,
        0.0
      ],
      "transient_singular_values": [
        8640.62611169515,
        7945.595834006956,
        7121.44231082408,
        106.49215277731984
      ],
      "endpoint_rank": 3,
      "transient_rank": 4,
      "noise_sigma": 0.001,
      "training_remaining_g_fraction": 0.35,
      "heldout_remaining_g_fraction": 0.65,
      "fits": [
        {
          "seed": 7,
          "success": true,
          "message": "`ftol` termination condition is satisfied.",
          "function_evaluations": 12,
          "targets": [
            0.24961252817139779,
            0.2999730703359647,
            0.34986301934855885
          ],
          "rate": 0.025034584843236694,
          "max_target_error": 0.00038747182860221496,
          "rate_relative_error": 0.001383393729467608,
          "training_residual_rmse_over_sigma": 0.8863464804929104,
          "heldout_noiseless_rmse_over_sigma": 0.21267286029112986
        },
        {
          "seed": 19,
          "success": true,
          "message": "`ftol` termination condition is satisfied.",
          "function_evaluations": 7,
          "targets": [
            0.2498863179904764,
            0.3001373869343197,
            0.3499935061333308
          ],
          "rate": 0.024831753896391164,
          "max_target_error": 0.0001373869343196943,
          "rate_relative_error": 0.006729844144353514,
          "training_residual_rmse_over_sigma": 0.9399628742469756,
          "heldout_noiseless_rmse_over_sigma": 0.09653642013958702
        },
        {
          "seed": 41,
          "success": true,
          "message": "`xtol` termination condition is satisfied.",
          "function_evaluations": 9,
          "targets": [
            0.25009126284347105,
            0.29981213235984794,
            0.3499177504424835
          ],
          "rate": 0.02500567916200781,
          "max_target_error": 0.0001878676401520507,
          "rate_relative_error": 0.00022716648031240183,
          "training_residual_rmse_over_sigma": 0.9689581289894258,
          "heldout_noiseless_rmse_over_sigma": 0.12138967983459369
        }
      ]
    }
  },
  "checks": {
    "branch_solver_matches_development": true,
    "branch_invariant_preserved": true,
    "three_neutral_directions": true,
    "transversely_stable": true,
    "alternate_branch_reached": true,
    "history_changes_conductances": true,
    "history_same_adult_activity": true,
    "history_naive_solver_fails": true,
    "history_oracle_endpoint_matches": true,
    "implicit_gradient_matches_root_fd": true,
    "implicit_gradient_matches_direct_development": true,
    "transient_gradient_matches_fd": true,
    "independent_solver_agreement": true,
    "tolerance_refinement_agreement": true,
    "endpoints_leave_rate_unidentified": true,
    "transients_locally_identify_all_four": true,
    "synthetic_recovery_all_seeds": true,
    "heldout_prediction_below_injected_noise": true
  },
  "all_checks_passed": true
}