Enum CommitShape 

pub enum CommitShape {
    ReadOnly,
    FlushEvents,
    Transactional {
        invariants: Vec<IrPredicate>,
        transitions: Vec<IrPredicate>,
    },
}

P6.8’s real CommitShape (Part 6.7, R6.15, #1165) — a handler body’s own resolved one-of-three commit shape, bynk_lower::lower_commit_shape_ir’s own return value. Matches the reference’s own three-variant shape verbatim (bynk-greenfield-compiler.md:1179-1183) — no substitution needed, Transactional’s own payload already reuses IrPredicate rather than carrying Invariant/Transition AST nodes directly. Shape-agnostic between an agent and a service handler ([DECISION F]): as of P6.11 (#1171), bynk_lower::lower_service_handler_ir is the real service call site this decision predicted, passing empty invariants/transitions slices, and the identical write-detection walk (bynk_lower::lower_commit_shape_ir’s own doc comment) naturally finds neither a mutating Callee::Store nor a bare := in a service body (a service declares no store fields to write), so Transactional is never constructed for one — the shipped emitter’s own emit_service already only ever produces the other two shapes, for the same reason.

Variants

ReadOnly

No store write and no Events.emit — the body splices flat, no commit or flush of any kind.

FlushEvents

No store write, but the body emits at least one event — __events is flushed at the end of the handler, state is not copied.

Transactional

A mutating Callee::Store write or a bare := reaches this body — state is snapshotted, the body runs in an IIFE, then the snapshot is committed (and __events, if any, flushed alongside it). Carries the agent’s own already-lowered invariants/transitions (bynk_lower::lower_invariant_ir/bynk_lower::lower_transition_ir), not the raw AST lists — a future consumer checking them at commit time reads real IrPredicates, not Invariant/Transition nodes it would have to lower itself.

Does not carry its own emits bit — matches the reference’s own verbatim shape (bynk-greenfield-compiler.md:1182), which gives Transactional no such field even though a writing handler that also emits is real (the shipped emitter’s own writes_state/ body_emits_directly, emitter/emit.rs:3124/3290, are independent booleans — a store write does not preclude an emit). A future IrHandler consumer that needs both facts at once — to decide whether this Transactional handler also flushes __events — re-derives it the same way lower_commit_shape_ir’s own caller already must ([DECISION D]: bynk_ir::block_uses_emit(body)), not from this variant. Named here rather than silently assumed lost: the fact is recoverable from body, which every real consumer holds alongside a CommitShape in the first place — IrHandler itself (real as of P6.9, #1167) is exactly that consumer, carrying both commit/body side by side.

Fields

invariants: Vec<IrPredicate>

transitions: Vec<IrPredicate>

Trait Implementations

impl Clone for CommitShape

fn clone(&self) -> CommitShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommitShape

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

Formats the value using the given formatter.