RAF family including empty: N=12; frequencies={'a': 6, 'b': 6, 'g': 7, 'h': 7}.
Fibre slacks: [0, 0, 0, 0].
Weighted core frequencies: {'a': '5/9', 'b': '4/9'}.
Projection-preserving module: False.
Greedy disjoint-cycle certificate: at least 3 distinct abundant reactions.
Producer-gate benchmark: 8 reactions; 14 markers; 256 availability queries checked.
Elementary maxRAF in benchmark: [].
Abundance counts structural sets including the empty set; it is not a kinetic probability.