Skip to content

v0.8.0: Full Roadmap Complete — M9 through M51

Choose a tag to compare

View all tags
@bwiemz bwiemz released this 19 Mar 00:08
· 1889 commits to main since this release
v0.8.0
7ae7a4d

Milestone: Full Roadmap Delivered

NeuralScript v0.8.0 marks the completion of the entire M9–M51 roadmap. Every milestone now has its infrastructure layer implemented with analysis modules, runtime FFI, semantic validation, and unit tests.

New in v0.8.0 (Phase 9: Type System Extensions)

M49: Shape Algebra

  • Symbolic dimension solver with equality, divisibility, and range proofs
  • DimExpr extended with Mod variant + Eq/Hash derives
  • shape_assert decorator recognition

M50: Sparse Tensors

  • NslSparseTensor repr(C) struct with COO/CSR/CSC/BSR format support
  • Format-aware kernel dispatch (SparseOp × Format × Device)
  • Sparsity-preserving type inference rules
  • sparse(pattern="2:4") decorator validation

M51: Effect System

  • EffectSet bitset tracking IO, Random, Mutation, Communication
  • 3-phase EffectChecker: local inference → call graph propagation → assertion validation
  • pure enforcement (no effects), checkpoint (requires pure), deterministic (no Random)
  • ~40 known-pure builtins, conservative default for unknowns

Code Quality (from external review)

  • All CLI flags now wired through to compiler
  • 5 hotspot files refactored (tensor.rs, expr.rs, compiler.rs, checker.rs, autodiff.rs)
  • 14 panic points replaced with graceful error handling
  • Clippy strict clean (--all-targets)
  • CHANGELOG covers all versions
  • README honestly separates shipped vs infrastructure features

Stats

  • 726 unit tests passing
  • 43 milestones (M9–M51) with infrastructure complete
  • Clippy strict clean

Full Changelog: v0.7.0...v0.8.0

Assets 6
Loading