@hew-lang/sandbox-vm 0.9.3 → 0.10.0

package/dist/interpreter/v1/instructions.generated.d.ts

@@ -90,6 +90,7 @@ export type ActorShape = {
     id: number;
     name: string;
     state_fields: Array<ActorField>;
+    state_type?: number | null;
     init?: number | null;
     start?: number | null;
     stop: Array<number>;
@@ -103,7 +104,7 @@ export type ActorShape = {
     mailbox_capacity?: number | null;
     overflow: ActorOverflow;
     coalesce?: Coalesce | null;
-    max_heap_bytes?: number | null;
+    max_heap_bytes?: string | null;
 };
 export type AggregateBuiltin = "Timestamp";
 export type AggregateShape = {
@@ -244,7 +245,7 @@ export type ExternEntry = {
      */
     native_capability?: string | null;
 };
-export type FileReadOp = "Open" | "IsValid" | "Collect" | "Close" | "StreamOpen" | "StreamIsValid" | "StreamCollect" | "HasError" | "LastErrorKind" | "LastErrno" | "LastError";
+export type FileReadOp = "Open" | "IsValid" | "Collect" | "Close" | "StreamOpen" | "StreamIsValid" | "HasError" | "LastErrorKind" | "LastErrno" | "LastError";
 export type FloatMethodOp = "ToBits" | "IsNan" | "IsFinite" | "IsInfinite" | "IsSignNegative";
 export type FunctionV1 = {
     actor_construction?: boolean;
@@ -268,6 +269,77 @@ export type JoinDetail = {
     mode: JoinMode;
 };
 export type JoinMode = "wait" | "cancel_losers" | "propagate_fault";
+export type ManagedHandle = "actor" | "pointer" | "borrow" | "cancellation";
+export type ManagedProvider = "task" | "stream" | "sink" | "json" | "yaml" | "toml" | "opaque";
+export type ManagedType = {
+    id: number;
+    /**
+     * Canonical width of a slot holding this value, encoded without JS rounding.
+     */
+    slot_bytes: string;
+} & ({
+    kind: "scalar";
+} | {
+    kind: "handle";
+    category: ManagedHandle;
+} | {
+    kind: "string";
+} | {
+    kind: "bytes";
+} | {
+    kind: "vector";
+    element: number;
+    share_on_copy: boolean;
+} | {
+    kind: "array";
+    element: number;
+    length: string;
+    share_on_copy: boolean;
+} | {
+    kind: "slice";
+    element: number;
+    share_on_copy: boolean;
+} | {
+    kind: "map";
+    key: number;
+    value: number;
+} | {
+    kind: "set";
+    element: number;
+} | {
+    kind: "aggregate";
+    fields: Array<number>;
+} | {
+    kind: "variant";
+    shape: number;
+    indirect: boolean;
+    payload_bytes: string;
+    cases: Array<Array<number>>;
+} | {
+    kind: "callable";
+    captures: Array<number> | null;
+} | {
+    kind: "generator";
+    yielded: number;
+    returned: number;
+    payload_bytes: string;
+} | {
+    kind: "shared";
+    payload: number;
+    weak: boolean;
+} | {
+    kind: "dynamic";
+} | {
+    kind: "actor_call";
+    completion: number;
+    reply: number;
+    declared_failure: boolean;
+} | {
+    kind: "provider";
+    provider: ManagedProvider;
+    children: Array<number>;
+    invocation_slot_bytes?: string;
+});
 export type MapValueOp = "New" | "Len" | "Index" | "Get" | "GetBorrow" | "ContainsKey" | "Insert" | "Remove" | "Clear" | "Keys" | "Values" | "Entries";
 export type MathIntrinsic = "Sqrt" | "Exp" | "Log" | "Sin" | "Cos" | "AbsI64" | "MinI64" | "MaxI64" | "AbsF64" | "MinF64" | "MaxF64" | "Pow" | "Floor" | "Ceil" | "Round" | "Tan" | "Asin" | "Acos" | "Atan" | "Atan2" | "Sinh" | "Cosh" | "Tanh" | "Exp2" | "Log2" | "Log10" | "Log1p" | "Expm1" | "Cbrt" | "Hypot" | "Fma" | "Trunc" | "Copysign" | "Powi" | "FromBits";
 export type MutableInvocation = {
@@ -283,6 +355,7 @@ export type OffloadDetail = {
     function: number;
 };
 export type OpV1 = {
+    definitions?: Array<ValueDef>;
     own?: Own | null;
     span?: SpanV1 | null | null;
 } & ({
@@ -419,7 +492,6 @@ export type OpV1 = {
     op: "array.repeat";
     dst: number;
     value: number;
-    count?: number | null;
 } | {
     op: "variant.make";
     dst: number;
@@ -537,6 +609,7 @@ export type OpV1 = {
     dst: number;
     scope: number;
     members: Array<number>;
+    member_slot_bytes: string;
 } | {
     op: "task.spawn";
     dst: number;
@@ -551,6 +624,10 @@ export type OpV1 = {
 });
 export type Own = "none" | "owned" | "guaranteed";
 export type PackageV1 = {
+    /**
+     * Compiler-authored language accounting layouts; widths are never host sizes.
+     */
+    managed_types?: Array<ManagedType>;
     codecs?: Array<string>;
     structural_render?: Array<StructuralRecipe>;
     resources?: Array<Resource>;
@@ -588,23 +665,28 @@ export type PlaceBase = {
 export type PlaceDecl = {
     origin: "local";
     id: number;
+    managed_type?: number | null;
 } | {
     origin: "runtime";
     id: number;
+    managed_type?: number | null;
 } | {
     origin: "aggregate";
     id: number;
+    managed_type?: number | null;
     base: PlaceBase;
     shape?: number | null;
     field: number;
 } | {
     origin: "capture";
     id: number;
+    managed_type?: number | null;
     environment: number;
     field: number;
 } | {
     origin: "actor_state";
     id: number;
+    managed_type?: number | null;
     environment: number;
     field: number;
     initialized: boolean;
@@ -667,7 +749,7 @@ export type RuntimeCallFamily = {
     IntArith: [IntArithKind, IntMethodWidth];
 } | {
     FloatMethod: FloatMethodOp;
-} | "NodeConnect" | "NodeId" | "NodeIdDisplay" | "LocationNodeId" | "LocationIncarnation" | "LocationDisplay" | "NodeIdentityKey" | "NodeLoadKeys" | "NodeLookup" | "NodeRegister" | "NodeSetTransport" | "NodeShutdown" | "NodeStart" | "MetricCounterRegister" | "MetricCounterInc" | "MetricCounterAdd" | "MetricGaugeRegister" | "MetricGaugeSet" | "MetricGaugeInc" | "MetricGaugeDec" | "MetricGaugeAdd" | "MetricHistogramRegister" | "MetricHistogramRegisterSimple" | "MetricHistogramRecord" | "MetricVecRegister" | "MetricVecWith" | "ObserveReadU64" | "ObserveScrape" | "ObserveSeries" | "ObserveBarrier" | "RcClone" | "RcDowngrade" | "RcDrop" | "RcGet" | "RcIsUnique" | "RcNew" | "RcSet" | "RcStrongCount" | "RcWeakCount" | "WeakCloneRc" | "WeakDropRc" | "WeakUpgradeRc" | "RegexCapture" | "RegexCompile" | "RegexFreeCapture" | "RegexHandle" | "RegexMatch" | "ReplyChannelCancel" | "ReplyChannelFree" | "ReplyChannelNew" | "ReplyPayloadFree" | "ReplyWait" | "SelectFirst" | "SinkClone" | "SinkClose" | "StreamClose" | "StreamChunks" | "StreamForward" | "StreamFromGenerator" | "SinkFromEncoder" | "StreamLines" | "StreamNextLayout" | "StreamPairSink" | "StreamPairStream" | "StreamSendLayout" | "StreamTake" | "StreamTryNextLayout" | "StreamTrySendLayout" | "CharIsDigit" | "CharIsLetter" | "CharIsAlphanumeric" | "CharIsWhitespace" | "CharIsUpper" | "CharIsLower" | "CharIsPunctuation" | "CharIsControl" | "CharIsAscii" | "CharToUpper" | "CharToLower" | "CharToTitle" | "CharLenUtf8" | "CharToDigit" | "CharFromI64" | "CharFromU64" | "StringGet" | "StringGetRange" | "StringSliceRange" | "StringAppend" | "StringPush" | "StringClear" | "StringFindFrom" | "StringByteLen" | "StringConcat" | "StringEquals" | "StringCompare" | "StringStartsWith" | "StringEndsWith" | "StringContains" | "StringIsEmpty" | "StructuralFormat" | "StringFind" | "StringIndex" | "StringLen" | "StringRepeat" | "StringReplace" | "StringClone" | "StringSplit" | "StringLines" | "StringSliceCodepoints" | "StringSliceCodepointsFrom" | "StringToLowercase" | "StringToBytes" | "StringToUppercase" | "StringTrim" | "U8ToString" | "I32ToString" | "I64ToString" | "U32ToString" | "U64ToString" | "F64ToString" | "CharToString" | {
+} | "NodeConnect" | "NodeId" | "NodeIdDisplay" | "LocationNodeId" | "LocationIncarnation" | "LocationDisplay" | "NodeIdentityKey" | "NodeLoadKeys" | "NodeLookup" | "NodeRegister" | "NodeSetTransport" | "NodeShutdown" | "NodeStart" | "MetricCounterRegister" | "MetricCounterInc" | "MetricCounterAdd" | "MetricGaugeRegister" | "MetricGaugeSet" | "MetricGaugeInc" | "MetricGaugeDec" | "MetricGaugeAdd" | "MetricHistogramRegister" | "MetricHistogramRegisterSimple" | "MetricHistogramRecord" | "MetricVecRegister" | "MetricVecWith" | "ObserveReadU64" | "ObserveScrape" | "ObserveSeries" | "ObserveBarrier" | "RcClone" | "RcDowngrade" | "RcDrop" | "RcGet" | "RcIsUnique" | "RcNew" | "RcSet" | "RcStrongCount" | "RcWeakCount" | "WeakCloneRc" | "WeakDropRc" | "WeakUpgradeRc" | "RegexCapture" | "RegexCompile" | "RegexFreeCapture" | "RegexHandle" | "RegexMatch" | "ReplyChannelCancel" | "ReplyChannelFree" | "ReplyChannelNew" | "ReplyPayloadFree" | "ReplyWait" | "SelectFirst" | "SinkClone" | "SinkClose" | "StreamClose" | "StreamForward" | "StreamPipe" | "StreamFromGenerator" | "SinkFromEncoder" | "StreamNextLayout" | "StreamPairSink" | "StreamPairStream" | "StreamSendLayout" | "StreamTake" | "StreamTryNextLayout" | "StreamTrySendLayout" | "CharIsDigit" | "CharIsLetter" | "CharIsAlphanumeric" | "CharIsWhitespace" | "CharIsUpper" | "CharIsLower" | "CharIsPunctuation" | "CharIsControl" | "CharIsAscii" | "CharToUpper" | "CharToLower" | "CharToTitle" | "CharLenUtf8" | "CharToDigit" | "CharFromI64" | "CharFromU64" | "StringGet" | "StringGetRange" | "StringSliceRange" | "StringAppend" | "StringPush" | "StringClear" | "StringFindFrom" | "StringByteLen" | "StringConcat" | "StringEquals" | "StringCompare" | "StringStartsWith" | "StringEndsWith" | "StringContains" | "StringIsEmpty" | "StructuralFormat" | "StringFind" | "StringIndex" | "StringLen" | "StringRepeat" | "StringReplace" | "StringClone" | "StringSplit" | "StringLines" | "StringSliceCodepoints" | "StringSliceCodepointsFrom" | "StringToLowercase" | "StringToBytes" | "StringToUppercase" | "StringTrim" | "U8ToString" | "I32ToString" | "I64ToString" | "U32ToString" | "U64ToString" | "F64ToString" | "CharToString" | {
     Print: {
         kind: PrintKind;
         newline: boolean;
@@ -694,7 +776,7 @@ export type RuntimeCallFamily = {
 } | "VecRemoveAtBool" | "VecRemoveAtLayout" | "VecRemoveAtOwned" | "VecSetBool" | "VecSetLayout" | "VecSetOwned" | "VecSetOwnedMove" | {
     VecSliceRange: VecSliceElem;
 } | "VtableDispatchPanicOnOob";
-export type RuntimeVariantRole = "CrashKindFault" | "CrashKindHeapExceeded" | "CrashKindPartitionDetected" | "CrashKindHandlerFailed" | "CrashKindTimerOverdue" | "OptionSome" | "OptionNone" | "ResultOk" | "ResultErr" | "ActorErrorRejected" | "ActorErrorFailed" | "ActorErrorTrapped" | "ActorErrorRefused" | "CallerActor" | "CallerTask" | "CallerTimer" | "CallerNode" | "ActorErrorDead" | "ActorErrorTimedOut" | "ActorErrorNodeNotRunning" | "ActorErrorRoutingFailed" | "ActorErrorEncodeFailed" | "ActorErrorMessageTooLarge" | "ActorErrorConnectionDropped" | "ActorErrorPartition" | "SendErrorFull" | "SendErrorClosed" | "SendErrorPartition" | "SendErrorStaleRef" | "SendErrorLocalShutdown" | "SendErrorCancelled" | "SendErrorVersionMismatch" | "SendErrorBackpressure" | "SendErrorDead" | "SendErrorUnauthorized" | "SendErrorInvalidMessage" | "SendErrorMessageTooLarge" | "SendErrorTimedOut" | "SendErrorWriteTimedOut" | "DeliveryAccepted" | "DeliveryDiscarded" | "LinkErrorNoContext";
+export type RuntimeVariantRole = "CrashKindFault" | "CrashKindHeapExceeded" | "CrashKindPartitionDetected" | "CrashKindHandlerFailed" | "CrashKindTimerOverdue" | "CrashKindStackOverflow" | "OptionSome" | "OptionNone" | "ResultOk" | "ResultErr" | "ActorErrorRejected" | "ActorErrorFailed" | "ActorErrorTrapped" | "ActorErrorRefused" | "CallerActor" | "CallerTask" | "CallerTimer" | "CallerNode" | "ActorErrorDead" | "ActorErrorTimedOut" | "ActorErrorNodeNotRunning" | "ActorErrorRoutingFailed" | "ActorErrorEncodeFailed" | "ActorErrorMessageTooLarge" | "ActorErrorConnectionDropped" | "ActorErrorPartition" | "SendErrorFull" | "SendErrorClosed" | "SendErrorPartition" | "SendErrorStaleRef" | "SendErrorLocalShutdown" | "SendErrorCancelled" | "SendErrorVersionMismatch" | "SendErrorBackpressure" | "SendErrorDead" | "SendErrorUnauthorized" | "SendErrorInvalidMessage" | "SendErrorMessageTooLarge" | "SendErrorTimedOut" | "SendErrorWriteTimedOut" | "DeliveryAccepted" | "DeliveryDiscarded" | "LinkErrorNoContext";
 export type SafepointDetail = {
     budget: number;
 };
@@ -783,6 +865,11 @@ export type SupervisorChild = {
     stop_ns?: number | null;
     stop_config?: number | null;
     is_pool?: boolean;
+    /**
+     * Construction transfers this child's effective restart delay as an
+     * `(initial, maximum)` argument pair after the config, in declaration order.
+     */
+    backoff?: boolean;
     spawn: number;
 };
 export type SupervisorPoolOp = "Len" | "Member" | "Get";
@@ -791,7 +878,6 @@ export type SupervisorShape = {
     strategy: RestartStrategy;
     max_restarts: number;
     window_secs: number;
-    backoff?: boolean;
     children: Array<SupervisorChild>;
     startup_order?: Array<number>;
 };
@@ -804,6 +890,11 @@ export type TcpOp = "Listen" | "ListenerValid" | "ConnectionValid" | "ListenerPo
 export type TermV1 = {
     span?: SpanV1 | null | null;
 } & ({
+    op: "materialize";
+    operation: OpV1;
+    normal: Edge;
+    failure: Edge;
+} | {
     op: "return";
     value: BoundaryOperand | null;
 } | {
@@ -1054,7 +1145,7 @@ export type TermV1 = {
 })));
 export type TimerSendPolicy = "reject" | "drop_newest";
 export type TimestampBinaryOp = "Add" | "Subtract";
-export type TrapName = "integer_overflow" | "divide_by_zero" | "shift_out_of_range" | "vector_bounds" | "actor_refused";
+export type TrapName = "heap_exceeded" | "integer_overflow" | "divide_by_zero" | "signed_min_div_neg_one" | "shift_out_of_range" | "vector_bounds" | "actor_refused" | "stack_overflow";
 export type ValueCapability = {
     id: number;
     capability: Capability;
@@ -1070,6 +1161,7 @@ export type ValueComponentCapabilities = {
 export type ValueDef = {
     value: number;
     own: Own;
+    managed_type?: number | null;
 };
 export type ValueOrderingCapabilities = {
     less: number;
@@ -1129,7 +1221,7 @@ export type RuntimeFamilyEntry = {
     id: number;
 } & RuntimeIdentity<RuntimeCallFamily>;
 export declare const OP_NAMES: readonly ["coverage.hit", "const.int", "const.bool", "const.float", "const.char", "const.unit", "const.duration", "const.str", "const.bytes", "copy_value", "move", "fork", "destroy_value", "begin_borrow", "end_borrow", "finish_linear_receiver", "alloc_place", "store.init", "store.assign", "load.copy", "load.take", "load.borrow", "end_lifetime", "tuple.make", "tuple.get", "aggregate.make", "aggregate.project_copy", "aggregate.project_borrow", "destructure", "array.make", "array.repeat", "variant.make", "variant.is", "variant.project_copy", "variant.project_borrow", "variant.destructure", "unary", "binary", "cast", "str.eq", "bytes.eq", "function.make", "closure.make", "callable.coerce", "dyn.make", "register_defer", "generator.make", "actor.ingress_adapter", "stream.pipe", "task_scope.enter", "task_scope.close", "task.race", "task.spawn", "task.invoke"];
-export declare const TERM_NAMES: readonly ["return", "goto", "branch", "switch.variant", "checked.binary", "timestamp.binary", "unreachable", "call", "indirect.call", "dyn.call", "value.call", "wire.codec", "runtime.call", "extern.call", "actor.call", "panic", "trap", "checked_raise", "cleanup.dispatch", "resume_unwind", "enter_defer", "finish_defer", "recover_fault", "suspend"];
+export declare const TERM_NAMES: readonly ["materialize", "return", "goto", "branch", "switch.variant", "checked.binary", "timestamp.binary", "unreachable", "call", "indirect.call", "dyn.call", "value.call", "wire.codec", "runtime.call", "extern.call", "actor.call", "panic", "trap", "checked_raise", "cleanup.dispatch", "resume_unwind", "enter_defer", "finish_defer", "recover_fault", "suspend"];
 export declare const SUSPENSION_NAMES: readonly ["Sleep", "SleepUntil", "Await", "ActorSend", "RestartWait", "Read", "Accept", "CallClosure", "Timeout", "ScopeDeadline", "Yield", "GeneratorNext", "Safepoint", "ServiceAcquire", "SemaphoreAcquire", "NativeIo", "Offload", "Ask", "Join", "StreamSend", "StreamNext", "Select"];
 export type OpName = OpV1["op"];
 export type TermName = TermV1["op"];

package/dist/interpreter/v1/instructions.generated.js

@@ -55,6 +55,7 @@ export const OP_NAMES = [
     "task.invoke",
 ];
 export const TERM_NAMES = [
+    "materialize",
     "return",
     "goto",
     "branch",

package/dist/interpreter/v1/managed-budget.d.ts

@@ -0,0 +1,88 @@
+import { type VmValue } from "../values.js";
+import type { ManagedType } from "./package.js";
+export declare class HeapExceeded extends Error {
+    constructor();
+}
+type Allocations = Map<object, bigint>;
+type StorageVisitor = (identity: object, bytes: bigint, children: () => void) => void;
+export interface ManagedRoot {
+    value: VmValue;
+    type: number;
+    slots?: boolean;
+    identity?: object;
+}
+export interface ManagedProjection {
+    identity: object;
+    bytes: bigint;
+    children: readonly ManagedRoot[];
+}
+export interface ManagedLease {
+    readonly roots?: readonly ManagedRoot[];
+    release(): void;
+}
+/** Compiler-authored widths and children describe payloads; VM backings supply
+ * identity and capacity. No host-object or allocator size enters this graph. */
+export declare class ManagedLayouts {
+    readonly rows: readonly ManagedType[];
+    private readonly retained?;
+    private readonly types;
+    private readonly retired;
+    private readonly adoption;
+    constructor(rows: readonly ManagedType[], retained?: ((value: VmValue, type: number) => ManagedProjection) | undefined);
+    row(type: number): ManagedType;
+    stamp(value: VmValue, type: number): void;
+    width(type: number, capacity?: number | bigint): bigint;
+    /** Propagate nested compiler descriptors before an unbounded value is copied
+     * or suspended. Unknown foreign payloads need no quota graph here; acquiring
+     * the same value into a bounded owner still requires its real visitor. */
+    stampGraph(root: ManagedRoot): void;
+    needsAdoption(type: number): boolean;
+    retire(value: VmValue): void;
+    type(value: VmValue): number;
+    /** Describe native copy allocations without retaining or changing inputs. */
+    copy(value: VmValue, type: number): VmValue;
+    collect(root: ManagedRoot, allocations: Allocations, substitution?: {
+        before: VmValue;
+        after: VmValue;
+    }, stringGrowth?: {
+        value: VmValue;
+        identity: object;
+        capacity: number;
+    }, retained?: (value: VmValue, type: number) => void, providerGraph?: ((value: VmValue, type: number) => ManagedProjection) | undefined, storageVisitor?: StorageVisitor): void;
+}
+/** One incarnation owns backing edges. Retaining an existing backing does not
+ * revisit its payload; its children belong to that backing until its final
+ * local retention ends. Mutable/provider publication invalidates those edges
+ * and reconciles them through the same typed visitor before acquisition. */
+export declare class ManagedBudget {
+    readonly layouts: ManagedLayouts;
+    readonly limit: bigint;
+    private readonly acquired?;
+    private readonly roots;
+    private nodes;
+    private edges;
+    private retainedBytes;
+    private dirty;
+    constructor(layouts: ManagedLayouts, limit: bigint, acquired?: ((root: ManagedRoot) => void) | undefined);
+    allocations(extra?: readonly ManagedRoot[], substitution?: {
+        before: VmValue;
+        after: VmValue;
+    }, stringGrowth?: {
+        value: VmValue;
+        identity: object;
+        capacity: number;
+    }): Allocations;
+    get liveBytes(): bigint;
+    changed(): void;
+    private bytes;
+    private graph;
+    private refresh;
+    private prune;
+    check(extra: readonly ManagedRoot[]): void;
+    checkPayload(bytes: bigint, children: readonly ManagedRoot[]): void;
+    checkMutation(before: VmValue, after: VmValue, detached?: boolean): void;
+    checkStringGrowth(value: VmValue, capacity: number, detached?: boolean): void;
+    retain(root: ManagedRoot): ManagedLease;
+    retainMany(roots: readonly ManagedRoot[]): ManagedLease;
+}
+export {};