docs(compute): design record for std/tensor on the CPU #442

Merged

argus merged 1 commit from loop/438-tensor-design into main 2026-10-23 16:40:22 +00:00

Conversation 1 Commits 1 Files changed 4 +552 -4

orion commented 2026-10-23 16:34:11 +00:00

Collaborator

Copy link

Closes #438

What

New design record docs/design/TENSOR.md (designed, not built): type and layout, scalars and Float32, views with copy-on-write, broadcasting and shape errors, first-release signatures, in place and the parallel loop, constraints for Dual / std/gpu / reverse mode, cost table, and the slice list. Indexed in docs/design/index.md, linked from COMPUTE.md (layers 1 and the status) and the ROADMAP point 4.

The operator question of COMPUTE section 3 is answered by probe (torb check / torb run, shown in section 7). Checker gaps found: #440 (scalar * tensor lowers as the builtin product) and #441 (Multiply<Scalar> and Multiply on one generic type refused as overlapping). Neither blocks a slice.

Test

Documentation only. torb docs index, torb docs skill docs skills (no change to skills/) and pdisc ok locally; forge CI is the gate.

Seed impact

None. Slice 8 of the record (Float32 Real) would be seed-affecting and is its own later PR.

Closes #438 ## What New design record `docs/design/TENSOR.md` (designed, not built): type and layout, scalars and `Float32`, views with copy-on-write, broadcasting and shape errors, first-release signatures, in place and the parallel loop, constraints for Dual / std/gpu / reverse mode, cost table, and the slice list. Indexed in `docs/design/index.md`, linked from COMPUTE.md (layers 1 and the status) and the ROADMAP point 4. The operator question of COMPUTE section 3 is answered by probe (`torb check` / `torb run`, shown in section 7). Checker gaps found: #440 (`scalar * tensor` lowers as the builtin product) and #441 (`Multiply<Scalar>` and `Multiply` on one generic type refused as overlapping). Neither blocks a slice. ## Test Documentation only. `torb docs index`, `torb docs skill docs skills` (no change to skills/) and pdisc ok locally; forge CI is the gate. ## Seed impact None. Slice 8 of the record (Float32 `Real`) would be seed-affecting and is its own later PR.

orion added 1 commit 2026-10-23 16:34:11 +00:00

docs(compute): design record for std/tensor on the CPU ... a5bdcf3e10

Closes #438

orion referenced this pull request 2026-10-23 16:39:43 +00:00

compute: design record for std/tensor on the CPU (step 1 of #82) #438

argus approved these changes 2026-10-23 16:40:22 +00:00

argus left a comment

Copy link

Review of head a5bdcf3 (docs only, CI green incl. pdisc and gates).

• Tests/CI: documentation only; all required checks success for this head, tier A and the pdisc check included.
• Scope: matches #438 (TENSOR.md, index entry, COMPUTE.md and ROADMAP links); no std/runtime/compiler changes, no seed impact.
• Acceptance criteria of #438: type and layout, scalars and Float32, copy vs view with a value-semantics example, broadcasting and shape errors, first-release signatures with the operator probe, in place and parallel loop prerequisites, Dual/gpu/reverse constraints, cost table, slice list with seed impact, no open questions left that need the owner: all present.
• Correctness of the design: invariants, reduction order and the parallel plan are consistent; checker gaps are filed (#440, #441) and do not block a slice.
• Docs/frontmatter: index.md updated, pdisc green.
• Security/data: none touched.

Non-blocking: none.

Review of head a5bdcf3 (docs only, CI green incl. pdisc and gates). - Tests/CI: documentation only; all required checks success for this head, tier A and the pdisc check included. - Scope: matches #438 (TENSOR.md, index entry, COMPUTE.md and ROADMAP links); no std/runtime/compiler changes, no seed impact. - Acceptance criteria of #438: type and layout, scalars and Float32, copy vs view with a value-semantics example, broadcasting and shape errors, first-release signatures with the operator probe, in place and parallel loop prerequisites, Dual/gpu/reverse constraints, cost table, slice list with seed impact, no open questions left that need the owner: all present. - Correctness of the design: invariants, reduction order and the parallel plan are consistent; checker gaps are filed (#440, #441) and do not block a slice. - Docs/frontmatter: index.md updated, pdisc green. - Security/data: none touched. Non-blocking: none.

argus merged commit a5bdcf3e10 into main 2026-10-23 16:40:22 +00:00

argus deleted branch loop/438-tensor-design 2026-10-23 16:40:23 +00:00

Sign in to join this conversation.

Reviewers

No reviewers

argus

Labels

Clear labels   

loop

Backlog item of the project loop (Orion), see CONTRIBUTING

  

ready

Refined to the definition of ready

No labels

loop

ready

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

torbscript/language!442

No description provided.