Module artifact

Structs§

ArtifactLimits
Diagnostic
PortableModuleSource: Parsed, graph-resolved source input for compile_program_package.
PortablePackageSource
ProgramArtifact
ProgramModule: One compiled module embedded in a portable program package.

compile_program
compile_program_package: Compile one source module into the current artifact shape. Imports are rejected here because only compile_program_package has a resolved closure to bind them against; this prevents a second, path-sensitive loader from appearing in the browser adapter.
compile_source_package: Parse a resolved source package manifest using the canonical Harn lexer and parser, then compile it through compile_program_package. This keeps the browser and native source-to-artifact path on one frontend; hosts still own import resolution and typechecking before serializing the manifest.
semantic_abi_fingerprint_hex: Hex fingerprint of every opcode, portable builtin, and capability contract that contributes to artifact execution semantics.