WIP Feat/recursion batch main constraints

[hero78119]

Problem

Design Rationale

Change Highlights

Benchmark / Performance Impact

Operation

Operation	master (s)	this PR (s)	Improve (master -> this PR)

Layer

Layer	master (s)	this PR (s)	Improve (master -> this PR)

Benchmark command(s):

# paste exact command(s)

Environment (CPU/GPU, core count, rust toolchain, commit hash):

raw data:

• master:
• this PR:

Testing

# paste exact command(s), for example:
# cargo fmt --all --check
# cargo make clippy
# cargo make tests

Risks and Rollout

Follow-ups (optional)

Copilot Reviewer Directive (keep this section)

When Copilot reviews this PR, apply .github/copilot-instructions.md strictly.