Repository navigation

M2: bring the merged stack (#22–#39) into main - #40

Merged

teo1747 merged 35 commits into

mainfrom

docs/m2-11-exit

Oct 31, 2026

Merged

M2: bring the merged stack (#22–#39) into main#40
teo1747 merged 35 commits into
mainfrom
docs/m2-11-exit

Commits on Oct 27, 2026
Commits on Oct 30, 2026
- feat(work): delayed work over internal timers (M2-09)
  teo1747
  committed
  34a7c7c
- test(m2-10): combined scenarios, a coverage preset and the campaign runner
  teo1747
  committed
  bb60e2f
- fix(sched): raising a ready thread above the running one preempts at once
  teo1747
  committed
  77768fb
- fix(native): keep registration tables dense under Mach-O AddressSanitizer
  teo1747
  committed
  617e1db
- fix(model): resolve campaign runner paths before naming them
  teo1747
  committed
  b04cf96
- fix(thread): preempt after a priority raise without mutexes too
  teo1747
  committed
  f563ef5
- docs(m2-10): integrated campaign evidence and report
  teo1747
  committed
  2a29b1b
- docs(m2-11): M2 exit review
  teo1747
  committed
  2bb7f90
- docs(m2-11): record the final CI state
  teo1747
  committed
  db6d36f
- docs(m2): record the accepted M2 contract decisions
  teo1747
  committed
  8d2cb2a
- Merge branch 'main' into docs/m2-11-exit
  teo1747
  authored
  cc9b972