Skip to main content

forge_lift_once

sim_lib_forge

Function forge_lift_once 

Source 
pub fn forge_lift_once(
    cx: &mut Cx,
    target: &dyn EvalFabric,
    prose: &str,
    opts: &LiftOptions,
) -> Result<CompiledIntent>
Expand description

Compiles prose into a structurally checked candidate BRIDGE packet artifact.

The lift itself is a BRIDGE ASK exchange: the prose is supplied as fenced data, the outer ASK return shape is bridge/Packet, and the returned packet is accepted only after local return-shape parsing and rx_check.