Module compile 

Kernel compilation: assembled DAG → fast executable kernel.

Everything in this module is on the path between assembly::PolydatAssembler and an executable kernel. The pipeline:

PolydatAssembler  ──(fusion pass)──▶  fused DAG
                                      │
                           (select::choose_kernel)
                                      │
                 ┌────────────────────┼────────────────────┐
                 ▼                    ▼                    ▼
        closures::Kernel       hybrid::Kernel       jit::Kernel
        (Phase 2 u64 closures) (per-node optimal)   (Phase 3 native)

• assembly: the public construction surface (assembly::PolydatAssembler + assembly::WireRef).
• fusion: graph-level subgraph fusion pass; runs during assembly after wiring resolution.
• select: variant-selection heuristic; chooses the monomorphic kernel type at construction time.
• closures: Phase 2 monomorphic u64-only kernels.
• hybrid: per-node optimal kernel (JIT segments + closure segments sharing a flat u64 buffer).
• jit: Phase 3 Cranelift JIT compilation (feature-gated on jit).

Modules

assembly

Programmatic assembly API for building Polydat Kernels.

closures

Phase 2: compiled u64-only kernels with flat buffer evaluation.

cone

SRD-105 — cone-level JIT inside the interpreter kernel.

fusion

Graph-level node fusion optimization pass.

hybrid

Hybrid kernel: per-node optimal compilation level.

jit

Phase 3: Cranelift JIT compilation of Polydat Kernels.

lattice

SRD-105 lattice report — what extraction actually did.

marshal

The boundary marshalling a compiled node kit reads its arguments and writes its outputs through (compiled_handles.md §4): a node crate’s kits use it as the core’s own do. Marshalling between typed Values and compiled-tier slots. One place owns the rule for every port type, so embedded cones and whole compiled kernels decode alike:

roundtrip_lint

Structural type-round-trip lint (C6b; governing principle: feedback_no_auto_string_conversion).

select

The engine a host chooses, the provenance mode a compiled engine is built with, and the selector that picks a mode from a graph’s shape when the host leaves it to Provenance::Auto.

simd_plan

Static type and node-variant qualification for scalar-flow SIMD promotion.

simd_tier1

End-to-end Tier-1 scalar-flow SIMD promotion.