Beta v4.0 rc11 columns hotfix

[OlivierBBB]

Note

Adds prover columns and constraints for user transaction maxima/relative indices across txndata/rlptxn (cancun/osaka/prague), wires USER_TXN_NUMBER_MAX into the RLP→txndata lookup, and forces perspective-sum to be binary.

• Prover columns and constraints:
  • txndata (cancun/osaka/prague):
    • Add prover___RELATIVE_USER_TXN_NUMBER, prover___IS_LAST_USER_TXN_OF_BLOCK (computed) and max columns prover___RELATIVE_USER_TXN_NUMBER_MAX, prover___USER_TXN_NUMBER_MAX with constancy/vanish/setting/finalization constraints.
  • rlptxn (cancun):
    • Add prover___USER_TXN_NUMBER_MAX with constancy and finalization constraints.
• Lookup wiring:
  • Extend rlptxn/cancun/lookups/rlptxn_into_txndata.lisp to map txndata.prover___USER_TXN_NUMBER_MAX from rlptxn.prover___USER_TXN_NUMBER_MAX.
• Flags/perspectives:
  • Change txndata/prague/generalities/flags_perspectives.lisp perspective-sum to force-bin the sum of RLP + HUB + CMPTN.

^{Written by Cursor Bugbot for commit eb3fc85. This will update automatically on new commits. Configure here.}