Milestones

List view

• TypedPython: M2b fixed-layout classes

  Classes compiled with fixed layouts where CPython semantics allow (binary-trees benchmark); same IR safety proof.

  Due by November 21, 2026

  •1/1 issues closed
  100% complete0 open1 closed

• TypedPython: M3 shipped through pypackpack

  Compiled modules ship through the pypackpack compile slot (generated C + flags + module list + .py fallback). Desktop required; Android arm64 if the NDK backend lands; usable-level completion 2026-11-30.

  Due by November 30, 2026

  •1/2 issues closed
  50% complete1 open1 closed

• TypedPython: M2 IR to C on desktop

  Typed IR -> verify -> C -> desktop CPython extension (#41). Scalars, calls, native arrays for list[float]/list[int]; nbody and spectral-norm >= 10x measured alone; demo identical on all 5 benchmarks; incremental cache; ASan/UBSan in CI.

  Due by November 7, 2026

  •3/4 issues closed
  75% complete1 open3 closed

• TypedPython: M1 gate in the build

  Default checking of user Python runs in the Gradle build and fails it on errors (design §6 steps 1, 1b).

  Due by October 17, 2026

  •3/5 issues closed
  60% complete2 open3 closed