{
  "generated_at_utc": "2026-10-09T03:19:13.636385+00:00",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "files": [
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/archived-source/compare_reaction_simulation_2026_10_09.py",
      "bytes": 3789,
      "sha256": "48694c99523536e2a1623e6ec0792bec1833cc47c2767a58cc50e0007c1d5c87"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/archived-source/plot_reaction_network_2026_10_09.py",
      "bytes": 1803,
      "sha256": "a313dd4997a30065a85e5c86328da828be5cba99acf5562ac41da66f3d547604"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/archived-source/publish_reaction_network_2026_10_09.py",
      "bytes": 26682,
      "sha256": "b4f50530286fea952a48bc30a2fdd2d8ed86935a5d8ce65a0ad6d9beb57c8f8e"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/archived-source/reaction_network_audit.py",
      "bytes": 14226,
      "sha256": "0c833e69e2bdc6d0debc7ef0a9aa9cc6ac2d943d7714eb9494d9283898b0b61b"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/archived-source/validate_reaction_network_2026_10_09.py",
      "bytes": 12830,
      "sha256": "68aeb0b82c92cf308ddd261e18bf302c827d9dbc71276048cdd47fb11d3e3f03"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/catalyst_tutorial_graph/input.json",
      "bytes": 1645,
      "sha256": "1f29cd89f0b44baa3d561acf26534d4b2b175f5bbea38bbc7ebc67a851cf7122"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/catalyst_tutorial_graph/report.json",
      "bytes": 8815,
      "sha256": "46a8e6ac801312b9a59160ab8ff06b3b59222af35173dfb7127c25e7d95baad9"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/cli/input.json",
      "bytes": 652,
      "sha256": "cff7ad0c1a398fde2d2ed2548b1ef236d20aa7633b0cb3cf6e5c621f98b33c07"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/cli/report.json",
      "bytes": 4385,
      "sha256": "4960c75a7fff38e10ce5287721dbee536c5efc85baf46a3bf52a583c6886f695"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/cycle_weak_not_pairwise/input.json",
      "bytes": 647,
      "sha256": "43723a48ebca4c9c84ed89238264a50cdea38425b7b7a67b2fe7e53403032882"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/cycle_weak_not_pairwise/report.json",
      "bytes": 3340,
      "sha256": "ebe2a2f3305e774669293ac9bd9d086b0822f9f615d3e970c52d4a0c7426e376"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/dimer_source_counterexample/input.json",
      "bytes": 652,
      "sha256": "cff7ad0c1a398fde2d2ed2548b1ef236d20aa7633b0cb3cf6e5c621f98b33c07"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/dimer_source_counterexample/report.json",
      "bytes": 4211,
      "sha256": "bbfa0b386514e753cf12fc272218cc054f6a995bcabbdef2e898e4da4adffd66"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/generated-models.json",
      "bytes": 535596,
      "sha256": "23ae8551b714108798e8a57f46c2f166b98cecf8fb3cb42aff2f07e340215676"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/initial_outside_box/input.json",
      "bytes": 485,
      "sha256": "bb1dc2a183f3b577e548520b0da19eeb7b9d4c6e8fd494cb5a4575d8585d70be"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/initial_outside_box/report.json",
      "bytes": 2819,
      "sha256": "20298dcc62c6904a0f2297f9454f86c5d3b9f951fe8d1ef9e14f3fcaf3f7f91c"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_factorial/input.json",
      "bytes": 485,
      "sha256": "70085916e4d8113ddf3bb2e57bb58d67b8afdbb8552f37f03209d8cb0e0b2f08"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_factorial/report.json",
      "bytes": 2815,
      "sha256": "b82a510d6be859b4685675f234def9a620b55fdc5aecf19d0a8481d6eb885776"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_factorial_wide/input.json",
      "bytes": 481,
      "sha256": "b2567f607d65c91bdf7905b9f5ec1cb623c2b200b3ec43abe7e4946e51b10c4e"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_factorial_wide/report.json",
      "bytes": 2822,
      "sha256": "2908da9a0e6e07bbdb106af35440206efdd1a6d28ae36b47dbc06740045f98f7"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_monomial/input.json",
      "bytes": 485,
      "sha256": "233e4a305fe6e1ad2c559095482f91c45a50d9accf3da5610937ad7fe4bc0f14"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/logistic_monomial/report.json",
      "bytes": 2816,
      "sha256": "ce0c42f831c2926e7f4a3e82df1c665f6fadb5324af68116ed73518a2cccf50f"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/model-convention-and-bounds.png",
      "bytes": 102466,
      "sha256": "7bb37f99f714408b8b9e288c2257f9c2e048672b5166a93dd3e6b1c71d57747c"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/parallel_rate_sum/input.json",
      "bytes": 560,
      "sha256": "9c62d2dee7a0a6d3c9e36be1e0a243bdb6e1e4b70f09585c5d139461829e11a6"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/parallel_rate_sum/report.json",
      "bytes": 2906,
      "sha256": "724f1d62a850a3b8aa445ed26eca34ed709b4534248694a34c7e72252173cfc1"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/report.md",
      "bytes": 12938,
      "sha256": "c2d4888d83cf3559392fe5c6386ea1885707fb17ba5ef7aada6adc31ddbfc7a9"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/simulation-comparison.json",
      "bytes": 148655,
      "sha256": "0bafa13bb1c3121246623e1be3c5f62e3a7b94dd78744d81f5337a5f544c5460"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/summary.json",
      "bytes": 2716,
      "sha256": "84d8b85542628ac5cb9290fa81b998208927c6c971ec7d7fb1b247ea91dcaec1"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_field_isolates/input.json",
      "bytes": 530,
      "sha256": "b00c563841f39228a7ea21c8e0769444dee96bbb8de397442ceb896fca351562"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_field_isolates/report.json",
      "bytes": 2915,
      "sha256": "d3fe5ac64838a5d1af7e64717d64545b6e3553eeaebeff32d77201451122c59f"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_initial/input.json",
      "bytes": 485,
      "sha256": "2b9453a879cabed3cbe81c0b0ebf6ddc62347c02d64fd34dc63736f105c2fa5c"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_initial/report.json",
      "bytes": 2819,
      "sha256": "cd6b2519ca9f4a4fecac79fb50560713f453546150143c353eb5a535a4c6703e"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_reverse_unbounded/input.json",
      "bytes": 485,
      "sha256": "8897284d124c7b098bf832df6c6d14046252420ca905f39467a38dfcbd7b11ea"
    },
    {
      "path": "research/prototypes/reaction-network-2026-10-09-v1/zero_reverse_unbounded/report.json",
      "bytes": 2763,
      "sha256": "c190afe4502975289a7c1a42811a22a00f40f1d54f54d3ea9a3ada1fa756144c"
    }
  ],
  "source_files": [
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/permanence.pdf",
      "bytes": 376041,
      "sha256": "69edba6a8946a5517aae4b2add648ff9782069abe6409f7ecd31a82428853f07",
      "extent": "13-page PDF; visually inspected pages 1-2.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/README.md",
      "bytes": 653,
      "sha256": "4104df10767c86b5ec8f5563228afcf16ce2239b324c9a8203f54588d2577327",
      "extent": "Complete manuscript identification and citation.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/build/sections/introduction.tex",
      "bytes": 9880,
      "sha256": "73122c3242d7cdcc86a4d50fc3169e1ef79ade9fbf8b0316f0ebd64cec288bb5",
      "extent": "Complete 186-line introduction: classwise permanence, fixed rates, positive class, prior work and proof overview.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/build/sections/trapping.tex",
      "bytes": 13444,
      "sha256": "c076318b4fd3ef4b310a74d6302c5a1bd382e2ba180d439f0201c7e7daba97cd",
      "extent": "Complete 316-line section: tolerance, finite slopes, H, class scale, cut-flux inequality, all-active-label derivatives and compact trapping/finite entry.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/build/sections/permanence.tex",
      "bytes": 3136,
      "sha256": "83ee9746f17f60fa04d74940d47b91b6caaf14c1abb3efc912714e243ebd6479",
      "extent": "Complete 77-line classwise absorbing-set proof, including successive boxes rather than assumed nesting of trapping sets.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Uniform-Permanence-in-Weakly-Reversible-Mass-Action-Systems-October-5-2026/build/sections/affine.tex",
      "bytes": 12836,
      "sha256": "28b8628ce97517025e22d1ac18eabbef39d0b4384f3aa7bad0463b3025d8bec0",
      "extent": "Lines 1-100, 160-220 and 275-309 only: statement, induction setup, compactness/finite subcover and uniform activity corollary. Intervening induction/gluing details not reviewed.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Boundedness-and-persistence-of-weakly-reversible-mass-action-systems-September-25-2026/paper.pdf",
      "bytes": 433633,
      "sha256": "f953bd681c2ddb7d2f502f4712841e48e044f1a73ff2e4d00f875338b4ade507",
      "extent": "16-page PDF; visually inspected pages 1-2.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Boundedness-and-persistence-of-weakly-reversible-mass-action-systems-September-25-2026/README.md",
      "bytes": 679,
      "sha256": "461dccbb1ed432f1e70a60ca9fcc099fb2a9c1512cf39a2ee6e83326678e61fa",
      "extent": "Complete manuscript identification and citation.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "preprints/Boundedness-and-persistence-of-weakly-reversible-mass-action-systems-September-25-2026/build/sections/01-introduction.tex",
      "bytes": 13338,
      "sha256": "04cd2c4b3d8991748385bfb7d50e3c3815ba4b1c250e38c95f8e672151c8c06a",
      "extent": "Complete introduction: initial-state-dependent bounds, invariant polytope, earlier monomial-dominance gap and proof overview.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "lean/docs/149.md",
      "bytes": 1150,
      "sha256": "97e1aa0f5884acd7606bbd374be3b038ecfd0425ffb9ba74981eb035e83ef15f",
      "extent": "Complete selected formal scope: older all-time initial-state-dependent bounds only.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    },
    {
      "path": "lean/ComparatorChallenges/MassAction.lean",
      "bytes": 1987,
      "sha256": "7fc1497663e433a087203ad3778bc85b81c48588ba4df9e3ff949a23782a0000",
      "extent": "Complete interface, reaction-set model, directed return paths, polynomial field, solution quantifiers and older bound. No kernel/proof execution.",
      "note": "Selected reading; no source proof, native theorem construction or Lean/kernel execution."
    }
  ],
  "scope": "Selected source reading and conventional exact/numerical model evidence; archived tools inert. No source proofs/kernels, physical model or simulator import validated."
}