🥮 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