Function genuine_projection2_residual
pub fn genuine_projection2_residual() -> Result<String, String>Expand description
Run genuine PE(pe_source, pe_mini(targetStmts)) and return the specialized compiler residual as LOGOS source code.
This is the actual Futamura Projection 2: the outer PE (pe_source) specializes pe_mini’s peBlockM with known state (empty env, empty funcs, depth 200). The result is a specialized compiler function that takes target statements and compiles them with pe_mini’s dispatch logic partially evaluated away.
Returns the decompiled LOGOS source of the genuine P2 residual, including specialized function definitions extracted from peFuncs.