Struct GenuineProjectionResult 

pub struct GenuineProjectionResult {
    pub source: String,
    pub block_entry: String,
    pub expr_entry: Option<String>,
}

Result of a genuine Futamura projection via self-application. Contains the LOGOS source of the residual and the discovered entry points.

Fields

source: String

The LOGOS source of the genuine residual — exactly as the PE produced it, including specialized function definitions and a ## Main block.

block_entry: String

The name of the block-level entry point (e.g., “peBlockM_d_vPEMiniR_…”). This is the specialized function that takes a Seq of CStmt and returns Seq of CStmt.

expr_entry: Option<String>

The name of the expression-level entry point, if discovered.