Module dims

Module dims 

Source
Expand description

2026-09-28: Dimension expressions: a sum of products of named dims and integer literals, e.g. q_heads*head_dim*2 or lin_qk*2+lin_v. 2026-10-02: A factor may be a dim divided by a literal, rounded up (moe_inter/128: the scale count of a 128-wide group).

Owner: metrale-circuit. Invariants:

  • An expression keeps its source text, so a plan renders the shape the template wrote.
  • Evaluation names every unknown dim and refuses overflow; it never substitutes a value.

Structs§

DimExpr
2026-09-28: A parsed dimension expression.

Enums§

DimError
2026-09-28: Why a dimension expression did not parse or evaluate.