Struct EffectRowEntry 

pub struct EffectRowEntry {
    pub def: DefinitionId,
    pub is_entry: bool,
    pub direct: DirectEffects,
    pub dispatches: Vec<DispatchEntry>,
}

One entry in the EffectRows DefinitionId → row table (T2-3, docs/effects-spec.md §11, docs/format-v4-rfc.md §2 EffectRows reservation): a factored effect row for one definition.

Every knot/stitch ships one — the per-container row is the host’s resume-scheduling estimate (docs/effects-spec.md §12.1: a flow resumes from wherever it parked). The row is additive metadata; the runtime does not consume it yet (sleep/narrowing are the future clients), so a story carrying rows is byte-identical in behavior to one without.

Fields

def: DefinitionId

The definition (knot/stitch) this row summarizes.

is_entry: bool

The freeze bit (#882, docs/effects-spec.md §10 sitting-2 ruling; corroborated on main by docs/modules-spec.md §4 boundary rule 1/2 and the 2026-07-14 “Modules & visibility rulings” decision-log entry — docs/effects-spec.md itself never merged past docs/effects-skeleton).

true for every def by default: the row is a legitimate host entry point (host-callable by path/name — begin_function_eval, entry lookup, play-from-here). false for a #@private definition: not an entry — host-facing name lookup on it is refused (the load-error class effects-spec §10 rules) — but the row itself is not dropped from the table. #@private hides the name, not the cell: a private knot/stitch can still be captured as a first-class fn-value token that a public path holds and later calls through, and the dispatch-narrowing machinery (§7) resolves such a token by DefinitionId, not by name — so the row must stay resolvable in this table regardless of is_entry. This is unconditional (never a reachability computation over whether some public path actually holds such a token today): proving that would need whole-program fn-value capture analysis, which conservative-total rows do not attempt. Dev-tooling (play-from-here, brink ide effects-diff) is the documented visibility override (modules-spec §4 rule 3) and may read a non-entry row directly from this table; only host semantic lookup respects is_entry.

direct: DirectEffects

The direct part — atoms independent of dispatch narrowing.

dispatches: Vec<DispatchEntry>

Per-dispatch entries (empty in v1).

Trait Implementations

impl Clone for EffectRowEntry

fn clone(&self) -> EffectRowEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectRowEntry

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

Formats the value using the given formatter.

impl Eq for EffectRowEntry

impl PartialEq for EffectRowEntry

fn eq(&self, other: &EffectRowEntry) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for EffectRowEntry