Resolved inputs: {"factors": ["1", "1", "1", "1", "1"], "gain": 2, "A_activity": "1/2", "k_sweep": ["1/5", "11/50", "6/25", "13/50", "7/25", "3/10", "8/25", "17/50", "9/25", "19/50", "2/5", "21/50", "11/25", "23/50", "12/25", "1/2", "13/25", "27/50", "14/25", "29/50", "3/5", "31/50", "16/25", "33/50", "17/25", "7/10", "18/25", "37/50", "19/25", "39/50", "4/5", "41/50", "21/25", "43/50", "22/25", "9/10", "23/25", "47/50", "24/25", "49/50", "1", "51/50", "26/25", "53/50", "27/25", "11/10", "28/25", "57/50", "29/25", "59/50", "6/5", "61/50", "31/25", "63/50", "32/25", "13/10", "33/25", "67/50", "34/25", "69/50", "7/5", "71/50", "36/25", "73/50", "37/25", "3/2", "38/25", "77/50", "39/25", "79/50", "8/5", "81/50", "41/25", "83/50", "42/25", "17/10", "43/25", "87/50", "44/25", "89/50", "9/5", "91/50", "46/25", "93/50", "47/25", "19/10", "48/25", "97/50", "49/25", "99/50", "2", "101/50", "51/25", "103/50", "52/25", "21/10", "53/25", "107/50", "54/25", "109/50", "11/5", "111/50", "56/25", "113/50", "57/25", "23/10", "58/25", "117/50", "59/25", "119/50", "12/5", "121/50", "61/25", "123/50", "62/25", "5/2", "63/25", "127/50", "64/25", "129/50", "13/5", "131/50", "66/25", "133/50", "67/25", "27/10", "68/25", "137/50", "69/25", "139/50", "14/5", "141/50", "71/25", "143/50", "72/25", "29/10", "73/25", "147/50", "74/25", "149/50", "3"], "temperature_K": 298.0, "gas_constant_J_mol_K": 8.314462618, "rational_denominator_limit": 1000000, "max_pac_enumeration_bits": 16}
{
  "inputs": {
    "factors": [
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "gain": 2,
    "A_activity": "1/2",
    "k_sweep": [
      "1/5",
      "11/50",
      "6/25",
      "13/50",
      "7/25",
      "3/10",
      "8/25",
      "17/50",
      "9/25",
      "19/50",
      "2/5",
      "21/50",
      "11/25",
      "23/50",
      "12/25",
      "1/2",
      "13/25",
      "27/50",
      "14/25",
      "29/50",
      "3/5",
      "31/50",
      "16/25",
      "33/50",
      "17/25",
      "7/10",
      "18/25",
      "37/50",
      "19/25",
      "39/50",
      "4/5",
      "41/50",
      "21/25",
      "43/50",
      "22/25",
      "9/10",
      "23/25",
      "47/50",
      "24/25",
      "49/50",
      "1",
      "51/50",
      "26/25",
      "53/50",
      "27/25",
      "11/10",
      "28/25",
      "57/50",
      "29/25",
      "59/50",
      "6/5",
      "61/50",
      "31/25",
      "63/50",
      "32/25",
      "13/10",
      "33/25",
      "67/50",
      "34/25",
      "69/50",
      "7/5",
      "71/50",
      "36/25",
      "73/50",
      "37/25",
      "3/2",
      "38/25",
      "77/50",
      "39/25",
      "79/50",
      "8/5",
      "81/50",
      "41/25",
      "83/50",
      "42/25",
      "17/10",
      "43/25",
      "87/50",
      "44/25",
      "89/50",
      "9/5",
      "91/50",
      "46/25",
      "93/50",
      "47/25",
      "19/10",
      "48/25",
      "97/50",
      "49/25",
      "99/50",
      "2",
      "101/50",
      "51/25",
      "103/50",
      "52/25",
      "21/10",
      "53/25",
      "107/50",
      "54/25",
      "109/50",
      "11/5",
      "111/50",
      "56/25",
      "113/50",
      "57/25",
      "23/10",
      "58/25",
      "117/50",
      "59/25",
      "119/50",
      "12/5",
      "121/50",
      "61/25",
      "123/50",
      "62/25",
      "5/2",
      "63/25",
      "127/50",
      "64/25",
      "129/50",
      "13/5",
      "131/50",
      "66/25",
      "133/50",
      "67/25",
      "27/10",
      "68/25",
      "137/50",
      "69/25",
      "139/50",
      "14/5",
      "141/50",
      "71/25",
      "143/50",
      "72/25",
      "29/10",
      "73/25",
      "147/50",
      "74/25",
      "149/50",
      "3"
    ],
    "temperature_K": 298.0,
    "gas_constant_J_mol_K": 8.314462618,
    "rational_denominator_limit": 1000000,
    "max_pac_enumeration_bits": 16
  },
  "selected_witness": {
    "activities": [
      "1/2",
      "2/5",
      "207/640",
      "207/640"
    ],
    "currents": [
      "1/10",
      "49/640",
      "47/640",
      "49/640",
      "47/640"
    ],
    "motif_production": [
      "3/64",
      "3/128",
      "1/320",
      "3/64",
      "3/128",
      "1/320"
    ],
    "whole_network_production": [
      "31/160",
      "-17/320",
      "1/320",
      "1/320"
    ],
    "strictly_productive": true,
    "q": "3/2",
    "overlap": [
      "1",
      "2"
    ]
  },
  "layers": [
    {
      "example": "direction_obstruction",
      "productive_flow": "feasible",
      "direction": "infeasible",
      "independent_complex": "feasible",
      "species_activity": "infeasible by manuscript analytic obstruction"
    },
    {
      "example": "magnitude_obstruction",
      "productive_flow": "feasible",
      "direction": "feasible",
      "independent_complex": "infeasible",
      "species_activity": "infeasible by manuscript analytic obstruction"
    },
    {
      "example": "monomial_obstruction",
      "productive_flow": "feasible",
      "direction": "feasible",
      "independent_complex": "feasible",
      "species_activity": "infeasible by manuscript analytic obstruction"
    },
    {
      "example": "selected_triangles",
      "productive_flow": "feasible",
      "direction": "feasible",
      "independent_complex": "feasible",
      "species_activity": "feasible exact witness"
    }
  ],
  "dominance_count": 441,
  "barrier_window_J_per_mol": 1717.417603818253,
  "monomial_contradiction": "Directions force 0<A<1; required B lower minus required B upper = 2 A^2 (1-A) / 3 > 0.",
  "evidence": "Exact rational witnesses and linear alternative certificates. Analytical species-level obstruction is from the manuscript. Static per-core productivity is not a steady state, stability, or whole-network-growth guarantee. No Lean compilation."
}