使用 perfectcut 在自动增长的嵌套括号内换行？

Question

发布完这个问题后，我又回去尝试使用 Mathtools 的DeclarePairedDelimiter命令。我最终得到了这个：

\DeclarePairedDelimiter{\cpparens}{\lparen}{\rparen}

和

\newcommand*{\cpfuncalt}[3][]{
  #2\cpparens[#1]{#3}
}

这导致了 MWE 的修订：

\documentclass{article}

\usepackage{mathtools}
\usepackage{perfectcut}
\usepackage{framed}
\usepackage{changepage}

\makeatletter

\newenvironment{cpruleset}
{\begin{framed}\begin{adjustwidth}{-1.0em}{-1.0em}
\renewcommand{\arraystretch}{1.1}\[\begin{array}{lllllr}}
{\end{array}\]\end{adjustwidth}\end{framed}}

\newcommand{\cprule}[5]{
    \refstepcounter{cpsystems@RuleNum}
    #1 & #2 & \rightarrow_{#3} & #4 & #5 & \hspace{1.5em}(\thecpsystems@RuleNum)\\
}

\DeclarePairedDelimiter{\cpparens}{\lparen}{\rparen}
\DeclarePairedDelimiter{\cpcurls}{\lbrace}{\rbrace}

\newcommand*{\cpfunc}[2]{
#1\perfectunary{IncreaseHeight}{\lparen}{\rparen}{#2}
}

\newcommand*{\cpfuncms}[2]{
#1\perfectunary{IncreaseHeight}{\lbrace}{\rbrace}{#2}
}

\newcommand*{\cpfuncalt}[3][]{
#2\cpparens[#1]{#3}
}

