Issues

• backend/runtime: external aggregate-return runtime helpers are not ABI-safe

  khaledh/machina#183 · Filter by author khaledh opened on Mar 20, 2026

• linear-types: interactions as linear types

  khaledh/machina#182 · Filter by author khaledh opened on Mar 15, 2026
  1

• linear-types: inter-machine communication umbrella

  khaledh/machina#180 · Filter by author khaledh opened on Mar 15, 2026
  1

• compiler: add --no-runtime opt-out for machine runtime linking/wrapping

  khaledh/machina#179 · Filter by author khaledh opened on Mar 14, 2026

• linear-types: support emit Request(...) and reply in hosted action overrides

  khaledh/machina#175 · Filter by author khaledh opened on Mar 14, 2026

• types: evaluate Box->Arc for recursive Type representation with benchmarks

  enhancement
  khaledh/machina#75 · Filter by author khaledh opened on Feb 13, 2026 · Frontend Pipeline Hardening
  1

• compiler: add frontend performance counters for type/mono/context hot paths

  enhancement
  khaledh/machina#74 · Filter by author khaledh opened on Feb 13, 2026 · Frontend Pipeline Hardening
  1

• completion: enum variant/member completion parity in expression contexts

  analysis-dbfeaturelsp
  khaledh/machina#42 · Filter by author khaledh opened on Feb 11, 2026

• completion: module namespace/path completion in requires blocks

  analysis-dbfeaturelsp
  khaledh/machina#41 · Filter by author khaledh opened on Feb 11, 2026

• completion: pattern-position completion (match/let destructuring)

  analysis-dbfeaturelsp
  khaledh/machina#39 · Filter by author khaledh opened on Feb 11, 2026

• completion: expected-type aware ranking and narrowing

  analysis-dbfeaturelsp
  khaledh/machina#40 · Filter by author khaledh opened on Feb 11, 2026

• completion: type-name completion in annotation/type-expression positions

  analysis-dbfeaturelsp
  khaledh/machina#38 · Filter by author khaledh opened on Feb 11, 2026

• completion: introduce CompletionSite classifier + provider dispatch

  analysis-dbfeaturelsp
  khaledh/machina#37 · Filter by author khaledh opened on Feb 11, 2026

• extension(vscode): end-to-end smoke fixtures for diagnostics/hover/definition/completion

  featurelsp
  khaledh/machina#29 · Filter by author khaledh opened on Feb 11, 2026

• extension(vscode): settings, status, and developer-facing commands

  featurelsp
  khaledh/machina#27 · Filter by author khaledh opened on Feb 11, 2026

• analysis-db: feature 8/8 - JetBrains integration path

  analysis-dbblockedfeaturejetbrainsv1
  khaledh/machina#15 · Filter by author khaledh opened on Feb 10, 2026 · Analysis DB + IDE Tooling V1

• analysis-db: feature 7/8 - VS Code/Cursor adapter hardening

  analysis-dbblockedfeaturelspv1
  khaledh/machina#14 · Filter by author khaledh opened on Feb 10, 2026 · Analysis DB + IDE Tooling V1