Ecosystem component

Runtime

PARTIALLY VERIFIED

A minimal native execution model.

RUDRA programs run as native processes. The v1.1.0 runtime surface includes OS threads, a mutex and channels.

Details

  • OS threads via spawn (verified).
  • Mutex via mutex_new / lock / unlock (runs single-threaded; contention not independently proven).
  • Channels via chan_new / chan_send / chan_recv (verified send and receive).

Back to all components · Verification evidence