Expand description
Policy contracts for neutral, bounded decoded-instruction machines.
Consumers supply every semantic choice through the traits below; the execution engine only owns bounded, iterative control transfer.
Structs§
- Admission
Limits - Hard bounds admitted for one machine description.
- Branch
Target - A branch edge to validate and freeze into the target map.
- Call
Transfer - Guest-neutral call data: a code reference and width-accounted values.
- Code
Cursor - An instruction position minted only by validated
LocatedCode. - Continuation
Evidence - Content-bound evidence for a suspended continuation and its receipt prefix.
- Coverage
Metadata - Stable metadata used to associate execution with a coverage counter.
- Driver
- Bounded iterative instruction driver.
- Frame
- One admitted activation, composed entirely from bounded machine state.
- Frame
Stack - An explicit activation stack whose depth never consumes the host call stack.
- Located
Code - Immutable, fully validated located instructions and their control metadata.
- Located
Fault - An instruction failure paired with its stable identity and source location.
- Located
Instruction - A decoded instruction and all immutable metadata required before execution.
- Machine
Checkpoint - Owned resumable machine state; construction requires an admitted permit.
- Machine
Description - Immutable code plus the consumer-owned metadata needed to admit it.
- Machine
Permit - Proof that one exact immutable machine description passed admission.
- Protected
Region - A validated protected region whose positions can only be valid cursors.
- Region
Spec - A protected-region declaration using half-open instruction identities.
- Return
Transfer - Guest-neutral return data carrying width-accounted values to a continuation.
- Root
Snapshot - A complete, ordered view of roots visible at one machine safepoint.
- Shuffle
Plan - A validated permutation and duplication of whole logical value groups.
- Slot
File - Bounded indexed storage whose occupancy is measured in policy-defined units.
- Unit
Stack - A bounded LIFO stack measured in policy-defined logical units.
- Work
Receipt - Deterministic evidence for the exact instruction work performed by one drive.
Enums§
- Admission
Error - A refusal produced before a permit can exist.
- Code
Error - Exact refusal evidence produced while freezing located code.
- Drive
Error - A refusal produced by the iterative driver.
- Drive
Outcome - A completed or suspended iterative drive.
- Frame
Stack Error - Failure to admit another explicit frame.
- Machine
Abrupt - Abrupt terminal reasons carried through the control organ’s unwind vocabulary.
- Root
Scan Error - Deterministic refusal to materialize a complete root snapshot.
- Safepoint
Drive Error - A refusal from root publication or instruction execution during safepoint driving.
- Shuffle
Error - Failure to construct or execute a logical stack shuffle.
- Slot
Error - Exact failure evidence from indexed slot storage.
- Source
Location - Source units used to locate a decoded instruction.
- Stack
Error - Exact failure evidence from a unit-accounted operand stack.
- Step
Kind - Stable classification recorded for each charged instruction.
- Step
Outcome - The explicit result of executing exactly one decoded instruction.
- Target
Location - An unresolved branch destination supplied by a code preparer.
- Transfer
- Explicit control transfer interpreted by a consumer-owned machine driver.
- Transfer
Error - Malformed value-width evidence in a transfer packet.
Traits§
- Admission
Policy - Pure consumer checks and canonical encoding used during admission.
- Effect
Policy - Classifies the effects an instruction may request from its driver.
- Frame
Policy - Describes bounded guest-frame metadata without owning frame storage.
- Handler
Policy - Selects protected regions and consumer-defined abrupt outcomes.
- Instruction
Driver Policy - Consumer semantics invoked once per charged instruction.
- Instruction
Policy - Supplies stable instruction identity and the consumer’s decoded form.
- Machine
Frame - The cursor access needed by the neutral driver.
- Managed
Root Source - Projects live machine storage into the shared managed-object identity space.
- Receipt
Policy - Creates deterministic evidence for bounded machine work.
- Root
Policy - Projects live machine state into the managed-root owner’s identity type.
- Safepoint
Policy - Declares semantic polling locations in prepared code.
- Value
Width Policy - Accounts values in consumer-defined logical storage units.
Type Aliases§
- Drive
Result - Result type returned by one bounded drive operation.
- Machine
Unwind - Control-organ reason delivered exactly once to registered machine cleanups.
- Policy
Step - Result type returned by one consumer instruction policy invocation.