ordspv
    Preparing search index...

    Variable L2_EXECUTED_LEAF_RESIDUALConst

    L2_EXECUTED_LEAF_RESIDUAL: string = ...

    What every indexProof other than 'wtxid' leaves open, and what L2 leaves open on the content path. SPEC-CUSTODY and SPEC-VERIFICATION carry the same statement: control block depth is about commitment, and execution is a separate question only the block's witness commitment settles.