\newcommand*{\cpfuncmsalt}[3][]{
{#2\cpcurls[#1]{#3}}
}

\newcommand*{\cppromoter}[1]{
    & & & & ~ \quad ~ | ~ #1 & \\
}

\newcounter{cpsystems@RuleNum}

\makeatother

\title{MWE}
\author{jcoo092}

\begin{document}
\maketitle

\section{First section}

    \begin{cpruleset}
    
        \cprule{s_1}{\cpfunc{v}{\cpfunc{v}{R}Y}}{1}{s_2}{\cpfunc{s}{\cpfunc{r}{R} \; \cpfunc{u}{Y} \; \cpfunc{p}{\cpfunc{h}{R}\cpfunc{p}{\,}}} \; \cpfunc{c}{\lambda}}
        
        \cprule{s_2}{\cpfunc{s}{\cpfunc{r}{R} \; \cpfunc{u}{\,} \; \cpfunc{p}{\cpfunc{h}{F}\cpfunc{p}{P}} \; \cpfunc{c}{C}}}
%       \cprule{s_2}{\cpfunc{s}{\cpfunc{r}{R} \; \cpfunc{u}{\,} &&\\& \enskip \cpfunc{p}{\cpfunc{h}{F}\cpfunc{p}{P}} \; \cpfunc{c}{C}}}
        {+}{s_3}{\cpfunc{z}{\cpfunc{p}{\cpfunc{h}{R} \cpfunc{p}{\cpfunc{h}{F}\cpfunc{p}{P}}}} \; \cpfuncms{c}{W}}
        \cppromoter{\cpfunc{e}{\cpfunc{f}{F} \; \cpfunc{t}{T} \; \cpfunc{c}{W}}}
        
        \cprule{s_2}{}{+}{s_2}
        {\cpfunc{s}{\cpfunc{r}{R} \; \cpfunc{u}{Z} \; \cpfunc{p}{\cpfunc{h}{T} \cpfunc{p}{\cpfunc{h}{F} \cpfunc{p}{P}}} \; \cpfunc{c}{CW}}}
        \cppromoter{\cpfunc{s}{\cpfunc{r}{R} \; \cpfuncms{u}{\cpfunc{v}{T}Z} \; \cpfunc{p}{\cpfunc{h}{F} \cpfunc{p}{P}} \; \cpfunc{c}{C}}}
        \cppromoter{\cpfunc{e}{\cpfunc{f}{F} \; \cpfunc{t}{T} \; \cpfunc{c}{W}}}
        
        \cprule{s_2}{\cpfunc{s}{\_}}{+}{s_2}{}
        
        \cprule{s_3}{}{1}{s_4}{\cpfunc{p'}{P} \quad \cpfunc{c'}{1D}}
        \cppromoter{\cpfunc{z}{\cpfunc{p}{P \; \cpfunc{c}{1D}}}}

    \end{cpruleset}
    \newpage
    \begin{cpruleset}
    
        \cprule{s_1}{\cpfunc{v}{\cpfunc{v}{R}Y}}{1}{s_2}{\cpfunc{s}{\cpfunc{r}{R} \; \cpfunc{u}{Y} \; \cpfunc{p}{\cpfunc{h}{R}\cpfunc{p}{\,}}} \; &\\&&&& \cpfunc{c}{\lambda}}
        
        \cprule{s_2}{\cpfuncalt[\Big]{s}{\cpfunc{r}{R} \; \cpfunc{u}{\,} &&\\& \enskip \cpfunc{p}{\cpfunc{h}{F}\cpfunc{p}{P}} \; \cpfunc{c}{C}}}
        {+}{s_3}{\cpfunc{z}{\cpfunc{p}{\cpfunc{h}{R} \cpfunc{p}{\cpfunc{h}{F}\cpfunc{p}{P}}}} \; &\\&&&& \cpfuncms{c}{W}}
        \cppromoter{\cpfunc{e}{\cpfunc{f}{F} \; \cpfunc{t}{T} \; \cpfunc{c}{W}}}
        
        \cprule{s_2}{}{+}{s_2}
        {\cpfuncalt[\bigg]{s}{\cpfunc{r}{R} \; \cpfunc{u}{Z} &\\&&&& \enskip \cpfunc{p}{\cpfunc{h}{T} \cpfunc{p}{\cpfunc{h}{F} \cpfunc{p}{P}}} &\\&&&& \enskip \cpfunc{c}{CW}}}
        \cppromoter{\cpfuncalt[\Big]{s}{\cpfunc{r}{R} \; \cpfuncmsalt[\big]{u}{\cpfunc{v}{T}Z} &\\&&&& \qquad \enskip \cpfuncalt[\big]{p}{\cpfunc{h}{F} \cpfunc{p}{P}} \; \cpfunc{c}{C}}}
        \cppromoter{\cpfunc{e}{\cpfunc{f}{F} \; \cpfunc{t}{T} \; \cpfunc{c}{W}}}
        
        \cprule{s_2}{\cpfunc{s}{\_}}{+}{s_2}{}
        
        \cprule{s_3}{}{1}{s_4}{\cpfunc{p'}{P} \quad \cpfunc{c'}{1D}}
        \cppromoter{\cpfunc{z}{\cpfunc{p}{P \; \cpfunc{c}{1D}}}}

    \end{cpruleset}
    
\(\cpfuncalt[\bigg]{s}{\cpfunc{r}{R} \; \cpfunc{u}{Z} \; \\\ \cpfuncms{p}{\cpfunc{h}{T} \cpfunc{p}{\cpfunc{h}{F} \cpfunc{p}{P}}} \; \cpfunc{c}{CW}}\)

\end{document}

使用这个额外的命令，我能够cpfunc在大多数情况下继续使用 Perfectcut ( ) 定义的命令，并且只用涉及手动调整大小的命令替换一些命令。通常，只有最外面的括号需要换行，所以我通常只需手动调整它们就可以了。

这实现了最低限度我需要的，但我不太喜欢它。我希望实现的改进包括：

使用 Perfectcut 的尺寸测量，而不是 AMSMath 的少量，以避免尺寸之间出现任何不一致。
采用一些自动化的方式来计算嵌套数量并进行适当的设置，以避免可能容易出错的手动过程。
说实话，我怀疑自己是否能有效地利用 Mathtools 提供的资源。我确信有更好/更有效/更有用的方法来定义这些东西，但我对 Mathtools 的理解太有限了，无法发现它。
确保换行符开始缩进至少到其上方封闭术语的其余部分，甚至可能更多一点的方法。现在，我基本上只是手动插入空格来获得相同的效果，但我确信一定有更好的方法（可能是某种phantom空格？）
一种表示括号内的内容已移至另一行的方法。目前，我正在考虑添加一个 U+21B5 或类似的字符，但我正在努力弄清楚如何添加它（不过，这一点可能是一个单独的问题）。
我怀疑，cpfuncalt按照定义，该命令很容易出现奇怪的小错误，而错误报告却没有明确说明。如果能让它更好地帮助用户识别错误的位置和内容就好了，但我不知道该怎么做。

如果有人愿意尝试解决上述任何问题，或以其他方式改进这一点，我将不胜感激。

Answer 1