Skip to content

Stdlib ecosystem digest — session cee09172-b61f-4f7b-84de-aae2d0e5972f (cycle 1)

Agent: stdlib_researcher · Goal: stdlib_ecosystem · north_star_fit: ecosystem, scientific_computing, hpc
Status: cycle 1 complete
Completed steps: inventory_std_tree-1, gap_vs_sota-linalg-1, synthesize_step
Repo: lic · Cycle digests: docs/ecosystem/stdlib-research/
Whitepapers: research-findings/whitepapers/2026-05/stdlib_ecosystem/

Executive summary

  • Inventoried 25 lic/std/**/*.li modules; seam + bytes are the only non-stub implementations; WP0-B collections/heap/algorithms are compile-only (Wave A blocked).
  • Dense LA lives in prelude/compiler, not std/math — dot, sum, norm, axpy, 1d/2d @ with 26 math_linalg tests; no packages/linalg, std.tensor, or LAPACK-class APIs.
  • SOTA gaps: full broadcast, sparse, decompositions/solvers; simd_dot bench still uses extern C kernel (7e-a doc drift).
  • Perf: matmul_naive advisory OK; matmul_blocked / horner_pure_li fail strict ≤1.2× (G-math Partial).
  • li-std-math mirrors li-math with weaker contracts; li-std-core is version stub only.
  • Ingest: std.summary, std.plot missing; explorer + stdlib.md stale on WP0-B modules.
  • Handoff: build packages/linalg, pure-Li simd_dot, tier-1 strict perf → package_architect → code_implementer.
  • No product code in this cycle — research digests + whitepapers only.

Step artifacts

Step Artifact
inventory_std_tree-1 cycle-1-inventory-std-tree.md
gap_vs_sota-linalg-1 cycle-1-gap-vs-sota-linalg.md
synthesize_step cycle-1-summary.md

Cycle 1 consolidated outputs

packages_to_build:
  - packages/linalg
  - std.tensor
  - std.sparse
packages_to_improve:
  - li-std-math
  - packages/li-math
  - packages/li-math-numerics
  - benchmarks/tier1_micro/simd_dot/li
  - lic/std (docs + coverage)
std_modules_to_add:
  - std.summary
  - std.plot
  - std.http.*
  - std.tensor
  - std.sparse
  - std.linalg
connections:
  - prelude @ / dot / sum / norm / axpy → compiler MIR → codegen
  - packages/li-math → prelude @
  - li-std-math → mirror of li-math
  - std/runtime/seam → li_rt_net.c
  - std/bytes → packages/li-bytes
  - li-tests/math_linalg → compiler gates
  - li-tests/stdlib_seal → WP0-B smoke
  - packages/lig → FFI matmul (parallel track)
  - WP0-B stubs → prelude (blocked: Wave A)

Queue

Cycle 1 complete. Next session may open cycle 2 (audit_package breadth, httpd std modules, or collections runtime post Wave A).