Milestones
List view
Verification + CI hardening (Track 3 + Phase 3): Verus invariant gating + refinement link (#280), re-enable disabled workflows (#237), pre-commit hook (#238).
No due date•0/3 issues closedkiln-async streams + backpressure (Phase 2): Stream<T> ring + credit-based flow control, error-context.
No due datecrates.io publishing: kilnvm-* rename + synth-modeled publish-to-crates-io.yml. Issue #310 / AD-PUBLISH-001 / REQ_CRATES_PUBLISH.
No due date•0/1 issues closedkiln-async embedded P3 integration (Phase-1 exit). R1 RESOLVED — NO unsafe (opaque poll-callback + mark_ready never polls a Rust Future; forbid(unsafe_code) permanent). Scope: end-to-end run of a synth-lowered async core module via the jess pipeline (adopt→meld_fuse→wasm_optimize→synth_compile→renode); gated on synth P3-async→ARM lowering + Renode (synth#275). Plus error-context intrinsic.
No due date•0/1 issues closedFirst WAST GC-conformance SUB-RELEASE (sub-releases v0.3.3, v0.3.4, … each ship one confirmed cluster fix, full-suite-gated). v0.3.3 = the ref.cast/ref.test downcast-trap cluster (type-subtyping fail4/5/6: downcasting a supertype value to a subtype must trap). #149. Subsequent sub-releases: call_indirect type-check, import-linking subtyping, validator sub-decl validation.
No due date•0/2 issues closed