PY-DOCU0002 · tensor_docstring_semantics
Require shape and dtype semantics for public tensor callables.
This is a deterministic rule for python. Read its implementation.
Definition
Section titled “Definition”Resolve explicit Torch, CuPy, JAX, torchtyping, and jaxtyping annotations on public module and class callables. When at least one parameter or return is a recognized tensor, require both shape and dtype semantics in its docstring or structured annotation. Emit one finding per callable and identify every tensor role and missing semantic dimension.
Evidence
Section titled “Evidence”Each finding covers the callable definition and records tensor parameters or returns together
with the missing shape or dtype concepts.
Exceptions
Section titled “Exceptions”Private and nested callables, unknown Tensor names, and annotations from unrecognized
libraries are excluded. A nonempty shape string and typed jaxtyping dtype wrapper satisfy the
corresponding semantics without repeating them in prose.
Examples
Section titled “Examples”def normalize(values: torch.Tensor) -> torch.Tensor: '''Normalize values.'''def normalize(values: torch.Tensor) -> torch.Tensor: '''Normalize a float32 tensor with shape `[batch, features]`.'''References
Section titled “References”- Cites “PyTorch documentation”, contribution guide, tensor shape and dtype. Open reference
- Cites “NumPy documentation”, array parameters and return values. Open reference
- Cites “jaxtyping documentation”, array shape and dtype annotations. Open reference