fix(fast-inbox): regen scenarios respect the per-block message cap (A-1435)

makeCheckpoint concentrates every scenario message into the first block, whose bundle pads to
MAX_L1_TO_L2_MSGS_PER_BLOCK (256), so seeding scenarios with the per-checkpoint cap (1024) threw
on regeneration. Also distribute messages across both blocks of the rollup-block-root scenario so
the committed non-first block-root sample carries a non-empty bundle.

Author: spalladino

yarn-project/prover-client/src/test/regenerate_rollup_sample_inputs.test.ts

@@ -1,4 +1,4 @@
-import { MAX_L1_TO_L2_MSGS_PER_CHECKPOINT } from '@aztec/constants';
+import { MAX_L1_TO_L2_MSGS_PER_BLOCK } from '@aztec/constants';
 import { EpochNumber } from '@aztec/foundation/branded-types';
 import { times, timesAsync } from '@aztec/foundation/collection';
 import { Fr } from '@aztec/foundation/curves/bn254';
@@ -60,7 +60,9 @@ describeOrSkip('prover/regenerate-rollup-sample-inputs', () => {
     dump: CircuitName[];
   }
 
-  const withMessages = MAX_L1_TO_L2_MSGS_PER_CHECKPOINT;
+  // `makeCheckpoint` puts the scenario's whole message list into the first block, so the most a
+  // scenario can carry is one full per-block bundle, not the per-checkpoint cap.
+  const withMessages = MAX_L1_TO_L2_MSGS_PER_BLOCK;
 
   const scenarios: Scenario[] = [
     {
@@ -89,11 +91,14 @@ describeOrSkip('prover/regenerate-rollup-sample-inputs', () => {
         'rollup-checkpoint-root',
       ],
     },
+    // Messages split across both blocks so the non-first block-root sample carries a non-empty
+    // bundle, exercising the per-block sponge continuity asserts in the circuit.
     {
       numCheckpoints: 1,
       numBlocksPerCheckpoint: 2,
       numTxsPerBlock: 2,
-      numL1ToL2Messages: withMessages,
+      numL1ToL2Messages: 0, // Overridden by l1ToL2MessagesPerBlock.
+      l1ToL2MessagesPerBlock: [times(2, i => new Fr(0xb00 + i)), times(3, i => new Fr(0xc00 + i))],
       dump: ['rollup-block-root'],
     },
     // Three txs in a block force a tx-merge to pair the base proofs down to the two the block root