Fix leaf recursion debug constraint mismatches

[kunxian-xia]

Summary

This PR contains the current leaf-recursion debug fixes developed in a separate worktree on fix/leaf-recursion-debug.

Fixed debug-local bus/AIR mismatches:

• TowerLayerInputBus imbalance is gone (Bus 28).
• StartingTidxBus imbalance is gone (Bus 26) by aligning proof-shape preflight cursor generation with ProofShapeAir's recurrence.
• LookupChallengeBus imbalance is gone (Bus 24) by rehydrating VmPvs lookup alpha/beta from the incoming transcript log before proof-shape trace generation.
• The original ProofShapeAir<4, 8> row-local failure is no longer the active blocker.

The work also includes transcript/public-value ordering and tower transcript/sumcheck alignment changes needed to reach the current debug state.

Current Status

This is intentionally a draft: the single-shard debug gate still fails at LogUp equality.

Current focused remaining failure:

• Bus 23 / ForkedTranscriptBus, between ForkedTranscriptAir and ProofShapeAir.
• Diagnosis: ForkedTranscriptAir currently emits an incomplete first-row fork-local approximation. It should publish actual fork-local transcript log entries keyed by local_tidx, so ProofShapeAir can consume the fork prelude and sampled challenge entries consistently.

Testing

Passed:

• cargo fmt
• cargo test continuation::tests::prover_integration::agg_prover_single_shard --no-run

Run and still failing as expected at the next remaining bus mismatch:

CENO_RECURSION_V2_FIXTURE_DIR=/Users/xkx/Blockchain/ceno/ceno_recursion_v2/src/imported \
RUST_BACKTRACE=1 \
RUST_LOG=ceno_recursion_v2=info \
RUST_MIN_STACK=33554432 \
cargo test continuation::tests::prover_integration::agg_prover_single_shard -- --nocapture

Latest debug bus summary after the committed fixes no longer includes buses 28, 26, or 24; it now includes Bus 23 as the next focused local mismatch.