Function empty_ctx_addr

crates/kernel/src/tc.rs:32–37

Content-addressed context identity for the empty context (no bindings).

()

/// Content-addressed context identity for the empty context (no bindings).
pub fn empty_ctx_addr() -> CtxAddr {
  use std::sync::LazyLock;
  static ADDR: LazyLock<CtxAddr> =
    LazyLock::new(|| blake3::hash(b"ix.kernel.ctx.empty"));
  *ADDR
}

/// Maximum iterations in the WHNF delta loop (local per-call).
pub const MAX_WHNF_FUEL: u32 = 10_000;