Struct ScalePlanLedger 

pub struct ScalePlanLedger<'a> { /* private fields */ }

Read-only view of one compiled plan’s exact domain, field, topology, and proof-obligation ledger.

The view has no constructor and cannot be converted back into a ScalePlan; only plan_scale can compile an authoritative ledger.

Implementations

impl<'a> ScalePlanLedger<'a>

pub fn field_rows(self) -> Iter<'a, ScaleFieldPlan>

Exact container-level modeled field rows in deterministic source order.

pub fn payload_shapes(self) -> Iter<'a, ScalePayloadShapeRow>

Numeric-value-free payload-shape rows, including empty containers.

pub fn obligations(self) -> Iter<'a, ScaleProofObligation>

Typed proof obligations derived from the same field and payload inventory.

pub fn source_topology(self) -> Iter<'a, ScaleSourceTopologyRow>

Canonical source-keyed topology for the complete modeled projection.

Trait Implementations

impl<'a> Clone for ScalePlanLedger<'a>

fn clone(&self) -> ScalePlanLedger<'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'a> Copy for ScalePlanLedger<'a>

impl<'a> Debug for ScalePlanLedger<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.