Skip to content

Namespace DotBoxD.Kernels.Sandbox

DotBoxD.Kernels.Sandbox.Values

BoolValue

F64Value

GuidValue

A 128-bit System.Guid carried as a first-class sandbox scalar. The kernel never operates on it (no arithmetic, comparison, or string semantics) — it only reads, stores, projects, and returns it — so it crosses the wire as a compact 16-byte value rather than its 36-char text form.

I32Value

I64Value

OpaqueIdValue

RecordValue

SandboxCollectionFuel

SandboxContext

SandboxDescriptorGuards

SandboxEffects

SandboxError

SandboxFloat64Math

SandboxInt32Math

Checked 32-bit integer arithmetic with sandbox error semantics. Overflow is detected with branchless bit tests (no closures, no try/catch) so each operation is allocation-free and inlineable on the compiler’s unboxed fast path and the interpreter alike. Every overflow / divide-by-zero raises the same DotBoxD.Kernels.Sandbox.SandboxErrorCode.InvalidInput error as before.

SandboxInt64Math

Checked 64-bit integer arithmetic with sandbox error semantics. Overflow is detected with branchless bit tests for add/subtract and a minimized checked multiply path, so each operation is allocation-free and inlineable on the compiler’s unboxed fast path and the interpreter alike — mirroring DotBoxD.Kernels.Sandbox.SandboxInt32Math. Every overflow / divide-by-zero raises the same DotBoxD.Kernels.Sandbox.SandboxErrorCode.InvalidInput error.

SandboxLanguage

SandboxLiteralConstraints

SandboxNumericOperations

SandboxPath

SandboxPathValue

SandboxResourceUsage

SandboxType

SandboxUri

SandboxUriValue

SandboxValue

SandboxValueValidator

StringValue

UnitValue

SandboxEffect

SandboxErrorCode