🥮 mooncakes.io

#wasmoon_jit/artifact

Target-portable ordinary data for Wasmoon Cwasm files and persistent JIT cache entries.

The package defines the compatibility manifest, stable import and function identities, logical signatures, and the complete unlinked code-object payload. Relocations remain symbolic. Artifacts never contain process addresses, executable-memory addresses, linked images, MilkIR, Target VCode, allocation results, or frame-planning objects.

Decoding and encoding belong to this package. Compatibility checks, target code-object verification, symbol resolution, executable-memory allocation, and installation belong to the native Milky2018/wasmoon_jit facade.

decode treats every input as untrusted. DecodeLimits bounds the file, function and import counts, strings, signatures, code, relocations, metadata, and safepoint roots before allocation. Malformed input, incompatible versions, invalid UTF-8, unknown tags, truncation, and limit violations are reported as structured ArtifactDecodeError values.

ArtifactDecodeError

source
pub suberror ArtifactDecodeError {
  ArtifactTooLarge(size~ : Int, limit~ : Int)
  BadMagic
  UnsupportedVersion(version~ : Int)
  Truncated(field~ : String, offset~ : Int, needed~ : Int, remaining~ : Int)
  InvalidTag(field~ : String, tag~ : Int)
  InvalidValue(field~ : String, message~ : String)
  InvalidUtf8(field~ : String)
  LimitExceeded(field~ : String, count~ : Int, limit~ : Int)
  TrailingBytes(count~ : Int)
} derive(Eq, 
Debug)

ArtifactDecodeError::equal

source

ArtifactDecodeError::not_equal

source

ArtifactDecodeError::to_repr

source

ArtifactEncodeError

source
pub suberror ArtifactEncodeError {
  InvalidArtifactField(field~ : String, message~ : String)
} derive(Eq, 
Debug)

ArtifactEncodeError::equal

source

ArtifactEncodeError::not_equal

source

ArtifactEncodeError::to_repr

source

Artifact

source
pub(all) struct Artifact {
  manifest : CompatibilityManifest
  imports : Array[ImportIdentity]
  functions : Array[FunctionCode]
} derive(Eq, 
Debug)

Target-portable ordinary data contained in one Cwasm file or cache entry.

Artifact::equal

source
fn Artifact::equal(Artifact, Artifact) -> Bool

Artifact::not_equal

source
fn Artifact::not_equal(x : Artifact, y : Artifact) -> Bool

Artifact::to_repr

source

CallBinding

source
pub(all) enum CallBinding {
  StableEntry
  DirectBody
} derive(Eq, 
Debug)

Binding policy for internal direct and tail calls.

CallBinding::equal

source
fn CallBinding::equal(CallBinding, CallBinding) -> Bool

CallBinding::not_equal

source
fn CallBinding::not_equal(x : CallBinding, y : CallBinding) -> Bool

CallBinding::to_repr

source

CodeModel

source
pub(all) enum CodeModel {
  Small
  Large
} derive(Eq, 
Debug)

Addressing range selected by target emission.

CodeModel::equal

source
fn CodeModel::equal(CodeModel, CodeModel) -> Bool

CodeModel::not_equal

source
fn CodeModel::not_equal(x : CodeModel, y : CodeModel) -> Bool

CodeModel::to_repr

source

CompatibilityManifest

source
pub(all) struct CompatibilityManifest {
  format_version : Int
  target : TargetSpec
  required_cpu_features : Array[CpuFeature]
  jit_abi_version : Int
  codegen_revision : String
  module_identity : ModuleIdentity
  policy : CompilationPolicy
} derive(Eq, 
Debug)

Complete compatibility contract checked before code-object verification.

Every field matches exactly except required_cpu_features, for which the installing host may provide a strict superset.

CompatibilityManifest::equal

source

CompatibilityManifest::not_equal

source

CompatibilityManifest::to_repr

source

CompilationPolicy

source
pub(all) struct CompilationPolicy {
  optimization_level : OptimizationLevel
  code_model : CodeModel
  call_binding : CallBinding
  cancellation_safepoints : Bool
  debug_info : Bool
} derive(Eq, 
Debug)

Compilation choices that change generated code or its runtime contract.

CompilationPolicy::equal

source

CompilationPolicy::not_equal

source
fn CompilationPolicy::not_equal(x : CompilationPolicy, y : CompilationPolicy) -> Bool

CompilationPolicy::to_repr

source

CpuFeature

source
pub(all) struct CpuFeature {
  name : String
} derive(Eq, 
Debug)

A target CPU feature required by every function in the artifact.

Names are stable wire identities. Compatibility validation rejects names that are not known for TargetSpec::architecture; it never guesses a fallback feature.

CpuFeature::equal

source
fn CpuFeature::equal(CpuFeature, CpuFeature) -> Bool

CpuFeature::not_equal

source
fn CpuFeature::not_equal(x : CpuFeature, y : CpuFeature) -> Bool

CpuFeature::to_repr

source

DecodeLimits

