On this page
Reaction network model assurance plugin
Edition: 8 October 2026. Initial decision: Prototype model checks. The product interpretation and pricing are hypotheses; independent proof and buyer validation remain open.
Research finding
The newer paper states a common compact absorbing set for each positive compatibility class of a weakly reversible mass-action system with fixed positive rates. The listed formal scope supports older trajectory-dependent global bounds rather than this entire newer classwise statement.
Problem and buyer
A chemical-modeling team needs to know whether long simulations are consistent with structural guarantees and whether an edited reaction network still meets the assumptions underlying its analysis.
What the finding could enable
A model-assurance plugin could detect weak reversibility, check rate and initial-state assumptions, identify conservation classes and attach a structural analysis record to simulations. It enables disciplined model review rather than immediate numerical concentration certificates.
Technical and commercial limits
The theorem assumes constant positive rates, mass-action kinetics and strictly positive initial states. It does not automatically supply usable numerical bounds or entry times. A simulation result is not a proof of the absorbing-set construction.
Minimal architecture
SBML or reaction DSL import -> reaction graph analysis -> assumption checks -> stoichiometric-class metadata -> simulation annotation. Extend an established simulator instead of replacing it.
Existing alternatives and differentiation
Catalyst already analyzes and simulates reaction networks. The proposed addition is version-aware assumption checking and theorem coverage, not ordinary network graph analysis.
Monetization hypothesis
Hypothesis: AUD 3,000-12,000 for a model-assurance integration or supported enterprise plugin. Budget is likelier in repeated industrial modeling than an individual academic license, but this remains unvalidated.
Validation experiment
Use networks that satisfy and violate weak reversibility, rate constancy and positivity. Verify that the plugin blocks inappropriate guarantees and flags edits that change applicability. Seek independently checked numerical bounds for restricted networks.
Conditions to reject or defer
Defer numerical certification if effective constants cannot be extracted, and reject broad process-safety claims based solely on a qualitative theorem.
Next concrete action
Build the assumption checker and compare current-paper coverage with the older MassAction formal statement.
Source evidence
Repository sources are pinned to revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. Selected scope notes and manuscript statements have been reviewed to the extent described above; these links do not represent successful kernel checks.
Family 149
Subject: Classwise permanence for weakly reversible mass-action systems.
- Uniform Permanence in Weakly Reversible Mass-Action Systems
- Boundedness and persistence of weakly reversible mass-action systems
- Formal scope notes
Current alternative sources
Primary documentation reviewed on 8 October 2026. Product availability demonstrates alternatives, not demand or willingness to pay for this proposal.