{
  "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."
}