silk/native_start

Profiles: aarch64-apple-darwin, aarch64-unknown-linux-gnu, x86_64-unknown-linux-gnu.

Source-owned startup for a hosted native executable.

When to use

Select this module as the runtime root for Darwin ARM64 or GNU Linux x86-64/ARM64. It supplies the platform C main entry and calls the explicitly selected application module.

Details

The application returns i32, unit, or an Effect producing unit. The Effect may require mutable HostInput; startup provides an owned argument/environment snapshot. Other requirements must be supplied by application source. Returned and directly authored Effects use the same policy.

Application execution owns a 64-node diagnostic pool with 4096 output bytes and 32 frames. Initialization uses allocation-free fallback diagnostics. Typed failures return status 1 after payload cleanup, even when reporting cannot allocate or write. Fatal traps do not unwind.

Gotchas

Startup supplies no scheduler or event loop. A park-capable application must establish its own execution owner; the application closure is checked with Intrinsic.NonParking.

Public declarations: 0.

This module declares no public items.