Resolved GitHub repositories used by the verified playground build, combining direct and indirect dependencies. This list does not describe internal module dependencies or native system libraries.
Required by this build
No additional GitHub package dependencies were recorded for this verified build.
Build record verified 2026-10-27.
Used by (0 selected packages)
No other selected build records this repository as a dependency. This is not a measure of usage outside the catalog.
Reviewed procedures
These mappings have pinned source evidence. A checked package example may exercise only some of them; source review is not a numerical benchmark.
Sparse matrix-vector product; storage conversion is a distinct API. Dedicated D1b4 driver checks 24 real64 COO/CSR calls against independent scalar loops on a rectangular 4-by-3 matrix with an empty row. Zero/nonzero output initialization, signed/zero input vectors and repeated accumulation y:=y+A*x are verified. Symmetric-storage shortcuts, complex overloads and other sparse formats are outside this driver.
Checked real64 full-storage conversions: independent COO coordinates/values, CSR row pointers/columns/values and reconstructions for five exact dyadic fixtures, including empty rows/columns and an all-zero matrix. coo2dense requires caller initialization of unstored entries. Threshold/subnormal behavior, duplicate entries and storage reuse are not verified; no linear-system solve is claimed.