TRAP conjecture for distribution-valued meromorphic germs

Let $\mathcal{M}_{\mathrm{lin}}(\mathbb{C}^n,\mathcal{D}'_{\mathrm{reg}}((\mathbb{R}^d)^{\otimes N}))$ denote the space of distribution-valued meromorphic germs with linear poles, and take the inductive limit over the number of variables. A TRAP is the structure consisting of horizontal concatenations, partial traces, and symmetric-group actions satisfying the TRAP axioms. TRAP conjecture. The inductive limit of the spaces of meromorphic germs with linear poles and values in distributions carries a TRAP structure. This is proposed as the algebraic framework for organizing regularised Feynman rules; the conjecture is not resolved in the source.