docs(ptodsl): clarify user guide operation contracts#830
Conversation
![gemini-code-assist[bot]](https://avatars.githubusercontent.com/in/956858?s=60&v=4){kind=small}
There was a problem hiding this comment.
Code Review
This pull request updates several chapters of the PTODSL user guide, adding clarifications on mutable valid_shape, device-side scalar math helpers, shorthand MTE wrappers, and the pto.tile.mov operation, while also cleaning up redundant code blocks and fixing section references. Feedback suggests using the standard term "memory spaces" instead of "domains" or "contracts" in the new pto.tile.mov documentation to maintain consistency with the rest of the guide.
Important
The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.
| ### 8.1.2a Tile movement between domains | ||
|
|
||
| #### `pto.tile.mov(src: Tile, dst: Tile, *, mode=None) -> None` | ||
|
|
||
| **Description**: Moves data between compatible tile domains without going | ||
| through GM. This is the tile-domain transfer surface used when a workflow needs | ||
| to stage data from one tile contract into another, for example UB → MAT before | ||
| a cube sub-kernel consumes the result. |
There was a problem hiding this comment.
To maintain consistency with the rest of the documentation (such as Chapter 4 and Chapter 7), it is recommended to use the standard term memory spaces instead of domains or contracts. This ensures uniform terminology across the user guide.\n\nSuggested replacement:\nmarkdown\n### 8.1.2a Tile movement between memory spaces\n\n#### `pto.tile.mov(src: Tile, dst: Tile, *, mode=None) -> None`\n\n**Description**: Moves data between compatible tile memory spaces without going\nthrough GM. This is the tile-to-tile transfer surface used when a workflow needs\nto stage data from one tile memory space into another, for example UB → MAT before\na cube sub-kernel consumes the result.\n
Codex Review该评论由 review 机器人自动更新。
SummaryReview failed at stage Findings未生成结构化 findings，因为 review 过程提前失败。 Log Tail |
2 participants
Summary
This PR addresses a set of PTODSL user-guide issues from #800 that still reproduce on current .
The changes focus on documentation correctness and contract clarity:
Validation
Local checks on this branch:
All passed locally.