Thanks, that explains it. But that means it isn't worth bothering about the mining edict: in my late game economy with >3000 pops and >50K research it increases output only by about 15 gas, 5 motes and 5 crystals. And the benefit to mining job output isn't great either.It only affects the production of jobs provided by buildings constructed on natural deposits, not the ones that create them synthetically.
Information Quarantine would get me a better net benefit: +5 stability translates to +3.6% resource and trade output - that's a much better deal for my research output alone!
Or Extended Shifts (increases all worker and slave output by 10%). Since many of my specialist jobs are worked by slaves as well, the net effect may be even better than IQ