Table of Contents

Namespace DotBoxD.Kernels.Sandbox

Namespaces

DotBoxD.Kernels.Sandbox.Values

Classes

BoolValue
F64Value
GuidValue

A 128-bit 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 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 SandboxInt32Math. Every overflow / divide-by-zero raises the same InvalidInput error.

SandboxLanguage
SandboxLiteralConstraints
SandboxNumericOperations
SandboxPath
SandboxPathValue
SandboxResourceUsage
SandboxType
SandboxUri
SandboxUriValue
SandboxValue
SandboxValueValidator
StringValue
UnitValue

Enums

SandboxEffect
SandboxErrorCode