Skip to main content

whole_program_fabric_from_program

logicaffeine_compile::codegen_sva::fabric_rtl

Function whole_program_fabric_from_program 

Source 
pub fn whole_program_fabric_from_program(
    program: &CompiledProgram,
) -> WholeProgramFabric
Expand description

Lower an already-COMPILED program to a whole-program fabric. Shared by the source path and by the HAND-AUTHORED-bytecode witnesses (codegen_sva/rtl.rs’s precedent): the reversible ALU ops (RevXor/RevNeg/RevAdd/RevSub) and the scheduler/CRDT-internal ops (ChanClose/CrdtJoin) that no LOGOS source emits are still real ISA ops the soft-core executes, so their fabric tile is proven by building a raw CompiledProgram (op + Show) and differencing the fabric tape against the VM oracle (Vm::new(&prog).run(); vm.output()) — never a hand-coded golden. Hand-authored bytecode carries no PolicyRegistry, so it runs with NO modeled conditions (a CheckPolicy in it would refuse loudly).