DO NOT MERGE - PROD tracking - Beta v4.0 prod constraint branch

[amkCha]

This is the constraint branch to use for future prod releases to follow up with latest beta-v4.0-rc16 (the branch name has rc13 in it as legacy from 1st prod release)

Constraints are the same in beta-v4.0-rc16, beta-v4.0-rc14 and beta-v4.0-rc13

---

HOW TO

If there is a hotfix to do on the constraints

• checkout beta-v4.0-rc13-constraint-branch and make sure you have the latest commit
• apply the fix
• push the branch
• to keep consistency between prod and our master branch : cherry-pick the commit of the fix, open a new branch from master, apply it and open a PR that you merge on master
• move on to do the release from tracer branch, see DO NOT MERGE - PROD tracking - Beta v4.0 prod branch linea-tracer#2427

---

Recap for constraints used in beta-v4.0-rc13

These constraints are the same as for beta-v4.0-rc12 on top of which we have applied :

• Olivier's commits to re-integrate columns for the prover team => see constraints of beta-v4.0-rc11-TRACER-only-columns-hotfix
• Olivier's commit that lies on master, similar to the above, with a few changes in methods used for constraints 4a40f0d5a4046aa43e8f063e84b5e91db3729412

---

Note

Adds prover columns and constraints for user transaction numbering across txndata and rlptxn, wires them into the RLP→txndata lookup, and forces perspective-sum to be binary.

• Prover columns and constraints:
  • txndata/{cancun,osaka,prague}/prover/prover_columns_corset.lisp:
    • Add computed columns prover___RELATIVE_USER_TXN_NUMBER and prover___IS_LAST_USER_TXN_OF_BLOCK with properties/constraints.
    • Add max-tracking columns prover___RELATIVE_USER_TXN_NUMBER_MAX and prover___USER_TXN_NUMBER_MAX with constancy/vanish/finalization constraints.
  • rlptxn/cancun/prover/prover_columns_corset.lisp:
    • Add prover___USER_TXN_NUMBER_MAX with constancy and finalization constraints.
• Lookups:
  • rlptxn/cancun/lookups/rlptxn_into_txndata.lisp: include txndata.prover___USER_TXN_NUMBER_MAX target and rlptxn.prover___USER_TXN_NUMBER_MAX source.
• Flags/perspectives:
  • txndata/{cancun,osaka,prague}/generalities/flags_perspectives.lisp: wrap perspective-sum with force-bin to ensure binary.

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