FA-100477 / Sparse tensor canonicalization / Member archive
Sparse tensor: row reduction uses the global value array · case 02
row reduction uses the global value array.
Case contract
Return one sum per CSR row using that row’s pointer interval, including zero for empty rows.
Why this case matters
A small offline sparse-array operation has explicit coordinate and storage semantics.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| empty middle | [8, 8, 8] | [4, 0, 4] | Failed |
MEMBER ARCHIVE
The complete case is available to members.
This record includes three runnable implementations, regression fixtures, execution results, and source hashes.
Member access is invitation-based. Sign in with your invited account to inspect the sources.
Sign in to the archive ↗