Milestones

List view

• 0.33

  Planned general capability extensions: bounded Cell selection and input/output correspondence, nested dynamic value codecs, and allocation-backed value collections with deterministic Map/Set semantics. Priority follows that order; independent work may proceed in parallel. Reuse existing 0.32 contracts and keep their obligations in place. Numeric bounds, executable/checker evidence and scope-specific review are required before admission; no release date or deployment is committed.

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• 0.32

  0.32 cost research and selected optimizations (#36–#41), the first exact ZK profile and application workflow (#22/#42), and compatible-open handles/open roles (#28/#29). Cost experiments require explicit adopt/reject/defer decisions; implementation and stable-admission requirements remain those of each issue. The accepted 0.31 scope stays frozen.

  No due date

  •13/13 issues closed
  100% complete0 open13 closed

• 0.31

  Planned abstraction-cost work: wide immediates, policy adapters and dispatch, entry frames and argument ownership, scalar storage, and expanded cost evidence. Design decisions and acceptance criteria are tracked in the cost roadmap issue. No release date is committed.

  No due date

  •6/6 issues closed
  100% complete0 open6 closed