source
pub(all) struct DecodeLimits {
  max_artifact_bytes : Int
  max_imports : Int
  max_functions : Int
  max_cpu_features : Int
  max_string_bytes : Int
  max_signature_values : Int
  max_code_bytes_per_function : Int
  max_total_code_bytes : Int
  max_relocations_per_function : Int
  max_sources_per_function : Int
  max_traps_per_function : Int
  max_safepoints_per_function : Int
  max_unwind_directives_per_function : Int
  max_roots_per_safepoint : Int
} derive(Eq, 
Debug)

Resource limits applied before allocating variable-length artifact data.

DecodeLimits::default

source
fn DecodeLimits::default() -> DecodeLimits

DecodeLimits::equal

source

DecodeLimits::not_equal

source
fn DecodeLimits::not_equal(x : DecodeLimits, y : DecodeLimits) -> Bool

DecodeLimits::to_repr

source

Digest

source
pub(all) struct Digest {
  bytes : Bytes
} derive(Eq)

Content digest used for source-module and semantic-feature identity.

The Cwasm codec accepts exactly 32 bytes and interprets them as SHA-256.
impl Debug for Digest

Digest::equal

source
fn Digest::equal(Digest, Digest) -> Bool

Digest::not_equal

source
fn Digest::not_equal(x : Digest, y : Digest) -> Bool

Digest::to_repr

source

FunctionCode

source

Serializable ordinary-data form of one unlinked target code object.

This record deliberately contains symbolic relocations and no resolved process or executable-memory address. The Wasmoon JIT root reconstructs and verifies UnlinkedCodeObject values from these fields before installation.

FunctionCode::equal

source

FunctionCode::not_equal

source
fn FunctionCode::not_equal(x : FunctionCode, y : FunctionCode) -> Bool

FunctionCode::to_repr

source

FunctionIdentity

source
pub(all) struct FunctionIdentity {
  function_index : Int
  symbol : 
CodeSymbol
  signature : 
Signature
} derive(Eq, 
Debug)

Stable identity and logical signature for a defined function.

FunctionIdentity::equal

source

FunctionIdentity::not_equal

source
fn FunctionIdentity::not_equal(x : FunctionIdentity, y : FunctionIdentity) -> Bool

FunctionIdentity::to_repr

source

ImportIdentity

source
pub(all) struct ImportIdentity {
  function_index : Int
  module_name : String
  function_name : String
  symbol : 
ExternalSymbol
  signature : 
Signature
} derive(Eq, 
Debug)

Stable identity and logical signature for an imported function.

ImportIdentity::equal

source

ImportIdentity::not_equal

source
fn ImportIdentity::not_equal(x : ImportIdentity, y : ImportIdentity) -> Bool

ImportIdentity::to_repr

source

ModuleIdentity

source
pub(all) struct ModuleIdentity {
  name : String
  source_digest : Digest
  semantic_features_digest : Digest
} derive(Eq, 
Debug)

Identity of the validated WebAssembly module that produced this artifact.

ModuleIdentity::equal

source

ModuleIdentity::not_equal

source
fn ModuleIdentity::not_equal(x : ModuleIdentity, y : ModuleIdentity) -> Bool

ModuleIdentity::to_repr

source

OperatingSystemAbi

source
pub(all) enum OperatingSystemAbi {
  MacOS
  LinuxGnu
  LinuxMusl
  WindowsMsvc
} derive(Eq, 
Debug)

Operating-system ABI assumed by generated code and unwind metadata.

OperatingSystemAbi::equal

source

OperatingSystemAbi::not_equal

source

OperatingSystemAbi::to_repr

source

OptimizationLevel

source
pub(all) enum OptimizationLevel {
  O0
  O1
  O2
  O3
} derive(Eq, 
Debug)

MilkIR optimization level used before target lowering.

OptimizationLevel::equal

source

OptimizationLevel::not_equal

source
fn OptimizationLevel::not_equal(x : OptimizationLevel, y : OptimizationLevel) -> Bool

OptimizationLevel::to_repr

source

PointerWidth

source
pub(all) enum PointerWidth {
  Bits64
} derive(Eq, 
Debug)

Pointer width assumed by the Wasmoon JIT ABI.

PointerWidth::equal

source

PointerWidth::not_equal

source
fn PointerWidth::not_equal(x : PointerWidth, y : PointerWidth) -> Bool

PointerWidth::to_repr

source

TargetSpec

source

Exact target and platform contract for the persisted machine code.

TargetSpec::equal

source
fn TargetSpec::equal(TargetSpec, TargetSpec) -> Bool

TargetSpec::not_equal

source
fn TargetSpec::not_equal(x : TargetSpec, y : TargetSpec) -> Bool

TargetSpec::to_repr

source

FORMAT_VERSION

source
let FORMAT_VERSION : Int

The first breaking Cwasm format after the legacy v8 representation.

decode

source
fn decode(data : Bytes, limits? : DecodeLimits) -> Artifact raise ArtifactDecodeError

Decode untrusted v9 Cwasm bytes into ordinary artifact data.

This function performs bounded structural decoding only. The native wasmoon_jit facade performs compatibility and code-object verification before installation.

encode

source
fn encode(artifact : Artifact) -> Bytes raise ArtifactEncodeError

Encode one v9 Cwasm artifact without resolving symbolic relocations.

Source Files

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io