Struct StoreFieldIr 

pub struct StoreFieldIr {
    pub field: String,
    pub kind: StoreKindIr,
    pub indexed: Vec<String>,
}

An agent store field’s storage shape (design/bynk-greenfield-compiler.md §6.6, R6.14, #1163) — bynk_lower::lower_store_field_shape_ir’s return value, read by emit_agent’s state section. Mirrors checker::StoreField’s own five-kind dispatch (bynk-check/src/checker.rs) in shape, but is persistent IR data, not that checking pass’s own ephemeral, per-agent scratch value — the two are deliberately not unified. Shape only: a Cell field’s initialiser expression is rendered by the emitter from the AST (the init slot that once carried it as an IrExpr went with the expression IR in Slice D2 of #1542).

Fields

field: String

The field’s own declared name ([DECISION A]: String, sourced directly from StoreField.name.name — this module’s own “no arena exists in this codebase” substitution, applied to the reference’s own FieldId arena slot).

kind: StoreKindIr

indexed: Vec<String>

@indexed(by: …) sibling-table keys, in the annotation’s own by:-argument order — one entry per distinct by: argument ([DECISION C]), no sort ([DECISION E]). Deduplicated: the checker validates each by: argument independently with no duplicate check (validate_indexed_keys), so @indexed(by: k, by: k) certifies — bynk_lower::lower_store_field_shape_ir guards against it, mirroring the shipped emitter’s own store_map_indexes dedup. Empty for every kind but Map, the only kind @indexed attaches to (ANNOTATIONS’s own registry, bynk-check/src/context_checks.rs). Each key is the indexed value-field’s own name, a bare String ([DECISION C], #1163): the sibling table’s own emitted shape (Record<string, string[]>) is fixed by the map’s own key type, not the indexed field’s, so the indexed field’s resolved type is not needed downstream — the same “no further structure” plain-value shape TypeShape::Sum::embeds uses.

Trait Implementations

impl Clone for StoreFieldIr

fn clone(&self) -> StoreFieldIr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StoreFieldIr

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

Formats the value using the given formatter.