Crate synth_core 

Synth Core - Fundamental data structures and types

This crate defines the core data structures used throughout the Synth synthesizer, including representations for WebAssembly components, modules, and the intermediate representation (IR) used for synthesis.

Re-exports

pub use error::Error;

pub use error::Result;

pub use safety_manifest::SafetyManifest;

pub use sbom::CycloneDxSbom;

pub use sbom::SbomInputs;

pub use wasm_decoder::CallIndirectGuards;

pub use wasm_decoder::DecodedModule;

pub use wasm_decoder::ElemSegmentInfo;

pub use wasm_decoder::FunctionOps;

pub use wasm_decoder::ImportEntry;

pub use wasm_decoder::ImportKind;

pub use wasm_decoder::TableGuards;

pub use wasm_decoder::WasmMemory;

pub use wasm_decoder::decode_wasm_functions;

pub use wasm_decoder::decode_wasm_module;

pub use wasm_op::ParamBlockLowering;

pub use wasm_op::WasmOp;

pub use wasm_op::arm_param_block_lowering;

pub use wasm_op::count_params_heuristic;

pub use wasm_op::find_param_block_type;

pub use wasm_op::find_unlowered_param_block_type;

pub use wasm_op::param_block_decline_msg;

pub use wasm_op::referenced_locals;

pub use wasm_op::rewrite_memory_grow_zero;

pub use wsc_facts::FactKind;

pub use wsc_facts::WSC_FACTS_SECTION_NAME;

pub use wsc_facts::WscFact;

pub use wsc_facts::WscFactsParse;

pub use wsc_facts::parse_wsc_facts;

pub use backend::*;

pub use component::*;

pub use ir::*;

pub use target::*;

Modules

arena_bind

#418 — bind the passed-through embedder import env::__cabi_arena_realloc to a synthesized in-module arena allocator, unlocking the fully SELF-CONTAINED dissolve.

async_intrinsics

P3 async host-intrinsic classification and honest degradation (#80).

backend

Backend trait and registry for multi-backend compilation

component

WebAssembly Component Model data structures

dwarf_line

VCR-DBG-001 step 3 — compose the source-line table (the join half).

error

Error types for Synth

ir

Intermediate Representation for synthesis

proven_safe

safe-accesses.json ingestion — VCR-MEM-004 / #901.

provenance

VCR-DEC-003 (#396, witness#130) — the synth-provenance-v1 branch-transformation map.

safety_manifest

Safety manifest — sidecar JSON describing the runtime safety checks baked into a compiled ELF. Phase 1 of docs/binary-safety-design.md §2.

sbom

CycloneDX SBOM emission — a build-time Software Bill of Materials for a compiled ELF. Companion to safety_manifest.rs: where the safety manifest records how the binary is hardened, the SBOM records what went into it.

static_data_addr

Static-data addressing validation (VCR-VER-003, synth #777 / #757).

target

Target architecture specifications

wasm_decoder

WASM Binary Decoder - Converts wasmparser operators to WasmOp sequences

wasm_op

WebAssembly operation patterns — universal input IR for all backends

wasm_stack_check

Pre-flight wasm value-stack underflow detector.

wcet

#778 (v0.46 Wave-1 Lane 2) — the synth-wcet-v1 static worst-case-cycle map.

wsc_facts

wsc.facts custom-section ingestion — VCR-PERF-002 / #494 Phase 1.