Build History for branch/ludics/task-fe1c593d-s4/root

fix: preserve batch/input axes in output-axis block tensor concat spec The output-axis concat spec "bt0,...; bt1,..." dropped batch and input rows, causing shape errors when list block tensor components had input or batch axes. Use the full spec "...|...-> bt0,...; ..." to broadcast batch/input rows through concatenation. Add test 13 exercising list block tensors with input-dim components. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

fix: support nested block tensor literals [[ta; tb]; [tc; td]] Add Concat-Concat element-wise unification case to row.ml's unify_dim, allowing the shape solver to equate structurally-matching Concat dimensions from inner block tensor results when used in outer block tensors. Update test and docs to demonstrate direct nesting (2x2 block matrix). Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>