Может ли main() задавать статус завершения, не нарушая поток управления?

Вызов os.exit() также влияет на то, будут ли в действительности выполняться блоки @(fini). Документация os.exit() говорит:

документация os.exit (pkg.odin-lang.org) (https://pkg.odin-lang.org/core/os/#exit) ВАЖНО: Блоки @(fini) не выполняются. Чтобы выполнить очистку @(fini), сначала вызовите runtime._cleanup_runtime.

Следующий вариант позволяет совместить os.exit с return, defer, статусом завершения и блоками @fini:

package main

import "core:fmt"
import "core:os"
import "base:runtime"

status_value: int
main :: proc() {
    defer fmt.println("message deferred")
    if should_stop {
        status_value = 7
        return
    } else {
        status_value = 2
    }
    fmt.println("arbitrary message")
}

@fini
finish :: proc "contextless" () {
    context = runtime.default_context()
    fmt.println("Program is terminating.")
    os.exit(status_value)
}

Вынесите код, который может завершиться ошибкой, в отдельную функцию вместо работы с самим main.

handle: ^TaskResource

execute :: proc() -> (problem: TaskError) {
    // ...
}

main :: proc() {
    problem: TaskError
    defer if problem != nil do os.exit(2)

    {
        // In place of .fini
        handle = alloc()
        defer release(handle)

        problem = execute()
    }
}

Обычно такой же шаблон используют для настройки собственного аллокатора/логгера в разных режимах (например, debug), не трогая саму реализацию. Так среда выполнения Odin тоже остаётся доступной.